| UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos International Conference on Integrated Formal Methods, 187-206, 2004 | 109 | 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 | 88 | 2014 |
| 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 | 78 | 2009 |
| Towards security monitoring patterns G Spanoudakis, C Kloukinas, K Androutsopoulos Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007 | 74 | 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 | 41 | 2011 |
| 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 | 39 | 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 |
| 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 | 37 | 2002 |
| 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 | 23 | 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, 54-61, 2014 | 16 | 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 |
| 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 | 10 | 2002 |
| Structuring reactive systems in B AMN K Lano, K Androutsopoulos, P Kan ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 10 | 2000 |
| 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 UML'02 Workshop on Consistency of UML Models, 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 |
David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk
