Richard F. Paige

328 papers A* 4A 30B 47C 9Misc 7Journal 85Unranked 125

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	GEM: Towards a Model-Driven Graphical Editor Migration Framework. MODELS-C Mohamadreza Sabeghi, Richard F. Paige, Dimitris Kolovos
2025	—	`conf`	Linking Medical Device Assurance Cases. ISSREW Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng
2025	B	`conf`	Principled Safety Assurance Arguments. SAFECOMP Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
2024	—	`conf`	A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. MoDELS (Companion) Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser
2024	B	`conf`	Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. SAFECOMP Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng
2024	—	`conf`	Generating Understandable and Reusable Safety Assurance Cases using Workflow ISSRE (Workshops) Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
2024	—	`conf`	Mapping Requirements to Features to Create Traceability in Product Line Models. MoDELS (Companion) Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser
2024	J	`jnl`	Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. Sci. Comput. Program. Davide Di Ruscio, Jessie Galasso, Richard F. Paige
2024	J	`jnl`	Preface to the special issue on success stories in model driven engineering. Sci. Comput. Program. Paula Muñoz, Steffen Zschaler, Richard F. Paige
2024	—	`conf`	Towards Model Product Lines: Composition of EMF Models. MoDELS (Companion) Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige
2024	—	`conf`	Using Boundary Objects for Continuous Compliance in Automotive Development. ISSRE (Workshops) 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	J	`jnl`	What makes a good modeling research contribution? Softw. Syst. Model. Richard F. Paige, Jordi Cabot
2023	—	`conf`	An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige
2023	—	`conf`	Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde
2023	A	`conf`	Lessons Learned Building a Tool for Workflow MODELS Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2023	B	`conf`	Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. SAFECOMP Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng
2023	J	`jnl`	Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford
2023	J	`jnl`	Separating Technological and Clinical Safety Assurance for Medical Devices. CoRR Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng
2023	—	`conf`	Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
2022	—	`conf`	An investigation into the effect of cluster-based preprocessing on software migration. MoDELS (Companion) Akila Loganathan, Richard F. Paige
2022	B	`conf`	Generating Assurance Cases Using Workflow SAFECOMP Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2022	A	`conf`	Integrating Software Issue Tracking and Traceability Models. ICSME Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige
2022	J	`jnl`	Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable
2022	J	`jnl`	Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday. J. Object Technol. Lola Burgueño, Martin Gogolla, Richard F. Paige
2022	—	`conf`	Towards the adoption of model based system safety engineering in the automotive industry. MoDELS (Companion) Thomas Chiang, Rodrigo Gomez Mendoza, Johan Mahmood, Richard F. Paige
2021	J	`jnl`	Distributed model validation with Epsilon. Softw. Syst. Model. Sina Madani, Dimitris S. Kolovos, Richard F. Paige
2021	J	`jnl`	Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
2021	A	`conf`	Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. MoDELS Justin C. Cooper, Alfonso de la Vega, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña, Horacio Hoyos Rodriguez
2021	A	`conf`	Repository Mining for Changes in Simulink Models. MoDELS Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige
2021	J	`jnl`	Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Softw. Syst. Model. Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson
2020	—	`conf`	An Architecture for the Development of Distributed Analytics Based on Polystore Events. Poly/DMAH@VLDB Athanasios Zolotas, Konstantinos Barmpis, Fady Medhat, Patrick Neubauer, Dimitrios S. Kolovos, Richard F. Paige
2020	J	`jnl`	Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige
2020	J	`jnl`	Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Softw. Syst. Model. Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson, Beatriz Sanchez Piña, Alan Grigg, Mole Li, Dimitrios S. Kolovos, Richard F. Paige
2020	J	`jnl`	Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. Antonio Bucchiarone, Jordi Cabot, Richard F. Paige, Alfonso Pierantonio
2020	J	`jnl`	Guest editorial to the special section on MODELS 2018. Softw. Syst. Model. Andrzej Wasowski, Richard F. Paige, Øystein Haugen
2020	A	`conf`	Polyglot and Distributed Software Repository Mining with Crossflow. MSR Konstantinos Barmpis, Patrick Neubauer, Jonathan Co, Dimitris S. Kolovos, Nicholas Matragkas, Richard F. Paige
2020	J	`jnl`	Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. J. Object Technol. Lars Hamann, Richard F. Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo
2020	J	`jnl`	Preface to the JOT special issue containing the ECMFA 2020 selected papers. J. Object Technol. Richard F. Paige, Antonio Vallecillo
2020	J	`jnl`	Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
2020	A	`conf`	Supporting robotic software migration using static analysis and model-driven engineering. MoDELS Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
2020	B	`conf`	Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
2020	A	`conf`	To build, or not to build: ModelFlow, a build solution for MDE projects. MoDELS Beatriz Sánchez, Dimitris S. Kolovos, Richard F. Paige
2020	J	`jnl`	Toward model-driven sustainability evaluation. Commun. ACM Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty H. C. Cheng, Sonja Klingert, Richard F. Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C. Venters
2019	J	`jnl`	Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer
2019	A	`conf`	Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
2019	A	`conf`	Crossflow: a framework for distributed mining of software repositories. MSR Dimitris S. Kolovos, Patrick Neubauer, Konstantinos Barmpis, Nicholas Matragkas, Richard F. Paige
2019	—	`conf`	Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. MiSE@ICSE Dimitrios S. Kolovos, Fady Medhat, Richard F. Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas
2019	—	`conf`	ModelFlow: towards reactive model management workflows. DSM@SPLASH Beatriz Sanchez Piña, Dimitris S. Kolovos, Richard F. Paige
2019	—	`conf`	On the Challenges of Model Decorations for Capturing Complex Metadata. MoDELS (Companion) Horacio Hoyos Rodriguez, Athanasios Zolotas, Dimitris S. Kolovos, Richard F. Paige
2019	A	`conf`	On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. MoDELS Beatriz Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige
2019	—	`conf`	Reusable Textual Notations for Domain-Specific Languages. OCL@MoDELS Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer
2019	J	`jnl`	Stress-testing remote model querying APIs for relational and graph-based stores. Softw. Syst. Model. Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige
2019	J	`jnl`	Towards Optimisation of Model Queries: A Parallel Execution Approach. J. Object Technol. Sina Madani, Dimitris S. Kolovos, Richard F. Paige
2019	J	`jnl`	Type inference in flexible model-driven engineering using classification algorithms. Softw. Syst. Model. Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
2018	A	`conf`	Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. GECCO Komsan Srivisut, John A. Clark, Richard F. Paige
2018	J	`jnl`	Evaluating cloud database migration options using workload models. J. Cloud Comput. Martyn Ellison, Radu Calinescu, Richard F. Paige
2018	—	`conf`	How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
2018	J	`jnl`	Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige
2018	—	`conf`	On Software Modernisation due to Library Obsolescence. WAPI@ICSE Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios
2018	B	`conf`	Parallel Model Validation with Epsilon. ECMFA Sina Madani, Dimitrios S. Kolovos, Richard F. Paige
2018	—	`conf`	Parallel execution of first-order operations. MoDELS (Workshops) Sina Madani, Dimitrios S. Kolovos, Richard F. Paige
2018	—	`ed.`	Proceedings of the 10th International Workshop on Modelling in Software Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018 MiSE@ICSE Jennifer Horkoff, Sahar Kokaly, Richard F. Paige, Jocelyn Simmonds
2018	A	`ed.`	Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018 MoDELS Andrzej Wasowski, Richard F. Paige, Øystein Haugen
2018	J	`jnl`	Requirements in digital forensics method definition: Observations from a UK study. Digit. Investig. Angus M. Marshall, Richard F. Paige
2018	A	`conf`	Restmule: enabling resilient clients for remote APIs. MSR Beatriz A. Sánchez, Konstantinos Barmpis, Patrick Neubauer, Richard F. Paige, Dimitrios S. Kolovos
2018	B	`conf`	Search-Based Temporal Testing in an Embedded Multicore Platform. EvoApplications Komsan Srivisut, John A. Clark, Richard F. Paige
2018	B	`conf`	Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
2018	—	`conf`	Towards a body of knowledge for model-based software engineering. MoDELS (Companion) Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
2018	—	`conf`	Towards a modular and flexible human-usable textual syntax for EMF models. MoDELS (Workshops) Dimitrios S. Kolovos, Richard F. Paige
2017	A	`conf`	Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. MoDELS Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson
2017	J	`jnl`	Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige
2017	—	`conf`	Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). STAF Workshops Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio, Tamás Gergely, Scott Hansen, Dimitris S. Kolovos, Philippe Krief, Ioannis Korkontzelos, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis, Cedric Thomas, Jurgen J. Vinju
2017	J	`jnl`	Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Softw. Syst. Model. Dimitrios S. Kolovos, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige
2017	J	`jnl`	Foreword to the special section on negative results in software engineering. Empir. Softw. Eng. Richard F. Paige, Jordi Cabot, Neil A. Ernst
2017	J	`jnl`	Model-based tool support for Tactical Data Links: an experience report from the defence domain. Softw. Syst. Model. Suraj Ajit, Chris Holmes, Julian Johnson, Dimitrios S. Kolovos, Richard F. Paige
2017	—	`conf`	SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn
2017	—	`conf`	Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish
2017	—	`ch.`	The Changing Face of Model-Driven Engineering. Present and Ulterior Software Engineering Richard F. Paige, Athanasios Zolotas, Dimitris S. Kolovos
2017	—	`conf`	The Epsilon Pattern Language. MiSE@ICSE Dimitris S. Kolovos, Richard F. Paige
2017	A	`conf`	User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle
2016	—	`conf`	A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. ICMT Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
2016	C	`conf`	A Maturity Model for Integrating Agile Processes and User Centred Design. SPICE Dina Salah, Richard F. Paige, Paul A. Cairns
2016	—	`conf`	A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander
2016	—	`conf`	Engineering Bidirectional Transformations. Bidirectional Transformations Richard F. Paige
2016	J	`jnl`	Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. J. Syst. Softw. Richard F. Paige, Nicholas Drivalos Matragkas, Louis M. Rose
2016	—	`ed.`	Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. PAME/VOLT@MoDELS Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani
2016	Misc	`conf`	Language engineering: challenges, opportunities and potential disasters for interactive systems. EICS Richard F. Paige
2016	—	`conf`	MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi
2016	A	`conf`	Partial loading of XMI models. MoDELS Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige
2016	—	`ed.`	Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015. CloudMDE@MoDELS Richard F. Paige, Jordi Cabot, Marco Brambilla, James H. Hill
2016	—	`ed.`	Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015. PAME@STAF Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin
2016	B	`conf`	Stress-Testing Centralised Model Stores. ECMFA Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige
2016	—	`conf`	Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops Martyn Ellison, Radu Calinescu, Richard F. Paige
2015	—	`conf`	2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ICSE (2) Felienne Hermans, Richard F. Paige, Peter Sestoft
2015	—	`ed.`	7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015 MiSE Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige
2015	—	`conf`	7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige
2015	—	`conf`	An OCL-based Bridge from Concrete to Abstract Syntax. OCL@MoDELS Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
2015	—	`conf`	Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects. OSS4MDE@MoDELS Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Ioannis Korkontzelos, Sophia Ananiadou, Richard F. Paige
2015	J	`jnl`	Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
2015	—	`conf`	Evaluating Student Work in Modelling Courses. EduSymp@MoDELS Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose
2015	—	`conf`	Flexible Modelling for Requirements Engineering. FlexMDE@MoDELS Athanasios Zolotas, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige
2015	J	`jnl`	Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
2015	J	`jnl`	Localized model transformations for building large-scale transformations. Softw. Syst. Model. Anne Etien, Alexis Muller, Thomas Legrand, Richard F. Paige
2015	—	`conf`	MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi
2015	—	`conf`	OSSMETER: Automated Measurement and Analysis of Open Source Software. STAF Projects Showcase Bruno Almeida, Sophia Ananiadou, Alessandra Bagnato, Alberto Berreteaga Barbero, Juri Di Rocco, Davide Di Ruscio, Dimitrios S. Kolovos, Ioannis Korkontzelos, Scott Hansen, Pedro Maló, Nikolaos Drivalos, Richard F. Paige, Jurgen J. Vinju
2015	C	`conf`	Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design. SPICE Dina Salah, Richard F. Paige, Paul A. Cairns
2015	Misc	`conf`	Patterns for integrating agile development processes and user centred design. EuroPLoP Dina Salah, Richard F. Paige, Paul A. Cairns
2015	—	`conf`	Patterns in Model Engineering 2015 - a Workshop Summary. PAME@STAF Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin
2015	B	`ed.`	Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015 SLE Richard F. Paige, Davide Di Ruscio, Markus Völter
2015	—	`ed.`	Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014. CMSEBA@MoDELS Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer
2015	—	`ed.`	Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015. SEMS@ICSE Felienne Hermans, Richard F. Paige, Peter Sestoft
2015	J	`jnl`	Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk
2015	—	`conf`	Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering. FlexMDE@MoDELS Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
2015	B	`conf`	Type Inference in Flexible Model-Driven Engineering. ECMFA Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
2015	J	`jnl`	User-visible cryptography in email and web scenarios. Inf. Comput. Secur. Phillip J. Brooke, Richard F. Paige
2015	—	`conf`	Weaving an Assurance Case from Design: A Model-Based Approach. HASE Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
2014	A	`conf`	A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. MoDELS Seyyed M. Shah, Ran Wei, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis
2014	—	`conf`	A Practitioner Perspective on Integrating Agile and User Centred Design. BCS HCI Dina Salah, Richard F. Paige, Paul A. Cairns
2014	A	`conf`	A systematic literature review for agile development processes and user centred design integration. EASE Dina Salah, Richard F. Paige, Paul A. Cairns
2014	J	`jnl`	A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack
2014	B	`conf`	An Evaluation Template for Expert Review of Maturity Models. PROFES Dina Salah, Richard F. Paige, Paul A. Cairns
2014	A	`conf`	Analysing the 'biodiversity' of open source ecosystems: the GitHub case. MSR Nicholas Drivalos Matragkas, James R. Williams, Dimitris S. Kolovos, Richard F. Paige
2014	—	`conf`	Assigning Semantics to Graphical Concrete Syntaxes. XM@MoDELS Athanasios Zolotas, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Richard F. Paige
2014	—	`conf`	Bad Modelling Teaching Practices. EduSymp@MoDELS Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams
2014	—	`conf`	CMSEBA 2014 Workshop Report. CMSEBA@MoDELS Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer
2014	J	`jnl`	Epsilon Flock: a model migration language. Softw. Syst. Model. Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding
2014	J	`jnl`	Guest editorial to the special issue on Success Stories in Model Driven Engineering. Sci. Comput. Program. Davide Di Ruscio, Richard F. Paige, Alfonso Pierantonio
2014	—	`conf`	Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models? HCSE Dina Salah, Richard F. Paige, Paul A. Cairns
2014	J	`jnl`	Manifesto - Model Engineering for Complex Systems. CoRR Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt
2014	A	`conf`	Model Driven Grant Proposal Engineering. MoDELS Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, James R. Williams, Richard F. Paige
2014	J	`jnl`	On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories. CoRR Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos, Richard F. Paige, Andreas Horst, Bernhard Rumpe
2014	—	`ed.`	Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, CloudMDE@MoDELS 2014, Valencia, Spain, September 30, 2014. CloudMDE@MoDELS Richard F. Paige, Jordi Cabot, Marco Brambilla, Louis M. Rose, James H. Hill
2014	Misc	`conf`	Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC Martyn Ellison, Radu Calinescu, Richard F. Paige
2014	C	`conf`	Resource Requirement Analysis for Web Applications Running in a Virtualised Environment. CloudCom Rafidah Pakir Mohamad, Dimitrios S. Kolovos, Richard F. Paige
2014	—	`conf`	Software Analytics for MDE Communities. OSS4MDE@MoDELS James R. Williams, Nicholas Drivalos Matragkas, Dimitris S. Kolovos, Yannis Korkontzelos, Sofia Annaniadou, Richard F. Paige
2014	C	`conf`	Strategy-guided requirements development and validation. SNPD Xiaofeng Cui, Richard F. Paige
2014	—	`conf`	System of Systems Acquisition Trade-offs. CSER Frank R. Burton, Richard F. Paige, Simon M. Poulding, Simon Smith
2014	—	`conf`	Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
2013	—	`ed.`	1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013 CMSBSE@ICSE Richard F. Paige, Mark Harman, James R. Williams
2013	A*	`conf`	1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). ICSE Mark Harman, Richard F. Paige, James R. Williams
2013	A*	`conf`	5th international workshop on modeling in software engineering (MiSE 2013). ICSE Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013	—	`conf`	A Traceability-Driven Approach to Model Transformation Testing. AMT@MoDELS Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Athanasios Zolotas
2013	—	`conf`	A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Massimo Tisi, Jordi Cabot
2013	A	`conf`	Adding Spreadsheets to the MDE Toolkit. MoDELS Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige
2013	J	`jnl`	Engineering model transformations with transML. Softw. Syst. Model. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
2013	—	`conf`	Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. [email protected] James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack
2013	J	`jnl`	Genericity for model management operations. Softw. Syst. Model. Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige
2013	J	`jnl`	Guest editorial to the special issue on model transformation. Softw. Syst. Model. Richard F. Paige, Jeff Gray
2013	J	`jnl`	Lies, Damned Lies and UML2Java. J. Object Technol. Richard F. Paige, Louis M. Rose
2013	—	`ch.`	Model-Driven Engineering and Model Transformation: for Fun and Profit. Engineering Dependable Software Systems Richard F. Paige, Dimitrios S. Kolovos
2013	—	`conf`	Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff
2013	C	`ed.`	Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013 MiSE Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013	—	`conf`	Programmatic Muddle Management. XM@MoDELS Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Horacio Hoyos Rodriguez, Richard F. Paige
2013	B	`ed.`	Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings SLE Martin Erwig, Richard F. Paige, Eric Van Wyk
2013	J	`jnl`	The Value of User-Visible Internet Cryptography CoRR Phillip J. Brooke, Richard F. Paige
2013	—	`conf`	Towards a Multi-Domain Model-Driven Traceability Approach. MPM@MoDELS Masoumeh Taromirad, Nicholas Drivalos Matragkas, Richard F. Paige
2013	—	`conf`	Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing. ICSM Louis M. Rose, Simon M. Poulding, Robert Feldt, Richard F. Paige
2013	—	`conf`	What do Metamodels Really Look Like? EESSMod@MoDELS James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2012	B	`conf`	A Lightweight Approach for Managing XML Documents with MDE Languages. ECMFA Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige
2012	B	`conf`	A Plug-in Based Approach for UML Model Simulation. ECMFA Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King
2012	C	`conf`	A feature model for model-to-text transformation languages. MiSE Louis M. Rose, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige
2012	—	`conf`	Agile requirements traceability using domain-specific modelling languages. XM@MoDELS Masoumeh Taromirad, Richard F. Paige
2012	—	`conf`	An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations. ACIS-ICIS Xiaofeng Cui, Richard F. Paige
2012	—	`conf`	Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop Phillip J. Brooke, Richard F. Paige, Christopher Power
2012	—	`conf`	Chaining model transformations. AMT@MoDELS Anne Etien, Vincent Aranega, Xavier Blanc, Richard F. Paige
2012	—	`conf`	EuGENia live: a flexible graphical modelling tool. XM@MoDELS Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige
2012	J	`jnl`	Large-scale complex IT systems. Commun. ACM Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2012	J	`jnl`	Lessons learned from building model-driven development tools. Softw. Syst. Model. Richard F. Paige, Dániel Varró
2012	B	`conf`	MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
2012	B	`conf`	Metamodelling for Grammarware Researchers. SLE Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack
2012	—	`conf`	Modelling and comparing cloud computing service level agreements. MDHPCL@MoDELS Fatima Alkandari, Richard F. Paige
2012	—	`conf`	Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding
2012	—	`conf`	Searching for model migration strategies. ME@MoDELS James R. Williams, Richard F. Paige, Fiona A. C. Polack
2012	A	`conf`	Sensitivity Analysis in Model-Driven Engineering. MoDELS James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack
2012	B	`conf`	Solving Acquisition Problems Using Model-Driven Engineering. ECMFA Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith
2012	J	`jnl`	Special issue on Model Based Engineering for Embedded Systems Design. J. Syst. Archit. Daniela Cancila, Huáscar Espinoza, Richard F. Paige
2012	J	`jnl`	Surveying Rule Inheritance in Model-to-Model Transformation Languages. J. Object Technol. 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
2011	—	`conf`	A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. ICMT@TOOLS 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
2011	J	`jnl`	An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alek Radjenovic, Richard F. Paige
2011	A	`conf`	EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo
2011	—	`conf`	Failures of a Business Process in Enterprise Systems. CENTERIS (1) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2011	J	`jnl`	High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
2011	B	`conf`	Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack
2011	B	`conf`	Integrated Model Management with Epsilon. ECMFA Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams
2011	J	`jnl`	Large-scale Complex IT Systems CoRR Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	—	`conf`	Model Management in the Wild. GTTSE Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolas Drivalos Matragkas, James R. Williams
2011	—	`conf`	Model-Based Hardware Generation and Programming - The MADES Approach. ISORC Workshops Ian Gray, Nicholas Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris S. Kolovos, Richard F. Paige
2011	—	`conf`	Model-based Failure Failure Analysis of Business Process. ICEIS (3) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2011	B	`ed.`	Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings ECMFA Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige
2011	—	`conf`	Requirements for a model comparison language. IWMCP@ICMT James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack, Richard F. Paige
2011	J	`jnl`	Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler
2011	—	`conf`	Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case TTC Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2011	B	`conf`	Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige
2011	B	`conf`	Value-Based Software Traceability Workshop (VALSOT 2011). XP Angelina Espinoza, Richard F. Paige, Juan Garbajosa
2010	B	`ed.`	15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 ICECCS Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska
2010	—	`conf`	A Comparison of Model Migration Tools. MoDELS (1) Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack
2010	B	`conf`	A Reflective Approach to Model-Driven Web Engineering. ECMFA Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets
2010	B	`conf`	A Visual Specification Language for Model-to-Model Transformations. VL/HCC Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige
2010	—	`conf`	A state-based approach to traceability maintenance. ECMFA-TW Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes
2010	—	`conf`	An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE Xiaocheng Ge, Richard F. Paige, John A. McDermid
2010	—	`conf`	Analysing System Failure Behaviours with PRISM. SSIRI (Companion) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2010	—	`conf`	Behavioural interoperability to support model-driven systems integration. MDI@MoDELS Alek Radjenovic, Richard F. Paige
2010	B	`conf`	Concordance: A Framework for Managing Model Integrity. ECMFA Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes
2010	—	`conf`	Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes
2010	J	`jnl`	Document-centric XML workflows with fragment digital signatures. Softw. Pract. Exp. Phillip J. Brooke, Richard F. Paige, Christopher Power
2010	—	`conf`	Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige
2010	—	`conf`	Formal Analysis in Model Management: Exploiting the Power of CZT. ASM James R. Williams, Fiona A. C. Polack, Richard F. Paige
2010	J	`jnl`	Guest editorial to the theme issue on traceability in model-driven engineering. Softw. Syst. Model. Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple
2010	—	`conf`	Inter-modelling: From Theory to Practice. MoDELS (1) Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige
2010	J	`jnl`	Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Softw. Raman Ramsin, Richard F. Paige
2010	—	`conf`	KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige
2010	—	`conf`	Model Migration with Epsilon Flock. ICMT@TOOLS Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2010	—	`ch.`	Programming Phase: Formal Methods. Encyclopedia of Software Engineering Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti
2010	—	`conf`	Taming EMF and GMF Using Model Transformation. MoDELS (1) Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck
2010	—	`conf`	Towards a Model-Based Refinement Process for Contractual State Machines. ISORC Workshops Lishan Harbird, Andy Galloway, Richard F. Paige
2010	—	`conf`	Traceability in model-driven safety critical software engineering. ECMFA-TW Richard F. Paige
2009	A	`conf`	Abstracting Complex Languages through Transformation and Composition. MoDELS Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige
2009	—	`conf`	Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos
2009	J	`jnl`	Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. Phillip J. Brooke, Richard F. Paige
2009	—	`conf`	Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) Christopher Power, Richard F. Paige
2009	—	`conf`	Different models for model matching: An analysis of approaches to support model differencing. CVSM@ICSE Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, Richard F. Paige
2009	—	`conf`	Domain analysis on an electronic health records system. FOSD Xiaocheng Ge, Richard F. Paige, John A. McDermid
2009	B	`conf`	Domain-Specific Metamodelling Languages for Software Language Engineering. SLE Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid
2009	J	`jnl`	Editorial. Formal Aspects Comput. Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock
2009	A*	`conf`	Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2009	—	`ed.`	Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings ECMDA-FA Richard F. Paige, Alan Hartman, Arend Rensink
2009	—	`conf`	On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2009	B	`conf`	Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP Xiaocheng Ge, Richard F. Paige, John A. McDermid
2009	A	`conf`	Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock
2009	—	`conf`	Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack
2009	B	`conf`	The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack
2009	—	`conf`	The SCOOP Concurrency Model in Java-like Languages. CPA Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik
2009	—	`conf`	The Use of Model Transformation in the INESS Project. FMCO Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King
2009	—	`ed.`	Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings ICMT@TOOLS Richard F. Paige
2009	J	`jnl`	XRound: A reversible template language and its application in model-based security analysis. Inf. Softw. Technol. Howard Chivers, Richard F. Paige
2008	—	`conf`	08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS). Perspectives Workshop: Model Engineering of Complex Systems (MECS) Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt
2008	—	`conf`	08331 Manifesto - Model Engineering for Complex Systems. Perspectives Workshop: Model Engineering of Complex Systems (MECS) Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt
2008	A	`conf`	Constructing Models with the Human-Usable Textual Notation. MoDELS Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
2008	A	`conf`	Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2008	B	`conf`	Engineering a DSL for Software Traceability. SLE Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes
2008	J	`jnl`	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
2008	—	`conf`	FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS (Workshops) Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke
2008	J	`jnl`	Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test. Verification Reliab. Richard F. Paige
2008	C	`conf`	Novel features in languages of the epsilon model management platform. MiSE Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2008	—	`ed.`	Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings TOOLS (46) Richard F. Paige, Bertrand Meyer
2008	—	`conf`	Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
2008	J	`jnl`	Observations for Assertion-based Scenarios in the context of Model Validation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Emine Gokce Aydal, Richard F. Paige, Jim Woodstock
2008	—	`ed.`	Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08. - 13.08.2008 Perspectives Workshop: Model Engineering of Complex Systems (MECS) Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt
2008	J	`jnl`	Process-centered review of object oriented software development methodologies. ACM Comput. Surv. Raman Ramsin, Richard F. Paige
2008	—	`conf`	The Epsilon Generation Language. ECMDA-FA Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
2008	—	`conf`	The Epsilon Transformation Language. ICMT@TOOLS Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2008	—	`conf`	The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2008	—	`conf`	The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA Alek Radjenovic, Richard F. Paige
2008	B	`conf`	Towards Agile Engineering of High-Integrity Systems. SAFECOMP Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
2008	—	`conf`	Unit Testing Model Management Operations. ICST Workshops Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack
2007	J	`jnl`	A CSP model of Eiffel's SCOOP. Formal Aspects Comput. Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob
2007	B	`conf`	A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers
2007	C	`conf`	A UML Profile for Knowledge-Based Systems Modelling. SERA Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest
2007	—	`conf`	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS (Workshops) Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
2007	J	`jnl`	Exceptions in Concurrent Eiffel. J. Object Technol. Phillip J. Brooke, Richard F. Paige
2007	B	`conf`	Extreme Programming Security Practices. XP Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke
2007	—	`ch.`	Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
2007	—	`conf`	Lazy Exploration and Checking of CSP Models with CSPsim. CPA Phillip J. Brooke, Richard F. Paige
2007	J	`jnl`	Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
2007	—	`ed.`	Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings ECMDA-FA David H. Akehurst, Régis Vogel, Richard F. Paige
2007	—	`conf`	Model-driven Development of Particle System Families. MOMPES Philippa Conmy, Richard F. Paige
2007	—	`book`	Practical Distributed Processing. Phillip J. Brooke, Richard F. Paige
2007	J	`jnl`	Update Transformations in the Small with the Epsilon Wizard Language. J. Object Technol. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose
2007	A	`conf`	Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble
2006	—	`conf`	A Canonical Scheme for Model Composition. ECMDA-FA Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige
2006	B	`conf`	Agile development of secure web applications. ICWE Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke
2006	J	`jnl`	Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2006	Misc	`conf`	An action semantics for MOF 2.0. SAC Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
2006	J	`jnl`	Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Softw. Alek Radjenovic, Richard F. Paige
2006	J	`jnl`	Game Development Using Design-by-Contract. J. Object Technol. Richard F. Paige, Triston S. Attridge, Phillip J. Brooke
2006	—	`conf`	Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
2006	Misc	`conf`	Knowledge Modelling Using The UML Profile. AIAI Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
2006	J	`jnl`	Knowledge-based systems: a re-evaluation. J. Knowl. Manag. Mohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige
2006	A	`conf`	Merging Models with the Epsilon Merging Language (EML). MoDELS Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2006	B	`conf`	Origins of the Grid Architectural Style. ICECCS Jovan Cakic, Richard F. Paige
2006	B	`conf`	Security Planning and Refactoring in Extreme Programming. XP Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke
2006	—	`ed.`	Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings SPC John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke
2006	—	`conf`	The Epsilon Object Language (EOL). ECMDA-FA Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2006	B	`conf`	The View Glue. WADS Alek Radjenovic, Richard F. Paige
2006	B	`conf`	Towards an Agile Process for Building Software Product Lines. XP Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke
2006	—	`conf`	Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos
2005	C	`conf`	A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS Jovan Cakic, Richard F. Paige
2005	B	`conf`	Agile Formal Method Engineering. IFM Richard F. Paige, Phillip J. Brooke
2005	B	`conf`	Agile Security Using an Incremental Security Architecture. XP Howard Chivers, Richard F. Paige, Xiaocheng Ge
2005	B	`conf`	An Agile and Extensible Code Generation Framework. XP Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2005	Misc	`conf`	Conceptual Modelling of Knowledge-Based Systems Using UML. AIAI Mohd Syazwan Abdullah, Richard F. Paige, Carl Thompson, Ian D. Benest, Chris Kimble
2005	—	`conf`	Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA Zhan En Chan, Richard F. Paige
2005	J	`jnl`	E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
2005	Misc	`conf`	High-integrity extreme programming. SAC Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson
2005	—	`conf`	Refinement via Consistency Checking in MDA. REFINE Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
2005	—	`conf`	Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
2005	—	`conf`	XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA Howard Chivers, Richard F. Paige
2004	B	`conf`	Agile Specification-Driven Development. XP Jonathan S. Ostroff, David Makalsky, Richard F. Paige
2004	—	`conf`	Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans
2004	J	`jnl`	ERC - An object-oriented refinement calculus for Eiffel. Formal Aspects Comput. Richard F. Paige, Jonathan S. Ostroff
2004	J	`jnl`	Integrating BON and Object-Z. J. Object Technol. Richard F. Paige, Phillip J. Brooke
2004	J	`jnl`	Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney
2004	J	`jnl`	SECG: The SCOOP-to-Eiffel Code Generator. J. Object Technol. Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige
2004	—	`conf`	Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM Richard F. Paige, Jonathan S. Ostroff
2003	B	`conf`	Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke
2003	J	`jnl`	Fault trees for security system design and analysis. Comput. Secur. Phillip J. Brooke, Richard F. Paige
2003	J	`jnl`	Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
2002	J	`jnl`	BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. J. Object Technol. Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric
2002	B	`conf`	The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM Phillip J. Brooke, Richard F. Paige
2002	J	`jnl`	The Single Model Principle. J. Object Technol. Richard F. Paige, Jonathan S. Ostroff
2001	—	`conf`	A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML Richard F. Paige, Jonathan S. Ostroff
2001	—	`conf`	Extending the message flow debugger for MQSI. CASCON Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell
2001	B	`conf`	Metamodelling and Conformance Checking with PVS. FASE Richard F. Paige, Jonathan S. Ostroff
2001	A	`conf`	The Single Model Principle. RE Richard F. Paige, Jonathan S. Ostroff
2000	J	`jnl`	Principles for modeling language design. Inf. Softw. Technol. Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
2000	J	`jnl`	The logic of software design. IEE Proc. Softw. Jonathan S. Ostroff, Richard F. Paige
1999	—	`conf`	A Comparison of the Business Object Notation and the Unified Modelling Language. UML Richard F. Paige, Jonathan S. Ostroff
1999	—	`conf`	Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods Richard F. Paige, Eric C. R. Hehner
1999	—	`conf`	Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods Richard F. Paige, Jonathan S. Ostroff
1999	J	`jnl`	Integrating a Program Design Calculus and a Subset of UML. Comput. J. Richard F. Paige
1999	B	`conf`	Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM Richard F. Paige
1999	J	`jnl`	When are methods complementary? Inf. Softw. Technol. Richard F. Paige
1998	—	`conf`	Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM Richard F. Paige
1998	A*	`conf`	From Z to BON/Eiffel. ASE Richard F. Paige, Jonathan S. Ostroff
1998	J	`jnl`	Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects Comput. Richard F. Paige
1997	—	`conf`	A Meta-Method for Formal Method Integration. FME Richard F. Paige
1997	—	`conf`	Case Studies in Using a Meta-Method for Formal Method Integration. AMAST Richard F. Paige
1997	—	`—`	Formal method integration via heterogeneous notations. Richard F. Paige