Kelly Androutsopoulos

Cited by

	All	Since 2019
Citations	781	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

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Zheng LiProfessor, Beijing University of Chemical TechnologyVerified email at ieee.org
Laurence TrattSoftware Development Team, Informatics, King's College LondonVerified email at tratt.net
Christos KloukinasCity St George's, University of LondonVerified email at city.ac.uk
George SpanoudakisSphynx Technology Solutions AGVerified email at sphynx.ch
Nicolas GoldAssociate Professor in Computer Science, University College LondonVerified email at ucl.ac.uk
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Dave BinkleyLoyola University MarylandVerified email at cs.loyola.edu
Jens KrinkeAssociate Professor in Computer Science, University College LondonVerified email at ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Nikos GorogiannisFacebook LondonVerified email at fb.com
Khaled MahbubAssociate Professor in Software Engineering, Birmingham City UniversityVerified email at bcu.ac.uk
Michael HeeneyTechnical Tutor: Computer Science & Engineering, Middlesex University.Verified email at mdx.ac.uk
Aleksandar ZivanovicMiddlesex UniversityVerified email at mdx.ac.uk
Bob FieldsAssociate Professor, Middlesex UniversityVerified email at mdx.ac.uk
Michele BottoneUniversity of LawVerified email at law.ac.uk
Lorenzo GheriUniversity of LiverpoolVerified email at liverpool.ac.uk

Kelly Androutsopoulos

Senior Lecturer in Software Engineering, Middlesex University

Verified email at mdx.ac.uk - Homepage

Software Engineering Modelling Slicing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	82	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors