Richard F. Paige

Richard F. Paige, Louis M. Rose: Lies, Damned Lies and UML2Java. Journal of Object Technology 12(1) (2013)

Richard F. Paige, Jeff Gray: Guest editorial to the special issue on model transformation. Software and System Modeling 12(1): 85-87 (2013)

Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige: Genericity for model management operations. Software and System Modeling 12(1): 201-219 (2013)

Phillip J. Brooke, Richard F. Paige: The Value of User-Visible Internet Cryptography. CoRR abs/1303.1948 (2013)

Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige: Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012)

Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar: Surveying Rule Inheritance in Model-to-Model Transformation Languages. Journal of Object Technology 11(2): 3: 1-46 (2012)

Daniela Cancila, Huáscar Espinoza, Richard F. Paige: Special issue on Model Based Engineering for Embedded Systems Design. Journal of Systems Architecture - Embedded Systems Design 58(5): 177 (2012)

Richard F. Paige, Dániel Varró: Lessons learned from building model-driven development tools. Software and System Modeling 11(4): 527-539 (2012)

Xiaofeng Cui, Richard F. Paige: An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations. ACIS-ICIS 2012: 547-552

Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige: A Lightweight Approach for Managing XML Documents with MDE Languages. ECMFA 2012: 118-132

Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King: A Plug-in Based Approach for UML Model Simulation. ECMFA 2012: 328-339

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos: MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351

Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith: Solving Acquisition Problems Using Model-Driven Engineering. ECMFA 2012: 428-443

James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack: Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758

Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding: Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop 2012: 251-265

Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack: Metamodelling for Grammarware Researchers. SLE 2012: 64-82

Phillip J. Brooke, Richard F. Paige, Christopher Power: Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop 2012: 41-54

Alek Radjenovic, Richard F. Paige: An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. ECEASST 50 (2011)

Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: High-integrity agile processes for the development of safety critical software. IJCCBS 2(2): 181-216 (2011)

Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler: Rigorous identification and encoding of trace-links in model-driven engineering. Software and System Modeling 10(4): 469-487 (2011)

Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams: Integrated Model Management with Epsilon. ECMFA 2011: 391-392

Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolas Drivalos Matragkas, James R. Williams: Model Management in the Wild. GTTSE 2011: 197-218

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige: Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Model-based Failure Failure Analysis of Business Process. ICEIS (3) 2011: 388-391

Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. ICMT 2011: 31-46

Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo: EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409

James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack: Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126

Angelina Espinoza, Richard F. Paige, Juan Garbajosa: Value-Based Software Traceability Workshop (VALSOT 2011). XP 2011: 330

Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339

Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (Eds.): Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, isbn 978-3-642-21469-1

Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige: Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011)

Raman Ramsin, Richard F. Paige: Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Software 4(2): 91-104 (2010)

Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple: Guest editorial to the theme issue on traceability in model-driven engineering. Software and System Modeling 9(4): 425-426 (2010)

Phillip J. Brooke, Richard F. Paige, Christopher Power: Document-centric XML workflows with fragment digital signatures. Softw., Pract. Exper. 40(8): 655-672 (2010)

Xiaocheng Ge, Richard F. Paige, John A. McDermid: An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE 2010: 35-43

James R. Williams, Fiona A. C. Polack, Richard F. Paige: Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414

Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70

Richard F. Paige: Traceability in model-driven safety critical software engineering. ECMFA-TW 2010: 5

Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: A state-based approach to traceability maintenance. ECMFA-TW 2010: 23-30

Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets: A Reflective Approach to Model-Driven Web Engineering. ECMFA 2010: 62-73

Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260

Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Constructing and Navigating Non-invasive Model Decorations. ICMT 2010: 138-152

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Model Migration with Epsilon Flock. ICMT 2010: 184-198

Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack: A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120

Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck: Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Analysing System Failure Behaviours with PRISM. SSIRI (Companion) 2010: 130-136

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126

Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49

Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti: Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785

Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska (Eds.): 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, isbn 978-0-7695-4015-3

Richard F. Paige, Phillip J. Brooke: Editorial. Formal Asp. Comput. 21(4): 303 (2009)

Phillip J. Brooke, Richard F. Paige: Cameo: an alternative model of concurrency for Eiffel. Formal Asp. Comput. 21(4): 363-391 (2009)

Howard Chivers, Richard F. Paige: XRound: A reversible template language and its application in model-based security analysis. Information & Software Technology 51(5): 876-893 (2009)

Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King: The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165

Christopher Power, Richard F. Paige: Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109

Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171

Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54

Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige: Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228

Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid: Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353

Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos: Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367

Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik: The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27

Richard F. Paige, Alan Hartman, Arend Rensink (Eds.): Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, isbn 978-3-642-02673-7

Richard F. Paige (Ed.): Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Lecture Notes in Computer Science 5563, Springer 2009, isbn 978-3-642-02407-8

Raman Ramsin, Richard F. Paige: Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1) (2008)

Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. ECEASST 9 (2008)

Emine G. Aydal, Richard F. Paige, Jim Woodstock: Observations for Assertion-based Scenarios in the context of Model Validation. ECEASST 15 (2008)

Richard F. Paige: Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test., Verif. Reliab. 18(4): 251-252 (2008)

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60

Emine G. Aydal, Richard F. Paige, Jim Woodcock: Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops 2008: 11-20

Dimitrios S. Polack, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack: Unit Testing Model Management Operations. ICST Workshops 2008: 97-104

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53

Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke: FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS Workshops 2008: 229-242

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263

Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43

Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: Engineering a DSL for Software Traceability. SLE 2008: 151-167

Alek Radjenovic, Richard F. Paige: The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208

Richard F. Paige, Bertrand Meyer (Eds.): Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, isbn 978-3-540-69823-4

Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose: Update Transformations in the Small with the Epsilon Wizard Language. Journal of Object Technology 6(9): 53-69 (2007)

Phillip J. Brooke, Richard F. Paige: Exceptions in Concurrent Eiffel. Journal of Object Technology 6(10): 111-126 (2007)

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3) (2007)

Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble: Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER 2007: 438-453

Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers: A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106

Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS Workshops 2007: 194-205

Philippa Conmy, Richard F. Paige: Model-driven Development of Particle System Families. MOMPES 2007: 127-136

Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest: A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878

Phillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230

Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89

David H. Akehurst, Régis Vogel, Richard F. Paige (Eds.): Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings. Lecture Notes in Computer Science 4530, Springer 2007, isbn 978-3-540-72900-6

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5 (2006)

Mohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige: Knowledge-based systems: a re-evaluation. J. Knowledge Management 10(3): 127-142 (2006)

Richard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): 57-73 (2006)

Alek Radjenovic, Richard F. Paige: Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Software 23(2): 71-79 (2006)

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142

Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos: Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157

Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige: A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360

Jovan Cakic, Richard F. Paige: Origins of the Grid Architectural Style. ICECCS 2006: 227-235

Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) 2006: 74-81

Alek Radjenovic, Richard F. Paige: The View Glue. WADS 2006: 66-88

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312

Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305

Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163

Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199

John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke (Eds.): Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, isbn 3-540-33376-2

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke: E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Journal of Object Technology 4(7): 97-114 (2005)

Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC 2005: 952-957

Zhan En Chan, Richard F. Paige: Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189

Howard Chivers, Richard F. Paige: XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219

Richard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128

Jovan Cakic, Richard F. Paige: A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS 2005: 85-96

Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523

Howard Chivers, Richard F. Paige, Xiaocheng Ge: Agile Security Using an Incremental Security Architecture. XP 2005: 57-65

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229

Richard F. Paige, Jonathan S. Ostroff: ERC - An object-oriented refinement calculus for Eiffel. Formal Asp. Comput. 16(1): 51-79 (2004)

Richard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)

Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige: SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10): 143-161 (2004)

Mark Harman, Richard F. Paige, James R. Williams: 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). ICSE 2004: 1513-1514

Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe: 5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2004: 1531-1532

Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans: Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA 2004: 220-233

Richard F. Paige, Jonathan S. Ostroff: Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123

Jonathan S. Ostroff, David Makalsky, Richard F. Paige: Agile Specification-Driven Development. XP 2004: 104-112

Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)

Phillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)

Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353

Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Journal of Object Technology 1(3): 77-96 (2002)

Richard F. Paige, Jonathan S. Ostroff: The Single Model Principle. Journal of Object Technology 1(5): 63-81 (2002)

Phillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318

Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell: Extending the message flow debugger for MQSI. CASCON 2001: 15

Richard F. Paige, Jonathan S. Ostroff: Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16

Richard F. Paige, Jonathan S. Ostroff: The Single Model Principle. RE 2001: 292-293

Richard F. Paige, Jonathan S. Ostroff: A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206

Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)

Richard F. Paige: Integrating a Program Design Calculus and a Subset of UML. Comput. J. 42(2): 82-99 (1999)

Richard F. Paige: When are methods complementary? Information & Software Technology 41(3): 157-162 (1999)

Richard F. Paige, Eric C. R. Hehner: Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550

Richard F. Paige, Jonathan S. Ostroff: Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853

Richard F. Paige: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM 1999: 353-372

Richard F. Paige, Jonathan S. Ostroff: A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82

Richard F. Paige: Heterogeneous Notations for Pure Formal Method Integration. Formal Asp. Comput. 10(3): 233-242 (1998)

Richard F. Paige, Jonathan S. Ostroff: From Z to BON/Eiffel. ASE 1998: 209-212

Richard F. Paige: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM 1998: 214-232

Richard F. Paige: Case Studies in Using a Meta-Method for Formal Method Integration. AMAST 1997: 395-408

Richard F. Paige: A Meta-Method for Formal Method Integration. FME 1997: 473-494