| 2022 | ISoLA | Models as Documents, Documents as Models. | Perdita Stevens |
| 2021 | ISoLA | The Future of Programming andModelling: A Vision. | Perdita Stevens |
| 2018 | MODELS | Towards sound, optimal, and flexible building from megamodels. | Perdita Stevens |
| 2018 | MODELS | Teaching and learning about abstraction. | Perdita Stevens |
| 2017 | MODELS | Bidirectional Transformations in the Large. | Perdita Stevens |
| 2015 | MPC | Notions of Bidirectional Computation and Entangled State Monads. | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2014 | EDBT | Towards a Repository of Bx Examples. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons |
| 2014 | EDBT | Entangled State Monads. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh |
| 2014 | FASE | Bidirectionally Tolerating Inconsistency: Partial Transformations. | Perdita Stevens |
| 2013 | FASE | Enforcing QVT-R with mu-Calculus and Games. | Julian C. Bradfield, Perdita Stevens |
| 2013 | MODELS | Tool Use in Software Modelling Education. | Seiko Akayama, Birgit Demuth, Timothy C. Lethbridge, Marion Scholz, Perdita Stevens, Dave R. Stikkolorum |
| 2012 | FASE | Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. | Julian C. Bradfield, Perdita Stevens |
| 2007 | MODELS | Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. | Perdita Stevens |
| 2003 | FASE | Modelling Recursive Calls with UML State Diagrams. | Jennifer Tenzer, Perdita Stevens |
| 2002 | Coordination | Playing Games with Software Design. | Perdita Stevens |
| 2002 | FASE | Enriching OCL Using Observational Mu-Calculus. | Julian C. Bradfield, Juliana Kster Filipe, Perdita Stevens |
| 2001 | FASE | On Use Cases and Their Relationships in the Unified Modelling Language. | Perdita Stevens |
| 1999 | TACAS | Some Issues in the Software Engineering of Verification Tools. | Perdita Stevens |
| 1998 | CONCUR | Abstract Games for Infinite State Processes. | Perdita Stevens |
| 1998 | TACAS | Practical Model-Checking Using Games. | Perdita Stevens, Colin Stirling |