Kelly Androutsopoulos

Citado por

	Total	Desde 2020
Citas	785	120
Índice h	12	6
Índice i10	16	3

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

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

David ClarkComputer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Kevin LanoDept. of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLDirección de correo verificada de ucl.ac.uk
Zheng LiProfessor, Beijing University of Chemical TechnologyDirección de correo verificada de ieee.org
Laurence TrattSoftware Development Team, Informatics, King's College LondonDirección de correo verificada de tratt.net
Christos KloukinasCity St George's, University of LondonDirección de correo verificada de city.ac.uk
George SpanoudakisSphynx Technology Solutions AGDirección de correo verificada de sphynx.ch
Nicolas GoldAssociate Professor in Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Dave BinkleyLoyola University MarylandDirección de correo verificada de cs.loyola.edu
Jens KrinkeAssociate Professor in Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteDirección de correo verificada de gssi.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanDirección de correo verificada de unimi.it
Nikos GorogiannisFacebook LondonDirección de correo verificada de fb.com
Khaled MahbubAssociate Professor in Software Engineering, Birmingham City UniversityDirección de correo verificada de bcu.ac.uk
Michael HeeneyTechnical Tutor: Computer Science & Engineering, Middlesex University.Dirección de correo verificada de mdx.ac.uk
Aleksandar ZivanovicMiddlesex UniversityDirección de correo verificada de mdx.ac.uk
Bob FieldsAssociate Professor, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
Michele BottoneUniversity of LawDirección de correo verificada de law.ac.uk
Lorenzo GheriUniversity of LiverpoolDirección de correo verificada de liverpool.ac.uk

Seguir

Kelly Androutsopoulos

Senior Lecturer in Software Engineering, Middlesex University

Dirección de correo verificada de mdx.ac.uk - Página principal

Software Engineering Modelling Slicing


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	85	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	39	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores