Programme Committees

I'm on the following programme and organising committees. Contributions encouraged (and in some cases, required).

Forthcoming events:

Some recent-ish past events:


Publications and Submissions

I'm providing digital copies of most of these papers and documents here as a service to the research community. Copyrights are held by their respective publishers (typically, IEEE Press, Springer-Verlag, OUP, Cambridge, etc.) Please let me know if any of the papers don't work for you; I'm happy to send hard copies if you supply a postal address.

2016

D. Salah, R.F. Paige, P.A. Cairns: A Maturity Model for Integrating Agile Processes and User Centred Design. SPICE 2016: 109-122

R.F. Paige, N. Matragkas, L.M. Rose: Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. Journal of Systems and Software 111: 272-280 (2016)

R.F. Paige, D. Kolovos, A. Garcia-Dominguez, N. Matragkas and H. Hoyos Rodriguez, Tutorial: Advanced Model Management with Epsilon, accepted and to appear in Proc MoDELS 2016, IEEE, St-Malo, France, September 2016.

A. Garcia-Dominguez, D. Kolovos, K. Barmpis, R. Wei and R.F. Paige. Stress-Testing Centralised Model Stores, accepted and to appear in Proc. ECMFA 2016, LNCS, Springer, Vienna, Austria, July 2016.

A. Sánchez-Barbudo Herrera, R.F. Paige and E. Willink: A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax, accepted and to appear in Proc ICMT 2016, LNCS, Springer, Vienna, Austria, July 2016.

R.F. Paige, J. Cabot, M. Brambilla, J. H. Hill: 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. CEUR Workshop Proceedings 1563, CEUR-WS.org 2016

2015

R. Hawkins, I. Habli, D.S. Kolovos, R.F. Paige, T. Kelly. Weaving an Assurance Case from Design: A Model-Based Approach. In Proc. HASE 2015, IEEE Press, 110-117

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi: Formal verification and validation of embedded systems: the UML-based MADES approach. Software and System Modeling 14(1): 343-363 (2015)

P.J. Brooke and R.F. Paige. User-visible cryptography in email and web scenarios. Information and Computer Security 23(1), 2015.

D.S. Kolovos, A. Garcia-Dominguez, L.M. Rose and R.F. Paige. Eugenia: towards disciplined and automated development of GMF-based graphical model editors, accepted and to appear in , February 2015.

2014

R.F. Paige, D.S. Kolovos and R.F. Paige. A Tutorial on Metamodelling for Grammar Researchers, accepted and to appear in Science of Computer Programming, 2014.

S.M. Shah, R. Wei, D.S. Kolovos, L.M. Rose, R.F. Paige and K. Barmpis. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence, in Proc. MoDELS Conference 2014, LNCS, Springer-Verlag, Valencia, Spain, October 2014.

D.S. Kolovos, N. Matragkas, J.R. Williams and R.F. Paige. Model-Driven Grant Proposal Engineering, in Proc. MoDELS Conference 2014, LNCS, Springer-Verlag, Valencia, Spain, October 2014.

S. Kokaly, Z. Diskin, T. Maibaum and R.F. Paige. How to megamodel diagrammatically: theory and practices, Tutorial at MoDELS 2014, Valencia, Spain, October 2014.

A. Zolotas, D.S. Kolovos, N. Matragkas, R.F. Paige. Assigning Semantics to Graphical Concrete Syntaxes. In Proc. XM@MoDELS 2014, CEUR Proceedings, September 2014.

D. Salah, R.F. Paige and P. Cairns: Integrating Agile Development Processes and User Centred Design - A Place for Usability Maturity Models? In Proc. HCSE 2014, LNCS, Springer, September 2014.

R.F. Paige. Software Engineering with Models: State of the Art and Future Challenges, in Novatica, April-July 2014. (Spanish journal; English version also to be published.)

F. Hermans, R.F. Paige and P. Sestoft (editors). Proceedings of Software Engineering Methods in Spreadsheets, CEUR, Delft, the Netherlands, July 2014.

R.F. Paige, D.S. Kolovos and N. Matragkas. Spreadsheets are Models Too, in Proc. Software Engineering Methods in Spreadsheets 2014, CEUR Proceedings, Delft, the Netherlands, July 2014.

D. Salah, R.F. Paige and P. Cairns. A Systematic Literature Review for Agile Development Processes and User Centred Design Integration, in Proc. 18th International Conference on Evaluation and Assessment in Software Engineering (EASE'14), ACM Press, May 2014.

N. Matragkas, J.R. Williams, D.S. Kolovos and R.F. Paige. Analysing the 'Biodiversity' of Open Source Ecosystems: the Github Case, in Proc. Mining Software Repositories 2014, ACM, May 2014.

F. Burton, R.F. Paige, S. Poulding and S. Smith. System-of-Systems Acquisition Tradeoffs, in Proc. 2014 Conference on Systems Engineering Research, March 2014.

Alessandra Bagnato, Etienne Brosse, Imran Rafiq Quadri, Andrey Sadovykh, Leandro Indrusiak, R.F. Paige, Matteo Rossi, Matteo Carlo Crippa, Stefano Genolini, Scott Hansen, Gundula Meisel-Blohm, Ian Gray, Neil Audsley, Dimitrios S. Kolovos, Nicholas Matragkas and Luciano Baresi. MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Systems, in Industry and Research Perspectives on Embedded Systems Design, 2014.

J. Gibbons, R.F Paige, A. Schurr, J. Terwilliger, J. Weber. Bi-directional transformations (BX) – Theory and Applications Across Disciplines (13w5115), BIRS Workshop Report, 2014.

2013

R.F. Paige, M. Harman and J.R. Williams (editors). Proceedings of the First Workshop on Combining Modelling and Search-Based Software Engineering, co-located with ICSE 2013, San Francisco, USA, May 2013. IEEE Press.

J. Atlee, R. Baillergeon, M. Chechik, R. France, J. Gray, R.F. Paige and B. Rumpe (editors). Proceedings of the Fifth Workshop on Modelling in Software Engineering, co-located with ICSE 2013, San Francisco, USA, May 2013. IEEE Press.

M. Erwig, R.F. Paige and E. van Wyk (editors). Proceedings of the 6th Conference on Software Language Engineering (SLE) 2013, co-located with OOPSLA/GPCE 2013, Indianapolis, USA, LNCS 8825, Springer-Verlag, October 2013.

L.M. Rose, D.S. Kolovos, R.F. Paige, F.A.C. Polack and S.M. Poulding. Epsilon Flock: a model migration language, accepted and to appear in Software and Systems Modelling, 2013.

L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, Software and Systems Modelling, Springer 12(1), 2013. DOI: 10.1007/s10270-011-0203-2

E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010) 12(3), 2013. DOI: 10.1007/s10270-011-0211-2

R.F. Paige and J. Gray (editors). Special issue of revised papers of the Second International Conference on Model Transformation (ICMT), Software and Systems Modelling 12(1), 2013. DOI: 10.1007/s10270-011-0209-9

A. Etien, T. Legrand, A. Muller and R.F. Paige. Localized Model Transformations for Building Large-Scale Transformations, accepted and to appear in Software and Systems Modelling, 2013.

R.F. Paige and L.M. Rose. Lies, Damned Lies and UML2Java. Journal of Object Technology 12(1), January 2013.

L. Baresi, G. Blohm, D.S. Kolovos, N. Matragkas, A. Motta, R.F. Paige, A. Radjenovic and M. Rossi. Formal verification and validation of embedded systems: the MADES approach, accepted and to appear in Software and Systems Modelling, 2013.

D.S. Kolovos, N. Matragkas and R.F. Paige. Adding Spreadsheets to the MDE Toolkit, in Proc. MoDELS 2013, Miami, Florida, LNCS, Springer-Verlag, October 2013.

L.M. Rose, S.M. Poulding, R.F. Paige and R. Feldt. Towards A Scalable Cloud Platform for Search-Based Probabilistic Testing, accepted and to appear in Proc. International Conference on Software Maintenance (ICSM) 2013, Eindhoven, the Netherlands, September 2013. IEEE Press.

R.F. Paige, Radu Calinescu, Dimitris Kolovos, Nicholas Drivalos and Dave Cliff. Multimodel-Driven Software Engineering for Evolving Enterprise Systems, in Proc. Towards the Model-Driven Enterprise (AMINO) 2013, CEUR Proceedings, November 2013.

D.S. Kolovos, N. Matragkas, H. Rodriguez and R.F. Paige. Programmatic Muddle Management, in Proc. Extreme Modelling 2013, CEUR Proceedings, November 2013.

J.R. Williams, S. Poulding, R.F. Paige and F.A.C. Polack. Exploring the use of metaheuristic search to infer models of dynamic system behaviour, in Proc. Models@Runtime 2013, CEUR Proceedings, November 2013.

N. Matragkas, R.F. Paige and D.S. Kolovos. A Traceability Approach to Model Transformation Testing, in Proc. Analysis of Model Transformations 2013, CEUR Proceedings, November 2013.

M. Taromirad, R.F. Paige and N. Matragkas. Towards a Multi-Domain Model-Driven Traceability Approach, in Proc. Multi-Paradigm Modelling Workshop 2013, CEUR Proceedings, November 2013.

J.R. Williams, Athanasios Zolotas, Nicholas Matragkas, Louis Rose, Dimitris Kolovos, Richard Paige and Fiona Polack. What do metamodels really look like? In Proc. Experiences and Empirical Studies in Software Modelling 2013, CEUR Proceedings, November 2013.

2012

R.F. Paige, D. Cancila, H. Espinoza and B. Selic (editors). Special issue of revised papers of the workshop on Model-Driven Embedded Systems, Journal of Systems Architecture, Elsevier, 2012.

L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, Software and Systems Modelling, Springer, to appear 2012.

E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010), Springer-Verlag, to appear 2012.

I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T.P. Kelly, M.Z. Kwiatkowska, J.A. McDermid, and R.F. Paige. Large-scale Complex IT Systems, Communications of the ACM, July 2012.

R.F. Paige and D. Varro. Lessons Learned from Building Model-Driven Development Tools, accepted and to appear in Software and Systems Modelling – 10th Anniversary Issue, Springer-Verlag, 2012.

A. Kusel, M. Wimmer, A. Schurr, R.F. Paige et al. Surveying Rule Inheritance in Model-to-Model Transformation Languages, accepted and to appear in Journal of Object Technology – Special Issue of Papers from ICMT’11.

R.F. Paige, D.S. Kolovos, L.M. Rose, N. Matragkas and J.R. Williams. Model Management in the Wild, invited paper accepted and to appear in Proc. GTTSE 2011, LNCS, Springer-Verlag, 2012.

R.F. Paige. Metamodelling for Grammarware Researchers, invited paper accepted and to appear in Proc. Software Language Engineering 2012, LNCS, Springer-Verlag, 2012.

P.J. Brooke, R.F. Paige and C. Power. Approaches to Modelling Security Protocols with Domain Specific Languages, in 20th Security Protocols Workshop, LNCS, Springer-Verlag, 2012.

X. Cui and R.F. Paige. An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations, in Proc. ICIS 2012, IEEE Press, Shanghai, China, June 2012.

L.M. Rose, N. Matragkas, D.S. Kolovos and R.F. Paige. A Feature Model for Model-to-text Transformation, in Proc. Modelling in Software Engineering Workshop 2012, co-located with ICSE 2012, Zurich. Switzerland, IEEE Press, June 2012.

A. Radjenovic, N. Matragkas, R.F. Paige, A. Motta, M. Rossi, L. Baresi and D.S. Kolovos, MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.

A. Radjenovic, R.F. Paige, L.M. Rose, J. Woodcock and S. King, A Plug-in Based Approach to UML Model Simulation, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.

D.S. Kolovos, L.M. Rose, N. Matragkas, J.R. Williams and R.F. Paige, A Lightweight Approach for Managing XML Documents with MDE Languages, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.

F. Burton, R.F. Paige, D.S. Kolovos, L.M. Rose, S.M. Poulding and S. Smith, Solving Acquisition Problems using Model-Driven Engineering and Model Transformation, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.

A. Radjenovic and R.F. Paige. Towards a Common Modelling Platform for Migration to the Cloud, in Proc. CloudMDE Workshop, co-located with ECMFA 2012, CEUR Proceedings, July 2012.

R. Pakir, D.S. Kolovos and R.F. Paige. Cloud Computing Workload and Capacity Management Using Domain Specific Modelling, in Proc. CloudMDE Workshop, co-located with ECMFA 2012, CEUR Proceedings, July 2012.

J.R. Williams, R.F. Paige, F. Burton and S. Poulding. Sensitivity Analysis in Model-Driven Engineering, accepted and to appear in Proc. MoDELS/UML 2012, LNCS, Springer-Verlag, October 2012.
2011

A. Garcia Dominguez, D.S. Kolovos, L.M. Rose, R.F. Paige and I. Medina. EUnit: a Unit Testing Framework for Model Management Tasks, in Proc. MoDELS/UML 2011, LNCS, Wellington, New Zealand, October 2011.

X. Ge, R.F. Paige and J.A. McDermid. Failures of a Business Process in Enterprise Systems, accepted and to appear in Proc. CENTERIS 2011, Springer-Verlag, October 2011.

J.R. Williams, S. Poulding, L.M. Rose, R.F. Paige and F.A.C. Polack. Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels, in Proc. Third International Symposium on Search Based Software Engineering, LNCS, September 2011, Szeged, Hungary

R.F. Paige and J. Gray (editors). Editorial for the special issue of revised papers of the Second International Conference on Model Transformation (ICMT), Software and Systems Modelling, Springer-Verlag, 2011.

I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T.P. Kelly, M.Z. Kwiatkowska, J.A. McDermid, and R.F. Paige. Large-scale Complex IT Systems, CoRR abs/1109.3444, 2011.

D. Cancila, H. Espinoza and R.F. Paige (editors). Editorial for the special issue of revised papers of the workshop on Model-Driven Embedded Systems, Journal of Systems Architecture, Elsevier, 2011.

E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, accepted and to appear in Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010), Springer-Verlag, 2011.

L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, accepted and to appear in Software and Systems Modelling, Springer-Verlag, 2011.

R.F. Paige, A. Galloway, R. Charalambous, X. Ge and P.J. Brooke. High-Integrity Agile Processes for the Development of Safety-Critical Software, in International Journal on Critical Computer-Based Systems 2(2), Inderscience Press, 2011.

J.R. Williams, D.S. Kolovos, F.A.C. Polack and R.F. Paige. Requirements for a Model Comparison Language, in Proc. 2nd Workshop on Model Comparison in Practice, ACM Press, June 2011.

I. Gray, N. Magtrakas, N.C. Audsley, D.S. Kolovos, R.F. Paige and L. Indrusiak. Model-based hardware generation and programming - the MADES approach, in Proc. ISORC Workshops 2011, April 2011, IEEE Press.

O. Marchi dos Santos, R.F. Paige, J.C.P. Woodcock and S. King. Using Model Transformation to Generate Graphical Counter-Examples for the Analysis of xUML Models, in Proc. ICECCS 2011, IEEE Press, April 2011.

I. Gray, N. Magtrakas, N.C. Audsley, R.F. Paige, D.S. Kolovos and L. Indrusiak. Model-based development of embedded systems with MADES, in Proc. M-BED 2011, May 2011, IEEE Press.

X. Ge, R.F. Paige and J.A. McDermid. Model-Based Failure Analysis of Business Processes, in Proc. ICEIS 2011, June 2011, IEEE Press.

M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger, D.S. Kolovos, R.F. Paige, M. Lauder, A. Schürr and D. Wagelaar, A Comparison of Rule Inheritance in Model-to-Model Transformation Languages, in Proc. 4th International Conference on Model Transformation (ICMT) 2011, LNCS, Springer-Verlag, June 2011.

A. Espinoza, J. Garbajosa and R.F. Paige. Value-Based Software Traceability, in Proc. Extreme Programming 2011, LNBIP, Springer-Verlag, June 2011.

D.S. Kolovos, R.F. Paige, L.M. Rose and J. Williams. Integrated Model Management with Epsilon, in Proc. 7th International Conference on Modelling: Foundations and Applications 2011, LNCS 6988, Springer-Verlag, 2011.

R.B. France, J. Kuester, B. Bordbar and R.F. Paige (editors). Proceedings of the 7th International Conference on Modelling: Foundations and Applications 2011, LNCS 6988, Springer-Verlag, 2011.

2010

R.F. Paige, J.C.P. Woodcock, A.L.C. Cavalcanti and P.J. Brooke. Formal Methods in the Programming Phase, accepted and to appear in Encyclopedia of Software Engineering, Taylor & Francis, 2010.

P.J. Brooke, R.F. Paige and C. Power. Document-Centric XML Workflows with Fragment Digital Signatures, Software: Practice and Experience 40(8), 2010.

R.F. Paige, N. Drivalos, D.S. Kolovos, C. Power, G.K. Olsen and S. Zschaler. Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering, accepted and to appear in Journal of Software and Systems Modelling, Springer, 2010.

L.M. Rose, M. Hermannsdoerfer, J. Williams, D.S. Kolovos, K. Garces, R.F. Paige and F.A.C. Polack. A Comparison of Model Migration Tools, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.

E. Guerra, J. de Lara, D.S. Kolovos and R.F. Paige. Inter-Modelling: from Theory to Practice, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.

D.S. Kolovos, L.M. Rose, S. Bin Abid, R.F. Paige, F.A.C. Polack and G. Botterweck. Taming EMF and GMF Using Model Transformations, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.

E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. dos Santos. transML: A Family of Languages to Model Model Transformations, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010. [Winner of ACM Distinguished Paper Prize]

M. Tabatabaie, F.A.C. Polack and R.F. Paige. Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems, in Proc. Conference on Enterprise Information Systems (CENTERIS) 2010, Springer, Porto, Portugal, October 2010.

L.M. Rose, A. Etien, D. Mendez, D.S. Kolovos, R.F. Paige and F.A.C. Polack. Comparing Model-Metamodel and Transformation-Metamodel Co-Evolution, in Proc. Models and Evolution Workshop 2010, Oslo, Norway, October 2010.

A. Radjenovic and R.F. Paige. Behavioural interoperability to support model-driven systems integration, in Proc. Workshop on Model-Driven Interoperability, ACM Press, Oslo, Norway, October 2010.

R.F. Paige, F. Burton and S.M. Poulding. Modelling to Support Decision Making in Complex Environments - an Impossible Challenge?, keynote at 3rd Workshop on Non-Functional Properties in Domain-Specific Modelling Languages, CEUR Proceedings, Oslo, Norway, October 2010. [Note, paper doesn't say much - email me if you'd like the slides.]

R.F. Paige, G.K. Olsen, J. Oldevik and T. Neple. Guest Editorial to Theme Issue on Traceability in Model-Driven Engineering, Software and Systems Modelling 9(4), September 2010.

E. Guerra, J. de Lara, D.S. Kolovos and R.F. Paige. A Visual Specification Language for Model-to-Model Transformations, in Proc. 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2010, IEEE Press, Madrid, Spain, September 2010.

X. Ge, R.F. Paige and J.A. McDermid. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments, in Proc. Agile 2010, IEEE Press, Nashville, Tennessee, August 2010.

D.Salah, R.F. Paige and H. Petrie. Practices in the Integration of Agile and UCD Processes - A Reality Check, in Proc. Agile 2010: UX Session, IEEE Press, Nashville, Tennessee, August 2010.

X. Ge, R.F. Paige and J.A. McDermid. Analysing System Failure Behaviours with PRISM, in Proc. Workshop on Model-Checking Secure and Reliable Systems (co-located with SSIRI 2010), IEEE Press, Singapore, June 2010.

L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack. Model Migration with Epsilon Flock, in Proc. Third International Conference on Model Transformation (ICMT) 2010, LNCS, Springer-Verlag, Malaga, Spain, June 2010.

D.S. Kolovos, L.M. Rose, N. Matragkas, R.F. Paige, F.A.C. Polack and K.J. Fernandes. Constructing and Navigating Non-Invasive Model Decorations, in Proc. Third International Conference on Model Transformation (ICMT) 2010, LNCS, Springer-Verlag, Malaga, Spain, June 2010.

Dimitrios S. Kolovos, Louis M. Rose, R.F. Paige, and Juan de Lara. Ecore to GenModel,  in Proc. Transformation Tools Contest Workshop (TTC), co-located with TOOLS Europe 2010, Malaga, Spain, June 2010.

Louis M. Rose, Dimitrios S. Kolovos, R.F. Paige, and Fiona A.C. Polack. Model Migration, in Proc. Transformation Tools Contest Workshop (TTC), co-located with TOOLS Europe 2010, Malaga, Spain, June 2010.

A. Bagnato, A. Sadovykh, R.F. Paige, D.S. Kolovos, L. Baresi, A. Morzenti and M. Rossi. MADES: Embedded Systems Engineering Approach in the Avionics Domain, in Proc. Hands-on Platforms and Tools for Model-Driven Embedded Systems (HoPES) Workshop (co-located with ECMFA 2010), June 2010.

N. Matragkas, D.S. Kolovos, R.F. Paige and K.J. Fernandes. A State-based Approach to Traceability Maintenance, in Proc. ECMFA Traceability Workshop 2010, ACM Press, Paris, France, June 2010.

R.F. Paige. Traceability in Model-Driven Safety Critical Software Engineering (Keynote), in Proc. ECMFA Traceability Workshop 2010, ACM Press, Paris, France, June 2010 [note: the paper doesn't say much, but the slides say more]

L.M. Rose, D.S. Kolovos, N. Matragkas, J.R.Williams, R.F. Paige, F.A.C. Polack and K. J. Fernandes. Concordance: An Efficient Framework for Managing Model Consistency, in Proc. European Conference on Modelling: Foundations and Applications (ECMFA) 2010, LNCS 6138, Springer-Verlag, Paris, France, June 2010.

D. Clowes, D.S. Kolovos, C. Holmes, L.M. Rose, R.F. Paige, J. Johnson, R. Dawson and S. Probets. A Reflective Approach to Model-Driven Web Engineering, in Proc. European Conference on Modelling: Foundations and Applications (ECMFA) 2010, LNCS 6138, Springer-Verlag, Paris, France, June 2010.

L. Harbird, A. Galloway and R.F. Paige. Towards a Model-Based Refinement Process for Contractual Statecharts, in Workshop on Model-Based Real-Time and Embedded Systems 2010, IEEE Press, May 2010.

R. Ramsin and R.F. Paige. An Iterative Criteria-Based Approach to Engineering the Requirements of Software Development MethodologiesIET Software 4(2), April 2010.

J. Williams, F.A.C. Polack and R.F. Paige. Formal analysis in model management: exploiting the power of CZT, in Proc. ABZ 2010, LNCS 5977, Springer-Verlag, February 2010.

2009

L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack. Enhanced Automation for Managing Model and Metamodel Inconsistency, in Proc. Automated Software Engineering 2009, ACM Press, November 2009.

F. Torshizi, J.S. Ostroff, R.F. Paige and M. Chechik: The SCOOP Concurrency Model in Java-like Languages, in Proc. Communicating Process Architectures 2009, Eindhoven, the Netherlands, November 2009.

D.S. Kolovos, L.M. Rose and R.F. Paige. EuGENia: GMF for Mortals, in Proc. Eclipse Summit Europe 2009, Ludwigsberg, Germany, October 2009.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages, invited paper in Dagstuhl Festschrift in Honour of Egon Boerger: Rigorous Methods for Software Construction and Analysis, LNCS 5115, Springer-Verlag, 2009.

S. Zschaler, N. Drivalos, D.S. Kolovos, R.F. Paige and A. Rashid. Domain-Specific Metamodelling Languages for Software Language Engineering, in Proc. Software Language Engineering 2009, Denver, Colorado, LNCS 5969, Springer-Verlag, October 2009.

X. Ge, R.F. Paige and J.A. McDermid. Domain Analysis on an Electronic Health Records System, in Proc. Feature-Oriented Software Development Workshop 2009, Denver, Colorado, ACM Press, October 2009.

L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack. An Analysis of Approaches to Model Migration, in Proc. Workshop on Models and Evolution, co-located with MoDELS/UML 2009, Denver, Colorado, October 2009.

J. Johannes, S. Zschaler, M. Fernandez, A. Castillo, D. Kolovos and R.F. Paige. Abstracting Complex Languages through Transformation and Composition, in Proc. MoDELS/UML 2009, LNCS 5795, Springer-Verlag, October 2009.

M. Tabatabaie, R.F. Paige and C. Kimble. Exploring Enterprise Information Systems, in Enterprise Information Systems for Business Integration in SMEs: Technological, Organizational and Social Dimensions, IGI Global, October 2009.

D. Salah, H. Petrie and R.F. Paige. Towards a Framework for Bridging User-Centred Design and Agile Software Development Processes, in Proc. 3rd Irish HCI Conference 2009, September 2009.

X. Ge, R.F. Paige and J.A. McDermid. Probabilistic Failure Propagation and Transformation Analysis,  in Proc. SAFECOMP 2009, LNCS 5775, Springer-Verlag, September 2009.

P.J. Brooke and R.F. Paige. Cameo: an Alternative Model of Concurrency for Eiffel, Formal Aspects of Computing 21(4), Springer, August 2009.

R.F. Paige and P.J. Brooke. Editorial for special issue on Concurrency, Real-Time and Distribution in Eiffel-like Languages, Formal Aspects of Computing 21(4), August 2009.

C. Power and R.F. Paige. Content Personalization for Inclusive Education through Model-Driven Engineering, in Proc. HCI International 2009: Universal Access in HCI Theme, LNCS 5616, Springer-Verlag, San Diego, USA, August 2009.

R.F. Paige (editor). Proceedings of the Second International Conference on Model Transformation (ICMT) 2009, LNCS 5563, Springer-Verlag, June 2009.

R.F. Paige, A. Hartman and A. Rensink (editors). Proceedings of the Fifth European Conference on MDA: Foundations and Applications (ECMDA-FA) 2009, LNCS 5562, Springer-Verlag, June 2009.

E. Turner, H. Treharne, R.F. Paige, D.S. Kolovos. Automatic generation of integrated formal models corresponding to UML system models, in Proc. 47th International TOOLS Conference on Objects, Models, Components and Patterns, LNBIP 33, Springer-Verlag, Zurich, July 2009.

L.M. Rose, D.S. Kolovos, R.F. Paige, T. Gilliam and F.A.C. Polack. Patterns for Testing Model Management Tools,  in Proc. 2nd Workshop on Model-based Testing in Practice, co-located with ECMDA-FA 2009, Enschede, the Netherlands, June 2009.

I. Habli, T.P. Kelly and R.F. Paige. Functional Hazard Assessment in Product Lines: a Model-Based Approach, in Proc. Workshop on Model-Driven Product Line Engineering 2009, co-located with ECMDA-FA 2009, Enschede, the Netherlands, June 2009.

R.F. Paige, D.S. Kolovos, L.M. Rose, N. Drivalos and F.A.C. Polack. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering, in Proc. 14th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) 2009, IEEE Press, Potsdam, Germany, June 2009.

D.S. Kolovos, L.M. Rose, R.F. Paige and F.A.C. Polack. Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors, in Proc. 3rd Workshop on Modeling in Software Engineering (MISE), ACM/IEEE International Conference on Software Engineering (ICSE), Vancouver, Canada, May 2009

D.S. Kolovos, D. de Ruscio, A. Pierantonio and R.F. Paige. Different Models for Model Matching: an analysis of approaches to support model differencing, in Proc. 2nd International Workshop on Comparison and Versioning of Models (CVSM 2009), co-located with ICSE 2009, Vancouver, Canada, ACM Press, May 2009.

R.F. Paige, L.M. Rose, X. Ge, D.S. Kolovos and P.J. Brooke. FPTC: Automated Safety Analysis for Domain-Specific Languages, in Proc. Models in Software Engineering, MoDELS/UML'08 Workshop Reader, LNCS 5421, Springer-Verlag, April 2009.

D.S. Kolovos, R.F. Paige and F.A.C. Polack. The Grand Challenge of Scalability in Model-Driven Engineering, in Proc. Models in Software Engineering, MoDELS/UML'08 Workshop Reader, LNCS 5421, Springer-Verlag, April 2009.

E.G. Aydal, R.F. Paige, J. Woodcock and M. Utting. Putting Formally Verified Software under the Magnifying Glass: Model-based Testing for Validation, in Proc. 2nd International Conference on Software Testing, Verification and Validation (ICST) 2009, IEEE Press, Denver, Colorado, April 2009.

2008
R.F. Paige. Review of Model-Driven Software Development, in Software Testing, Verification and Reliability 18(4), Wiley, December 2008.

R.F. Paige, L.M. Rose, X. Ge, D.S. Kolovos and P.J. Brooke. Automated Safety Analysis for Domain-Specific Languages, in Proc. Workshop on Non-Functional System Properties in Domain Specific Modeling Languages, co-located with MoDELS '08, Toulouse, France, Sept 2008.

D.S. Kolovos, R.F. Paige and F.A.C. Polack. Scalability: The Holy Grail of Model-Driven Engineering, in Proc. Workshop on Challenges in MDE, co-located with MoDELS'08, Toulouse, France, Sept 2008.

E.G. Aydal, R.F. Paige and J.C.P. Woodcock. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation, in Proc. OCL 2008, co-located with MoDELS'08, Toulouse, France, September 2008.

N. Drivalos, D.S. Kolovos, R.F. Paige and K.J. Fernandes. Engineering a DSL for Software Traceability, in Software Language Engineering 2008, LNCS, Springer-Verlag, Toulouse, France, October 2008.

L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack. Constructing Models with the Human-Usable Textual Notation, in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2008, LNCS, Springer-Verlag, Toulouse, France, October 2008.

R.F. Paige, R. Charalambous, X. Ge and P.J. Brooke. Towards Agile Development of High-Integrity Systems, in Proc. 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP) 2008, LNCS, Springer-Verlag, Newcastle, UK, September 2008.

G. Despotou, D.S. Kolovos, T.P. Kelly and R.F. Paige. Defining a Framework for the Development and Management of Dependability Cases, in Proc. 26th International System Safety Conference (ISSC'08), Vancouver, Canada, August 2008.

D.S. Kolovos, R.F. Paige and F.A.C. Polack. The Epsilon Transformation Language, in Proc. International Conference on Model Transformation (ICMT) 2008, LNCS 5063, Springer-Verlag, Zurich, Switzerland, July 2008.

R.F. Paige and B. Meyer (editors). Proceedings of TOOLS EUROPE 2008: Objects, Components, Models and Patterns, Lecture Notes in Business and Information Processing volume 11, Springer-Verlag, June 2008.

R.F. Paige, G.K. Olsen, D.S. Kolovos, and S. Zschaler. Building Model-Driven Engineering Traceability Classifications, in Proc. 4th Workshop on Traceability, ECMDA'08, Berlin, Germany, June 2008

N. Drivalos, R.F. Paige, K. Fernandes and D.S. Kolovos. Towards Rigorously Defined Model-to-Model Traceability, in Proc. 4th Workshop on Traceability, ECMDA'08, Berlin, Germany, June 2008

D.S. Kolovos, R.F. Paige and F.A.C. Polack. A Framework for Composing Modular and Interoperable Model Management Tasks, in Proc. Workshop on Model Driven Tool and Process Integration (MDTPI), EC-MDA '08, Berlin, Germany, June 2008

L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack. The Epsilon Generation Language, in Proc. Fourth European Conference on Model-Driven Architecture (EC-MDA) 2008, LNCS, Springer-Verlag, Berlin, Germany, June 2008.

D.S. Kolovos, R.F. Paige, L.M. Rose and F.A.C. Polack. Unit Testing Model Management Operations, in Proc. 5th Workshop on Model Driven Engineering Verification and Validation (MoDeVVa), ICST '08, IEEE Press, Lillehammer, Norway, April 2008.

D.S. Kolovos, R.F. Paige and F.A.C. Polack. Novel Features in Model Management Languages of the Epsilon Platform, in Workshop on Modelling in Software Engineering (MISE) 2008, ICSE 2008, ACM Press, Leipzig, Germany, May 2008.

H. Chivers and R.F. Paige. XRound: a Reversible Template Language and its Application in Model-Based Security Analysis, accepted and to appear in Journal of Information and Software Technology, special issue on Model-Based Development for Secure Information Systems, Elsevier, 2008.

D.S. Kolovos, R.F. Paige and F.A.C. Polack. Detecting and repairing inconsistencies across heterogeneous models, in Proc. IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), IEEE Press, Lillehammer, Norway, April 2008

A. Radjenovic and R.F. Paige. The role of dependency links in ensuring architectural view consistency, in IEEE/IFIP Conference on Software Architecture (WICSA) 2008, IEEE Press, Vancouver, Canada, February 2008.

R. Ramsin and R.F. Paige. Process-Centred Review of Object-Oriented Software Development Methodologies, ACM Computing Surveys 40(1), February 2008. 89 pages.

P.J. Brooke and R.F. Paige. Practical Distributed Processing, Undergraduate Texts in Computer Science, Springer, 2008. 275 pages.
2007
M.S. Abdullah, I.D. Benest, R.F. Paige and C. Kimble. Using the Unified Modelling Language for Conceptual Modelling of Knowledge-Based Systems, in Proc. 26th International Conference on Entity-Relationship Modelling (ER'07), LNCS, Springer-Verlag, Auckland, New Zealand, November 2007.

D.S. Kolovos, R.F. Paige, L.M. Rose, and F.A.C. Polack. Bridging the Epsilon Wizard Language and the Eclipse Graphical Modelling Framework, in the Modelling Symposium, Eclipse Summit Europe 2007.

E.G. Aydal, R.F. Paige and J.C.P. Woodcock. Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Smart Card Application, in MoDELS/UML 2007 Workshops, LNCS 5002, Springer-Verlag, 2008.

M.S. Abdullah, R.F. Paige, C. Kimble and I.D. Benest. A UML Profile for Knowledge-Based Systems Modelling, in Proc. Fifth International Conference on Software Engineering Research, Management, and Applications (SERA'07), IEEE Press, Busan, Korea, August 2007 (Winner of best paper prize.)

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Agile Model Editing in the Eclipse Modeling Framework using Executable Metamodel Annotations, in Proc. Towers of Models Workshop, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.

D.S. Kolovos, R.F. Paige, L.M. Rose, and F.A.C. Polack. Implementing the Interactive Television Applications Case Study using Epsilon, in Proc. MDD Tool Implementers Forum, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.

P.J. Brooke, R.F. Paige, and J.L. Jacob. A CSP Model for Eiffel's SCOOP, to appear in Formal Aspects of Computing, 2007.

A. Radjenovic and R.F. Paige. The View Glue, invited paper in Architecting Dependable Systems IV, LNCS, Springer-Verlag, 2007.

P.J. Brooke and R.F. Paige. Exceptions in Concurrent Eiffel, Journal of Object Technology 6(10), November/December 2007.

R.F. Paige, P.J. Brooke, and J.S. Ostroff. Metamodel-Based Model Conformance and Multiview Consistency Checking, ACM Transactions on Software Engineering and Methodology 16(3), July 2007. 49 pages.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries, in Journal of the Electronic Communications of the EASST, 2007.

P.J. Brooke and R.F. Paige. Lazy exploration and checking of CSP models with CSPsim, in Proc. Communicating Process Algebras 2007, IOS Press, Guildford, Surrey, July 2007.

P.A. Laurens, R.F. Paige, P.J. Brooke, and H. Chivers. A novel approach to the detection of cheating in multiplayer online games, in Proc. 12th International Conference on Engineering of Complex Computer Systems (ICECCS) 2007, IEEE Press, Auckland, New Zealand, July 2007.

R.F. Paige and J. Bezivin (editors). First International Workshop on Towers of Models, proceedings, Technical Report YCS-2007-416, Zurich, Switzerland, June 2007.

D.S. Kolovos, R.F. Paige, F.A.C. Polack, and L. Rose. Update Transformations in the Small with the Epsilon Wizard Language, in Proc. TOOLS Europe 2007, proceedings published in a special issue of Journal of Object Technology, Zurich, Switzerland, June 2007.

D.H. Akehurst, R.F. Paige, and R. Vogel (editors). Proceedings of the Third European Conference on Model-Driven Architecture: Foundations and Applications 2007, LNCS, Springer-Verlag, Haifa, Israel, June 2007.

X. Ge, R.F. Paige, F.A.C. Polack, and P.J. Brooke. Extreme programming security practices, in Proc. Extreme Programming 2007, LNCS, Springer-Verlag, Lake Como, Italy, June 2007.

G. Despotou, D.S. Kolovos, R.F. Paige, T.P. Kelly, and F.A.C. Polack. Towards a Metamodel for Dependability Cases, in Proc. OMG Software Assurance Workshop 2007, March 2007.

P.M. Conmy and R.F. Paige. Challenges when using Model-Driven Architecture in the development of Safety Critical Software. In Proc. Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007) , co-located with ETAPS 2007, IEEE Press, Braga, Portugal, March 2007.

B. Gruschko, D.S. Kolovos, and R.F. Paige. Towards Synchronising Models with Evolving Metamodels. In Proc. Workshop on Model-Driven Software Evolution (MODSE), 11th European Conference on Software Maintenance and Engineering, Amsterdam, The Netherlands, March 2007.
2006
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Epsilon Development Tools for Eclipse, in Proc. Eclipse Summit 2006, Esslingen, Germany, October 2006.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Towards using OCL for Instance-Level Queries in Domain-Specific Languages, in Proc. OCLApps 2006, co-located with Models/UML'06, Genova Italy, October 2006.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Merging Models with the Epsilon Merging Language, in Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (Models/UML 2006), LNCS 4199, Springer-Verlag, Genova, Italy, October 2006.

R.F. Paige, T.R. Attridge, and P.J. Brooke. Game Development using Design by Contract, Journal of Object Technology 5(7), September-October 2006.

J. Cakic and R.F. Paige. Origins of the Grid Architectural Style, in Proc. Eleventh International Conference on Engineering Complex Computer Systems, IEEE Press, Palo Alto, USA, August 2006.

P.J. Brooke and R.F. Paige. A Critique of SCOOP, in Proc. First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages, York, UK, July 2006.

P.J. Brooke and R.F. Paige. An Alternative Concurrency Model for Eiffel, in Proc. First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages, York, UK, July 2006.

R.F. Paige and P.J. Brooke (editors). First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages, proceedings, Technical Report YCS-2006-405, York, UK, July 2006.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. On-Demand Merging of Traceability Links with Models, in Proc. Second Workshop on Traceability, co-located with EC-MDA 2006, Bilbao, Spain, July 2006.

D.S. Kolovos, R.F. Paige, T.P. Kelly, and F.A.C. Polack. Requirements for Domain-Specific Languages, in Proc. First ECOOP Workshop on Domain-Specific Program Development, co-located with ECOOP 2006, Nantes, France, July 2006.

J. Bézivin, S. Bouzitouna, M. Didonet Del Fabro, M.-P. Gervais, F. Jouault, D.S. Kolovos, I. Kurtev, and R.F. Paige. A Canonical Scheme for Model Composition, in Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066, Springer-Verlag, Bilbao, Spain, July 2006.

K.-D. Engel, R.F. Paige, and D.S. Kolovos. Using a Model Merging Language for Reconciling Model Versions, in Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066, Springer-Verlag, Bilbao, Spain, July 2006.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. The Epsilon Object Language (EOL), in Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066, Springer-Verlag, Bilbao, Spain, July 2006.

X. Ge, R.F. Paige, F.A.C. Polack, H. Chivers, and P.J. Brooke. Agile Development of Secure Web Applications, in Proc. International Conference on Web Engineering (ICWE) 2006, ACM Press, Palo Alto, USA, July 2006.

M.S. Abdullah, C. Kimble, I.D. Benest and R.F Paige. Knowledge-Based System - A Re-Evaluation, Journal of Knowledge Management, 10(3), 2006.

R.F. Paige, X. Wang, Z.R. Stephenson, and P.J. Brooke. Towards an Agile Process for Building Software Product Lines, in Proc. Extreme Programming (XP) 2006, LNCS 4044, Springer-Verlag, Oulu, Finland, June 2006.

E.G. Aydal, R.F. Paige, H. Chivers, and P.J. Brooke. Security Planning and Refactoring with Extreme Programming, in Proc. Extreme Programming (XP) 2006, LNCS 4044, Springer-Verlag, Oulu, Finland, June 2006.

M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Knowledge Modelling Using The UML Profile, in Proc. Third IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI 2006), Springer-Verlag, Athens, Greece, June 2006.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Model Comparison: a Foundation for Model Composition and Model Transformation Testing, in Proc. First International Workshop on Global Integrated Model Management (G@MMA) 2006, co-located with ICSE'06, Shanghai, China, May 2006.

M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Knowledge Engineering Using the UML Profile: Adopting the Model-Driven Architecture for Knowledge-Based System Development, in Proc. 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, May 2006.

J.A. Clark, R.F. Paige, F.A.C. Polack, and P.J. Brooke (editors). Security in Pervasive Computing (SPC) 2006, Lecture Notes in Computer Science 3934, Springer-Verlag, April 2006.

R.F. Paige, D.S. Kolovos, and F.A.C. Polack. Adding an Action Semantics to MOF 2.0, in Proc. Symposium on Applied Computing (SAC) 2006, ACM Press, Dijon, France, April 2006.

A. Radjenovic and R.F. Paige. Architecture Description Languages for High Integrity Real-Time Systems, IEEE Software, March/April 2006.
2005

R.F. Paige and P.J. Brooke. Agile Formal Method Engineering, in Proc. Integrated Formal Methods (IFM) 2005, LNCS 3771, Eindhoven, the Netherlands, December 2005.

X. Ge, H. Chivers, F.A.C. Polack, and R.F. Paige. Adapting Security Risk Analysis to the Design of Database-Centric Web-based Information Systems, in Proc. International Conference on Software Engineering and its Applications (ICSSEA) 2005, CNAM, Paris, France, December 2005.

M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Unified Modelling Language for Knowledge Modelling, in Proc. International Conference on Computation Intelligence for Modelling Control and Automation (CIMCA) 2005, IEEE Press, Vienna, Austria, November 2005.

N. Aizenbud-Reshef, R.F. Paige, J. Rubin, Y. Shaham-Gafni, and D.S. Kolovos. Operational Semantics for Traceability, in Proc. Workshop on Traceability, co-located with EC-MDA'05, Nuremberg, Germany, November 2005.

H. Chivers and R.F. Paige. XRound: Bidirectional Transformations via a Reversible Template Language, in Proc. European Conference on MDA (EC-MDA) 2005, LNCS 3748, Springer-Verlag, Nuremberg, Germany, November 2005.

Z.E. Chan and R.F. Paige. Designing a Domain-Specific Contract Language: a Metamodelling Approach, in Proc. European Conference on MDA (EC-MDA) 2005, LNCS 3748, Springer-Verlag, Nuremberg, Germany, November 2005.

A. Galloway, R.F. Paige, N.J. Tudor, R.A. Weaver, I. Toyn, and J.A. McDermid. Proof versus Testing in the Context of Safety Standards, in Proc. Digital Avionics Systems Conference (DASC) 2005, IEEE Press, Washington, USA, October 2005. Winner of Best in Session and Best in Track paper awards.

J.S. Ostroff, R.F. Paige, D. Makalsky, and P.J. Brooke. ETester: a Contract-Aware and Agent-Based Testing Framework for Eiffel, Journal of Object Technology, 4(7), September/October 2005.

J. Cakic and R.F. Paige. A Web Services Description Framework to Support Dynamic Run-time Binding in Grid-based Systems, in Proc. Seventh International Conference on Information Integration and Web-Based Applications and Services (iiWAS 2005), Austrian Computer Society, Kuala Lumpur, Malaysia, September 2005.

M.S. Abdullah, R.F. Paige, C. Thompson, I.D. Benest, and C. Kimble. Conceptual Modelling of Knowledge-Based System Using UML, Proc. IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI 2005), Springer, p23-34, Beijing, China, September 2005.

J. Cakic, R.F. Paige, H. Chivers, X. Ge, J.A. McDermid, and J. Austin. Flexible Dynamic Binding in Agile Grid Development, in Proc. All Hands Meeting 2005, Nottingham, UK, September 2005.

H. Chivers, R.F. Paige, and X. Ge. Agile Security via an Incremental Security Architecture, in Proc. Extreme Programming 2005, LNCS 3556, June 2005.

D.S. Kolovos, R.F. Paige, and F.A.C. Polack. An Agile and Extensible Code Generation Framework, in Proc. Extreme Programming 2005, LNCS 3556, June 2005.

R.F. Paige, D.S. Kolovos, and F.A.C. Polack. Refinement via Consistency Checking for MDA, in Proc. Refinenet Workshop 2005, ENTCS, Surrey, UK, April 2005.

R.F. Paige, H. Chivers, J. McDermid, and Z. Stephenson. High-Integrity Extreme Programming, in ACM Symposium on Applied Computing 2005, ACM Press, Santa Fe, New Mexico, March 2005.

M.S. Abdullah, R.F. Paige, I. Benest, C. Kimble, and A.S. Evans. Designing Knowledge-Based Systems Using a UML Profile (Metamodel Based Extension), in Proc. ICICIS 2005, IEEE Press, Cairo, Egypt, March 5-7, 2005.
2004
M.S. Abdullah, A.S. Evans, I. Benest, R.F. Paige, and C. Kimble. Modelling Knowledge-Based Systems using the eXecutable Modelling Framework (XMF), in Proc. IEEE Conference on Cybernetics and Intelligent Systems 2004, Singapore, December 2004.

R.F. Paige, J. Cakic, X. Ge, and H. Chivers. Towards Agile Re-engineering of Dependable Grid Applications, in Proc. International Conference on Software Engineering and its Applications 2004, Paris, France, December 2004.

O. Fuks, J.S. Ostroff, and R.F. Paige. SECG: the SCOOP-to-Eiffel Code Generator, Journal of Object Technology, 3(10):143-160, November/December 2004.

R.F. Paige and J.S. Ostroff. Specification-Driven Design for Teaching Lightweight Formal Methods, in Proc. CologNet Conference on Teaching Formal Methods 2004, LNCS, Springer-Verlag, Ghent, Belgium, November 2004.

R.F. Paige, P.J. Brooke, and J.S. Ostroff. Agile Development of a Metamodel in Eiffel, in Proc. Fifteenth IEEE International Symposium on Software Reliability Engineering 2004, St-Malo, France, November 2004.

R.F. Paige, P.J. Brooke, and J.S. Ostroff. Specification-Driven Development of an Executable Metamodel, in Proc. Third Workshop in Software Model Engineering 2004 (co-located with UML 2004), Lisbon, Portugal, October 2004.

P.M. Conmy and R.F. Paige. Using UML, OCL, and MDA to Support Development of Modular Avionics Systems, in Proc. Third International Workshop on Critical Systems Development with UML 2004 (co-located with UML 2004), Lisbon, Portugal, October 2004.

P.J. Brooke, R.F. Paige, J.A. Clark, and S. Stepney. Playing the Game: Cheating, Loopholes, and Virtual Identity, ACM Computers and Society, ACM Press, September 2004.

J.S. Ostroff, D. Makalsky, and R.F. Paige. Agile Specification-Driven Development, in Proc. Extreme Programming 2004, LNCS 3092, Springer-Verlag, Garmisch-Partenkirchen, Germany, June 2004.

A. Radjenovic, R.F. Paige, P. Conmy, M. Wallace, and J. McDermid. An Information Model for High-Integrity Real-Time Systems, in Proc. Second RTAS Workshop on Model-Driven Embedded Systems 2004, Toronto, Canada, May 2004.

R.F. Paige and P.J. Brooke. An Integration of BON and Object-Z, Journal of Object Technology, 3(3):121-141, March/April 2004.

R.F. Paige and J.S. Ostroff. ERC: an Object-Oriented Refinement Calculus for Eiffel, Formal Aspects of Computing, 16(1):51-79, Springer-Verlag, April 2004. A technical report is available, though it is a very preliminary version.
2003
E.C.R. Hehner, T.S. Norvell, and R.F. Paige. High-Level Circuit Design, Chapter 18 in Essays in Programming Methodology, Springer-Verlag, 2003. (Note: the first printing of the book had numerous typesetting problems in Chapter 18. Springer has recalled the first printing and is in the process of reprinting with corrections. The version here is correct.)

R.F. Paige, J.S. Ostroff, and P.J. Brooke. Theorem Proving Support for View Consistency Checking, L'Objet 9(4):115-134, 2003.

R.F. Paige and A. Radjenovic. Towards Model Transformation with TXL, in Proc. Metamodelling for MDA Workshop 2003, York, UK, November 2003.

R.F. Paige, J.S. Ostroff, and P.J. Brooke. A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams, in Proc. UK Softest Workshop II, York, UK, September 2003.

R.F. Paige, J.S. Ostroff, and P.J. Brooke. Formalising Eiffel Reference and Expanded Types in PVS, in Proc. International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming (IWACO), co-located with ECOOP 2003, Utrecht University Technical Report, Darmstadt, Germany, July 2003.

R. Paige, P. Conmy, A. Radjenovic, M. Wallace, and J. McDermid. Platform Abstract Models for High-Integrity Real-time Systems, accepted as a poster to the MDAFA'03 Workshop, Twente, The Netherlands, June 2003. (We withdrew the paper since we didn't think it was suitable for presentation as a poster.)

R.F. Paige, P. Agarwal, and P.J. Brooke. Combining XP Practices with UML and EJB: a Case Study in Agile Development, in Proc. XP 2003, LNCS 2675, Springer-Verlag, May 2003 [ Longer version, Poster ]

P.J. Brooke and R.F. Paige. Fault Trees for Security System Analysis and Design, Journal of Computers and Security, 22(3):256-264, Elsevier, May 2003.
2002
R.F. Paige and J.S. Ostroff. The Single Model Principle, Journal of Object Technology, 1(5):63-81, November/December 2002.

R.F. Paige, L. Kaminskaya, J.S. Ostroff, and J. Lancaric. BON-CASE: an Extensible CASE Tool for Formal Specification and Reasoning, in Journal of Object Technology 1(3), special proceedings of TOOLS USA 2002, pages 77-96, August 2002.

P.J. Brooke and R.F. Paige. The Design of a Tool-Supported Graphical Notation for Timed CSP, in Proc. Integrated Formal Methods 2002 (IFM'02), LNCS 2335, Springer-Verlag, Turku, Finland, May 2002.

R.F. Paige and P.J. Brooke. Using PVS to Support a Real-Time Refinement Calculus (Work in Progress), in Proc. Second Workshop on Automated Verification of Critical Systems 2002 (AVoCS'02), Technical Report CSR-02-6, University of Birmingham, Birmingham, UK, April 2002.

R.F. Paige, J.S. Ostroff, and P.J. Brooke. Checking the Consistency of Class and Collaboration Diagrams using PVS, in Proc. Fourth Workshop on Rigorous Object-Oriented Methods (ROOM4), London, England, British Computer Society, March 2002.

R.F. Paige and J.S. Ostroff. A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems, in Proc. Workshop on Refinement of Critical Systems 2002 (co-located with ZB-2002), Grenoble, France, January 2002. (Unfortunately I could not attend the workshop due to last-minute timetabling problems, but this version of the paper was the one I intended to present.)
2001

S. Tan, E. Arjomandi, R.F. Paige, E. Mamas, S. Moser, and B. O'Farrell. Extending the Message Flow Debugger for MQSI, in Proc. Centre for Advanced Studies Conference (CASCON) 2001, p165-176, Toronto, Canada, IBM Press, November 2001.

R.F. Paige and J.S. Ostroff. A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems, in Proc. Workshop on Practical UML-Based Rigorous Development Methods 2001 (co-located with UML 2001), p192-207, Toronto, Canada, Lecture Notes in Informatics (GI Series), German Society, October 2001.

R.F. Paige and J.S. Ostroff. The Single Model Principle, in Proc. Requirements Engineering '01 (RE'01), Toronto, Canada, IEEE Press, August 2001.

R.F. Paige and J.S. Ostroff. Metamodelling and Conformance Checking with PVS, in Proc. Fundamental Aspects of Software Engineering (FASE'01), Genoa, Italy, LNCS 2029, p2-16, Springer-Verlag, April 2001.
2000
R.F. Paige, J.S. Ostroff, and P.J. Brooke. Principles of modeling language design, Information and Software Technology, 42(10):665-675, Elsevier, June 2000.

J.S. Ostroff and R.F. Paige. The Logic of Software Design, IEE Proceedings -- Software Engineering 147(3):73-80, IEE, October 2000.

R.F. Paige and J.S. Ostroff. Precise and Formal Metamodeling with the Business Object Notation and PVS, CS Technical Report 2000-03, August 2000. This report captures a lot of the work that we did on metamodelling with PVS in 2000. We have since published a great deal of this, particularly in FASE'01, ROOM'02, L'Objet, and most recently in ACM TOSEM.
1999
R.F. Paige and J.S. Ostroff. A Comparison of the Business Object Notation and the Unified Modeling Language, in Proc. Second International Conference on the Unified Modeling Language (UML'99), Fort Collins, Colorado, LNCS 1723, p67-82, Springer-Verlag, October 1999. (A longer version of this paper is available as CS Technical Report 1999-03.)

R.F. Paige and J.S. Ostroff. Developing BON as an Industrial-Strength Formal Method, in Proc. World Congress on Formal Methods (FM'99), Toulouse, France, LNCS 1708, Springer-Verlag, September 1999.

R.F. Paige and E.C.R. Hehner. Bunches for Object-Oriented, Concurrent, and Real-Time Specification, in Proc. World Congress on Formal Methods (FM'99), Toulouse, France, LNCS 1708, Springer-Verlag, September 1999.

R.F. Paige. Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication, in Proc. First International Workshop on Integrated Formal Methods (IFM'99), York, UK, Springer-Verlag Workshops in Computing, p353-372, June 1999.

R.F. Paige. Integrating a Program Design Calculus and a Subset of UML, The Computer Journal 42(2), Cambridge University Press, March 1999.

R.F. Paige. When Are Methods Complementary?, Information and Software Technology 41(3), Elsevier, February 1999.
1998 and earlier
J.S. Ostroff and R.F. Paige. Formal Methods in the Classroom: The Logic of Real-Time Software Design, in Proc. 3rd IEEE Real-Time Systems Education Workshop, Poznan, Poland, IEEE Press, p63-70, November 1998.

R.F. Paige and J.S. Ostroff. From Z to BON/Eiffel, in Proc. Thirteenth International Conference on Automated Software Engineering (ASE'98), Honolulu, Hawaii, IEEE Press, p209-212, October 1998.

R.F. Paige. Comparing Extended Z with a Heterogeneous Z Notation for Reasoning about Time and Space, in Proc. Eleventh International Conference of Z Users (ZUM'98), Berlin, Germany, Lecture Notes in Computer Science 1493, Springer-Verlag, p214-232, September 1998.

R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration, Formal Aspects of Computing 10(3): 233-242, Springer-Verlag, June 1998.

R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration (Extended Version), Formal Aspects of Computing 10(E):1-27, Springer-Verlag Electronic Publications, June 1998. (The published version is available from Springer-Verlag.)

R.F. Paige. Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study, in Proc. Sixth International Workshop on Comparing System Specification Techniques (INVOICING'98), Nantes, France, IRIN Press, p445-460, March 1998.

R.F. Paige. Case Studies in Using a Meta-Method for Formal Method Integration, in Proc. Algebraic Methodology and Software Technology 1997 (AMAST'97), Sydney, Australia, Lecture Notes in Computer Science 1349, Springer-Verlag, p395-408, December 1997.

R.F. Paige. A Meta-Method for Formal Method Integration, in Proc. Formal Methods Europe 1997 (FME'97), Graz, Austria, Lecture Notes in Computer Science 1313, Springer-Verlag, p473-494, September 1997.
Theses
R.F. Paige. Correctness and Performance Analysis of Imperative and Functional Circuits, M.Sc thesis, Department of Computer Science, University of Toronto, March 1994. (127 pages, PDF).

R.F. Paige. Formal Method Integration via Heterogeneous Notations, Ph.D dissertation, Department of Computer Science, University of Toronto, November 1997. (250 pages, PDF). Apologies for the typesetting - the fonts aren't particularly attractive.
Miscellaneous

R.F. Paige. An Introduction to BON (revised August 6, 1999). Also available in Postscript and Adobe Acrobat.

Various writings related to the DARP project can be found on the DARP web site.