Abstract Games for Infinite State Processes. - Perdita Stevens (CONCUR, 1998)

Report of Working Group on Reengineering Patterns. - Perdita Stevens (ECOOP Workshops, 1998)

Systems Reengineering Patterns. - Perdita Stevens; Rob Pooley (SIGSOFT FSE, 1998)

Practical Model-Checking Using Games. - Perdita Stevens; Colin Stirling (TACAS, 1998)

A Verification Tool Seveloper's Vade Mecum. - Perdita Stevens (Int. J. Softw. Tools Technol. Transf., 1998)

Aggregation. - Andy Evans; Robert B. France; Guy Genilloud; Brian Henderson-Sellers; Perdita Stevens (ECOOP Workshops, 1999)

UML for Describing Product-Line Architectures? - Perdita Stevens (ECOOP Workshops, 1999)

Some Issues in the Software Engineering of Verification Tools. - Perdita Stevens (TACAS, 1999)

Identifying nd communicting expertise in systems reengineering: a patterns approach. - Rick G. Dewar; Ashley D. Lloyd; Rob Pooley; Perdita Stevens (IEE Proc. Softw., 1999)

UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3. - Perdita Stevens; Rob Pooley (Pearson Studium, 2001)

On Use Cases and Their Relationships in the Unified Modelling Language. - Perdita Stevens (FASE, 2001)

On Associations in the Unified Modelling Language. - Perdita Stevens (UML, 2001)

Playing Games with Software Design. - Perdita Stevens (COORDINATION, 2002)

Enriching OCL Using Observational Mu-Calculus. - Julian C. Bradfield; Juliana Küster Filipe; Perdita Stevens (FASE, 2002)

Games for UML Software Design. - Perdita Stevens; Jennifer Tenzer (FMCO, 2002)

Panel Introducion. - Arie van Deursen; Timothy Lethbridge; Perdita Stevens (ICSM, 2002)

Has the pattern emperor any clothes?: a controversy in three acts. - Luciana D'Adderio; Rick G. Dewar; Ashley D. Lloyd; Perdita Stevens (ACM SIGSOFT Softw. Eng. Notes, 2002)

On the interpretation of binary associations in the Unified Modelling Language. - Perdita Stevens (Softw. Syst. Model., 2002)

Refinement in Z and object-Z: foundations and advanced applications. - Perdita Stevens (Softw. Test. Verification Reliab., 2002)

UML and Concurrency. - Perdita Stevens (Abstract State Machines, 2003)

Modelling Recursive Calls with UML State Diagrams. - Jennifer Tenzer; Perdita Stevens (FASE, 2003)

UML for Global Computing. - Hubert Baumeister; Nora Koch; Piotr Kosiuczenko; Perdita Stevens; Martin Wirsing (Global Computing, 2003)

Small-Scale XMI Programming: A Revolution in UML Tool Use? - Perdita Stevens (Autom. Softw. Eng., 2003)

Analysing UML 2.0 activity diagrams in the software performance engineering process. - C. Canevet; Stephen Gilmore; Jane Hillston; Leïla Kloul; Perdita Stevens (WOSP, 2004)

Guest editors' introduction: Advancements and extensions of verification techniques. - Joost-Pieter Katoen; Perdita Stevens (Int. J. Softw. Tools Technol. Transf., 2004)

A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. - Perdita Stevens (FIW, 2005)

Guest editorial to the special issue on UML2003. - Perdita Stevens; Jon Whittle 001 (Softw. Syst. Model., 2005)

Functional programming languages for verification tools: a comparison of Standard ML and Haskell. - Martin Leucker; Thomas Noll 001; Perdita Stevens; Michael Weber 002 (Int. J. Softw. Tools Technol. Transf., 2005)

Using UML - software engineering with objects and components, Second Edition. - Perdita Stevens; Rob Pooley (Addison-Wesley, 2006)

06351 Summary – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. - Jennifer Tenzer; Perdita Stevens (Formal Aspects Comput., 2006)

A Landscape of Bidirectional Model Transformations. - Perdita Stevens (GTTSE, 2007)

GUIDE: Games with UML for interactive design exploration. - Jennifer Tenzer; Perdita Stevens (Knowl. Based Syst., 2007)

Towards an Algebraic Theory of Bidirectional Transformations. - Perdita Stevens (ICGT, 2008)

Bidirectional model transformations in QVT: semantic issues and open questions. - Perdita Stevens (Softw. Syst. Model., 2010)

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). - Zhenjiang Hu; Andy Schürr; Perdita Stevens; James F. Terwilliger (Dagstuhl Reports, 2011)

Dagstuhl seminar on bidirectional transformations (BX). - Zhenjiang Hu; Andy Schürr; Perdita Stevens; James F. Terwilliger (SIGMOD Rec., 2011)

Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. - Julian C. Bradfield; Perdita Stevens (FASE, 2012)

Observations relating to the equivalences induced on model sets by bidirectional transformations. - Perdita Stevens (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Enforcing QVT-R with mu-Calculus and Games. - Julian C. Bradfield; Perdita Stevens (FASE, 2013)

Tool Use in Software Modelling Education. - Seiko Akayama; Birgit Demuth; Timothy C. Lethbridge; Marion Scholz; Perdita Stevens; Dave R. Stikkolorum (EduSymp@MoDELS, 2013)

Preface. - Perdita Stevens; James F. Terwilliger (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A simple game-theoretic approach to checkonly QVT Relations. - Perdita Stevens (Softw. Syst. Model., 2013)

Towards a Repository of Bx Examples. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons (EDBT/ICDT Workshops, 2014)

Entangled State Monads. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons; Faris Abou-Saleh (EDBT/ICDT Workshops, 2014)

Bidirectionally Tolerating Inconsistency: Partial Transformations. - Perdita Stevens (FASE, 2014)

Notions of Bidirectional Computation and Entangled State Monads. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (MPC, 2015)

A Systematic Approach and Guidelines to Developing a Triple Graph Grammar. - Anthony Anjorin; Erhan Leblebici; Roland Kluge; Andy Schürr; Perdita Stevens (Bx@STAF, 2015)

Towards a Principle of Least Surprise for Bidirectional Transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bx@STAF, 2015)

Guest editorial to the special section on MODELS 2012. - Jürgen Kazmeier; Perdita Stevens (Softw. Syst. Model., 2015)

Introduction to Bidirectional Transformations. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bidirectional Transformations, 2016)

Reflections on Monadic Lenses. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (A List of Successes That Can Change the World, 2016)

How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). - James McKinna; Perdita Stevens (Bx@ETAPS, 2016)

On Ontologology. - Perdita Stevens; Jeremy Gibbons (BX@ETAPS, 2017)

Bidirectional Transformations in the Large. - Perdita Stevens (MoDELS, 2017)

On principles of Least Change and Least Surprise for bidirectional transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (J. Object Technol., 2017)

Is Bidirectionality Important? - Perdita Stevens (ECMFA, 2018)

Towards sound, optimal, and flexible building from megamodels. - Perdita Stevens (MoDELS, 2018)

Teaching and learning about abstraction. - Perdita Stevens (MoDELS (Companion), 2018)

Confidentiality in the process of (model-driven) software development. - Michael Johnson; Perdita Stevens (Programming, 2018)

Teaching modeling in computer science as an ecosystem: a provocative analogy. - Martin Gogolla; Perdita Stevens (Comput. Sci. Educ., 2018)

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). - Anthony Cleve; Ekkart Kindler; Perdita Stevens; Vadim Zaytsev (Dagstuhl Reports, 2018)

Editorial. - Ewen Denney; Perdita Stevens; Andrzej Wasowski (Formal Aspects Comput., 2018)

Foreword. - Martin Hofmann 001; David Aspinall 001; Brian Campbell 001; Ian Stark; Perdita Stevens (Theor. Comput. Sci., 2018)

Maintaining consistency in networks of models: bidirectional transformations in the large. - Perdita Stevens (Softw. Syst. Model., 2020)

Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. - Perdita Stevens (Softw. Syst. Model., 2020)

The Future of Programming andModelling: A Vision. - Perdita Stevens (ISoLA, 2021)

Models as Documents, Documents as Models. - Perdita Stevens (ISoLA (2), 2022)