default search action

combined dblp search
author search
venue search
publication search

ask others

Richard F. Paige

> Home > Persons

Person information

affiliation: McMaster University, Department of Computing and Software, Hamilton, ON, Canada
affiliation: University of York, Department of Computer Science, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MunozZP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MunozZP24
Paula Muñoz, Steffen Zschaler, Richard F. Paige:
Preface to the special issue on success stories in model driven engineering. Sci. Comput. Program. 233: 103072 (2024)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RuscioGP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RuscioGP24
Davide Di Ruscio, Jessie Galasso, Richard F. Paige:
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. Sci. Comput. Program. 234: 103091 (2024)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PaigeC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PaigeC24
Richard F. Paige, Jordi Cabot:
What makes a good modeling research contribution? Softw. Syst. Model. 23(3): 527-531 (2024)
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ShenoudaSSCARPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ShenoudaSSCARPP24
Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic:
Using Boundary Objects for Continuous Compliance in Automotive Development. ISSRE (Workshops) 2024: 224-231
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AnnableLPW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AnnableLPW24
Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng:
Generating Understandable and Reusable Safety Assurance Cases using Workflow⁺. ISSRE (Workshops) 2024: 236-239
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ChiangPW024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChiangPW024
Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser:
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. MoDELS (Companion) 2024: 725-734
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RodriguezBPLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RodriguezBPLP24
Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige:
Towards Model Product Lines: Composition of EMF Models. MoDELS (Companion) 2024: 1146-1155
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ChiangPW024a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChiangPW024a
Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser:
Mapping Requirements to Features to Create Traceability in Product Line Models. MoDELS (Companion) 2024: 1180-1187
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AnnableACKLPRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AnnableACKLPRW24
Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng:
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. SAFECOMP 2024: 134-149
2023
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/JaskolkaPWPL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/JaskolkaPWPL23
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford:
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22(5): 1713-1732 (2023)
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SiavashiRPLPJHV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SiavashiRPLPJHV23
Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde:
Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW 2023: 51-56
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AnnableCLPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AnnableCLPW23
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Lessons Learned Building a Tool for Workflow⁺. MODELS 2023: 140-150
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RodriguezMSPBLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RodriguezMSPBLP23
Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige:
An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) 2023: 715-719
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BandurLMPPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BandurLMPPW23
Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng:
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops 2023: 5-14
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/DeevyMMOPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/DeevyMMOPW23
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng:
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. SAFECOMP 2023: 25-38
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-07873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-07873
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng:
Separating Technological and Clinical Safety Assurance for Medical Devices. CoRR abs/2302.07873 (2023)
2022
[j72]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BurguenoGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BurguenoGP22
Lola Burgueño, Martin Gogolla, Richard F. Paige:
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday. J. Object Technol. 21(4): 1-5 (2022)
[j71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigePZCA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigePZCA22
Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable:
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. 21(4): 4:1-13 (2022)
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/MuralidharanPBP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/MuralidharanPBP22
Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige:
Integrating Software Issue Tracking and Traceability Models. ICSME 2022: 429-433
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LoganathanP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LoganathanP22
Akila Loganathan, Richard F. Paige:
An investigation into the effect of cluster-based preprocessing on software migration. MoDELS (Companion) 2022: 539-545
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ChiangMMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChiangMMP22
Thomas Chiang, Rodrigo Gomez Mendoza, Johan Mahmood, Richard F. Paige:
Towards the adoption of model based system safety engineering in the automotive industry. MoDELS (Companion) 2022: 579-587
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AnnableCLPW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AnnableCLPW22
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Generating Assurance Cases Using Workflow⁺ Models. SAFECOMP 2022: 97-110
2021
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MadaniKP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MadaniKP21
Sina Madani, Dimitris S. Kolovos, Richard F. Paige:
Distributed model validation with Epsilon. Softw. Syst. Model. 20(5): 1689-1712 (2021)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/SanchezZRKPCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/SanchezZRKPCH21
Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson:
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Softw. Syst. Model. 20(6): 1889-1918 (2021)
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JaskolkaPWLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JaskolkaPWLP21
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige:
Repository Mining for Changes in Simulink Models. MoDELS 2021: 46-57
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CooperVPKBBPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CooperVPKBBPR21
Justin C. Cooper, Alfonso de la Vega, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña, Horacio Hoyos Rodriguez:
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. MoDELS 2021: 308-319
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-14324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-14324
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin:
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR abs/2111.14324 (2021)
2020
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KienzleMCBBBBBC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KienzleMCBBBBBC20
Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty H. C. Cheng, Sonja Klingert, Richard F. Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C. Venters:
Toward model-driven sustainability evaluation. Commun. ACM 63(3): 80-91 (2020)
[j67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeV20
Richard F. Paige, Antonio Vallecillo:
Preface to the JOT special issue containing the ECMFA 2020 selected papers. J. Object Technol. 19(2): 1-5 (2020)
[j66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/HamannPPRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/HamannPPRV20
Lars Hamann, Richard F. Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo:
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. J. Object Technol. 19(3): 1-5 (2020)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BucchiaroneCPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BucchiaroneCPP20
Antonio Bucchiarone, Jordi Cabot, Richard F. Paige, Alfonso Pierantonio:
Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1): 5-13 (2020)
[j64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/ZolotasRHPGLKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ZolotasRHPGLKP20
Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson, Beatriz Sanchez Piña, Alan Grigg, Mole Li, Dimitrios S. Kolovos, Richard F. Paige:
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Softw. Syst. Model. 19(1): 17-38 (2020)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/WasowskiPH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/WasowskiPH20
Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Guest editorial to the special section on MODELS 2018. Softw. Syst. Model. 19(4): 825-826 (2020)
[j62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/WeiZRGKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/WeiZRGKP20
Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige:
Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. 19(5): 1083-1106 (2020)
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/dmah-ws/ZolotasBMNKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dmah-ws/ZolotasBMNKP20
Athanasios Zolotas, Konstantinos Barmpis, Fady Medhat, Patrick Neubauer, Dimitrios S. Kolovos, Richard F. Paige:
An Architecture for the Development of Distributed Analytics Based on Polystore Events. Poly/DMAH@VLDB 2020: 54-65
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/models/0001KP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/0001KP20
Beatriz Sánchez, Dimitris S. Kolovos, Richard F. Paige:
To build, or not to build: ModelFlow, a build solution for MDE projects. MoDELS 2020: 1-11
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/models/WoodMKPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WoodMKPG20
Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting robotic software migration using static analysis and model-driven engineering. MoDELS 2020: 154-164
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/BarmpisNCKMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/BarmpisNCKMP20
Konstantinos Barmpis, Patrick Neubauer, Jonathan Co, Dimitris S. Kolovos, Nicholas Matragkas, Richard F. Paige:
Polyglot and Distributed Software Repository Mining with Crossflow. MSR 2020: 374-384
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/ChowdhuryWPL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ChowdhuryWPL20
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP 2020: 18-33
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-02164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02164
Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR abs/2008.02164 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/MadaniKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/MadaniKP19
Sina Madani, Dimitris S. Kolovos, Richard F. Paige:
Towards Optimisation of Model Queries: A Parallel Execution Approach. J. Object Technol. 18(2): 3:1-21 (2019)
[j60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/ZolotasMDKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ZolotasMDKP19
Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige:
Type inference in flexible model-driven engineering using classification algorithms. Softw. Syst. Model. 18(1): 345-366 (2019)
[j59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/Garcia-Dominguez19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Garcia-Dominguez19
Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige:
Stress-testing remote model querying APIs for relational and graph-based stores. Softw. Syst. Model. 18(2): 1047-1075 (2019)
[j58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/BurguenoCFKLMPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BurguenoCFKLMPP19
Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer:
Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18(6): 3193-3205 (2019)
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KolovosMPRSSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KolovosMPRSSZ19
Dimitrios S. Kolovos, Fady Medhat, Richard F. Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas:
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. MiSE@ICSE 2019: 89-92
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ChowdhuryWPL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ChowdhuryWPL19
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE 2019: 380-390
[c188]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/NeubauerBKPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/NeubauerBKPW19
Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer:
Reusable Textual Notations for Domain-Specific Languages. OCL@MoDELS 2019: 67-80
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SanchezZRKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SanchezZRKP19
Beatriz Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige:
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. MoDELS 2019: 205-215
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RodriguezZKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RodriguezZKP19
Horacio Hoyos Rodriguez, Athanasios Zolotas, Dimitris S. Kolovos, Richard F. Paige:
On the Challenges of Model Decorations for Capturing Complex Metadata. MoDELS (Companion) 2019: 347-353
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/KolovosNBMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/KolovosNBMP19
Dimitris S. Kolovos, Patrick Neubauer, Konstantinos Barmpis, Nicholas Matragkas, Richard F. Paige:
Crossflow: a framework for distributed mining of software repositories. MSR 2019: 155-159
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PinaKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PinaKP19
Beatriz Sanchez Piña, Dimitris S. Kolovos, Richard F. Paige:
ModelFlow: towards reactive model management workflows. DSM@SPLASH 2019: 30-39
2018
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/di/MarshallP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/di/MarshallP18
Angus M. Marshall, Richard F. Paige:
Requirements in digital forensics method definition: Observations from a UK study. Digit. Investig. 27: 23-29 (2018)
[j56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcloudc/EllisonCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcloudc/EllisonCP18
Martyn Ellison, Radu Calinescu, Richard F. Paige:
Evaluating cloud database migration options using workload models. J. Cloud Comput. 7: 6 (2018)
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/ZolotasWGRKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/ZolotasWGRKP18
Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige:
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA 2018: 12-27
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/MadaniKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/MadaniKP18
Sina Madani, Dimitrios S. Kolovos, Richard F. Paige:
Parallel Model Validation with Epsilon. ECMFA 2018: 115-131
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/evoW/SrivisutCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoW/SrivisutCP18
Komsan Srivisut, John A. Clark, Richard F. Paige:
Search-Based Temporal Testing in an Embedded Multicore Platform. EvoApplications 2018: 794-809
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/SrivisutCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/SrivisutCP18
Komsan Srivisut, John A. Clark, Richard F. Paige:
Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. GECCO 2018: 1451-1458
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GerasimouKKPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GerasimouKKPG18
Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios:
On Software Modernisation due to Library Obsolescence. WAPI@ICSE 2018: 6-9
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CiccozziFKL0PPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CiccozziFKL0PPR18
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 2018: 82-89
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CiccozziFKL0PPR18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CiccozziFKL0PPR18a
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 2018: 122-129
[c176]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/MadaniKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MadaniKP18
Sina Madani, Dimitrios S. Kolovos, Richard F. Paige:
Parallel execution of first-order operations. MoDELS (Workshops) 2018: 132-145
[c175]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/KolovosP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosP18
Dimitrios S. Kolovos, Richard F. Paige:
Towards a modular and flexible human-usable textual syntax for EMF models. MoDELS (Workshops) 2018: 223-232
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/SanchezBNPK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/SanchezBNPK08
Beatriz A. Sánchez, Konstantinos Barmpis, Patrick Neubauer, Richard F. Paige, Dimitrios S. Kolovos:
Restmule: enabling resilient clients for remote APIs. MSR 2018: 537-541
[e21]
- view
- export record
  dblp key:
  - conf/icse/2018mise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018mise
Jennifer Horkoff, Sahar Kokaly, Richard F. Paige, Jocelyn Simmonds:
Proceedings of the 10th International Workshop on Modelling in Software Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018. ACM 2018, ISBN 978-1-4503-5735-7 [contents]
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/models/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2018
Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018 [contents]
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/ChengHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/ChengHP18
Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige:
Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports 8(8): 146-168 (2018)
2017
[j55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cl/ZolotasCMKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/ZolotasCMKP17
Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige:
Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. 49: 216-230 (2017)
[j54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ese/PaigeCE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/PaigeCE17
Richard F. Paige, Jordi Cabot, Neil A. Ernst:
Foreword to the special section on negative results in software engineering. Empir. Softw. Eng. 22(5): 2453-2456 (2017)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KolovosGRP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KolovosGRP17
Dimitrios S. Kolovos, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige:
Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Softw. Syst. Model. 16(1): 229-255 (2017)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AjitHJKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AjitHJKP17
Suraj Ajit, Chris Holmes, Julian Johnson, Dimitrios S. Kolovos, Richard F. Paige:
Model-based tool support for Tactical Data Links: an experience report from the defence domain. Softw. Syst. Model. 16(2): 559-586 (2017)
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KolovosP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KolovosP17
Dimitris S. Kolovos, Richard F. Paige:
The Epsilon Pattern Language. MiSE@ICSE 2017: 54-60
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AbrahaoBCKPSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AbrahaoBCKPSW17
Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle:
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS 2017: 229-236
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ZolotasRKPH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZolotasRKPH17
Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson:
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. MoDELS 2017: 237-247
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/BagnatoBBCRRGHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/BagnatoBBCRRGHK17
Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio, Tamás Gergely, Scott Hansen, Dimitris S. Kolovos, Philippe Krief, Ioannis Korkontzelos, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis, Cedric Thomas, Jurgen J. Vinju:
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). STAF Workshops 2017: 375-384
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/GerasimouKPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/GerasimouKPS17
Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish:
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops 2017: 385-393
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/PaigeZKMBHH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/PaigeZKMBHH17
Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn:
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops 2017: 403-408
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/PaigeZK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/PaigeZK17
Richard F. Paige, Athanasios Zolotas, Dimitris S. Kolovos:
The Changing Face of Model-Driven Engineering. Present and Ulterior Software Engineering 2017: 103-118
2016
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/PaigeMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/PaigeMR16
Richard F. Paige, Nicholas Drivalos Matragkas, Louis M. Rose:
Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. J. Syst. Softw. 111: 272-280 (2016)
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Paige16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Paige16
Richard F. Paige:
Engineering Bidirectional Transformations. Bidirectional Transformations 2016: 151-187
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/Garcia-Dominguez16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/Garcia-Dominguez16
Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige:
Stress-Testing Centralised Model Stores. ECMFA 2016: 48-63
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/Paige16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/Paige16
Richard F. Paige:
Language engineering: challenges, opportunities and potential disasters for interactive systems. EICS 2016: 3
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/HerreraWP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/HerreraWP16
Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige:
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. ICMT 2016: 3-18
[c163]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/AlhwikemPRA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AlhwikemPRA16
Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander:
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS 2016: 54-59
[c162]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/models/WeiKGBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WeiKGBP16
Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige:
Partial loading of XMI models. MoDELS 2016: 329-339
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/spice/SalahPC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spice/SalahPC16
Dina Salah, Richard F. Paige, Paul A. Cairns:
A Maturity Model for Integrating Agile Processes and User Centred Design. SPICE 2016: 109-122
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/EllisonCP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/EllisonCP16
Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50
[c159]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/KolovosGPGCLRVS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/KolovosGPGCLRVS16
Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase 2016: 55-64
[e19]
- view
- export record
  dblp key:
  - conf/models/2015cloudmde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2015cloudmde
Richard F. Paige, Jordi Cabot, Marco Brambilla, James H. Hill:
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1563, CEUR-WS.org 2016 [contents]
[e18]
- view
- export record
  dblp key:
  - conf/models/2016pame-volt
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2016pame-volt
Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani:
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. CEUR Workshop Proceedings 1693, CEUR-WS.org 2016 [contents]
[e17]
- view
- export record
  dblp key:
  - conf/staf/2015pame
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/2015pame
Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin:
Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015. CEUR Workshop Proceedings 1657, CEUR-WS.org 2016 [contents]
2015
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/CombemalePPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CombemalePPW15
Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk:
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. 44: 1-2 (2015)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/imcs/BrookeP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imcs/BrookeP15
Phillip J. Brooke, Richard F. Paige:
User-visible cryptography in email and web scenarios. Inf. Comput. Secur. 23(1): 58-72 (2015)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BaresiBKMMPRR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BaresiBKMMPRR15
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi:
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14(1): 343-363 (2015)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/EtienMLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/EtienMLP15
Anne Etien, Alexis Muller, Thomas Legrand, Richard F. Paige:
Localized model transformations for building large-scale transformations. Softw. Syst. Model. 14(3): 1189-1213 (2015)
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/ZolotasMDKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/ZolotasMDKP15
Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige:
Type Inference in Flexible Model-Driven Engineering. ECMFA 2015: 75-91
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/europlop/SalahPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europlop/SalahPC15
Dina Salah, Richard F. Paige, Paul A. Cairns:
Patterns for integrating agile development processes and user centred design. EuroPLoP 2015: 19:1-19:10
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/HawkinsHKPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/HawkinsHKPK15
Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly:
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GrayCKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GrayCKP15
Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) 2015: 985-986
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HermansPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HermansPS15
Felienne Hermans, Richard F. Paige, Peter Sestoft:
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ICSE (2) 2015: 1005-1006
[c153]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/HerreraWP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HerreraWP15
Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige:
An OCL-based Bridge from Concrete to Abstract Syntax. OCL@MoDELS 2015: 19-34
[c152]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/KolovosMKAP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosMKAP15
Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Ioannis Korkontzelos, Sophia Ananiadou, Richard F. Paige:
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects. OSS4MDE@MoDELS 2015: 20-29
[c151]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/ZolotasMDKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZolotasMDKP15
Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige:
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering. FlexMDE@MoDELS 2015: 22-31
[c150]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/ZolotasMKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZolotasMKP15
Athanasios Zolotas, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige:
Flexible Modelling for Requirements Engineering. FlexMDE@MoDELS 2015: 32-41
[c149]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PaigeKPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PaigeKPR15
Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose:
Evaluating Student Work in Modelling Courses. EduSymp@MoDELS 2015: 68-76
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/spice/SalahPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spice/SalahPC15
Dina Salah, Richard F. Paige, Paul A. Cairns:
Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design. SPICE 2015: 159-173
[c147]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/AlmeidaABBRRKKH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/AlmeidaABBRRKKH15
Bruno Almeida, Sophia Ananiadou, Alessandra Bagnato, Alberto Berreteaga Barbero, Juri Di Rocco, Davide Di Ruscio, Dimitrios S. Kolovos, Ioannis Korkontzelos, Scott Hansen, Pedro Maló, Nikolaos Drivalos, Richard F. Paige, Jurgen J. Vinju:
OSSMETER: Automated Measurement and Analysis of Open Source Software. STAF Projects Showcase 2015: 36-43
[c146]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/KolovosRPGCLRVS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/KolovosRPGCLRVS15
Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase 2015: 44-53
[c145]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/PaigeSZE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/PaigeSZE15
Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin:
Patterns in Model Engineering 2015 - a Workshop Summary. PAME@STAF 2015: 44-50
[e16]
- view
- export record
  dblp key:
  - conf/icse/2015mise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2015mise
Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7055-4 [contents]
[e15]
- view
- export record
  dblp key:
  - conf/icse/2015sems
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2015sems
Felienne Hermans, Richard F. Paige, Peter Sestoft:
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015. CEUR Workshop Proceedings 1355, CEUR-WS.org 2015 [contents]
[e14]
- view
- export record
  dblp key:
  - conf/models/2014cmseba
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2014cmseba
Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer:
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014. CEUR Workshop Proceedings 1340, CEUR-WS.org 2015 [contents]
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/2015
Richard F. Paige, Davide Di Ruscio, Markus Völter:
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015. ACM 2015, ISBN 978-1-4503-3686-4 [contents]
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/ErdwegEPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/ErdwegEPV15
Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5(2): 26-43 (2015)
2014
[j46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RuscioPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RuscioPP14
Davide Di Ruscio, Richard F. Paige, Alfonso Pierantonio:
Guest editorial to the special issue on Success Stories in Model Driven Engineering. Sci. Comput. Program. 89: 69-70 (2014)
[j45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PaigeKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PaigeKP14
Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96: 396-416 (2014)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RoseKPPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RoseKPPP14
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding:
Epsilon Flock: a model migration language. Softw. Syst. Model. 13(2): 735-755 (2014)
[c144]
- view
  - electronic edition @ bcs.org
  - no references & citations available
- export record
  dblp key:
  - conf/bcshci/SalahPC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcshci/SalahPC14
Dina Salah, Richard F. Paige, Paul A. Cairns:
A Practitioner Perspective on Integrating Agile and User Centred Design. BCS HCI 2014
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/cloudcom/MohamadKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloudcom/MohamadKP14
Rafidah Pakir Mohamad, Dimitrios S. Kolovos, Richard F. Paige:
Resource Requirement Analysis for Web Applications Running in a Virtualised Environment. CloudCom 2014: 632-637
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/cser/BurtonPPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cser/BurtonPPS14
Frank R. Burton, Richard F. Paige, Simon M. Poulding, Simon Smith:
System of Systems Acquisition Trade-offs. CSER 2014: 11-18
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ease/SalahPC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ease/SalahPC14
Dina Salah, Richard F. Paige, Paul A. Cairns:
A systematic literature review for agile development processes and user centred design integration. EASE 2014: 5:1-5:10
[c140]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hcse/SalahPC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcse/SalahPC14
Dina Salah, Richard F. Paige, Paul A. Cairns:
Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models? HCSE 2014: 108-125
[c139]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PaigeKLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PaigeKLW14
Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer:
CMSEBA 2014 Workshop Report. CMSEBA@MoDELS 2014: 1-6
[c138]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PaigePKRMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PaigePKRMW14
Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams:
Bad Modelling Teaching Practices. EduSymp@MoDELS 2014: 1-12
[c137]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/ZolotasKMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZolotasKMP14
Athanasios Zolotas, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Richard F. Paige:
Assigning Semantics to Graphical Concrete Syntaxes. XM@MoDELS 2014: 12-21
[c136]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/WilliamsMKKAP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WilliamsMKKAP14
James R. Williams, Nicholas Drivalos Matragkas, Dimitris S. Kolovos, Yannis Korkontzelos, Sofia Annaniadou, Richard F. Paige:
Software Analytics for MDE Communities. OSS4MDE@MoDELS 2014: 53-63
[c135]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PoskittDPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PoskittDPR14
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink:
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS 2014: 70-75
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/models/KolovosMWP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosMWP14
Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, James R. Williams, Richard F. Paige:
Model Driven Grant Proposal Engineering. MoDELS 2014: 420-432
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ShahWKRPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ShahWKRPB14
Seyyed M. Shah, Ran Wei, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis:
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. MoDELS 2014: 586-601
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/MatragkasWKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/MatragkasWKP14
Nicholas Drivalos Matragkas, James R. Williams, Dimitris S. Kolovos, Richard F. Paige:
Analysing the 'biodiversity' of open source ecosystems: the GitHub case. MSR 2014: 356-359
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/SalahPC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/SalahPC14
Dina Salah, Richard F. Paige, Paul A. Cairns:
An Evaluation Template for Expert Review of Maturity Models. PROFES 2014: 318-321
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/CuiP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/CuiP14
Xiaofeng Cui, Richard F. Paige:
Strategy-guided requirements development and validation. SNPD 2014: 1-6
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/ucc/EllisonCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucc/EllisonCP14
Martyn Ellison, Radu Calinescu, Richard F. Paige:
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC 2014: 976-979
[e12]
- view
- export record
  dblp key:
  - conf/models/2014cloudmde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2014cloudmde
Richard F. Paige, Jordi Cabot, Marco Brambilla, Louis M. Rose, James H. Hill:
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, CloudMDE@MoDELS 2014, Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1242, CEUR-WS.org 2014 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZaninPCKPHR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZaninPCKPHR14
Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos, Richard F. Paige, Andreas Horst, Bernhard Rumpe:
On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories. CoRR abs/1409.2304 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BezivinPARS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BezivinPARS14
Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
Manifesto - Model Engineering for Complex Systems. CoRR abs/1409.6591 (2014)
2013
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeR13
Richard F. Paige, Louis M. Rose:
Lies, Damned Lies and UML2Java. J. Object Technol. 12(1) (2013)
[j42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/PaigeG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PaigeG13
Richard F. Paige, Jeff Gray:
Guest editorial to the special issue on model transformation. Softw. Syst. Model. 12(1): 85-87 (2013)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RoseGLEKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RoseGLEKP13
Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige:
Genericity for model management operations. Softw. Syst. Model. 12(1): 201-219 (2013)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/GuerraLKPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/GuerraLKPS13
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos:
Engineering model transformations with transML. Softw. Syst. Model. 12(3): 555-577 (2013)
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanPW04
Mark Harman, Richard F. Paige, James R. Williams:
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). ICSE 2013: 1513-1514
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AtleeBCFGPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AtleeBCFGPR04
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2013: 1531-1532
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/RosePFP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/RosePFP13
Louis M. Rose, Simon M. Poulding, Robert Feldt, Richard F. Paige:
Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing. ICSM 2013: 480-483
[c125]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/KolovosMRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosMRP13
Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Horacio Hoyos Rodriguez, Richard F. Paige:
Programmatic Muddle Management. XM@MoDELS 2013: 2-10
[c124]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/MatragkasKPZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MatragkasKPZ13
Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Athanasios Zolotas:
A Traceability-Driven Approach to Model Transformation Testing. AMT@MoDELS 2013
[c123]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PaigeCKMC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PaigeCKMC13
Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff:
Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS 2013: 23-32
[c122]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/TaromiradMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/TaromiradMP13
Masoumeh Taromirad, Nicholas Drivalos Matragkas, Richard F. Paige:
Towards a Multi-Domain Model-Driven Traceability Approach. MPM@MoDELS 2013: 27-36
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/models/FrancisKMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FrancisKMP13
Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige:
Adding Spreadsheets to the MDE Toolkit. MoDELS 2013: 35-51
[c120]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/WilliamsZMRKPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WilliamsZMRKPP13
James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
What do Metamodels Really Look Like? EESSMod@MoDELS 2013: 55-60
[c119]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/WilliamsPPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WilliamsPPP13
James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack:
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. [email protected] 2013: 76-88
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/KolovosRMPGCLRV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/KolovosRMPGCLRV13
Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Massimo Tisi, Jordi Cabot:
A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF 2013: 2
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/PaigeK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/PaigeK13
Richard F. Paige, Dimitrios S. Kolovos:
Model-Driven Engineering and Model Transformation: for Fun and Profit. Engineering Dependable Software Systems 2013: 275-311
[e11]
- view
- export record
  dblp key:
  - conf/icse/2013cmsbse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2013cmsbse
Richard F. Paige, Mark Harman, James R. Williams:
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013. IEEE Computer Society 2013 [contents]
[e10]
- view
- export record
  dblp key:
  - conf/icse/2013mise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2013mise
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents]
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/2013
Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-1948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1948
Phillip J. Brooke, Richard F. Paige:
The Value of User-Visible Internet Cryptography. CoRR abs/1303.1948 (2013)
2012
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/SommervilleCCKKKMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/SommervilleCCKKKMP12
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012)
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/WimmerKKRSSKPLSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/WimmerKKRSSKPLSW12
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar:
Surveying Rule Inheritance in Model-to-Model Transformation Languages. J. Object Technol. 11(2): 3: 1-46 (2012)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/CancilaEP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/CancilaEP12
Daniela Cancila, Huáscar Espinoza, Richard F. Paige:
Special issue on Model Based Engineering for Embedded Systems Design. J. Syst. Archit. 58(5): 177 (2012)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PaigeV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PaigeV12
Richard F. Paige, Dániel Varró:
Lessons learned from building model-driven development tools. Softw. Syst. Model. 11(4): 527-539 (2012)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/CuiP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/CuiP12
Xiaofeng Cui, Richard F. Paige:
An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations. ACIS-ICIS 2012: 547-552
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/KolovosRWMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/KolovosRWMP12
Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige:
A Lightweight Approach for Managing XML Documents with MDE Languages. ECMFA 2012: 118-132
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/RadjenovicPRWK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/RadjenovicPRWK12
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King:
A Plug-in Based Approach for UML Model Simulation. ECMFA 2012: 328-339
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/RadjenovicMPRMBK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/RadjenovicMPRMBK12
Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/BurtonPRKPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/BurtonPRKPS12
Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith:
Solving Acquisition Problems Using Model-Driven Engineering. ECMFA 2012: 428-443
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RoseMKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RoseMKP12
Louis M. Rose, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige:
A feature model for model-to-text transformation languages. MiSE 2012: 57-63
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AlkandariP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AlkandariP12
Fatima Alkandari, Richard F. Paige:
Modelling and comparing cloud computing service level agreements. MDHPCL@MoDELS 2012: 3
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/models/EtienABP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/EtienABP12
Anne Etien, Vincent Aranega, Xavier Blanc, Richard F. Paige:
Chaining model transformations. AMT@MoDELS 2012: 9-14
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RoseKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RoseKP12
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige:
EuGENia live: a flexible graphical modelling tool. XM@MoDELS 2012: 15-20
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/models/WilliamsPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WilliamsPP12
James R. Williams, Richard F. Paige, Fiona A. C. Polack:
Searching for model migration strategies. ME@MoDELS 2012: 39-44
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/models/TaromiradP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/TaromiradP12
Masoumeh Taromirad, Richard F. Paige:
Agile requirements traceability using domain-specific modelling languages. XM@MoDELS 2012: 45-50
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/models/WilliamsBPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WilliamsBPP12
James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack:
Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/PaigeBGPBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/PaigeBGPBP12
Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding:
Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop 2012: 251-265
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/PaigeKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/PaigeKP12
Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
Metamodelling for Grammarware Researchers. SLE 2012: 64-82
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/BrookePP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/BrookePP12
Phillip J. Brooke, Richard F. Paige, Christopher Power:
Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop 2012: 41-54
2011
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/RadjenovicP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RadjenovicP11
Alek Radjenovic, Richard F. Paige:
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/PaigeGCGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/PaigeGCGB11
Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke:
High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. 2(2): 181-216 (2011)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PaigeDKFPOZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PaigeDKFPOZ11
Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler:
Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4): 469-487 (2011)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/centeris/GePM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/centeris/GePM11
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Failures of a Business Process in Enterprise Systems. CENTERIS (1) 2011: 139-146
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/KolovosPRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/KolovosPRW11
Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams:
Integrated Model Management with Epsilon. ECMFA 2011: 391-392
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/PaigeKRMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/PaigeKRMW11
Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolas Drivalos Matragkas, James R. Williams:
Model Management in the Wild. GTTSE 2011: 197-218
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SantosWP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SantosWP11
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige:
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126
[c98]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/GePM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GePM11
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Model-based Failure Failure Analysis of Business Process. ICEIS (3) 2011: 388-391
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/WilliamsKPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/WilliamsKPP11
James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack, Richard F. Paige:
Requirements for a model comparison language. IWMCP@ICMT 2011: 26-29
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/WimmerKKRSSKPLSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/WimmerKKRSSKPLSW11
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar:
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. ICMT@TOOLS 2011: 31-46
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/GrayMAIKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/GrayMAIKP11
Ian Gray, Nicholas Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris S. Kolovos, Richard F. Paige:
Model-Based Hardware Generation and Programming - The MADES Approach. ISORC Workshops 2011: 88-96
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Garcia-DominguezKRPM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Garcia-DominguezKRPM11
Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo:
EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/WilliamsPRPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/WilliamsPRPP11
James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126
[c92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/xpu/EspinozaPG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/EspinozaPG11
Angelina Espinoza, Richard F. Paige, Juan Garbajosa:
Value-Based Software Traceability Workshop (VALSOT 2011). XP 2011: 330
[c91]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4764
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4764
Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/2011
Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige:
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, ISBN 978-3-642-21469-1 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1109-3444
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-3444
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011)
2010
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/RamsinP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/RamsinP10
Raman Ramsin, Richard F. Paige:
Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Softw. 4(2): 91-104 (2010)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PaigeOON10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PaigeOON10
Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple:
Guest editorial to the theme issue on traceability in model-driven engineering. Softw. Syst. Model. 9(4): 425-426 (2010)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BrookePP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BrookePP10
Phillip J. Brooke, Richard F. Paige, Christopher Power:
Document-centric XML workflows with fragment digital signatures. Softw. Pract. Exp. 40(8): 655-672 (2010)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/agiledc/GePM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agiledc/GePM10
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE 2010: 35-43
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WilliamsPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WilliamsPP10
James R. Williams, Fiona A. C. Polack, Richard F. Paige:
Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/centeris/TabatabaiePP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/centeris/TabatabaiePP10
Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/Paige10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/Paige10
Richard F. Paige:
Traceability in model-driven safety critical software engineering. ECMFA-TW 2010: 5
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/MatragkasKPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/MatragkasKPF10
Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes:
A state-based approach to traceability maintenance. ECMFA-TW 2010: 23-30
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/ClowesKHRPJDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/ClowesKHRPJDP10
Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets:
A Reflective Approach to Model-Driven Web Engineering. ECMFA 2010: 62-73
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/RoseKDWPPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/RoseKDWPPF10
Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/KolovosRMPPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/KolovosRMPPF10
Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS 2010: 138-152
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/RoseKPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/RoseKPP10
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Model Migration with Epsilon Flock. ICMT@TOOLS 2010: 184-198
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/HarbirdGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/HarbirdGP10
Lishan Harbird, Andy Galloway, Richard F. Paige:
Towards a Model-Based Refinement Process for Contractual State Machines. ISORC Workshops 2010: 108-115
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RoseHWKGPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RoseHWKGPP10
Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack:
A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RadjenovicP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RadjenovicP10
Alek Radjenovic, Richard F. Paige:
Behavioural interoperability to support model-driven systems integration. MDI@MoDELS 2010: 98-107
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GuerraLKPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GuerraLKPS10
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos:
transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/models/KolovosRAPPB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosRAPPB10
Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck:
Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GuerraLKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GuerraLKP10
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige:
Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/GePM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/GePM10
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Analysing System Failure Behaviours with PRISM. SSIRI (Companion) 2010: 130-136
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/GuerraLKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/GuerraLKP10
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige:
A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126
[c73]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/TabatabaiePP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/TabatabaiePP10
Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
[e7]
- view
- export record
  dblp key:
  - conf/iceccs/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/2010
Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska:
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3 [contents]
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/se/PaigeWBC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/se/PaigeWBC10
Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti:
Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/PaigeB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/PaigeB09
Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock:
Editorial. Formal Aspects Comput. 21(4): 303 (2009)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BrookeP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BrookeP09
Phillip J. Brooke, Richard F. Paige:
Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. 21(4): 363-391 (2009)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ChiversP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ChiversP09
Howard Chivers, Richard F. Paige:
XRound: A reversible template language and its application in model-based security analysis. Inf. Softw. Technol. 51(5): 876-893 (2009)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KolovosPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KolovosPP09
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/SantosWPK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/SantosWPK09
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King:
The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/PowerP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/PowerP09
Christopher Power, Richard F. Paige:
Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PaigeKRDP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PaigeKRDP09
Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KolovosRPP09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KolovosRPP09a
Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, Richard F. Paige:
Different models for model matching: An analysis of approaches to support model differencing. CVSM@ICSE 2009: 1-6
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KolovosRPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KolovosRPP09
Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE 2009: 13-19
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AydalPUW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AydalPUW09
Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/RoseKPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/RoseKPP09
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GePM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GePM09
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Domain analysis on an electronic health records system. FOSD 2009: 49-54
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JohannesZFCKP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JohannesZFCKP09
Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige:
Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GePM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GePM09
Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/ZschalerKDPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/ZschalerKDPR09
Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid:
Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/TreharneTPK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/TreharneTPK09
Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos:
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/wotug/TorshiziOPC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/TorshiziOPC09
Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik:
The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/2009
Richard F. Paige, Alan Hartman, Arend Rensink:
Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, ISBN 978-3-642-02673-7 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/2009
Richard F. Paige:
Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Lecture Notes in Computer Science 5563, Springer 2009, ISBN 978-3-642-02407-8 [contents]
2008
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/RamsinP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/RamsinP08
Raman Ramsin, Richard F. Paige:
Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1): 3:1-3:89 (2008)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AydalPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AydalPW08
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008)
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AydalPW08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AydalPW08a
Emine Gokce Aydal, Richard F. Paige, Jim Woodstock:
Observations for Assertion-based Scenarios in the context of Model Validation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Paige08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Paige08
Richard F. Paige:
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test. Verification Reliab. 18(4): 251-252 (2008)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/RosePKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/RosePKP08
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
The Epsilon Generation Language. ECMDA-FA 2008: 1-16
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/KolovosPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/KolovosPP08
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Epsilon Transformation Language. ICMT@TOOLS 2008: 46-60
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KolovosPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KolovosPP08
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Novel features in languages of the epsilon model management platform. MiSE 2008: 69-73
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AydalPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AydalPW08
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops 2008: 11-20
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/PolackPRP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/PolackPRP08
Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack:
Unit Testing Model Management Operations. ICST Workshops 2008: 97-104
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KolovosPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KolovosPP08
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/models/KolovosPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosPP08
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) 2008: 48-53
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PaigeRGKB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PaigeRGKB08
Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke:
FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS (Workshops) 2008: 229-242
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RosePKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RosePKP08
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/PaigeCGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/PaigeCGB08
Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke:
Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/DrivalosKPF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/DrivalosKPF08
Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes:
Engineering a DSL for Software Traceability. SLE 2008: 151-167
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/RadjenovicP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/RadjenovicP08
Alek Radjenovic, Richard F. Paige:
The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208
[e4]
- view
- export record
  dblp key:
  - conf/dagstuhl/2008P8331
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2008P8331
Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt:
Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08. - 13.08.2008. Dagstuhl Seminar Proceedings 08331, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/46-2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/46-2008
Richard F. Paige, Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, ISBN 978-3-540-69823-4 [contents]
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/AssmannBPRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AssmannBPRS08
Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt:
08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS). Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BezivinPARS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BezivinPARS08
Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
08331 Manifesto - Model Engineering for Complex Systems. Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008
2007
[b2]
- view
  authority control:
- export record
  dblp key:
  - series/utcs/BrookeP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/utcs/BrookeP07
Phillip J. Brooke, Richard F. Paige:
Practical Distributed Processing. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-840-1, pp. i-xiv, 1-270
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BrookePJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BrookePJ07
Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob:
A CSP model of Eiffel's SCOOP. Formal Aspects Comput. 19(4): 487-512 (2007)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/KolovosPPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/KolovosPPR07
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose:
Update Transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6(9): 53-69 (2007)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BrookeP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BrookeP07
Phillip J. Brooke, Richard F. Paige:
Exceptions in Concurrent Eiffel. J. Object Technol. 6(10): 111-126 (2007)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/PaigeBO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/PaigeBO07
Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff:
Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): 11 (2007)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/er/AbdullahBPK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/AbdullahBPK07
Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble:
Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER 2007: 438-453
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LaurensPBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LaurensPBC07
Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers:
A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AydalPW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AydalPW07
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS (Workshops) 2007: 194-205
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/ConmyP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/ConmyP07
Philippa Conmy, Richard F. Paige:
Model-driven Development of Particle System Families. MOMPES 2007: 127-136
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/AbdullahPKB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/AbdullahPKB07
Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest:
A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878
[c41]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/wotug/BrookeP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/BrookeP07
Phillip J. Brooke, Richard F. Paige:
Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/GePPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/GePPB07
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Extreme Programming Security Practices. XP 2007: 226-230
[p1]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - series/faia/AbdullahPBK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/AbdullahPBK07
Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/2007
David H. Akehurst, Régis Vogel, Richard F. Paige:
Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings. Lecture Notes in Computer Science 4530, Springer 2007, ISBN 978-3-540-72900-6 [contents]
2006
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KolovosPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KolovosPP06
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jkm/AbdullahKBP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jkm/AbdullahKBP06
Mohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige:
Knowledge-based systems: a re-evaluation. J. Knowl. Manag. 10(3): 127-142 (2006)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeAB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeAB06
Richard F. Paige, Triston S. Attridge, Phillip J. Brooke:
Game Development Using Design-by-Contract. J. Object Technol. 5(7): 57-73 (2006)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/software/RadjenovicP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/RadjenovicP06
Alek Radjenovic, Richard F. Paige:
Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Softw. 23(2): 71-79 (2006)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/KolovosPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/KolovosPP06
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/EngelPK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/EngelPK06
Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos:
Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/BezivinBFGJKKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/BezivinBFGJKKP06
Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige:
A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/CakicP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/CakicP06
Jovan Cakic, Richard F. Paige:
Origins of the Grid Architectural Style. ICECCS 2006: 227-235
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/AbdullahPBK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/AbdullahPBK06
Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) 2006: 74-81
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RadjenovicP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RadjenovicP06
Alek Radjenovic, Richard F. Paige:
The View Glue. WADS 2006: 66-88
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icwe/GePPCB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/GePPCB06
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke:
Agile development of secure web applications. ICWE 2006: 305-312
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/AbdullahPBK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/AbdullahPBK06
Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/models/KolovosPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KolovosPP06
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PaigeKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PaigeKP06
Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
An action semantics for MOF 2.0. SAC 2006: 1304-1305
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/AydalPCB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/AydalPCB06
Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke:
Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/PaigeWSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/PaigeWSB06
Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke:
Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spc/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spc/2006
John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, ISBN 3-540-33376-2 [contents]
2005
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/OstroffPMB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/OstroffPMB05
Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke:
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. 4(7): 97-114 (2005)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/AbdullahPBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/AbdullahPBK05
Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC 2005: 952-957
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/ChanP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/ChanP05
Zhan En Chan, Richard F. Paige:
Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/ChiversP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/ChiversP05
Howard Chivers, Richard F. Paige:
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/AbdullahPTBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/AbdullahPTBK05
Mohd Syazwan Abdullah, Richard F. Paige, Carl Thompson, Ian D. Benest, Chris Kimble:
Conceptual Modelling of Knowledge-Based Systems Using UML. AIAI 2005: 23-33
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PaigeB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PaigeB05
Richard F. Paige, Phillip J. Brooke:
Agile Formal Method Engineering. IFM 2005: 109-128
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iiwas/CakicP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/CakicP05
Jovan Cakic, Richard F. Paige:
A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS 2005: 85-96
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PaigeCMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PaigeCMS05
Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson:
High-integrity extreme programming. SAC 2005: 1518-1523
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/ChiversPG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/ChiversPG05
Howard Chivers, Richard F. Paige, Xiaocheng Ge:
Agile Security Using an Incremental Security Architecture. XP 2005: 57-65
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/KolovosPP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/KolovosPP05
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
An Agile and Extensible Code Generation Framework. XP 2005: 226-229
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaigeKP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaigeKP05
Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Refinement via Consistency Checking in MDA. REFINE 2005: 151-161
2004
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/PaigeO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/PaigeO04
Richard F. Paige, Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel. Formal Aspects Comput. 16(1): 51-79 (2004)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeB04
Richard F. Paige, Phillip J. Brooke:
Integrating BON and Object-Z. J. Object Technol. 3(3): 121-141 (2004)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/FuksOP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/FuksOP04
Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige:
SECG: The SCOOP-to-Eiffel Code Generator. J. Object Technol. 3(10): 143-161 (2004)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcas/BrookePCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcas/BrookePCS04
Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney:
Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. 34(2): 3 (2004)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/mdafa/AbdullahKPDE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mdafa/AbdullahKPDE04
Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans:
Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA 2004: 220-233
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/PaigeO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/PaigeO04
Richard F. Paige, Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/OstroffMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/OstroffMP04
Jonathan S. Ostroff, David Makalsky, Richard F. Paige:
Agile Specification-Driven Development. XP 2004: 104-112
2003
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/PaigeOB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/PaigeOB03
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux 9(4): 115-134 (2003)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BrookeP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BrookeP03
Phillip J. Brooke, Richard F. Paige:
Fault trees for security system design and analysis. Comput. Secur. 22(3): 256-264 (2003)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/PaigeAB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/PaigeAB03
Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke:
Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
2002
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeKOL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeKOL02
Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric:
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. J. Object Technol. 1(3): 77-96 (2002)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/PaigeO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/PaigeO02
Richard F. Paige, Jonathan S. Ostroff:
The Single Model Principle. J. Object Technol. 1(5): 63-81 (2002)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BrookeP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BrookeP02
Phillip J. Brooke, Richard F. Paige:
The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
2001
[c12]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cascon/TanAPMMO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/TanAPMMO01
Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell:
Extending the message flow debugger for MQSI. CASCON 2001: 15
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/PaigeO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PaigeO01
Richard F. Paige, Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/re/PaigeO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/PaigeO01
Richard F. Paige, Jonathan S. Ostroff:
The Single Model Principle. RE 2001: 292-293
[c9]
- view
- export record
  dblp key:
  - conf/uml/PaigeO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/PaigeO01
Richard F. Paige, Jonathan S. Ostroff:
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206
2000
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/OstroffP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/OstroffP00
Jonathan S. Ostroff, Richard F. Paige:
The logic of software design. IEE Proc. Softw. 147(3): 73-80 (2000)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/PaigeOB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/PaigeOB00
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
Principles for modeling language design. Inf. Softw. Technol. 42(10): 665-675 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Paige99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Paige99
Richard F. Paige:
Integrating a Program Design Calculus and a Subset of UML. Comput. J. 42(2): 82-99 (1999)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/Paige99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/Paige99
Richard F. Paige:
When are methods complementary? Inf. Softw. Technol. 41(3): 157-162 (1999)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PaigeH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PaigeH99
Richard F. Paige, Eric C. R. Hehner:
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PaigeO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PaigeO99
Richard F. Paige, Jonathan S. Ostroff:
Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Paige99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Paige99
Richard F. Paige:
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM 1999: 353-372
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/PaigeO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/PaigeO99
Richard F. Paige, Jonathan S. Ostroff:
A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82
1998
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Paige98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Paige98
Richard F. Paige:
Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects Comput. 10(3): 233-242 (1998)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PaigeO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PaigeO98
Richard F. Paige, Jonathan S. Ostroff:
From Z to BON/Eiffel. ASE 1998: 209-212
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Paige98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Paige98
Richard F. Paige:
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM 1998: 214-232
1997
[b1]
- view
  - electronic edition @ utoronto.ca
  - no references & citations available
- export record
  dblp key:
  - phd/ca/Paige97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ca/Paige97
Richard F. Paige:
Formal method integration via heterogeneous notations. University of Toronto, Canada, 1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Paige97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Paige97
Richard F. Paige:
Case Studies in Using a Meta-Method for Formal Method Integration. AMAST 1997: 395-408
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Paige97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Paige97
Richard F. Paige:
A Meta-Method for Formal Method Integration. FME 1997: 473-494

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.