Kelly Androutsopoulos
Kelly Androutsopoulos
Senior Lecturer in Software Engineering, Middlesex University
Bestätigte E-Mail-Adresse bei mdx.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
UML to B: Formal verification of object-oriented models
K Lano, D Clark, K Androutsopoulos
International Conference on Integrated Formal Methods, 187-206, 2004
1032004
Control dependence for extended finite state machines
K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt
International Conference on Fundamental Approaches to Software Engineering …, 2009
702009
Towards security monitoring patterns
G Spanoudakis, C Kloukinas, K Androutsopoulos
Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007
652007
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
552013
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
542014
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
392009
Structuring and Design of Reactive Systems using RSDS and B
K Lano, K Androutsopoulos, D Clark
International Conference on Fundamental Approaches to Software Engineering …, 2000
382000
Model projection: simplifying models in response to restricting the environment
K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li
2011 33rd International Conference on Software Engineering (ICSE), 291-300, 2011
362011
Safety and security analysis of object-oriented models
K Lano, D Clark, K Androutsopoulos
International Conference on Computer Safety, Reliability, and Security, 82-93, 2002
352002
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
282012
Invariant-based synthesis of fault-tolerant systems
K Lano, D Clark, K Androutsopoulos, P Kan
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
232000
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
122003
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
112014
Structuring reactive systems in B AMN
K Lano, K Androutsopoulos, P Kan
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
112000
Verification of reactive system specifications using model checking
K Androutsopoulos
PhD thesis, King’s College, 2004
102004
From implicit specifications to explicit designs in reactive system development
K Lano, D Clark, K Androutsopoulos
International Conference on Integrated Formal Methods, 49-68, 2002
102002
Refinement Patterns for UML
K Lano, K Androutsopolous, D Clark
Electronic Notes in Theoretical Computer Science 137 (2), 131-149, 2005
92005
Formalising inter-model consistency of the UML
K Lano, D Clark, K Androutsopoulos
Blekinge Institute of Technology, Research Report 6, 133-148, 2002
92002
Concurrency specification in UML-RSDS
K Lano, K Androutsopolous, D Clark
MARTES’06, MoDELS Conference, 2006
72006
V1 of dynamic validation prototype
K Androutsopoulos, C Ballas, C Kloukinas, K Mahbub, G Spanoudakis
Deliverable A4. D 3, 2006
72006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20