| Using UML P Stevens, RJ Pooley Addison-Wesley, 1999 | 655* | 1999 |
| Bidirectional model transformations in QVT: semantic issues and open questions P Stevens Software & Systems Modeling 9 (1), 7-20, 2010 | 283 | 2010 |
| A landscape of bidirectional model transformations P Stevens International Summer School on Generative and Transformational Techniques in …, 2007 | 207 | 2007 |
| Bidirectional model transformations in QVT: Semantic issues and open questions P Stevens International Conference on Model Driven Engineering Languages and Systems, 1-15, 2007 | 178 | 2007 |
| Utilización de UML en Ingeniería del Software con Objetos y Componentes P Stevens, R Pooley, MF Alarcón, ÓS Martínez, FP Sorrozal Addison Wesley, 2002 | 127 | 2002 |
| Practical model-checking using games P Stevens, C Stirling International Conference on Tools and Algorithms for the Construction and …, 1998 | 126 | 1998 |
| The edinburgh concurrency workbench (version 7) F Moller, P Stevens Laboratory for Foundations of Computer Science, University of Edinburgh, UK, 1996 | 94 | 1996 |
| Enriching OCL using observational mu-calculus J Bradfield, JK Filipe, P Stevens International Conference on Fundamental Approaches to Software Engineering …, 2002 | 79 | 2002 |
| Systems reengineering patterns P Stevens, R Pooley ACM SIGSOFT Software Engineering Notes 23 (6), 17-23, 1998 | 79 | 1998 |
| Performance modelling with the unified modelling language and stochastic process algebras C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens Iee proceedings-computers and digital techniques 150 (2), 107-120, 2003 | 76 | 2003 |
| Analysing UML 2.0 activity diagrams in the software performance engineering process C Canevet, S Gilmore, J Hillston, L Kloul, P Stevens ACM SIGSOFT Software Engineering Notes 29 (1), 74-78, 2004 | 63 | 2004 |
| On the interpretation of binary associations in the Unified Modelling Language P Stevens Software and Systems Modeling 1 (1), 68-79, 2002 | 59 | 2002 |
| Edinburgh Concurrency Workbench user manual (version 7.1) F Moller, P Stevens | 57 | 1999 |
| Dagstuhl seminar on bidirectional transformations (BX) Z Hu, A Schurr, P Stevens, JF Terwilliger ACM SIGMOD Record 40 (1), 35-39, 2011 | 56 | 2011 |
| A simple game-theoretic approach to checkonly QVT Relations P Stevens Software & Systems Modeling 12 (1), 175-199, 2013 | 55 | 2013 |
| Bidirectionally tolerating inconsistency: Partial transformations P Stevens International Conference on Fundamental Approaches to Software Engineering …, 2014 | 52 | 2014 |
| Bidirectional transformations in the large P Stevens 2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017 | 49 | 2017 |
| Maintaining consistency in networks of models: bidirectional transformations in the large P Stevens Software and Systems Modeling 19 (1), 39-65, 2020 | 47 | 2020 |
| Modelling recursive calls with UML state diagrams J Tenzer, P Stevens International Conference on Fundamental Approaches to Software Engineering …, 2003 | 47 | 2003 |
| On use cases and their relationships in the Unified Modelling Language P Stevens International Conference on Fundamental Approaches to Software Engineering …, 2001 | 46 | 2001 |
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
