@inproceedings{RoseKDWPPF10,
  title = {Concordance: A Framework for Managing Model Integrity},
  author = {Louis M. Rose and Dimitrios S. Kolovos and Nikolaos Drivalos and James R. Williams and Richard F. Paige and Fiona A. C. Polack and Kiran Jude Fernandes},
  year = {2010},
  doi = {10.1007/978-3-642-13595-8_20},
  url = {http://dx.doi.org/10.1007/978-3-642-13595-8_20},
  tags = {C++},
  researchr = {https://researchr.org/publication/RoseKDWPPF10},
  cites = {0},
  citedby = {0},
  pages = {245-260},
  booktitle = {ECMDA-FA},
}

@inproceedings{PoskittDPR14,
  title = {Towards Rigorously Faking Bidirectional Model Transformations},
  author = {Christopher M. Poskitt and Mike Dodds and Richard F. Paige and Arend Rensink},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1277/8.pdf},
  researchr = {https://researchr.org/publication/PoskittDPR14},
  cites = {0},
  citedby = {0},
  pages = {70-75},
  booktitle = {MoDELS},
}

@inproceedings{TorshiziOPC09,
  title = {The SCOOP Concurrency Model in Java-like Languages},
  author = {Faraz Ahmadi Torshizi and Jonathan S. Ostroff and Richard F. Paige and Marsha Chechik},
  year = {2009},
  doi = {10.3233/978-1-60750-065-0-7},
  url = {http://dx.doi.org/10.3233/978-1-60750-065-0-7},
  tags = {Java, modeling language, language modeling},
  researchr = {https://researchr.org/publication/TorshiziOPC09},
  cites = {0},
  citedby = {0},
  pages = {7-27},
  booktitle = {wotug},
}

@inproceedings{PaigeWSB06,
  title = {Towards an Agile Process for Building Software Product Lines},
  author = {Richard F. Paige and Xiaochen Wang and Zoë R. Stephenson and Phillip J. Brooke},
  year = {2006},
  doi = {10.1007/11774129_24},
  url = {http://dx.doi.org/10.1007/11774129_24},
  tags = {software product lines},
  researchr = {https://researchr.org/publication/PaigeWSB06},
  cites = {0},
  citedby = {0},
  pages = {198-199},
  booktitle = {xpu},
}

@article{BrookePP10,
  title = {Document-centric XML workflows with fragment digital signatures},
  author = {Phillip J. Brooke and Richard F. Paige and Christopher Power},
  year = {2010},
  doi = {10.1002/spe.974},
  url = {http://dx.doi.org/10.1002/spe.974},
  tags = {XML, XML Schema, workflow},
  researchr = {https://researchr.org/publication/BrookePP10},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {40},
  number = {8},
  pages = {655-672},
}

@inproceedings{KolovosPP09,
  title = {On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages},
  author = {Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2009},
  doi = {10.1007/978-3-642-11447-2_13},
  url = {http://dx.doi.org/10.1007/978-3-642-11447-2_13},
  tags = {OCL, modeling language, language modeling, constraints, C++},
  researchr = {https://researchr.org/publication/KolovosPP09},
  cites = {0},
  citedby = {0},
  pages = {204-218},
  booktitle = {BIRTHDAY},
}

@article{PaigeO04,
  title = {ERC - An object-oriented refinement calculus for Eiffel},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2004},
  doi = {10.1007/s00165-003-0024-3},
  url = {http://dx/doi.org/10.1007/s00165-003-0024-3},
  tags = {meta-model, refinement, Meta-Environment, Eiffel, meta-objects},
  researchr = {https://researchr.org/publication/PaigeO04},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {16},
  number = {1},
  pages = {51-79},
}

@inproceedings{ChiversP05,
  title = {XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language},
  author = {Howard Chivers and Richard F. Paige},
  year = {2005},
  doi = {10.1007/11581741_16},
  url = {http://dx.doi.org/10.1007/11581741_16},
  tags = {bidirectional transformation, transformation language, transformation},
  researchr = {https://researchr.org/publication/ChiversP05},
  cites = {0},
  citedby = {0},
  pages = {205-219},
  booktitle = {ECMDA-FA},
}

@inproceedings{TanAPMMO01,
  title = {Extending the message flow debugger for MQSI},
  author = {Shuxia Tan and Eshrat Arjomandi and Richard F. Paige and Evan Mamas and Simon Moser and Bill O Farrell},
  year = {2001},
  doi = {10.1145/782096.782111},
  url = {http://doi.acm.org/10.1145/782096.782111},
  tags = {data-flow, debugging},
  researchr = {https://researchr.org/publication/TanAPMMO01},
  cites = {0},
  citedby = {0},
  pages = {15},
  booktitle = {cascon},
}

@inproceedings{Paige99:0,
  title = {Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication},
  author = {Richard F. Paige},
  year = {1999},
  tags = {refinement},
  researchr = {https://researchr.org/publication/Paige99%3A0},
  cites = {0},
  citedby = {0},
  pages = {353-372},
  booktitle = {IFM},
}

@inproceedings{ChiversPG05,
  title = {Agile Security Using an Incremental Security Architecture},
  author = {Howard Chivers and Richard F. Paige and Xiaocheng Ge},
  year = {2005},
  doi = {10.1007/11499053_7},
  url = {http://dx.doi.org/10.1007/11499053_7},
  tags = {architecture, security, incremental},
  researchr = {https://researchr.org/publication/ChiversPG05},
  cites = {0},
  citedby = {0},
  pages = {57-65},
  booktitle = {xpu},
}

@inproceedings{RoseKPP10,
  title = {Model Migration with Epsilon Flock},
  author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2010},
  doi = {10.1007/978-3-642-13688-7_13},
  url = {http://dx.doi.org/10.1007/978-3-642-13688-7_13},
  tags = {meta-model, C++, migration, Epsilon, Meta-Environment},
  researchr = {https://researchr.org/publication/RoseKPP10},
  cites = {0},
  citedby = {0},
  pages = {184-198},
  booktitle = {ICMT},
}

@article{FuksOP04,
  title = {SECG: The SCOOP-to-Eiffel Code Generator},
  author = {Oleksandr Fuks and Jonathan S. Ostroff and Richard F. Paige},
  year = {2004},
  url = {http://www.jot.fm/issues/issue_2004_10/article3},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/FuksOP04},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {3},
  number = {10},
  pages = {143-161},
}

@incollection{AbdullahPBK07,
  title = {Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development},
  author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble},
  year = {2007},
  tags = {rule-based, meta-model, UML, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/AbdullahPBK07},
  cites = {0},
  citedby = {0},
  pages = {74-89},
  booktitle = {Emerging Artificial Intelligence Applications in Computer Engineering},
}

@article{ChiversP09,
  title = {XRound: A reversible template language and its application in model-based security analysis},
  author = {Howard Chivers and Richard F. Paige},
  year = {2009},
  doi = {10.1016/j.infsof.2008.05.006},
  url = {http://dx.doi.org/10.1016/j.infsof.2008.05.006},
  tags = {rule-based, modeling language, language modeling, analysis, security},
  researchr = {https://researchr.org/publication/ChiversP09},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {51},
  number = {5},
  pages = {876-893},
}

@inproceedings{Rose:MoDELS:2010,
  title = {A Comparison of Model Migration Tools},
  author = {Louis M. Rose and Markus Herrmannsdörfer and Williams and Kolovos and Garcés and Richard F. Paige and Fiona A. C. Polack},
  year = {2010},
  tags = {meta-model, C++, migration, Meta-Environment},
  researchr = {https://researchr.org/publication/Rose%3AMoDELS%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{Zschaler-10,
  title = {Domain-Specific Metamodelling Languages for Software Language Engineering},
  author = {Steffen  Zschaler and Dimitris Kolovos and Nicholas Drivalos and Richard F. Paige and Awais Rashid},
  year = {2010},
  month = {mar},
  tags = {language engineering, software language engineering, software engineering, domain-specific language},
  researchr = {https://researchr.org/publication/Zschaler-10},
  cites = {0},
  citedby = {0},
  booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
}

@inproceedings{Gruschko:MoDSE:2007,
  title = {Towards Synchronizing Models with Evolving Metamodels},
  author = {Boris Gruschko and Dimitris Kolovos and Richard F. Paige},
  year = {2007},
  url = {http://www.sciences.univ-nantes.fr/MoDSE2007/p15.pdf},
  tags = {model-to-model transformation, synchronization, meta-model, modeling, model-driven development, source-to-source, migration, model transformation, Meta-Environment, systematic-approach, meta-objects, transformation},
  researchr = {https://researchr.org/publication/Gruschko%3AMoDSE%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop on Model-Driven Software Evolution at CSMR 2007},
}

@article{PaigeOB00,
  title = {Principles for modeling language design},
  author = {Richard F. Paige and Jonathan S. Ostroff and Phillip J. Brooke},
  year = {2000},
  doi = {10.1016/S0950-5849(00)00109-9},
  url = {http://dx.doi.org/10.1016/S0950-5849(00)00109-9},
  tags = {meta-model, modeling language, modeling, language modeling, language design, principles, Meta-Environment, design},
  researchr = {https://researchr.org/publication/PaigeOB00},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {42},
  number = {10},
  pages = {665-675},
}

@inproceedings{RosePKP08:0,
  title = {The Epsilon Generation Language},
  author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack},
  year = {2008},
  doi = {10.1007/978-3-540-69100-6_1},
  url = {http://dx.doi.org/10.1007/978-3-540-69100-6_1},
  tags = {C++, Epsilon},
  researchr = {https://researchr.org/publication/RosePKP08%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {ECMDA-FA},
}

@inproceedings{PaigeH99,
  title = {Bunches for Object-Oriented, Concurrent, and Real-Time Specification},
  author = {Richard F. Paige and Eric C. R. Hehner},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1708/17080530.htm},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PaigeH99},
  cites = {0},
  citedby = {0},
  pages = {530-550},
  booktitle = {FM},
}

@inproceedings{KolovosRAPPB10,
  title = {Taming EMF and GMF Using Model Transformation},
  author = {Dimitrios S. Kolovos and Louis M. Rose and Saad bin Abid and Richard F. Paige and Fiona A. C. Polack and Goetz Botterweck},
  year = {2010},
  doi = {10.1007/978-3-642-16145-2_15},
  url = {http://dx.doi.org/10.1007/978-3-642-16145-2_15},
  tags = {model-to-model transformation, meta-model, EMF, source-to-source, C++, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/KolovosRAPPB10},
  cites = {0},
  citedby = {0},
  pages = {211-225},
  booktitle = {MoDELS},
}

@inproceedings{PaigeO99,
  title = {Developing BON as an Industrial-Strength Formal Method},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1708/17080834.htm},
  researchr = {https://researchr.org/publication/PaigeO99},
  cites = {0},
  citedby = {0},
  pages = {834-853},
  booktitle = {FM},
}

@article{PaigeAB06,
  title = {Game Development Using Design-by-Contract},
  author = {Richard F. Paige and Triston S. Attridge and Phillip J. Brooke},
  year = {2006},
  url = {http://www.jot.fm//issues/issue_2006_09/article3},
  tags = {game development, contracts, design},
  researchr = {https://researchr.org/publication/PaigeAB06},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {5},
  number = {7},
  pages = {57-73},
}

@inproceedings{Paige98:0,
  title = {Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space},
  author = {Richard F. Paige},
  year = {1998},
  researchr = {https://researchr.org/publication/Paige98%3A0},
  cites = {0},
  citedby = {0},
  pages = {214-232},
  booktitle = {zum},
}

@inproceedings{PaigeO98,
  title = {From Z to BON/Eiffel},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {1998},
  url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500209.pdf},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/PaigeO98},
  cites = {0},
  citedby = {0},
  pages = {209-212},
  booktitle = {ASE},
}

@inproceedings{WilliamsPP10,
  title = {Formal Analysis in Model Management: Exploiting the Power of CZT},
  author = {James R. Williams and Fiona A. C. Polack and Richard F. Paige},
  year = {2010},
  doi = {10.1007/978-3-642-11811-1_46},
  url = {http://dx.doi.org/10.1007/978-3-642-11811-1_46},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/WilliamsPP10},
  cites = {0},
  citedby = {0},
  pages = {414},
  booktitle = {asm},
}

@inproceedings{BezivinBFGJKKP06,
  title = {A Canonical Scheme for Model Composition},
  author = {Jean Bézivin and Salim Bouzitouna and Marcos Didonet Del Fabro and Marie-Pierre Gervais and Frédéric Jouault and Dimitris Kolovos and Ivan Kurtev and Richard F. Paige},
  year = {2006},
  doi = {10.1007/11787044_26},
  url = {http://dx.doi.org/10.1007/11787044_26},
  tags = {meta-model, composition, Meta-Environment},
  researchr = {https://researchr.org/publication/BezivinBFGJKKP06},
  cites = {0},
  citedby = {0},
  pages = {346-360},
  booktitle = {ECMDA-FA},
}

@inproceedings{DrivalosKPF08,
  title = {Engineering a DSL for Software Traceability},
  author = {Nikolaos Drivalos and Dimitris Kolovos and Richard F. Paige and Kiran J. Fernandes},
  year = {2008},
  doi = {10.1007/978-3-642-00434-6_10},
  url = {http://dx.doi.org/10.1007/978-3-642-00434-6_10},
  tags = {software engineering, DSL},
  researchr = {https://researchr.org/publication/DrivalosKPF08},
  cites = {0},
  citedby = {0},
  pages = {151-167},
  booktitle = {SLE},
}

@inproceedings{GePPCB06,
  title = {Agile development of secure web applications},
  author = {Xiaocheng Ge and Richard F. Paige and Fiona A. C. Polack and Howard Chivers and Phillip J. Brooke},
  year = {2006},
  doi = {10.1145/1145581.1145641},
  url = {http://doi.acm.org/10.1145/1145581.1145641},
  tags = {C++, web applications},
  researchr = {https://researchr.org/publication/GePPCB06},
  cites = {0},
  citedby = {0},
  pages = {305-312},
  booktitle = {ICWE},
}

@inproceedings{AydalPUW09,
  title = {Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation},
  author = {Emine G. Aydal and Richard F. Paige and Mark Utting and Jim Woodcock},
  year = {2009},
  doi = {10.1109/ICST.2009.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.20},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/AydalPUW09},
  cites = {0},
  citedby = {0},
  pages = {131-140},
  booktitle = {icst},
}

@inproceedings{OstroffMP04,
  title = {Agile Specification-Driven Development},
  author = {Jonathan S. Ostroff and David Makalsky and Richard F. Paige},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3092&spage=104},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/OstroffMP04},
  cites = {0},
  citedby = {0},
  pages = {104-112},
  booktitle = {xpu},
}

@article{OstroffPMB05,
  title = {E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel},
  author = {Jonathan S. Ostroff and Richard F. Paige and David Makalsky and Phillip J. Brooke},
  year = {2005},
  url = {http://www.jot.fm/issues/issue_2005_09/article4},
  tags = {rule-based, contracts, testing, e-science, context-aware, Eiffel},
  researchr = {https://researchr.org/publication/OstroffPMB05},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {4},
  number = {7},
  pages = {97-114},
}

@inproceedings{PaigeCMS05,
  title = {High-integrity extreme programming},
  author = {Richard F. Paige and Howard Chivers and John A. McDermid and Zoë R. Stephenson},
  year = {2005},
  doi = {10.1145/1066677.1067019},
  url = {http://doi.acm.org/10.1145/1066677.1067019},
  tags = {extreme programming, programming},
  researchr = {https://researchr.org/publication/PaigeCMS05},
  cites = {0},
  citedby = {0},
  pages = {1518-1523},
  booktitle = {SAC},
}

@inproceedings{AbdullahBPK07,
  title = {Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems},
  author = {Mohd Syazwan Abdullah and Ian D. Benest and Richard F. Paige and Chris Kimble},
  year = {2007},
  doi = {10.1007/978-3-540-75563-0_30},
  url = {http://dx.doi.org/10.1007/978-3-540-75563-0_30},
  tags = {rule-based, meta-model, modeling language, modeling, language modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/AbdullahBPK07},
  cites = {0},
  citedby = {0},
  pages = {438-453},
  booktitle = {er},
}

@inproceedings{BrookeP07,
  title = {Lazy Exploration and Checking of CSP Models with CSPsim},
  author = {Phillip J. Brooke and Richard F. Paige},
  year = {2007},
  tags = {laziness, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BrookeP07},
  cites = {0},
  citedby = {0},
  pages = {33-49},
  booktitle = {wotug},
}

@inproceedings{TreharneTPK09,
  title = {Automatic Generation of Integrated Formal Models Corresponding to UML System Models},
  author = {Helen Treharne and Edward Turner and Richard F. Paige and Dimitrios S. Kolovos},
  year = {2009},
  doi = {10.1007/978-3-642-02571-6_21},
  url = {http://dx.doi.org/10.1007/978-3-642-02571-6_21},
  tags = {meta-model, UML, Meta-Environment},
  researchr = {https://researchr.org/publication/TreharneTPK09},
  cites = {0},
  citedby = {0},
  pages = {357-367},
  booktitle = {TOOLS},
}

@inproceedings{ConmyP07,
  title = {Model-driven Development of Particle System Families},
  author = {Philippa Conmy and Richard F. Paige},
  year = {2007},
  doi = {10.1109/MOMPES.2007.4},
  url = {http://dx.doi.org/10.1109/MOMPES.2007.4},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/ConmyP07},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {MOMPES},
}

@article{BrookePJ07,
  title = {A CSP model of Eiffel s SCOOP},
  author = {Phillip J. Brooke and Richard F. Paige and Jeremy L. Jacob},
  year = {2007},
  doi = {10.1007/s00165-007-0033-8},
  url = {http://dx.doi.org/10.1007/s00165-007-0033-8},
  tags = {meta-model, Meta-Environment, Eiffel},
  researchr = {https://researchr.org/publication/BrookePJ07},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {19},
  number = {4},
  pages = {487-512},
}

@inproceedings{and-Louis-M.-Rose-and-Richard-F.-Paige:TTC:2010,
  title = {An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation Language},
  author = {Dimitrios S. Kolovos and Louis M. Rose and Richard F. Paige and Juan de Lara},
  year = {2010},
  tags = {case study, transformation language, Epsilon, transformation},
  researchr = {https://researchr.org/publication/and-Louis-M.-Rose-and-Richard-F.-Paige%3ATTC%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {TTC},
}

@article{BrookeP07-0,
  title = {Exceptions in Concurrent Eiffel},
  author = {Phillip J. Brooke and Richard F. Paige},
  year = {2007},
  doi = {10.5381/jot.2007.6.10.a4},
  url = {http://dx.doi.org/10.5381/jot.2007.6.10.a4},
  tags = {exceptions, Eiffel},
  researchr = {https://researchr.org/publication/BrookeP07-0},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {6},
  number = {10},
  pages = {111-126},
}

@article{Rose:ASE:2009,
  title = {Enhanced Automation for Managing Model and Metamodel Inconsistency},
  author = {Louis M. Rose and Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2009},
  doi = {10.1109/ASE.2009.57},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57},
  tags = {Eclipse, model checking, meta-model, modeling, EMF, model-driven engineering, C++, consistency, Meta-Environment, MDE, systematic-approach},
  researchr = {https://researchr.org/publication/Rose%3AASE%3A2009},
  cites = {0},
  citedby = {0},
  journal = {Automated Software Engineering, International Conference on},
  volume = {0},
}

@inproceedings{GuerraLKP10,
  title = {Inter-modelling: From Theory to Practice},
  author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige},
  year = {2010},
  doi = {10.1007/978-3-642-16145-2_26},
  url = {http://dx.doi.org/10.1007/978-3-642-16145-2_26},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/GuerraLKP10},
  cites = {0},
  citedby = {0},
  pages = {376-391},
  booktitle = {MoDELS},
}

@inproceedings{PaigeO01,
  title = {Metamodelling and Conformance Checking with PVS},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290002.htm},
  researchr = {https://researchr.org/publication/PaigeO01},
  cites = {0},
  citedby = {0},
  pages = {2-16},
  booktitle = {FASE},
}

@inproceedings{CakicP06,
  title = {Origins of the Grid Architectural Style},
  author = {Jovan Cakic and Richard F. Paige},
  year = {2006},
  doi = {10.1109/ICECCS.2006.67},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.67},
  tags = {architecture},
  researchr = {https://researchr.org/publication/CakicP06},
  cites = {0},
  citedby = {0},
  pages = {227-235},
  booktitle = {ICECCS},
}

@inproceedings{AbdullahPBK05,
  title = {Unified Modeling Language for Knowledge Modelling},
  author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble},
  year = {2005},
  tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/AbdullahPBK05},
  cites = {0},
  citedby = {0},
  pages = {952-957},
  booktitle = {cimca},
}

@article{Paige99:1,
  title = {When are methods complementary?},
  author = {Richard F. Paige},
  year = {1999},
  researchr = {https://researchr.org/publication/Paige99%3A1},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {41},
  number = {3},
  pages = {157-162},
}

@article{RamsinP10,
  title = {Iterative criteria-based approach to engineering the requirements of software development methodologies},
  author = {Raman Ramsin and Richard F. Paige},
  year = {2010},
  doi = {10.1049/iet-sen.2009.0032},
  url = {http://dx.doi.org/10.1049/iet-sen.2009.0032},
  tags = {rule-based, requirements engineering, software engineering, iterative development, systematic-approach},
  researchr = {https://researchr.org/publication/RamsinP10},
  cites = {0},
  citedby = {0},
  journal = {iee},
  volume = {4},
  number = {2},
  pages = {91-104},
}

@inproceedings{AbdullahPBK06:0,
  title = {Knowledge Modelling Using The UML Profile},
  author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble},
  year = {2006},
  doi = {10.1007/0-387-34224-9_9},
  url = {http://dx.doi.org/10.1007/0-387-34224-9_9},
  tags = {meta-model, UML, Meta-Environment},
  researchr = {https://researchr.org/publication/AbdullahPBK06%3A0},
  cites = {0},
  citedby = {0},
  pages = {70-77},
  booktitle = {ifip12},
}

@inproceedings{Paige97,
  title = {A Meta-Method for Formal Method Integration},
  author = {Richard F. Paige},
  year = {1997},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Paige97},
  cites = {0},
  citedby = {0},
  pages = {473-494},
  booktitle = {FM},
}

@inproceedings{RadjenovicP08,
  title = {The Role of Dependency Links in Ensuring Architectural View Consistency},
  author = {Alek Radjenovic and Richard F. Paige},
  year = {2008},
  doi = {10.1109/WICSA.2008.30},
  url = {http://doi.ieeecomputersociety.org/10.1109/WICSA.2008.30},
  tags = {architecture, consistency},
  researchr = {https://researchr.org/publication/RadjenovicP08},
  cites = {0},
  citedby = {0},
  pages = {199-208},
  booktitle = {wicsa},
}

@inproceedings{KolovosPP06:0,
  title = {The Epsilon Object Language (EOL)},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2006},
  doi = {10.1007/11787044_11},
  url = {http://dx.doi.org/10.1007/11787044_11},
  tags = {meta-model, C++, Epsilon, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/KolovosPP06%3A0},
  cites = {0},
  citedby = {0},
  pages = {128-142},
  booktitle = {ECMDA-FA},
}

@inproceedings{PaigeCGB08,
  title = {Towards Agile Engineering of High-Integrity Systems},
  author = {Richard F. Paige and Ramon Charalambous and Xiaocheng Ge and Phillip J. Brooke},
  year = {2008},
  doi = {10.1007/978-3-540-87698-4_6},
  url = {http://dx.doi.org/10.1007/978-3-540-87698-4_6},
  researchr = {https://researchr.org/publication/PaigeCGB08},
  cites = {0},
  citedby = {0},
  pages = {30-43},
  booktitle = {safecomp},
}

@article{PaigeBO07,
  title = {Metamodel-based model conformance and multiview consistency checking},
  author = {Richard F. Paige and Phillip J. Brooke and Jonathan S. Ostroff},
  year = {2007},
  doi = {10.1145/1243987.1243989},
  url = {http://doi.acm.org/10.1145/1243987.1243989},
  tags = {rule-based, model checking, meta-model, consistency, Meta-Environment},
  researchr = {https://researchr.org/publication/PaigeBO07},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {16},
  number = {3},
  pages = {11},
}

@inproceedings{PaigeRGKB08,
  title = {FPTC: Automated Safety Analysis for Domain-Specific Languages},
  author = {Richard F. Paige and Louis M. Rose and Xiaocheng Ge and Dimitris Kolovos and Phillip J. Brooke},
  year = {2008},
  doi = {10.1007/978-3-642-01648-6_25},
  url = {http://dx.doi.org/10.1007/978-3-642-01648-6_25},
  tags = {domain analysis, analysis, domain-specific language},
  researchr = {https://researchr.org/publication/PaigeRGKB08},
  cites = {0},
  citedby = {0},
  pages = {229-242},
  booktitle = {MoDELS},
}

@inproceedings{RoseHWKGPP10,
  title = {A Comparison of Model Migration Tools},
  author = {Louis M. Rose and Markus Herrmannsdörfer and James R. Williams and Dimitrios S. Kolovos and Kelly Garcés and Richard F. Paige and Fiona A. C. Polack},
  year = {2010},
  doi = {10.1007/978-3-642-16145-2_5},
  url = {http://dx.doi.org/10.1007/978-3-642-16145-2_5},
  tags = {meta-model, C++, migration, Meta-Environment},
  researchr = {https://researchr.org/publication/RoseHWKGPP10},
  cites = {0},
  citedby = {0},
  pages = {61-75},
  booktitle = {MoDELS},
}

@inproceedings{KolovosPP08:0,
  title = {The Epsilon Transformation Language},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2008},
  doi = {10.1007/978-3-540-69927-9_4},
  url = {http://dx.doi.org/10.1007/978-3-540-69927-9_4},
  tags = {transformation language, C++, Epsilon, transformation},
  researchr = {https://researchr.org/publication/KolovosPP08%3A0},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {ICMT},
}

@inproceedings{ClowesKHRPJDP10,
  title = {A Reflective Approach to Model-Driven Web Engineering},
  author = {Darren Clowes and Dimitrios S. Kolovos and Chris Holmes and Louis M. Rose and Richard F. Paige and Julian Johnson and Ray Dawson and Steve G. Probets},
  year = {2010},
  doi = {10.1007/978-3-642-13595-8_7},
  url = {http://dx.doi.org/10.1007/978-3-642-13595-8_7},
  tags = {meta-model, web engineering, model-driven engineering, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/ClowesKHRPJDP10},
  cites = {0},
  citedby = {0},
  pages = {62-73},
  booktitle = {ECMDA-FA},
}

@article{PaigeKOL02,
  title = {BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning},
  author = {Richard F. Paige and Liliya Kaminskaya and Jonathan S. Ostroff and Jason Lancaric},
  year = {2002},
  url = {http://www.jot.fm/issues/issue_2002_08/article5},
  researchr = {https://researchr.org/publication/PaigeKOL02},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {1},
  number = {3},
  pages = {77-96},
}

@inproceedings{PaigeKP06,
  title = {An action semantics for MOF 2.0},
  author = {Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack},
  year = {2006},
  doi = {10.1145/1141277.1141579},
  url = {http://doi.acm.org/10.1145/1141277.1141579},
  tags = {semantics,  action semantics, C++},
  researchr = {https://researchr.org/publication/PaigeKP06},
  cites = {0},
  citedby = {0},
  pages = {1304-1305},
  booktitle = {SAC},
}

@article{PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010,
  title = {Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering},
  author = {Richard F. Paige and Nikolaos Drivalos and Dimitris Kolovos and Kiran J. Fernandes and Christopher Power and  Goran K. Olsen and Steffen  Zschaler},
  year = {2010},
  doi = {10.1007/s10270-010-0158-8},
  tags = {meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
}

@inproceedings{GePM09,
  title = {Domain analysis on an electronic health records system},
  author = {Xiaocheng Ge and Richard F. Paige and John A. McDermid},
  year = {2009},
  doi = {10.1145/1629716.1629727},
  url = {http://doi.acm.org/10.1145/1629716.1629727},
  tags = {domain analysis, analysis},
  researchr = {https://researchr.org/publication/GePM09},
  cites = {0},
  citedby = {0},
  pages = {49-54},
  booktitle = {MoDELS},
}

@inproceedings{PowerP09,
  title = {Content Personalization for Inclusive Education through Model-Driven Engineering},
  author = {Christopher Power and Richard F. Paige},
  year = {2009},
  doi = {10.1007/978-3-642-02713-0_11},
  url = {http://dx.doi.org/10.1007/978-3-642-02713-0_11},
  tags = {meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/PowerP09},
  cites = {0},
  citedby = {0},
  pages = {102-109},
  booktitle = {hci},
}

@inproceedings{GuerraLKPS10,
  title = {::::trans::::ML: A Family of Languages to Model Model Transformations},
  author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige and Osmar Marchi dos Santos},
  year = {2010},
  doi = {10.1007/978-3-642-16145-2_8},
  url = {http://dx.doi.org/10.1007/978-3-642-16145-2_8},
  tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/GuerraLKPS10},
  cites = {0},
  citedby = {0},
  pages = {106-120},
  booktitle = {MoDELS},
}

@article{PaigeOB03,
  title = {Theorem Proving Support for View Consistency Checking},
  author = {Richard F. Paige and Jonathan S. Ostroff and Phillip J. Brooke},
  year = {2003},
  url = {http://objet.revuesonline.com/article.jsp?articleId=3633},
  tags = {consistency},
  researchr = {https://researchr.org/publication/PaigeOB03},
  cites = {0},
  citedby = {0},
  journal = {Lobjet},
  volume = {9},
  number = {4},
  pages = {115-134},
}

@inproceedings{Guerra:MoDELS:2010,
  title = {Inter-Modelling: from Theory to Practice},
  author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige},
  year = {2010},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{EngelPK06,
  title = {Using a Model Merging Language for Reconciling Model Versions},
  author = {Klaus D. Engel and Richard F. Paige and Dimitris Kolovos},
  year = {2006},
  doi = {10.1007/11787044_12},
  url = {http://dx.doi.org/10.1007/11787044_12},
  tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/EngelPK06},
  cites = {0},
  citedby = {0},
  pages = {143-157},
  booktitle = {ECMDA-FA},
}

@article{Paige99,
  title = {Integrating a Program Design Calculus and a Subset of UML},
  author = {Richard F. Paige},
  year = {1999},
  tags = {UML, design},
  researchr = {https://researchr.org/publication/Paige99},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {42},
  number = {2},
  pages = {82-99},
}

@inproceedings{PaigeB05,
  title = {Agile Formal Method Engineering},
  author = {Richard F. Paige and Phillip J. Brooke},
  year = {2005},
  doi = {10.1007/11589976_8},
  url = {http://dx.doi.org/10.1007/11589976_8},
  researchr = {https://researchr.org/publication/PaigeB05},
  cites = {0},
  citedby = {0},
  pages = {109-128},
  booktitle = {IFM},
}

@inproceedings{PaigeO99:0,
  title = {A Comparison of the Business Object Notation and the Unified Modelling Language},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {1999},
  tags = {meta-model, modeling language, language modeling, UML, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PaigeO99%3A0},
  cites = {0},
  citedby = {0},
  pages = {67-82},
  booktitle = {uml},
}

@inproceedings{PaigeO04:0,
  title = {Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3294&spage=107},
  tags = {teaching, Eiffel, design},
  researchr = {https://researchr.org/publication/PaigeO04%3A0},
  cites = {0},
  citedby = {0},
  pages = {107-123},
  booktitle = {tfm},
}

@article{Paige08,
  title = {Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700},
  author = {Richard F. Paige},
  year = {2008},
  doi = {10.1002/stvr.378},
  url = {http://dx.doi.org/10.1002/stvr.378},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/Paige08},
  cites = {0},
  citedby = {0},
  journal = {stvr},
  volume = {18},
  number = {4},
  pages = {251-252},
}

@inproceedings{AbdullahPKB07,
  title = {A UML Profile for Knowledge-Based Systems Modelling},
  author = {Mohd Syazwan Abdullah and Richard F. Paige and Chris Kimble and Ian D. Benest},
  year = {2007},
  doi = {10.1109/SERA.2007.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2007.36},
  tags = {rule-based, UML},
  researchr = {https://researchr.org/publication/AbdullahPKB07},
  cites = {0},
  citedby = {0},
  pages = {871-878},
  booktitle = {sera},
}

@article{PaigeB09,
  title = {Editorial},
  author = {Richard F. Paige and Phillip J. Brooke},
  year = {2009},
  doi = {10.1007/s00165-009-0113-z},
  url = {http://dx.doi.org/10.1007/s00165-009-0113-z},
  researchr = {https://researchr.org/publication/PaigeB09},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {21},
  number = {4},
  pages = {303},
}

@article{PaigeO02,
  title = {The Single Model Principle},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2002},
  url = {http://www.jot.fm/issues/issue_2002_11/column6},
  tags = {meta-model, Meta-Environment, single model principle},
  researchr = {https://researchr.org/publication/PaigeO02},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {1},
  number = {5},
  pages = {63-81},
}

@inproceedings{Kolovos:MoDELS:2010,
  title = {Taming EMF and GMF Using Model Transformation},
  author = {Kolovos and Louis M. Rose and Abid and Richard F. Paige and Fiona A. C. Polack and Botterweck},
  year = {2010},
  tags = {model-to-model transformation, meta-model, EMF, source-to-source, C++, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/Kolovos%3AMoDELS%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{RadjenovicP06:0,
  title = {The View Glue},
  author = {Alek Radjenovic and Richard F. Paige},
  year = {2006},
  doi = {10.1007/978-3-540-74035-3_4},
  url = {http://dx.doi.org/10.1007/978-3-540-74035-3_4},
  researchr = {https://researchr.org/publication/RadjenovicP06%3A0},
  cites = {0},
  citedby = {0},
  pages = {66-88},
  booktitle = {ICSE},
}

@article{AydalPW08,
  title = {Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse},
  author = {Emine G. Aydal and Richard F. Paige and Jim Woodcock},
  year = {2008},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/102},
  tags = {OCL},
  researchr = {https://researchr.org/publication/AydalPW08},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {9},
}

@inproceedings{Wimmer-ICMT-2011,
  title = {A Comparison of Rule Inheritance in Model-to-Model Transformation Languages},
  author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and  Johannes Schoenboeck and Wieland Schwinger and Dimitris Kolovos and Richard F. Paige and Marius Lauder and Andy Schürr and Dennis Wagelaar},
  year = {2011},
  tags = {model-to-model transformation, semantics, rule-based, transformation engineering, application framework, model checking, meta-model, modeling language, modeling, language engineering, transformation language, ATL, language modeling, constraints, reuse, little language, source-to-source, rules, model-driven engineering, object-role modeling, compiler, model transformation, Meta-Environment, open-source, transformation},
  researchr = {https://researchr.org/publication/Wimmer-ICMT-2011},
  cites = {0},
  citedby = {0},
  pages = {31-46},
  booktitle = {ICMT},
}

@inproceedings{PaigeOlsenKolovosZschalerPower08,
  title = {Building Model-Driven Engineering Traceability Classifications},
  author = {Richard F. Paige and Goran Olsen and Dimitris Kolovos and Steffen  Zschaler and Christopher Power},
  year = {2008},
  tags = {classification, meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/PaigeOlsenKolovosZschalerPower08},
  cites = {0},
  citedby = {0},
  booktitle = {4th ECMDA Traceability Workshop},
}

@inproceedings{PaigeAB03,
  title = {Combining Agile Practices with UML and EJB: A Case Study in Agile Development},
  author = {Richard F. Paige and Priyanka Agarwal and Phillip J. Brooke},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2675&spage=351},
  tags = {case study, UML},
  researchr = {https://researchr.org/publication/PaigeAB03},
  cites = {0},
  citedby = {0},
  pages = {351-353},
  booktitle = {xpu},
}

@inproceedings{LaurensPBC07,
  title = {A Novel Approach to the Detection of Cheating in Multiplayer Online Games},
  author = {Peter Laurens and Richard F. Paige and Phillip J. Brooke and Howard Chivers},
  year = {2007},
  doi = {10.1109/ICECCS.2007.11},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.11},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/LaurensPBC07},
  cites = {0},
  citedby = {0},
  pages = {97-106},
  booktitle = {ICECCS},
}

@inproceedings{JohannesZFCKP09,
  title = {Abstracting Complex Languages through Transformation and Composition},
  author = {Jendrik  Johannes and Steffen  Zschaler and Miguel A. Fernández and Antonio Castillo and Dimitris Kolovos and Richard F. Paige},
  year = {2009},
  doi = {10.1007/978-3-642-04425-0_41},
  url = {http://dx.doi.org/10.1007/978-3-642-04425-0_41},
  tags = {transformation language, composition, transformation},
  researchr = {https://researchr.org/publication/JohannesZFCKP09},
  cites = {0},
  citedby = {0},
  pages = {546-550},
  booktitle = {MoDELS},
}

@inproceedings{RosePKP08,
  title = {Constructing Models with the Human-Usable Textual Notation},
  author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_18},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_18},
  tags = {C++},
  researchr = {https://researchr.org/publication/RosePKP08},
  cites = {0},
  citedby = {0},
  pages = {249-263},
  booktitle = {MoDELS},
}

@article{PaigeB04,
  title = {Integrating BON and Object-Z},
  author = {Richard F. Paige and Phillip J. Brooke},
  year = {2004},
  url = {http://www.jot.fm/issues/issue_2004_03/article3.pdf},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PaigeB04},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {3},
  number = {3},
  pages = {121-141},
}

@inproceedings{AydalPW07,
  title = {Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse},
  author = {Emine G. Aydal and Richard F. Paige and Jim Woodcock},
  year = {2007},
  doi = {10.1007/978-3-540-69073-3_21},
  url = {http://dx.doi.org/10.1007/978-3-540-69073-3_21},
  tags = {OCL},
  researchr = {https://researchr.org/publication/AydalPW07},
  cites = {0},
  citedby = {0},
  pages = {194-205},
  booktitle = {MoDELS},
}

@techreport{AbstractDSMLTechReport,
  title = {Abstracting Complex Languages through Transformation and Composition},
  author = {Jendrik  Johannes and Steffen  Zschaler and Miguel A. Fern{'a}ndez and Antonio Castillo and Dimitris Kolovos and Richard F. Paige},
  year = {2009},
  url = {ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf},
  tags = {transformation language, composition, transformation},
  researchr = {https://researchr.org/publication/AbstractDSMLTechReport},
  cites = {0},
  citedby = {0},
  institution = {Technische Universit{\"a}t Dresden},
  number = {TUD-FI09-08 July 2009},
  address = {ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf},
}

@article{RamsinP08,
  title = {Process-centered review of object oriented software development methodologies},
  author = {Raman Ramsin and Richard F. Paige},
  year = {2008},
  doi = {10.1145/1322432.1322435},
  url = {http://doi.acm.org/10.1145/1322432.1322435},
  tags = {reviewing},
  researchr = {https://researchr.org/publication/RamsinP08},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {40},
  number = {1},
}

@inproceedings{Kolovos:TTC:2010,
  title = {Ecore to GenModel Case Study},
  author = {Dimitrios S. Kolovos and Louis M. Rose and Richard F. Paige and Juan de Lara},
  year = {2010},
  tags = {model-to-model transformation, rule-based, Java, Eclipse, case study, model editor, meta-model, modeling language, modeling, transformation language, language modeling, EMF, source-to-source, C++, code generation, model transformation, information models, Meta-Environment, higher-order transformations, process modeling, transformation},
  researchr = {https://researchr.org/publication/Kolovos%3ATTC%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {TTC},
}

@inproceedings{KolovosPP08,
  title = {Detecting and Repairing Inconsistencies across Heterogeneous Models},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2008},
  doi = {10.1109/ICST.2008.23},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23},
  tags = {C++},
  researchr = {https://researchr.org/publication/KolovosPP08},
  cites = {0},
  citedby = {0},
  pages = {356-364},
  booktitle = {icst},
}

@inproceedings{AbdullahPBK06,
  title = {Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development},
  author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble},
  year = {2006},
  tags = {meta-model, architecture, UML, model-driven development, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/AbdullahPBK06},
  cites = {0},
  citedby = {0},
  pages = {74-81},
  booktitle = {ICEIS},
}

@inproceedings{SantosWPK09,
  title = {The Use of Model Transformation in the INESS Project},
  author = {Osmar Marchi dos Santos and Jim Woodcock and Richard F. Paige and Steve King},
  year = {2009},
  doi = {10.1007/978-3-642-17071-3_8},
  url = {http://dx.doi.org/10.1007/978-3-642-17071-3_8},
  tags = {model-to-model transformation, meta-model, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/SantosWPK09},
  cites = {0},
  citedby = {0},
  pages = {147-165},
  booktitle = {FMCO},
}

@inproceedings{Rose:MCCM:2009,
  title = {An Analysis of Approaches to Model Migration},
  author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack},
  year = {2009},
  tags = {meta-model, modeling, architecture, analysis, EMF, C++, migration, consistency, Meta-Environment, MDE, systematic-approach},
  researchr = {https://researchr.org/publication/Rose%3AMCCM%3A2009},
  cites = {0},
  citedby = {1},
  booktitle = {Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems},
}

@inproceedings{AbdullahKPDE04,
  title = {Developing a UML Profile for Modelling Knowledge-Based Systems},
  author = {Mohd Syazwan Abdullah and Chris Kimble and Richard F. Paige and Ian D. Benest and Andy Evans},
  year = {2004},
  doi = {10.1007/11538097_15},
  url = {http://dx.doi.org/10.1007/11538097_15},
  tags = {rule-based, UML},
  researchr = {https://researchr.org/publication/AbdullahKPDE04},
  cites = {0},
  citedby = {0},
  pages = {220-233},
  booktitle = {mdafa},
}

@inproceedings{KolovosPP05,
  title = {An Agile and Extensible Code Generation Framework},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2005},
  doi = {10.1007/11499053_33},
  url = {http://dx.doi.org/10.1007/11499053_33},
  tags = {C++, code generation},
  researchr = {https://researchr.org/publication/KolovosPP05},
  cites = {0},
  citedby = {0},
  pages = {226-229},
  booktitle = {xpu},
}

@inproceedings{louisrosemigratingTTC2010,
  title = {Migrating Activity Diagrams with Epsilon Flock},
  author = {Louis M. Rose and Dimitrios Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2010},
  url = {http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/submissions/final/flock.pdf},
  tags = {C++, Epsilon},
  researchr = {https://researchr.org/publication/louisrosemigratingTTC2010},
  cites = {0},
  citedby = {0},
  booktitle = {TTC},
}

@article{PaigeOON10,
  title = {Guest editorial to the theme issue on traceability in model-driven engineering},
  author = {Richard F. Paige and Gøran K. Olsen and Jon Oldevik and Tor Neple},
  year = {2010},
  doi = {10.1007/s10270-010-0153-0},
  url = {http://dx.doi.org/10.1007/s10270-010-0153-0},
  tags = {meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/PaigeOON10},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {9},
  number = {4},
  pages = {425-426},
}

@article{RadjenovicP06,
  title = {Architecture Description Languages for High-Integrity Real-Time Systems},
  author = {Alek Radjenovic and Richard F. Paige},
  year = {2006},
  doi = {10.1109/MS.2006.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.36},
  tags = {architecture},
  researchr = {https://researchr.org/publication/RadjenovicP06},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {23},
  number = {2},
  pages = {71-79},
}

@article{AbdullahKBP06,
  title = {Knowledge-based systems: a re-evaluation},
  author = {Mohd Syazwan Abdullah and Chris Kimble and Ian D. Benest and Richard F. Paige},
  year = {2006},
  doi = {10.1108/13673270610670902},
  url = {http://dx.doi.org/10.1108/13673270610670902},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AbdullahKBP06},
  cites = {0},
  citedby = {0},
  journal = {jkm},
  volume = {10},
  number = {3},
  pages = {127-142},
}

@inproceedings{CakicP05,
  title = {A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems},
  author = {Jovan Cakic and Richard F. Paige},
  year = {2005},
  tags = {rule-based, web service, web services},
  researchr = {https://researchr.org/publication/CakicP05},
  cites = {0},
  citedby = {0},
  pages = {85-96},
  booktitle = {iiwas},
}

@inproceedings{KolovosPP06,
  title = {Merging Models with the Epsilon Merging Language (EML)},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2006},
  doi = {10.1007/11880240_16},
  url = {http://dx.doi.org/10.1007/11880240_16},
  tags = {modeling language, language modeling, C++, Epsilon},
  researchr = {https://researchr.org/publication/KolovosPP06},
  cites = {0},
  citedby = {0},
  pages = {215-229},
  booktitle = {MoDELS},
}

@inproceedings{KolovosRMPPF10,
  title = {Constructing and Navigating Non-invasive Model Decorations},
  author = {Dimitrios S. Kolovos and Louis M. Rose and Nikolaos Drivalos Matragkas and Richard F. Paige and Fiona A. C. Polack and Kiran Jude Fernandes},
  year = {2010},
  doi = {10.1007/978-3-642-13688-7_10},
  url = {http://dx.doi.org/10.1007/978-3-642-13688-7_10},
  tags = {meta-model, model, model decoration, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/KolovosRMPPF10},
  cites = {0},
  citedby = {0},
  pages = {138-152},
  booktitle = {ICMT},
}

@article{BrookeP09,
  title = {Cameo: an alternative model of concurrency for Eiffel},
  author = {Phillip J. Brooke and Richard F. Paige},
  year = {2009},
  doi = {10.1007/s00165-008-0096-1},
  url = {http://dx.doi.org/10.1007/s00165-008-0096-1},
  tags = {meta-model, Meta-Environment, Eiffel},
  researchr = {https://researchr.org/publication/BrookeP09},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {21},
  number = {4},
  pages = {363-391},
}

@article{AydalPW08a,
  title = {Observations for Assertion-based Scenarios in the context of Model Validation},
  author = {Emine G. Aydal and Richard F. Paige and Jim Woodstock},
  year = {2008},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/181},
  tags = {rule-based, context-aware},
  researchr = {https://researchr.org/publication/AydalPW08a},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {15},
}

@inproceedings{GePM09-0,
  title = {Probabilistic Failure Propagation and Transformation Analysis},
  author = {Xiaocheng Ge and Richard F. Paige and John A. McDermid},
  year = {2009},
  doi = {10.1007/978-3-642-04468-7_18},
  url = {http://dx.doi.org/10.1007/978-3-642-04468-7_18},
  tags = {analysis, transformation},
  researchr = {https://researchr.org/publication/GePM09-0},
  cites = {0},
  citedby = {0},
  pages = {215-228},
  booktitle = {safecomp},
}

@article{KolovosPP06:1,
  title = {Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2006},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42},
  tags = {OCL, modeling language, language modeling, C++, query language, domain-specific language},
  researchr = {https://researchr.org/publication/KolovosPP06%3A1},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {5},
}

@inproceedings{ChanP05:0,
  title = {Designing a Domain-Specific Contract Language: A Metamodelling Approach},
  author = {Zhan En Chan and Richard F. Paige},
  year = {2005},
  doi = {10.1007/11581741_14},
  url = {http://dx.doi.org/10.1007/11581741_14},
  tags = {contracts, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/ChanP05%3A0},
  cites = {0},
  citedby = {0},
  pages = {175-189},
  booktitle = {ECMDA-FA},
}

@inproceedings{PaigeKRDP09,
  title = {The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering},
  author = {Richard F. Paige and Dimitrios S. Kolovos and Louis M. Rose and Nikolaos Drivalos and Fiona A. C. Polack},
  year = {2009},
  doi = {10.1109/ICECCS.2009.14},
  url = {http://dx.doi.org/10.1109/ICECCS.2009.14},
  tags = {meta-model, modeling language, language engineering, language modeling, language design, model-driven engineering, C++, Meta-Environment, design},
  researchr = {https://researchr.org/publication/PaigeKRDP09},
  cites = {0},
  citedby = {0},
  pages = {162-171},
  booktitle = {ICECCS},
}

@inproceedings{PaigeO01:0,
  title = {A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2001},
  tags = {rule-based, UML},
  researchr = {https://researchr.org/publication/PaigeO01%3A0},
  cites = {0},
  citedby = {0},
  pages = {192-206},
  booktitle = {uml},
}

@inproceedings{PaigeO01:1,
  title = {The Single Model Principle},
  author = {Richard F. Paige and Jonathan S. Ostroff},
  year = {2001},
  url = {http://computer.org/proceedings/re/1125/11250292.pdf},
  tags = {rule-based, Java, model checking, meta-model, modeling language, modeling, language modeling, UML, model-driven development, consistency, abstraction, Meta-Environment, Eiffel, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/PaigeO01%3A1},
  cites = {0},
  citedby = {0},
  pages = {292-293},
  booktitle = {RE},
}

@inproceedings{louism.rosemodel,
  title = {Model Migration Case for TTC 2010},
  author = {Louis M. Rose and Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2010},
  url = {http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/cases/ttc2010_submission_2_v2010-04-22.pdf},
  tags = {C++, migration},
  researchr = {https://researchr.org/publication/louism.rosemodel},
  cites = {0},
  citedby = {0},
  booktitle = {TTC},
}

@article{KolovosPPR07,
  title = {Update Transformations in the Small with the Epsilon Wizard Language},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack and Louis M. Rose},
  year = {2007},
  url = {http://www.jot.fm/issues/issue_2007_10/paper3/index.html},
  tags = {transformation language, C++, Epsilon, transformation},
  researchr = {https://researchr.org/publication/KolovosPPR07},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {6},
  number = {9},
  pages = {53-69},
}

@inproceedings{GuerraLKP10-0,
  title = {A Visual Specification Language for Model-to-Model Transformations},
  author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige},
  year = {2010},
  doi = {10.1109/VLHCC.2010.25},
  url = {http://dx.doi.org/10.1109/VLHCC.2010.25},
  tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/GuerraLKP10-0},
  cites = {0},
  citedby = {0},
  pages = {119-126},
  booktitle = {vl},
}

@inproceedings{GePPB07,
  title = {Extreme Programming Security Practices},
  author = {Xiaocheng Ge and Richard F. Paige and Fiona A. C. Polack and Phillip J. Brooke},
  year = {2007},
  doi = {10.1007/978-3-540-73101-6_42},
  url = {http://dx.doi.org/10.1007/978-3-540-73101-6_42},
  tags = {extreme programming, C++, security, programming},
  researchr = {https://researchr.org/publication/GePPB07},
  cites = {0},
  citedby = {0},
  pages = {226-230},
  booktitle = {xpu},
}

@inproceedings{AydalPCB06,
  title = {Security Planning and Refactoring in Extreme Programming},
  author = {Emine G. Aydal and Richard F. Paige and Howard Chivers and Phillip J. Brooke},
  year = {2006},
  doi = {10.1007/11774129_16},
  url = {http://dx.doi.org/10.1007/11774129_16},
  tags = {refactoring, extreme programming, security, programming},
  researchr = {https://researchr.org/publication/AydalPCB06},
  cites = {0},
  citedby = {0},
  pages = {154-163},
  booktitle = {xpu},
}

@inproceedings{Guerra:MoDELS:2010-0,
  title = {transML: A Family of Languages to Model Model Transformations},
  author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige and dos Santos},
  year = {2010},
  tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010-0},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{RoseKPP09,
  title = {Enhanced Automation for Managing Model and Metamodel Inconsistency},
  author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2009},
  doi = {10.1109/ASE.2009.57},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57},
  tags = {C++},
  researchr = {https://researchr.org/publication/RoseKPP09},
  cites = {0},
  citedby = {0},
  pages = {545-549},
  booktitle = {ASE},
}

@article{PaigeKP05,
  title = {Refinement via Consistency Checking in MDA},
  author = {Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack},
  year = {2005},
  doi = {10.1016/j.entcs.2005.04.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.04.029},
  tags = {refinement, C++, consistency},
  researchr = {https://researchr.org/publication/PaigeKP05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {137},
  number = {2},
  pages = {151-161},
}

@article{Paige98,
  title = {Heterogeneous Notations for Pure Formal Method Integration},
  author = {Richard F. Paige},
  year = {1998},
  url = {http://link.springer.de/link/service/journals/00165/bibs/8010003/80100233.htm},
  researchr = {https://researchr.org/publication/Paige98},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {10},
  number = {3},
  pages = {233-242},
}

@article{BrookeP03,
  title = {Fault trees for security system design and analysis},
  author = {Phillip J. Brooke and Richard F. Paige},
  year = {2003},
  doi = {10.1016/S0167-4048(03)00313-4},
  url = {http://dx.doi.org/10.1016/S0167-4048(03)00313-4},
  tags = {analysis, security, design},
  researchr = {https://researchr.org/publication/BrookeP03},
  cites = {0},
  citedby = {0},
  journal = {compsec},
  volume = {22},
  number = {3},
  pages = {256-264},
}

@inproceedings{BrookeP02,
  title = {The Design of a Tool-Supported Graphical Notation for Timed CSP},
  author = {Phillip J. Brooke and Richard F. Paige},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2335/23350299.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/BrookeP02},
  cites = {0},
  citedby = {0},
  pages = {299-318},
  booktitle = {IFM},
}

@inproceedings{Paige97:0,
  title = {Case Studies in Using a Meta-Method for Formal Method Integration},
  author = {Richard F. Paige},
  year = {1997},
  tags = {case study, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Paige97%3A0},
  cites = {0},
  citedby = {0},
  pages = {395-408},
  booktitle = {amast},
}

@inproceedings{KolovosPP08:1,
  title = {The Grand Challenge of Scalability for Model Driven Engineering},
  author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack},
  year = {2008},
  doi = {10.1007/978-3-642-01648-6_5},
  url = {http://dx.doi.org/10.1007/978-3-642-01648-6_5},
  tags = {meta-model, model-driven engineering, C++, Meta-Environment},
  researchr = {https://researchr.org/publication/KolovosPP08%3A1},
  cites = {0},
  citedby = {0},
  pages = {48-53},
  booktitle = {MoDELS},
}
@proceedings{tools:46-2008,
  title = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008},
  year = {2008},
  tags = {object-role modeling},
  researchr = {https://researchr.org/publication/tools%3A46-2008},
  cites = {0},
  citedby = {0},
  booktitle = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008},
  conference = {TOOLS},
  editor = {Richard F. Paige and Bertrand Meyer},
  volume = {11},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-69823-4},
}

@proceedings{sle-2013,
  title = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)},
  year = {2013},
  researchr = {https://researchr.org/publication/sle-2013},
  cites = {0},
  citedby = {0},
  booktitle = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)},
  conference = {SLE},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@proceedings{ecmdafa:2007,
  title = {Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings},
  year = {2007},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ecmdafa%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings},
  conference = {ECMDA-FA},
  editor = {David H. Akehurst and Régis Vogel and Richard F. Paige},
  volume = {4530},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72900-6},
}

@proceedings{iceccs-2010,
  title = {15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010},
  year = {2010},
  researchr = {https://researchr.org/publication/iceccs-2010},
  cites = {0},
  citedby = {0},
  booktitle = {15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010},
  conference = {ICECCS},
  editor = {Radu Calinescu and Richard F. Paige and Marta Z. Kwiatkowska},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4015-3},
}

@proceedings{icmt-2009,
  title = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-02408-5},
  url = {http://dx.doi.org/10.1007/978-3-642-02408-5},
  tags = {model-to-model transformation, meta-model, source-to-source, model transformation, peer-to-peer, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/icmt-2009},
  cites = {0},
  citedby = {0},
  booktitle = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  conference = {ICMT},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02407-8},
}

@proceedings{ecmdafa:2009,
  title = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-02674-4},
  url = {http://dx.doi.org/10.1007/978-3-642-02674-4},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ecmdafa%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings},
  conference = {ECMDA-FA},
  editor = {Richard F. Paige and Alan Hartman and Arend Rensink},
  volume = {5562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02673-7},
}

@proceedings{spc:2006,
  title = {Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings},
  year = {2006},
  tags = {security},
  researchr = {https://researchr.org/publication/spc%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings},
  conference = {spc},
  editor = {John A. Clark and Richard F. Paige and Fiona A. C. Polack and Phillip J. Brooke},
  volume = {3934},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33376-2},
}