publications:
- title: "Refinement via Consistency Checking in MDA"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.029"
  links:
    doi: "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: "Electronic Notes in Theoretical Computer Science"
  volume: "137"
  number: "2"
  pages: "151-161"
  kind: "article"
  key: "PaigeKP05"
- title: "The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Nikolaos Drivalos"
    link: "https://researchr.org/alias/nikolaos-drivalos"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICECCS.2009.14"
  links:
    doi: "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: "14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PaigeKRDP09"
- title: "A Formal Template Language Enabling Metaproof"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11813040_18"
  links:
    doi: "http://dx.doi.org/10.1007/11813040_18"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AmalioSP06"
  cites: 0
  citedby: 0
  pages: "252-267"
  booktitle: "FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings"
  editor:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  - name: "Emil Sekerinski"
    link: "https://researchr.org/alias/emil-sekerinski"
  volume: "4085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37215-6"
  kind: "inproceedings"
  key: "AmalioSP06"
- title: "Effective Security Requirements Analysis: HAZOP and Use Cases"
  author:
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=416"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=416"
  tags:
  - "analysis"
  - "C++"
  - "security"
  researchr: "https://researchr.org/publication/SrivatanakulCP04"
  cites: 0
  citedby: 0
  pages: "416-427"
  booktitle: "Information Security, 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings"
  editor:
  - name: "Kan Zhang"
    link: "https://researchr.org/alias/kan-zhang"
  - name: "Yuliang Zheng"
    link: "https://researchr.org/alias/yuliang-zheng"
  volume: "3225"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23208-7"
  kind: "inproceedings"
  key: "SrivatanakulCP04"
- title: "An action semantics for MOF 2.0"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1141277.1141579"
  links:
    doi: "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: "Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006"
  editor:
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  publisher: "ACM"
  isbn: "1-59593-108-2"
  kind: "inproceedings"
  key: "PaigeKP06"
- title: "In Search of Sound  in silico  Research - Validating a Complex System Simulation"
  author:
  - name: "Teodor Ghetiu"
    link: "https://researchr.org/alias/teodor-ghetiu"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "James L. Bown"
    link: "https://researchr.org/alias/james-l.-bown"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.31"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/GhetiuPB10"
  tags:
  - "C++"
  - "search"
  researchr: "https://researchr.org/publication/GhetiuPB10"
  cites: 0
  citedby: 0
  pages: "312"
  booktitle: "15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010"
  editor:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4015-3"
  kind: "inproceedings"
  key: "GhetiuPB10"
- title: "Taming EMF and GMF Using Model Transformation"
  author:
  - name: "Kolovos"
    link: "https://researchr.org/alias/kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Abid"
    link: "https://researchr.org/alias/abid"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Botterweck"
    link: "https://researchr.org/alias/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: "Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings"
  editor:
  - name: "Dorina Petriu"
    link: "https://researchr.org/alias/dorina-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "Kolovos:MoDELS:2010"
- title: "Merging Models with the Epsilon Merging Language (EML)"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11880240_16"
  links:
    doi: "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: "Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings"
  editor:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "4199"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45772-0"
  kind: "inproceedings"
  key: "KolovosPP06"
- title: "Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=234"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=234"
  tags:
  - "meta-model"
  - "analysis"
  - "C++"
  - "database"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GePL04"
  cites: 0
  citedby: 0
  pages: "234-247"
  booktitle: "Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings"
  editor:
  - name: "Anne Persson"
    link: "https://researchr.org/alias/anne-persson"
  - name: "Janis Stirna"
    link: "https://researchr.org/alias/janis-stirna"
  volume: "3084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22151-4"
  kind: "inproceedings"
  key: "GePL04"
- title: "An Agile and Extensible Code Generation Framework"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11499053_33"
  links:
    doi: "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: "Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings"
  editor:
  - name: "Hubert Baumeister"
    link: "https://researchr.org/alias/hubert-baumeister"
  - name: "Michele Marchesi"
    link: "https://researchr.org/alias/michele-marchesi"
  - name: "Mike Holcombe"
    link: "https://researchr.org/alias/mike-holcombe"
  volume: "3556"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26277-6"
  kind: "inproceedings"
  key: "KolovosPP05"
- title: "Deviational Analyses for Validating Regulations on Real Systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "Tim Kelly"
    link: "https://researchr.org/alias/tim-kelly"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  year: "2006"
  doi: "http://ceur-ws.org/Vol-241/paper5.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-241/paper5.pdf"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackSKC06"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V  06, Luxemburg, June 5-9, 2006"
  editor:
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  - name: "Michel Lemoine"
    link: "https://researchr.org/alias/michel-lemoine"
  volume: "241"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "PolackSKC06"
- title: "The SAZ Project: Integrating SSADM and Z."
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Mark Whiston"
    link: "https://researchr.org/alias/mark-whiston"
  - name: "Keith Mander"
    link: "https://researchr.org/alias/keith-mander"
  year: "1993"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackWM93"
  cites: 0
  citedby: 0
  pages: "541-557"
  booktitle: "FME  93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings"
  editor:
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Peter Gorm Larsen"
    link: "https://researchr.org/alias/peter-gorm-larsen"
  volume: "670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56662-7"
  kind: "inproceedings"
  key: "PolackWM93"
- title: "Constructing and Navigating Non-invasive Model Decorations"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Nikolaos Drivalos Matragkas"
    link: "https://researchr.org/alias/nikolaos-drivalos-matragkas"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Kiran Jude Fernandes"
    link: "https://researchr.org/alias/kiran-jude-fernandes"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/KolovosRMPPF10"
  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: "Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings"
  editor:
  - name: "Laurence Tratt"
    link: "http://tratt.net/laurie/"
  - name: "Martin Gogolla"
    link: "https://researchr.org/alias/martin-gogolla"
  volume: "6142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13687-0"
  kind: "inproceedings"
  key: "KolovosRMPPF10"
- title: "Specification of integrity-preserving operations in information systems by using a formal UML-based language"
  author:
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/LaleauP01"
  cites: 0
  citedby: 0
  journal: "Information \\& Software Technology"
  volume: "43"
  number: "12"
  pages: "693-704"
  kind: "article"
  key: "LaleauP01"
- title: "Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510020.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510020.htm"
  tags:
  - "refactoring"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT03a"
  cites: 0
  citedby: 0
  pages: "20-39"
  booktitle: "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Marina A. Waldén"
    link: "https://researchr.org/alias/marina-a.-wald%C3%A9n"
  volume: "2651"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40253-5"
  kind: "inproceedings"
  key: "StepneyPT03a"
- title: "The Epsilon Object Language (EOL)"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787044_11"
  links:
    doi: "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: "Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings"
  editor:
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  - name: "Jos Warmer"
    link: "https://researchr.org/alias/jos-warmer"
  volume: "4066"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35909-5"
  kind: "inproceedings"
  key: "KolovosPP06:0"
- title: "Extreme Programming Security Practices"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73101-6_42"
  links:
    doi: "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: "Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings"
  editor:
  - name: "Giulio Concas"
    link: "https://researchr.org/alias/giulio-concas"
  - name: "Ernesto Damiani"
    link: "https://researchr.org/alias/ernesto-damiani"
  - name: "Marco Scotto"
    link: "https://researchr.org/alias/marco-scotto"
  - name: "Giancarlo Succi"
    link: "https://researchr.org/alias/giancarlo-succi"
  volume: "4536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73100-9"
  kind: "inproceedings"
  key: "GePPB07"
- title: "The Grand Challenge of Scalability for Model Driven Engineering"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_5"
  links:
    doi: "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 in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers"
  editor:
  - name: "Michel R. V. Chaudron"
    link: "http://www.win.tue.nl/~mchaudro/"
  volume: "5421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01647-9"
  kind: "inproceedings"
  key: "KolovosPP08:1"
- title: "Challenging Formal Specifications by Mutation: a CSP security example"
  author:
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110340abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110340abs.htm"
  tags:
  - "C++"
  - "security"
  researchr: "https://researchr.org/publication/SrivatanakulCSP03"
  cites: 0
  citedby: 0
  pages: "340"
  booktitle: "10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2011-1"
  kind: "inproceedings"
  key: "SrivatanakulCSP03"
- title: "Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering"
  author:
  - name: "Nurulhuda Firdaus Mohd Azmi"
    link: "https://researchr.org/alias/nurulhuda-firdaus-mohd-azmi"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.62"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.62"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/AzmiTP10"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/AzmiTP10"
  cites: 0
  citedby: 0
  pages: "315-316"
  booktitle: "15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010"
  editor:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4015-3"
  kind: "inproceedings"
  key: "AzmiTP10"
- title: "Refactoring in maintenance and development of Z specifications"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#008"
  tags:
  - "refactoring"
  - "maintenance"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "70"
  number: "3"
  pages: "50-69"
  kind: "article"
  key: "StepneyPT02"
- title: "Formal Analysis in Model Management: Exploiting the Power of CZT"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11811-1_46"
  links:
    doi: "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: "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"
  editor:
  - name: "Marc Frappier"
    link: "https://researchr.org/alias/marc-frappier"
  - name: "Uwe Glässer"
    link: "https://researchr.org/alias/uwe-gl%C3%A3%C2%A4sser"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A3%C2%A9gine-laleau"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  volume: "5977"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11810-4"
  kind: "inproceedings"
  key: "WilliamsPP10"
- title: "A Comparison of Model Migration Tools"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Markus Herrmannsdörfer"
    link: "http://www4.in.tum.de/~herrmama/"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Kelly Garcés"
    link: "https://researchr.org/alias/kelly-garc%C3%A9s"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/RoseHWKGPP10"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/RoseHWKGPP10"
  cites: 0
  citedby: 0
  pages: "61-75"
  booktitle: "Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I"
  editor:
  - name: "Dorina C. Petriu"
    link: "https://researchr.org/alias/dorina-c.-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  volume: "6394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16144-5"
  kind: "inproceedings"
  key: "RoseHWKGPP10"
- title: "Neutral Emergence and Coarse Graining"
  author:
  - name: "Andrew Weeks"
    link: "https://researchr.org/alias/andrew-weeks"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74913-4_113"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74913-4_113"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WeeksSP07"
  cites: 0
  citedby: 0
  pages: "1131-1140"
  booktitle: "Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings"
  editor:
  - name: "Fernando Almeida e Costa"
    link: "https://researchr.org/alias/fernando-almeida-e-costa"
  - name: "Luis Mateus Rocha"
    link: "https://researchr.org/alias/luis-mateus-rocha"
  - name: "Ernesto Costa"
    link: "https://researchr.org/alias/ernesto-costa"
  - name: "Inman Harvey"
    link: "https://researchr.org/alias/inman-harvey"
  - name: "António Coutinho"
    link: "https://researchr.org/alias/ant%C3%B3nio-coutinho"
  volume: "4648"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74912-7"
  kind: "inproceedings"
  key: "WeeksSP07"
- title: "Systems Development Using Z Generics"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091048.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091048.htm"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackS99"
  cites: 0
  citedby: 0
  pages: "1048-1067"
  booktitle: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1709"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66588-9"
  kind: "inproceedings"
  key: "PolackS99"
- title: "On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/KolovosPP09"
  tags:
  - "OCL"
  - "modeling language"
  - "language modeling"
  - "constraints"
  - "C++"
  researchr: "https://researchr.org/publication/KolovosPP09"
  cites: 0
  citedby: 0
  pages: "204-218"
  booktitle: "Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday"
  editor:
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Uwe Glässer"
    link: "https://researchr.org/alias/uwe-gl%C3%A4sser"
  volume: "5115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11446-5"
  kind: "inproceedings"
  key: "KolovosPP09"
- title: "A case study using lightweight formalism to review an information system specification"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  tags:
  - "case study"
  - "C++"
  - "reviewing"
  researchr: "https://researchr.org/publication/Polack01"
  cites: 0
  citedby: 0
  journal: "Software: Practice and Experience"
  volume: "31"
  number: "8"
  pages: "757-780"
  kind: "article"
  key: "Polack01"
- title: "Concordance: A Framework for Managing Model Integrity"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Nikolaos Drivalos"
    link: "https://researchr.org/alias/nikolaos-drivalos"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Kiran Jude Fernandes"
    link: "https://researchr.org/alias/kiran-jude-fernandes"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13595-8_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13595-8_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecmdafa/RoseKDWPPF10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/RoseKDWPPF10"
  cites: 0
  citedby: 0
  pages: "245-260"
  booktitle: "Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings"
  editor:
  - name: "Thomas Kühne"
    link: "http://www.ecs.vuw.ac.nz/~tk/"
  - name: "Bran Selic"
    link: "https://researchr.org/alias/bran-selic"
  - name: "Marie-Pierre Gervais"
    link: "https://researchr.org/alias/marie-pierre-gervais"
  - name: "François Terrier"
    link: "https://researchr.org/alias/fran%C3%A7ois-terrier"
  volume: "6138"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13594-1"
  kind: "inproceedings"
  key: "RoseKDWPPF10"
- title: "An Architecture for Modelling Emergence in CA-Like Systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Heather R. Turner"
    link: "https://researchr.org/alias/heather-r.-turner"
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11553090_44"
  links:
    doi: "http://dx.doi.org/10.1007/11553090_44"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/PolackSTWB05"
  cites: 0
  citedby: 0
  pages: "433-442"
  booktitle: "Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings"
  editor:
  - name: "Mathieu S. Capcarrère"
    link: "https://researchr.org/alias/mathieu-s.-capcarr%C3%A8re"
  - name: "Alex Alves Freitas"
    link: "https://researchr.org/alias/alex-alves-freitas"
  - name: "Peter J. Bentley"
    link: "https://researchr.org/alias/peter-j.-bentley"
  - name: "Colin G. Johnson"
    link: "https://researchr.org/alias/colin-g.-johnson"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  volume: "3630"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28848-1"
  kind: "inproceedings"
  key: "PolackSTWB05"
- title: "Enhanced Automation for Managing Model and Metamodel Inconsistency"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  links:
    doi: "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 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3891-4"
  kind: "inproceedings"
  key: "RoseKPP09"
- title: "An Outline Pattern Language for Z: Five Illustrations and Two Tables"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510002.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510002.htm"
  tags:
  - "pattern language"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT03"
  cites: 0
  citedby: 0
  pages: "2-19"
  booktitle: "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Marina A. Waldén"
    link: "https://researchr.org/alias/marina-a.-wald%C3%A9n"
  volume: "2651"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40253-5"
  kind: "inproceedings"
  key: "StepneyPT03"
- title: "Migrating Activity Diagrams with Epsilon Flock"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios Kolovos"
    link: "https://researchr.org/alias/dimitrios-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  links:
    "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: "Transformation Tool Contest"
  editor:
  - name: "Pieter Van Gorp"
    link: "http://www.pietervangorp.com/"
  - name: "Steffen Mazanek"
    link: "https://researchr.org/alias/steffen-mazanek"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  address: "Malaga"
  kind: "inproceedings"
  key: "louisrosemigratingTTC2010"
- title: "A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems"
  author:
  - name: "Regine Laleau"
    link: "https://researchr.org/alias/regine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680402.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680402.htm"
  tags:
  - "UML"
  - "C++"
  - "information models"
  researchr: "https://researchr.org/publication/LaleauP01%3A0"
  cites: 0
  citedby: 0
  pages: "402-416"
  booktitle: "Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings"
  editor:
  - name: "Klaus R. Dittrich"
    link: "https://researchr.org/alias/klaus-r.-dittrich"
  - name: "Andreas Geppert"
    link: "https://researchr.org/alias/andreas-geppert"
  - name: "Moira C. Norrie"
    link: "https://researchr.org/alias/moira-c.-norrie"
  volume: "2068"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42215-3"
  kind: "inproceedings"
  key: "LaleauP01:0"
- title: "Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510339.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510339.htm"
  tags:
  - "UML"
  - "C++"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AmalioP03"
  cites: 0
  citedby: 0
  pages: "339-358"
  booktitle: "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Marina A. Waldén"
    link: "https://researchr.org/alias/marina-a.-wald%C3%A9n"
  volume: "2651"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40253-5"
  kind: "inproceedings"
  key: "AmalioP03"
- title: "Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Jing Zhang"
    link: "https://researchr.org/alias/jing-zhang"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87603-8_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87603-8_25"
  tags:
  - "case study"
  - "composition"
  - "C++"
  researchr: "https://researchr.org/publication/AmalioPZ08"
  cites: 0
  citedby: 0
  pages: "323-336"
  booktitle: "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Paul Boca"
    link: "https://researchr.org/alias/paul-boca"
  volume: "5238"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87602-1"
  kind: "inproceedings"
  key: "AmalioPZ08"
- title: "Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42"
  links:
    doi: "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"
  kind: "article"
  key: "KolovosPP06:1"
- title: "Taming EMF and GMF Using Model Transformation"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Saad bin Abid"
    link: "https://researchr.org/alias/saad-bin-abid"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Goetz Botterweck"
    link: "https://researchr.org/alias/goetz-botterweck"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/KolovosRAPPB10"
  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: "Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I"
  editor:
  - name: "Dorina C. Petriu"
    link: "https://researchr.org/alias/dorina-c.-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  volume: "6394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16144-5"
  kind: "inproceedings"
  key: "KolovosRAPPB10"
- title: "Self-organisation for Survival in Complex Computer Architectures"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-14412-7_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14412-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wicsa/Polack09"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/Polack09"
  cites: 0
  citedby: 0
  pages: "66-83"
  booktitle: "Self-Organizing Architectures, First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers"
  editor:
  - name: "Danny Weyns"
    link: "https://researchr.org/alias/danny-weyns"
  - name: "Sam Malek"
    link: "https://researchr.org/alias/sam-malek"
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "Jesper Andersson"
    link: "https://researchr.org/alias/jesper-andersson"
  volume: "6090"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14411-0"
  kind: "inproceedings"
  key: "Polack09"
- title: "Communicating Complex Systems"
  author:
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WelchBP06"
  cites: 0
  citedby: 0
  pages: "107-120"
  booktitle: "11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2530-X"
  kind: "inproceedings"
  key: "WelchBP06"
- title: "Model Migration with Epsilon Flock"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/RoseKPP10"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Epsilon"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/RoseKPP10"
  cites: 0
  citedby: 0
  pages: "184-198"
  booktitle: "Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings"
  editor:
  - name: "Laurence Tratt"
    link: "http://tratt.net/laurie/"
  - name: "Martin Gogolla"
    link: "https://researchr.org/alias/martin-gogolla"
  volume: "6142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13687-0"
  kind: "inproceedings"
  key: "RoseKPP10"
- title: "Constructing Models with the Human-Usable Textual Notation"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_18"
  links:
    doi: "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: "Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings"
  editor:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ileana Ober"
    link: "https://researchr.org/alias/ileana-ober"
  - name: "Jean-Michel Bruel"
    link: "https://researchr.org/alias/jean-michel-bruel"
  - name: "Axel Uhl"
    link: "https://researchr.org/alias/axel-uhl"
  - name: "Markus Völter"
    link: "http://www.voelter.de/"
  volume: "5301"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87874-2"
  kind: "inproceedings"
  key: "RosePKP08"
- title: "Using formal metamodels to check consistency of functional views in information systems specification"
  author:
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.infsof.2007.10.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.infsof.2007.10.007"
  tags:
  - "C++"
  - "consistency"
  researchr: "https://researchr.org/publication/LaleauP08"
  cites: 0
  citedby: 0
  journal: "Information \\& Software Technology"
  volume: "50"
  number: "7-8"
  pages: "797-814"
  kind: "article"
  key: "LaleauP08"
- title: "Detecting and Repairing Inconsistencies across Heterogeneous Models"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23"
  links:
    doi: "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: "First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "KolovosPP08"
- title: "A Comparison of Model Migration Tools"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Markus Herrmannsdörfer"
    link: "http://www4.in.tum.de/~herrmama/"
  - name: "Williams"
    link: "https://researchr.org/alias/williams"
  - name: "Kolovos"
    link: "https://researchr.org/alias/kolovos"
  - name: "Garcés"
    link: "https://researchr.org/alias/garc%C3%A9s"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Rose%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings"
  editor:
  - name: "Dorina Petriu"
    link: "https://researchr.org/alias/dorina-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "Rose:MoDELS:2010"
- title: "Structured Analysis - A Draft Method for Writing Z Specifications"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Mark Whiston"
    link: "https://researchr.org/alias/mark-whiston"
  - name: "Peter Hitchcock"
    link: "https://researchr.org/alias/peter-hitchcock"
  year: "1991"
  tags:
  - "analysis"
  - "C++"
  - "writing"
  researchr: "https://researchr.org/publication/PolackWH91"
  cites: 0
  citedby: 0
  pages: "287-328"
  booktitle: "Z User Workshop, York, UK, 16-17 December 1991, Proceedings"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19780-X"
  kind: "inproceedings"
  key: "PolackWH91"
- title: "Reflections on the Simulation of Complex Systems for Science"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Paul S. Andrews"
    link: "https://researchr.org/alias/paul-s.-andrews"
  - name: "Teodor Ghetiu"
    link: "https://researchr.org/alias/teodor-ghetiu"
  - name: "Mark Read"
    link: "https://researchr.org/alias/mark-read"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.48"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.48"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/PolackAGRSTS10"
  tags:
  - "C++"
  - "e-science"
  - "reflection"
  researchr: "https://researchr.org/publication/PolackAGRSTS10"
  cites: 0
  citedby: 0
  pages: "276-285"
  booktitle: "15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010"
  editor:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4015-3"
  kind: "inproceedings"
  key: "PolackAGRSTS10"
- title: "Formal Proof from UML Models"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=418"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=418"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/AmalioSP04"
  cites: 0
  citedby: 0
  pages: "418-433"
  booktitle: "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings"
  editor:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  volume: "3308"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23841-7"
  kind: "inproceedings"
  key: "AmalioSP04"
- title: "SAZ"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Peter Hitchcock"
    link: "https://researchr.org/alias/peter-hitchcock"
  - name: "Alan W. Brown"
    link: "https://researchr.org/alias/alan-w.-brown"
  year: "1990"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackHB90"
  cites: 0
  citedby: 0
  pages: "384"
  booktitle: "Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19672-2"
  kind: "inproceedings"
  key: "PolackHB90"
- title: "The Epsilon Transformation Language"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_4"
  links:
    doi: "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: "Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings"
  editor:
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  - name: "Alfonso Pierantonio"
    link: "http://www.di.univaq.it/alfonso"
  volume: "5063"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69926-2"
  kind: "inproceedings"
  key: "KolovosPP08:0"
- title: "An Object-Oriented Structuring for Z Based on Views"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11415787_16"
  links:
    doi: "http://dx.doi.org/10.1007/11415787_16"
  tags:
  - "rule-based"
  - "meta-model"
  - "C++"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AmalioPS05"
  cites: 0
  citedby: 0
  pages: "262-278"
  booktitle: "ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"
  editor:
  - name: "Helen Treharne"
    link: "https://researchr.org/alias/helen-treharne"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve A. Schneider"
    link: "https://researchr.org/alias/steve-a.-schneider"
  volume: "3455"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25559-1"
  kind: "inproceedings"
  key: "AmalioPS05"
- title: "Engineering Emergence"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Heather R. Turner"
    link: "https://researchr.org/alias/heather-r.-turner"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT06"
  cites: 0
  citedby: 0
  pages: "89-97"
  booktitle: "11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2530-X"
  kind: "inproceedings"
  key: "StepneyPT06"
- title: "Frameworks Based on Templates for Rigorous Model-driven Development"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.002"
  tags:
  - "rule-based"
  - "meta-model"
  - "model-driven development"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AmalioPS07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "191"
  pages: "3-23"
  kind: "article"
  key: "AmalioPS07"
- title: "Update Transformations in the Small with the Epsilon Wizard Language"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper3/index.html"
  links:
    doi: "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: "Journal of Object Technology"
  volume: "6"
  number: "9"
  pages: "53-69"
  kind: "article"
  key: "KolovosPPR07"
- title: "Software Quality Assurance Using the SAZ Method"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Keith Mander"
    link: "https://researchr.org/alias/keith-mander"
  year: "1994"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackM94"
  cites: 0
  citedby: 0
  pages: "230-249"
  booktitle: "Z User Workshop"
  kind: "inproceedings"
  key: "PolackM94"
- title: "Model Migration Case for TTC 2010"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  links:
    "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: "Transformation Tool Contest"
  editor:
  - name: "Pieter Van Gorp"
    link: "http://www.pietervangorp.com/"
  - name: "Steffen Mazanek"
    link: "https://researchr.org/alias/steffen-mazanek"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  address: "Malaga"
  kind: "inproceedings"
  key: "louism.rosemodel"
- title: "Automated Formalisation for Verification of Diagrammatic Models"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.05.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.05.013"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/WilliamsP10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WilliamsP10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "263"
  pages: "211-226"
  kind: "article"
  key: "WilliamsP10"
- title: "The Epsilon Generation Language"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_1"
  links:
    doi: "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: "Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings"
  editor:
  - name: "Ina Schieferdecker"
    link: "https://researchr.org/alias/ina-schieferdecker"
  - name: "Alan Hartman"
    link: "https://researchr.org/alias/alan-hartman"
  volume: "5095"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69095-5"
  kind: "inproceedings"
  key: "RosePKP08:0"
- title: "Enhanced Automation for Managing Model and Metamodel Inconsistency"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  abstract: "Model-Driven Engineering (MDE) introduces additional challenges for managing evolution. For example, a metamodel change may affect instance models. Existing tool supported approaches for updating models in response to a metamodel change assume extra effort from metamodel developers. When no existing approach is applicable, metamodel users must update their models manually, an error prone and tedious task. In this paper, we describe the technical challenges faced when using the Eclipse Modeling Framework (EMF) and existing approaches for updating models in response to a metamodel change. We then motivate and describe alternative techniques, including: a mechanism for loading, storing and mainpulating inconsistent models; a mapping of inconsistent models to a human-usable notation for semi-automated and collaborative co-evolution; and integration with an inter-model reference manager, achieving automatic consistency checking as part of metamodel distribution."
  links:
    doi: "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"
  kind: "article"
  key: "Rose:ASE:2009"
- title: "Emergent Properties Do Not Refine"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.030"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackS05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "137"
  number: "2"
  pages: "163-181"
  kind: "article"
  key: "PolackS05"
- title: "Agile development of secure web applications"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Howard Chivers"
    link: "https://researchr.org/alias/howard-chivers"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1145581.1145641"
  links:
    doi: "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: "Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006"
  editor:
  - name: "David Wolber"
    link: "https://researchr.org/alias/david-wolber"
  - name: "Neil Calder"
    link: "https://researchr.org/alias/neil-calder"
  - name: "Christopher H. Brooks"
    link: "https://researchr.org/alias/christopher-h.-brooks"
  - name: "Athula Ginige"
    link: "https://researchr.org/alias/athula-ginige"
  publisher: "ACM"
  isbn: "1-59593-352-2"
  kind: "inproceedings"
  key: "GePPCB06"
- title: "The engineering of concurrent simulations of complex systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Paul S. Andrews"
    link: "https://researchr.org/alias/paul-s.-andrews"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/CEC.2009.4982951"
  links:
    doi: "http://dx.doi.org/10.1109/CEC.2009.4982951"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cec/PolackAS09"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackAS09"
  cites: 0
  citedby: 0
  pages: "217-224"
  booktitle: "Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2009, Trondheim, Norway, 18-21 May, 2009"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "PolackAS09"
- title: "Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development"
  author:
  - name: "Regine Laleau"
    link: "https://researchr.org/alias/regine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720517.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720517.htm"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/LaleauP02"
  cites: 0
  citedby: 0
  pages: "517-534"
  booktitle: "ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  kind: "inproceedings"
  key: "LaleauP02"
- title: "An Analysis of Approaches to Model Migration"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  abstract: "Changing a metamodel can cause inconsistency with instance models. Modelling frameworks such as EMF that implement the OMG's metamodelling architecture cannot be used to manipulate models that are inconsistent with their metamodel: inconsistent models cannot be loaded. Consequently, developers have to invest effort in migrating inconsistent models, to re-establish consistency. This is an example of model and metamodel evolution --- indeed, of co-evolution. In their recent book, Mens and Demeyer note that there are new challenges for MDE in controlling and managing model and metamodel evolution. Various approaches to automating model migration have been proposed. In this paper, we demonstrate some of the important limitations of automatic generation of model migration strategies, and identify requirements for improved model and metamodel co-evolution support."
  links:
    "paper (draft)": "http://www-users.cs.york.ac.uk/~dkolovos/misc/MODSE.2009.pdf"
  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"
  kind: "inproceedings"
  key: "Rose:MCCM:2009"
- title: "The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008"
  year: "2008"
  doi: "http://www.booksonline.iospress.nl/Content/View.aspx?piid=10444"
  links:
    doi: "http://www.booksonline.iospress.nl/Content/View.aspx?piid=10444"
  tags:
  - "architecture"
  - "e-science"
  researchr: "https://researchr.org/publication/wotug%3A2008"
  cites: 0
  citedby: 0
  booktitle: "The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008"
  conference: "wotug"
  editor:
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  - name: "Alistair A. McEwan"
    link: "https://researchr.org/alias/alistair-a.-mcewan"
  - name: "Gardiner S. Stiles"
    link: "https://researchr.org/alias/gardiner-s.-stiles"
  - name: "Jan F. Broenink"
    link: "https://researchr.org/alias/jan-f.-broenink"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  volume: "66"
  series: "Concurrent Systems Engineering Series"
  publisher: "IOS Press"
  isbn: "978-1-58603-907-3"
  kind: "proceedings"
  key: "wotug:2008"
- 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:
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  volume: "3934"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33376-2"
  kind: "proceedings"
  key: "spc:2006"