| 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 | 75 | 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 | 75 | 2009 |
| Towards security monitoring patterns G Spanoudakis, C Kloukinas, K Androutsopoulos Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007 | 72 | 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 | 66 | 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 |
| Safety and security analysis of object-oriented models K Lano, D Clark, K Androutsopoulos Computer Safety, Reliability and Security: 21st International Conference …, 2002 | 41 | 2002 |
| 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 |
| Structuring and Design of Reactive Systems using RSDS and B K Lano, K Androutsopoulos, D Clark Fundamental Approaches to Software Engineering: Third International …, 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 | 35 | 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 | 25 | 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 | 13 | 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 | 13 | 2003 |
| Structuring reactive systems in B AMN K Lano, K Androutsopoulos, P Kan ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 12 | 2000 |
| 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 Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002 | 11 | 2002 |
| Formalising inter-model consistency of the UML K Lano, D Clark, K Androutsopoulos Blekinge Institute of Technology, Research Report 6, 133-148, 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 |
| 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
