Kelly Androutsopoulos

Geciteerd door

	Alles	Sinds 2019
Citaties	780	154
h-index	12	7
i10-index	16	4

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 4 15 23 19 20 38 28 29 51 32 48 37 30 32 59 41 38 49 39 29 32 20 18 16

Openbare toegang

Alles bekijken

1 artikel

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

David ClarkComputer Science, University College LondonGeverifieerd e-mailadres voor ucl.ac.uk
Kevin LanoDept. of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLGeverifieerd e-mailadres voor ucl.ac.uk
Zheng LiProfessor, Beijing University of Chemical TechnologyGeverifieerd e-mailadres voor ieee.org
Laurence TrattSoftware Development Team, Informatics, King's College LondonGeverifieerd e-mailadres voor tratt.net
Christos KloukinasCity St George's, University of LondonGeverifieerd e-mailadres voor city.ac.uk
George SpanoudakisSphynx Technology Solutions AGGeverifieerd e-mailadres voor sphynx.ch
Nicolas GoldAssociate Professor in Computer Science, University College LondonGeverifieerd e-mailadres voor ucl.ac.uk
Robert HieronsProfessor, The University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Dave BinkleyLoyola University MarylandGeverifieerd e-mailadres voor cs.loyola.edu
Jens KrinkeAssociate Professor in Computer Science, University College LondonGeverifieerd e-mailadres voor ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteGeverifieerd e-mailadres voor gssi.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanGeverifieerd e-mailadres voor unimi.it
Nikos GorogiannisFacebook LondonGeverifieerd e-mailadres voor fb.com
Khaled MahbubAssociate Professor in Software Engineering, Birmingham City UniversityGeverifieerd e-mailadres voor bcu.ac.uk
Michael HeeneyTechnical Tutor: Computer Science & Engineering, Middlesex University.Geverifieerd e-mailadres voor mdx.ac.uk
Aleksandar ZivanovicMiddlesex UniversityGeverifieerd e-mailadres voor mdx.ac.uk
Bob FieldsAssociate Professor, Middlesex UniversityGeverifieerd e-mailadres voor mdx.ac.uk
Michele BottoneUniversity of LawGeverifieerd e-mailadres voor law.ac.uk
Lorenzo GheriUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk

Volgen

Kelly Androutsopoulos

Senior Lecturer in Software Engineering, Middlesex University

Geverifieerd e-mailadres voor mdx.ac.uk - Homepage

Software Engineering Modelling Slicing


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	107	2004
An analysis of the relationship between conditional entropy and failed error propagation in software testing K Androutsopoulos, D Clark, H Dan, RM Hierons, M Harman Proceedings of the 36th international conference on software engineering …, 2014	81	2014
Control dependence for extended finite state machines K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt Fundamental Approaches to Software Engineering: 12th International …, 2009	76	2009
Towards security monitoring patterns G Spanoudakis, C Kloukinas, K Androutsopoulos Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007	75	2007
State-based model slicing: A survey K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt ACM Computing Surveys (CSUR) 45 (4), 1-36, 2013	65	2013
A theoretical and empirical study of EFSM dependence K Androutsopoulos, N Gold, M Harman, Z Li, L Tratt Software Maintenance, 2009. ICSM 2009. IEEE International Conference on, 287-296, 2009	42	2009
Model projection: Simplifying models in response to restricting the environment K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li Proceedings of the 33rd International Conference on Software Engineering …, 2011	40	2011
Safety and security analysis of object-oriented models K Lano, D Clark, K Androutsopoulos Computer Safety, Reliability and Security: 21st International Conference …, 2002	38	2002
Structuring and Design of Reactive Systems using RSDS and B K Lano, K Androutsopoulos, D Clark Fundamental Approaches to Software Engineering: Third International …, 2000	38	2000
Amorphous slicing of extended finite state machines K Androutsopoulos, D Clark, M Harman, RM Hierons, Z Li, L Tratt IEEE Transactions on Software Engineering 39 (7), 892-909, 2012	37	2012
Invariant-based synthesis of fault-tolerant systems K Lano, D Clark, K Androutsopoulos, P Kan Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000	24	2000
A racket-based robot to teach first-year computer science K Androutsopoulos, N Gorogiannis, M Loomes, M Margolis, G Primiero, ... 7th European Lisp Symposium 54, 2014	14	2014
RSDS, a Subset of UML with Precise Semantics. K Lano, D Clark, K Androutsopoulos Obj. Logiciel Base données Réseaux 9 (4), 53-73, 2003	12	2003
Verification of reactive system specifications using model checking K Androutsopoulos PhD thesis, King’s College, 2004	11	2004
Structuring reactive systems in B AMN K Lano, K Androutsopoulos, P Kan ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000	11	2000
From implicit specifications to explicit designs in reactive system development K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002	10	2002
Refinement Patterns for UML K Lano, K Androutsopolous, D Clark Electronic Notes in Theoretical Computer Science 137 (2), 131-149, 2005	9	2005
Formalising inter-model consistency of the UML K Lano, D Clark, K Androutsopoulos Blekinge Institute of Technology, Research Report 6, 133-148, 2002	9	2002
Correctness of slicing finite state machines T Amtoft, K Androutsopoulos, D Clark RN 13, 22, 2013	7	2013
Concurrency specification in UML-RSDS K Lano, K Androutsopoulos, D Clark MODELS, 2006	7	2006

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs