Richard F. Paige
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
132
Venues
30
Active years
1997–2026
Best venue rank
A*
Where they publish
- AMODELS61 papers
- A*ICSE13 papers
- BSAFECOMP9 papers
- AISSRE5 papers
- AMSR4 papers
- BICECCS4 papers
- AICST4 papers
- BSLE3 papers
- BIFM3 papers
- BFM3 papers
- CSPICE2 papers
- CISORC2 papers
- MulticonferenceSAC2 papers
- AOOPSLA1 paper
- AGECCO1 paper
- Journal PublishedEICS1 paper
- NationalEuroPLop1 paper
- CCloudCom1 paper
- AEASE1 paper
- BPROFES1 paper
- CSNPD1 paper
- UnrankedUCC1 paper
- BSSBSE1 paper
- NationalHCI1 paper
- AER1 paper
- CSERA1 paper
- BICWE1 paper
- CIIWAS1 paper
- BFASE1 paper
- ARE1 paper
Papers
132 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Model Cards for Responsible AI: Stop Carding, Start Modelling. | Kalvin Thuan-Phong Khuu, Nicolas Lacroix, Baptiste Lacroix, Richard F. Paige, Mireille Blay-Fornarino, Sbastien Mosser |
| 2026 | SAFECOMP | Chaining Unsafe Control Actions in STPA. | Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | ISSRE | Linking Medical Device Assurance Cases. | Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | MODELS | GEM: Towards a Model-Driven Graphical Editor Migration Framework. | Mohamadreza Sabeghi, Richard F. Paige, Dimitris Kolovos |
| 2025 | SAFECOMP | Principled Safety Assurance Arguments. | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | ISSRE | Generating Understandable and Reusable Safety Assurance Cases using Workflow | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | ISSRE | Using Boundary Objects for Continuous Compliance in Automotive Development. | Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic |
| 2024 | MODELS | A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. | Thomas Chiang, Richard F. Paige, Alan Wassyng, Sbastien Mosser |
| 2024 | MODELS | Mapping Requirements to Features to Create Traceability in Product Line Models. | Thomas Chiang, Richard F. Paige, Alan Wassyng, Sbastien Mosser |
| 2024 | MODELS | Towards Model Product Lines: Composition of EMF Models. | Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige |
| 2024 | SAFECOMP | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. | Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2023 | ISSRE | Bridging the Gap Between System Architecture and Software Design using Model Transformation. | Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde |
| 2023 | MODELS | Lessons Learned Building a Tool for Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2023 | MODELS | An Automotive Architecture Product Line for E/E Powertrain Architectures. | Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige |
| 2023 | SAFECOMP | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. | Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng |
| 2023 | SAFECOMP | Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. | Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng |
| 2022 | MODELS | Towards the adoption of model based system safety engineering in the automotive industry. | Thomas Chiang, Rodrigo Gomez Mendoza, Johan Mahmood, Richard F. Paige |
| 2022 | MODELS | An investigation into the effect of cluster-based preprocessing on software migration. | Akila Loganathan, Richard F. Paige |
| 2022 | SAFECOMP | Generating Assurance Cases Using Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2021 | MODELS | Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. | Justin C. Cooper, Alfonso de la Vega, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Pia, Horacio Hoyos Rodriguez |
| 2021 | MODELS | Repository Mining for Changes in Simulink Models. | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
| 2020 | MODELS | To build, or not to build: ModelFlow, a build solution for MDE projects. | Beatriz Snchez, Dimitris S. Kolovos, Richard F. Paige |
| 2020 | MODELS | Supporting robotic software migration using static analysis and model-driven engineering. | Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou |
| 2020 | MSR | Polyglot and Distributed Software Repository Mining with Crossflow. | Konstantinos Barmpis, Patrick Neubauer, Jonathan Co, Dimitris S. Kolovos, Nicholas Matragkas, Richard F. Paige |
| 2020 | SAFECOMP | Systematic Evaluation of (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | ICSE | Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. | Dimitrios S. Kolovos, Fady Medhat, Richard F. Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas |
| 2019 | ISSRE | Criteria to Systematically Evaluate (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | MODELS | Reusable Textual Notations for Domain-Specific Languages. | Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer |
| 2019 | MODELS | On the Challenges of Model Decorations for Capturing Complex Metadata. | Horacio Hoyos Rodriguez, Athanasios Zolotas, Dimitris S. Kolovos, Richard F. Paige |
| 2019 | MODELS | On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. | Beatriz Snchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige |
| 2019 | MSR | Crossflow: a framework for distributed mining of software repositories. | Dimitris S. Kolovos, Patrick Neubauer, Konstantinos Barmpis, Nicholas Matragkas, Richard F. Paige |
| 2019 | OOPSLA | ModelFlow: towards reactive model management workflows. | Beatriz Sanchez Pia, Dimitris S. Kolovos, Richard F. Paige |
| 2018 | GECCO | Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. | Komsan Srivisut, John A. Clark, Richard F. Paige |
| 2018 | ICSE | On Software Modernisation due to Library Obsolescence. | Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios |
| 2018 | MODELS | Towards a body of knowledge for model-based software engineering. | Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer |
| 2018 | MODELS | How do we teach modelling and model-driven engineering?: a survey. | Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer |
| 2018 | MODELS | Towards a modular and flexible human-usable textual syntax for EMF models. | Dimitrios S. Kolovos, Richard F. Paige |
| 2018 | MODELS | Parallel execution of first-order operations. | Sina Madani, Dimitrios S. Kolovos, Richard F. Paige |
| 2018 | MSR | Restmule: enabling resilient clients for remote APIs. | Beatriz A. Snchez, Konstantinos Barmpis, Patrick Neubauer, Richard F. Paige, Dimitrios S. Kolovos |
| 2017 | ICSE | The Epsilon Pattern Language. | Dimitris S. Kolovos, Richard F. Paige |
| 2017 | MODELS | User Experience for Model-Driven Engineering: Challenges and Future Directions. | Silvia Abraho, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Strrle, Jon Whittle |
| 2017 | MODELS | Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. | Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson |
| 2016 | EICS | Language engineering: challenges, opportunities and potential disasters for interactive systems. | Richard F. Paige |
| 2016 | MODELS | A Systematic Approach for Designing Mutation Operators for MDE Languages. | Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander |
| 2016 | MODELS | Partial loading of XMI models. | Ran Wei, Dimitrios S. Kolovos, Antonio Garca-Domnguez, Konstantinos Barmpis, Richard F. Paige |
| 2016 | SPICE | A Maturity Model for Integrating Agile Processes and User Centred Design. | Dina Salah, Richard F. Paige, Paul A. Cairns |
| 2015 | EuroPLop | Patterns for integrating agile development processes and user centred design. | Dina Salah, Richard F. Paige, Paul A. Cairns |
| 2015 | ICSE | 7th International Workshop on Modeling in Software Engineering (MiSE 2015). | Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige |
| 2015 | ICSE | 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). | Felienne Hermans, Richard F. Paige, Peter Sestoft |
| 2015 | MODELS | An OCL-based Bridge from Concrete to Abstract Syntax. | Adolfo Snchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige |
| 2015 | MODELS | Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects. | Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Ioannis Korkontzelos, Sophia Ananiadou, Richard F. Paige |
| 2015 | MODELS | Evaluating Student Work in Modelling Courses. | Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose |
| 2015 | MODELS | Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering. | Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige |
| 2015 | MODELS | Flexible Modelling for Requirements Engineering. | Athanasios Zolotas, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige |
| 2015 | SPICE | Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design. | Dina Salah, Richard F. Paige, Paul A. Cairns |
| 2014 | CloudCom | Resource Requirement Analysis for Web Applications Running in a Virtualised Environment. | Rafidah Pakir Mohamad, Dimitrios S. Kolovos, Richard F. Paige |
| 2014 | EASE | A systematic literature review for agile development processes and user centred design integration. | Dina Salah, Richard F. Paige, Paul A. Cairns |
| 2014 | MODELS | Model Driven Grant Proposal Engineering. | Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, James R. Williams, Richard F. Paige |
| 2014 | MODELS | CMSEBA 2014 Workshop Report. | Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer |
| 2014 | MODELS | Bad Modelling Teaching Practices. | Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams |
| 2014 | MODELS | Towards Rigorously Faking Bidirectional Model Transformations. | Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink |
| 2014 | MODELS | A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. | Seyyed M. Shah, Ran Wei, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis |
| 2014 | MODELS | Software Analytics for MDE Communities. | James R. Williams, Nicholas Drivalos Matragkas, Dimitris S. Kolovos, Yannis Korkontzelos, Sofia Annaniadou, Richard F. Paige |
| 2014 | MODELS | Assigning Semantics to Graphical Concrete Syntaxes. | Athanasios Zolotas, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Richard F. Paige |
| 2014 | MSR | Analysing the 'biodiversity' of open source ecosystems: the GitHub case. | Nicholas Drivalos Matragkas, James R. Williams, Dimitris S. Kolovos, Richard F. Paige |
| 2014 | PROFES | An Evaluation Template for Expert Review of Maturity Models. | Dina Salah, Richard F. Paige, Paul A. Cairns |
| 2014 | SNPD | Strategy-guided requirements development and validation. | Xiaofeng Cui, Richard F. Paige |
| 2014 | UCC | Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. | Martyn Ellison, Radu Calinescu, Richard F. Paige |
| 2013 | ICSE | 5th international workshop on modeling in software engineering (MiSE 2013). | Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe |
| 2013 | ICSE | 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). | Mark Harman, Richard F. Paige, James R. Williams |
| 2013 | MODELS | Adding Spreadsheets to the MDE Toolkit. | Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige |
| 2013 | MODELS | Programmatic Muddle Management. | Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Horacio Hoyos Rodriguez, Richard F. Paige |
| 2013 | MODELS | A Traceability-Driven Approach to Model Transformation Testing. | Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Athanasios Zolotas |
| 2013 | MODELS | Multimodel-Driven Software Engineering for Evolving Enterprise Systems. | Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff |
| 2013 | MODELS | Towards a Multi-Domain Model-Driven Traceability Approach. | Masoumeh Taromirad, Nicholas Drivalos Matragkas, Richard F. Paige |
| 2013 | MODELS | Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. | James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack |
| 2013 | MODELS | What do Metamodels Really Look Like? | James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
| 2012 | ICSE | A feature model for model-to-text transformation languages. | Louis M. Rose, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige |
| 2012 | MODELS | Modelling and comparing cloud computing service level agreements. | Fatima Alkandari, Richard F. Paige |
| 2012 | MODELS | Chaining model transformations. | Anne Etien, Vincent Aranega, Xavier Blanc, Richard F. Paige |
| 2012 | MODELS | EuGENia live: a flexible graphical modelling tool. | Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige |
| 2012 | MODELS | Agile requirements traceability using domain-specific modelling languages. | Masoumeh Taromirad, Richard F. Paige |
| 2012 | MODELS | Sensitivity Analysis in Model-Driven Engineering. | James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack |
| 2012 | MODELS | Searching for model migration strategies. | James R. Williams, Richard F. Paige, Fiona A. C. Polack |
| 2012 | SLE | Metamodelling for Grammarware Researchers. | Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack |
| 2011 | ICECCS | Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige |
| 2011 | ISORC | Model-Based Hardware Generation and Programming - The MADES Approach. | Ian Gray, Nicholas Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris S. Kolovos, Richard F. Paige |
| 2011 | MODELS | EUnit: A Unit Testing Framework for Model Management Tasks. | Antonio Garca-Domnguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo |
| 2011 | SSBSE | Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. | James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack |
| 2010 | ISORC | Towards a Model-Based Refinement Process for Contractual State Machines. | Lishan Harbird, Andy Galloway, Richard F. Paige |
| 2010 | MODELS | Inter-modelling: From Theory to Practice. | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
| 2010 | MODELS | Untitled record | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos |
| 2010 | MODELS | Taming EMF and GMF Using Model Transformation. | Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck |
| 2010 | MODELS | Behavioural interoperability to support model-driven systems integration. | Alek Radjenovic, Richard F. Paige |
| 2010 | MODELS | A Comparison of Model Migration Tools. | Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcs, Richard F. Paige, Fiona A. C. Polack |
| 2009 | HCI | Content Personalization for Inclusive Education through Model-Driven Engineering. | Christopher Power, Richard F. Paige |
| 2009 | ICECCS | The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. | Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack |
| 2009 | ICSE | Raising the level of abstraction in the development of GMF-based graphical model editors. | Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack |
| 2009 | ICSE | Different models for model matching: An analysis of approaches to support model differencing. | Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, Richard F. Paige |
| 2009 | ICST | Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. | Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock |
| 2009 | MODELS | Domain analysis on an electronic health records system. | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 2009 | MODELS | Abstracting Complex Languages through Transformation and Composition. | Jendrik Johannes, Steffen Zschaler, Miguel A. Fernndez, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige |
| 2009 | SAFECOMP | Probabilistic Failure Propagation and Transformation Analysis. | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 2009 | SLE | Domain-Specific Metamodelling Languages for Software Language Engineering. | Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid |
| 2008 | ICSE | Novel features in languages of the epsilon model management platform. | Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
| 2008 | ICST | Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. | Emine Gokce Aydal, Richard F. Paige, Jim Woodcock |
| 2008 | ICST | Detecting and Repairing Inconsistencies across Heterogeneous Models. | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2008 | ICST | Unit Testing Model Management Operations. | Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack |
| 2008 | MODELS | The Grand Challenge of Scalability for Model Driven Engineering. | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2008 | MODELS | FPTC: Automated Safety Analysis for Domain-Specific Languages. | Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke |
| 2008 | MODELS | Constructing Models with the Human-Usable Textual Notation. | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
| 2008 | SAFECOMP | Towards Agile Engineering of High-Integrity Systems. | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
| 2008 | SLE | Engineering a DSL for Software Traceability. | Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes |
| 2007 | ER | Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. | Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble |
| 2007 | ICECCS | A Novel Approach to the Detection of Cheating in Multiplayer Online Games. | Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
| 2007 | MODELS | Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. | Emine Gokce Aydal, Richard F. Paige, Jim Woodcock |
| 2007 | SERA | A UML Profile for Knowledge-Based Systems Modelling. | Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest |
| 2006 | ICECCS | Origins of the Grid Architectural Style. | Jovan Cakic, Richard F. Paige |
| 2006 | ICSE | The View Glue. | Alek Radjenovic, Richard F. Paige |
| 2006 | ICWE | Agile development of secure web applications. | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke |
| 2006 | MODELS | Merging Models with the Epsilon Merging Language (EML). | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2006 | SAC | An action semantics for MOF 2.0. | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
| 2005 | IIWAS | A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. | Jovan Cakic, Richard F. Paige |
| 2005 | IFM | Agile Formal Method Engineering. | Richard F. Paige, Phillip J. Brooke |
| 2005 | SAC | High-integrity extreme programming. | Richard F. Paige, Howard Chivers, John A. McDermid, Zo R. Stephenson |
| 2002 | IFM | The Design of a Tool-Supported Graphical Notation for Timed CSP. | Phillip J. Brooke, Richard F. Paige |
| 2001 | FASE | Metamodelling and Conformance Checking with PVS. | Richard F. Paige, Jonathan S. Ostroff |
| 2001 | RE | The Single Model Principle. | Richard F. Paige, Jonathan S. Ostroff |
| 1999 | FM | Bunches for Object-Oriented, Concurrent, and Real-Time Specification. | Richard F. Paige, Eric C. R. Hehner |
| 1999 | FM | Developing BON as an Industrial-Strength Formal Method. | Richard F. Paige, Jonathan S. Ostroff |
| 1999 | IFM | Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. | Richard F. Paige |
| 1997 | FM | A Meta-Method for Formal Method Integration. | Richard F. Paige |