Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard F. Paige
@article{DBLP:journals/sosym/JaskolkaPWPL23,
author = {Monika Jaskolka and
Vera Pantelic and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
title = {Repository mining for changes in Simulink and Stateflow models},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1713--1732},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01113-5},
doi = {10.1007/S10270-023-01113-5},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JaskolkaPWPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SiavashiRPLPJHV23,
author = {Faezeh Siavashi and
Horacio Hoyos Rodriguez and
Vera Pantelic and
Mark Lawford and
Richard F. Paige and
Monika Jaskolka and
Guanrui Hou and
Alessandro Verde},
title = {Bridging the Gap Between System Architecture and Software Design using
Model Transformation},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {51--56},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00046},
doi = {10.1109/ISSREW60843.2023.00046},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/SiavashiRPLPJHV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AnnableCLPW23,
author = {Nicholas Annable and
Thomas Chiang and
Mark Lawford and
Richard F. Paige and
Alan Wassyng},
title = {Lessons Learned Building a Tool for Workflow\({}^{\mbox{+}}\)},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {140--150},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00032},
doi = {10.1109/MODELS58315.2023.00032},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/AnnableCLPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezMSPBLP23,
author = {Horacio Hoyos Rodriguez and
Naveen Ganesh Muralidharan and
Faezeh Siavashi and
Vera Pantelic and
Victor Bandur and
Mark Lawford and
Richard F. Paige},
title = {An Automotive Architecture Product Line for {E/E} Powertrain Architectures},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {715--719},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00115},
doi = {10.1109/MODELS-C59198.2023.00115},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/RodriguezMSPBLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BandurLMPPW23,
author = {Victor Bandur and
Mark Lawford and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Vera Pantelic and
Alan Wassyng},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Using Assurance Cases to Prevent Malicious Behaviour from Targeting
Safety Vulnerabilities},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
pages = {5--14},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0\_1},
doi = {10.1007/978-3-031-40953-0\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BandurLMPPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DeevyMMOPW23,
author = {Spencer Deevy and
Tiago de Moraes Machado and
Amen Modhafar and
Wesley O'Beirne and
Richard F. Paige and
Alan Wassyng},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Friedemann Bitsch},
title = {Redesigning Medical Device Assurance: Separating Technological and
Clinical Assurance Cases},
booktitle = {Computer Safety, Reliability, and Security - 42nd International Conference,
{SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14181},
pages = {25--38},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40923-3\_3},
doi = {10.1007/978-3-031-40923-3\_3},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DeevyMMOPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07873,
author = {Spencer Deevy and
Tiago de Moraes Machado and
Amen Modhafar and
Wesley O'Beirne and
Richard F. Paige and
Alan Wassyng},
title = {Separating Technological and Clinical Safety Assurance for Medical
Devices},
journal = {CoRR},
volume = {abs/2302.07873},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07873},
doi = {10.48550/ARXIV.2302.07873},
eprinttype = {arXiv},
eprint = {2302.07873},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BurguenoGP22,
author = {Lola Burgue{\~{n}}o and
Martin Gogolla and
Richard F. Paige},
title = {Preface to the {JOT} Special Issue dedicated to Prof. Antonio Vallecillo
on his 60th Birthday},
journal = {J. Object Technol.},
volume = {21},
number = {4},
pages = {1--5},
year = {2022},
url = {https://doi.org/10.5381/jot.2022.21.4.e1},
doi = {10.5381/JOT.2022.21.4.E1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/BurguenoGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigePZCA22,
author = {Richard F. Paige and
Fiona A. C. Polack and
Steffen Zschaler and
Thomas Chiang and
Nicholas Annable},
title = {Interface Contracts for Workflow+ Models: an Analysis of Uncertainty
across Models},
journal = {J. Object Technol.},
volume = {21},
number = {4},
pages = {4:1--13},
year = {2022},
url = {https://doi.org/10.5381/jot.2022.21.4.a6},
doi = {10.5381/JOT.2022.21.4.A6},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigePZCA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MuralidharanPBP22,
author = {Naveen Ganesh Muralidharan and
Vera Pantelic and
Victor Bandur and
Richard F. Paige},
title = {Integrating Software Issue Tracking and Traceability Models},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2022, Limassol, Cyprus, October 3-7, 2022},
pages = {429--433},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSME55016.2022.00053},
doi = {10.1109/ICSME55016.2022.00053},
timestamp = {Wed, 11 Jan 2023 16:16:16 +0100},
biburl = {https://dblp.org/rec/conf/icsm/MuralidharanPBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LoganathanP22,
author = {Akila Loganathan and
Richard F. Paige},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {An investigation into the effect of cluster-based preprocessing on
software migration},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {539--545},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561566},
doi = {10.1145/3550356.3561566},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/LoganathanP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChiangMMP22,
author = {Thomas Chiang and
Rodrigo Gomez Mendoza and
Johan Mahmood and
Richard F. Paige},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Towards the adoption of model based system safety engineering in the
automotive industry},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {579--587},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3563130},
doi = {10.1145/3550356.3563130},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ChiangMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnnableCLPW22,
author = {Nicholas Annable and
Thomas Chiang and
Mark Lawford and
Richard F. Paige and
Alan Wassyng},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Generating Assurance Cases Using Workflow\({}^{\mbox{+}}\) Models},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {97--110},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_7},
doi = {10.1007/978-3-031-14835-4\_7},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AnnableCLPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MadaniKP21,
author = {Sina Madani and
Dimitris S. Kolovos and
Richard F. Paige},
title = {Distributed model validation with Epsilon},
journal = {Softw. Syst. Model.},
volume = {20},
number = {5},
pages = {1689--1712},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00878-x},
doi = {10.1007/S10270-021-00878-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MadaniKP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SanchezZRKPCH21,
author = {Beatriz A. S{\'{a}}nchez and
Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Dimitris S. Kolovos and
Richard F. Paige and
Justin C. Cooper and
Jason Hampson},
title = {Runtime translation of OCL-like statements on Simulink models: Expanding
domains and optimising queries},
journal = {Softw. Syst. Model.},
volume = {20},
number = {6},
pages = {1889--1918},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00910-0},
doi = {10.1007/S10270-021-00910-0},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SanchezZRKPCH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JaskolkaPWLP21,
author = {Monika Jaskolka and
Vera Pantelic and
Alan Wassyng and
Mark Lawford and
Richard F. Paige},
title = {Repository Mining for Changes in Simulink Models},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {46--57},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00014},
doi = {10.1109/MODELS50736.2021.00014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/JaskolkaPWLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CooperVPKBBPR21,
author = {Justin C. Cooper and
Alfonso de la Vega and
Richard F. Paige and
Dimitris S. Kolovos and
Michael Bennett and
Caroline Brown and
Beatriz Sanchez Pi{\~{n}}a and
Horacio Hoyos Rodriguez},
title = {Model-Based Development of Engine Control Systems: Experiences and
Lessons Learnt},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {308--319},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00038},
doi = {10.1109/MODELS50736.2021.00038},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CooperVPKBBPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-14324,
author = {Mehrnoosh Askarpour and
Alan Wassyng and
Mark Lawford and
Richard F. Paige and
Zinovy Diskin},
title = {Is the Rush to Machine Learning Jeopardizing Safety? Results of a
Survey},
journal = {CoRR},
volume = {abs/2111.14324},
year = {2021},
url = {https://arxiv.org/abs/2111.14324},
eprinttype = {arXiv},
eprint = {2111.14324},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-14324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KienzleMCBBBBBC20,
author = {J{\"{o}}rg Kienzle and
Gunter Mussbacher and
Beno{\^{\i}}t Combemale and
Lucy Bastin and
Nelly Bencomo and
Jean{-}Michel Bruel and
Christoph Becker and
Stefanie Betz and
Ruzanna Chitchyan and
Betty H. C. Cheng and
Sonja Klingert and
Richard F. Paige and
Birgit Penzenstadler and
Norbert Seyff and
Eugene Syriani and
Colin C. Venters},
title = {Toward model-driven sustainability evaluation},
journal = {Commun. {ACM}},
volume = {63},
number = {3},
pages = {80--91},
year = {2020},
url = {https://doi.org/10.1145/3371906},
doi = {10.1145/3371906},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/KienzleMCBBBBBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeV20,
author = {Richard F. Paige and
Antonio Vallecillo},
title = {Preface to the {JOT} special issue containing the {ECMFA} 2020 selected
papers},
journal = {J. Object Technol.},
volume = {19},
number = {2},
pages = {1--5},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.2.e1},
doi = {10.5381/JOT.2020.19.2.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/HamannPPRV20,
author = {Lars Hamann and
Richard F. Paige and
Alfonso Pierantonio and
Bernhard Rumpe and
Antonio Vallecillo},
title = {Preface to the {JOT} Special Issue dedicated to Martin Gogolla on
his 65th Birthday},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {1--5},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.e1},
doi = {10.5381/JOT.2020.19.3.E1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/HamannPPRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BucchiaroneCPP20,
author = {Antonio Bucchiarone and
Jordi Cabot and
Richard F. Paige and
Alfonso Pierantonio},
title = {Grand challenges in model-driven engineering: an analysis of the state
of the research},
journal = {Softw. Syst. Model.},
volume = {19},
number = {1},
pages = {5--13},
year = {2020},
url = {https://doi.org/10.1007/s10270-019-00773-6},
doi = {10.1007/S10270-019-00773-6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BucchiaroneCPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ZolotasRHPGLKP20,
author = {Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Stuart Hutchesson and
Beatriz Sanchez Pi{\~{n}}a and
Alan Grigg and
Mole Li and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Bridging proprietary modelling and open-source model management tools:
the case of {PTC} Integrity Modeller and Epsilon},
journal = {Softw. Syst. Model.},
volume = {19},
number = {1},
pages = {17--38},
year = {2020},
url = {https://doi.org/10.1007/s10270-019-00732-1},
doi = {10.1007/S10270-019-00732-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ZolotasRHPGLKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WasowskiPH20,
author = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Guest editorial to the special section on {MODELS} 2018},
journal = {Softw. Syst. Model.},
volume = {19},
number = {4},
pages = {825--826},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00800-x},
doi = {10.1007/S10270-020-00800-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/WasowskiPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WeiZRGKP20,
author = {Ran Wei and
Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Simos Gerasimou and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Automatic generation of {UML} profile graphical editors for Papyrus},
journal = {Softw. Syst. Model.},
volume = {19},
number = {5},
pages = {1083--1106},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00813-6},
doi = {10.1007/S10270-020-00813-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/WeiZRGKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmah-ws/ZolotasBMNKP20,
author = {Athanasios Zolotas and
Konstantinos Barmpis and
Fady Medhat and
Patrick Neubauer and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Vijay Gadepally and
Timothy G. Mattson and
Michael Stonebraker and
Tim Kraska and
Fusheng Wang and
Gang Luo and
Jun Kong and
Alevtina Dubovitskaya},
title = {An Architecture for the Development of Distributed Analytics Based
on Polystore Events},
booktitle = {Heterogeneous Data Management, Polystores, and Analytics for Healthcare
- {VLDB} Workshops, Poly 2020 and {DMAH} 2020, Virtual Event, August
31 and September 4, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12633},
pages = {54--65},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-71055-2\_5},
doi = {10.1007/978-3-030-71055-2\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmah-ws/ZolotasBMNKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0001KP20,
author = {Beatriz S{\'{a}}nchez and
Dimitris S. Kolovos and
Richard F. Paige},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {To build, or not to build: ModelFlow, a build solution for {MDE} projects},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {1--11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410942},
doi = {10.1145/3365438.3410942},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/0001KP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WoodMKPG20,
author = {Sophie Wood and
Nicholas Matragkas and
Dimitris S. Kolovos and
Richard F. Paige and
Simos Gerasimou},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {Supporting robotic software migration using static analysis and model-driven
engineering},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {154--164},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410965},
doi = {10.1145/3365438.3410965},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/WoodMKPG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/BarmpisNCKMP20,
author = {Konstantinos Barmpis and
Patrick Neubauer and
Jonathan Co and
Dimitris S. Kolovos and
Nicholas Matragkas and
Richard F. Paige},
editor = {Sunghun Kim and
Georgios Gousios and
Sarah Nadi and
Joseph Hejderup},
title = {Polyglot and Distributed Software Repository Mining with Crossflow},
booktitle = {{MSR} '20: 17th International Conference on Mining Software Repositories,
Seoul, Republic of Korea, 29-30 June, 2020},
pages = {374--384},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379597.3387481},
doi = {10.1145/3379597.3387481},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/BarmpisNCKMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChowdhuryWPL20,
author = {Thomas Chowdhury and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Systematic Evaluation of (Safety) Assurance Cases},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {18--33},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_2},
doi = {10.1007/978-3-030-54549-9\_2},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChowdhuryWPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02164,
author = {Sophie Wood and
Nicholas Matragkas and
Dimitris S. Kolovos and
Richard F. Paige and
Simos Gerasimou},
title = {Supporting Robotic Software Migration Using Static Analysis and Model-Driven
Engineering},
journal = {CoRR},
volume = {abs/2008.02164},
year = {2020},
url = {https://arxiv.org/abs/2008.02164},
eprinttype = {arXiv},
eprint = {2008.02164},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MadaniKP19,
author = {Sina Madani and
Dimitris S. Kolovos and
Richard F. Paige},
title = {Towards Optimisation of Model Queries: {A} Parallel Execution Approach},
journal = {J. Object Technol.},
volume = {18},
number = {2},
pages = {3:1--21},
year = {2019},
url = {https://doi.org/10.5381/jot.2019.18.2.a3},
doi = {10.5381/JOT.2019.18.2.A3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/MadaniKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ZolotasMDKP19,
author = {Athanasios Zolotas and
Nicholas Matragkas and
Sam Devlin and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Type inference in flexible model-driven engineering using classification
algorithms},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {345--366},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0658-5},
doi = {10.1007/S10270-018-0658-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ZolotasMDKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Garcia-Dominguez19,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Konstantinos Barmpis and
Dimitrios S. Kolovos and
Ran Wei and
Richard F. Paige},
title = {Stress-testing remote model querying APIs for relational and graph-based
stores},
journal = {Softw. Syst. Model.},
volume = {18},
number = {2},
pages = {1047--1075},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0606-9},
doi = {10.1007/S10270-017-0606-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Garcia-Dominguez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BurguenoCFKLMPP19,
author = {Loli Burgue{\~{n}}o and
Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabriele Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
title = {Contents for a Model-Based Software Engineering Body of Knowledge},
journal = {Softw. Syst. Model.},
volume = {18},
number = {6},
pages = {3193--3205},
year = {2019},
url = {https://doi.org/10.1007/s10270-019-00746-9},
doi = {10.1007/S10270-019-00746-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BurguenoCFKLMPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KolovosMPRSSZ19,
author = {Dimitrios S. Kolovos and
Fady Medhat and
Richard F. Paige and
Davide Di Ruscio and
Tijs van der Storm and
Sebastian Scholze and
Athanasios Zolotas},
editor = {Marsha Chechik and
Daniel Str{\"{u}}ber and
D{\'{a}}niel Varr{\'{o}}},
title = {Domain-specific languages for the design, deployment and manipulation
of heterogeneous databases},
booktitle = {Proceedings of the 11th International Workshop on Modelling in Software
Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019},
pages = {89--92},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/MiSE.2019.00021},
doi = {10.1109/MISE.2019.00021},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KolovosMPRSSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChowdhuryWPL19,
author = {Thomas Chowdhury and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Criteria to Systematically Evaluate (Safety) Assurance Cases},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {380--390},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00045},
doi = {10.1109/ISSRE.2019.00045},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChowdhuryWPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NeubauerBKPW19,
author = {Patrick Neubauer and
Robert Bill and
Dimitris S. Kolovos and
Richard F. Paige and
Manuel Wimmer},
editor = {Achim D. Brucker and
Gwendal Daniel and
Fr{\'{e}}d{\'{e}}ric Jouault},
title = {Reusable Textual Notations for Domain-Specific Languages},
booktitle = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
co-located with {IEEE/ACM} 22nd International Conference on Model
Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
Germany, September 16, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2513},
pages = {67--80},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2513/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/NeubauerBKPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SanchezZRKP19,
author = {Beatriz S{\'{a}}nchez and
Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Dimitris S. Kolovos and
Richard F. Paige},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {On-the-Fly Translation and Execution of OCL-Like Queries on Simulink
Models},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {205--215},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.000-1},
doi = {10.1109/MODELS.2019.000-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SanchezZRKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezZKP19,
author = {Horacio Hoyos Rodriguez and
Athanasios Zolotas and
Dimitris S. Kolovos and
Richard F. Paige},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {On the Challenges of Model Decorations for Capturing Complex Metadata},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {347--353},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00054},
doi = {10.1109/MODELS-C.2019.00054},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/RodriguezZKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KolovosNBMP19,
author = {Dimitris S. Kolovos and
Patrick Neubauer and
Konstantinos Barmpis and
Nicholas Matragkas and
Richard F. Paige},
editor = {Margaret{-}Anne D. Storey and
Bram Adams and
Sonia Haiduc},
title = {Crossflow: a framework for distributed mining of software repositories},
booktitle = {Proceedings of the 16th International Conference on Mining Software
Repositories, {MSR} 2019, 26-27 May 2019, Montreal, Canada},
pages = {155--159},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/MSR.2019.00032},
doi = {10.1109/MSR.2019.00032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/KolovosNBMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PinaKP19,
author = {Beatriz Sanchez Pi{\~{n}}a and
Dimitris S. Kolovos and
Richard F. Paige},
editor = {Jeff Gray and
Matti Rossi and
Jonathan Sprinkle and
Juha{-}Pekka Tolvanen},
title = {ModelFlow: towards reactive model management workflows},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
Domain-Specific Modeling, DSM@SPLASH 2019, Athens, Greece, October
20, 2019},
pages = {30--39},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358501.3361238},
doi = {10.1145/3358501.3361238},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PinaKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/di/MarshallP18,
author = {Angus M. Marshall and
Richard F. Paige},
title = {Requirements in digital forensics method definition: Observations
from a {UK} study},
journal = {Digit. Investig.},
volume = {27},
pages = {23--29},
year = {2018},
url = {https://doi.org/10.1016/j.diin.2018.09.004},
doi = {10.1016/J.DIIN.2018.09.004},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/di/MarshallP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcloudc/EllisonCP18,
author = {Martyn Ellison and
Radu Calinescu and
Richard F. Paige},
title = {Evaluating cloud database migration options using workload models},
journal = {J. Cloud Comput.},
volume = {7},
pages = {6},
year = {2018},
url = {https://doi.org/10.1186/s13677-018-0108-5},
doi = {10.1186/S13677-018-0108-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcloudc/EllisonCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ZolotasWGRKP18,
author = {Athanasios Zolotas and
Ran Wei and
Simos Gerasimou and
Horacio Hoyos Rodriguez and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Alfonso Pierantonio and
Salvador Trujillo},
title = {Towards Automatic Generation of {UML} Profile Graphical Editors for
Papyrus},
booktitle = {Modelling Foundations and Applications - 14th European Conference,
ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10890},
pages = {12--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92997-2\_2},
doi = {10.1007/978-3-319-92997-2\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ZolotasWGRKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/MadaniKP18,
author = {Sina Madani and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Alfonso Pierantonio and
Salvador Trujillo},
title = {Parallel Model Validation with Epsilon},
booktitle = {Modelling Foundations and Applications - 14th European Conference,
ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10890},
pages = {115--131},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92997-2\_8},
doi = {10.1007/978-3-319-92997-2\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/MadaniKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/SrivisutCP18,
author = {Komsan Srivisut and
John A. Clark and
Richard F. Paige},
editor = {Kevin Sim and
Paul Kaufmann},
title = {Search-Based Temporal Testing in an Embedded Multicore Platform},
booktitle = {Applications of Evolutionary Computation - 21st International Conference,
EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10784},
pages = {794--809},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77538-8\_53},
doi = {10.1007/978-3-319-77538-8\_53},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/evoW/SrivisutCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/SrivisutCP18,
author = {Komsan Srivisut and
John A. Clark and
Richard F. Paige},
editor = {Hern{\'{a}}n E. Aguirre and
Keiki Takadama},
title = {Dependent input sampling strategies: using metaheuristics for generating
parameterised random sampling regimes},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
pages = {1451--1458},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205455.3205495},
doi = {10.1145/3205455.3205495},
timestamp = {Wed, 21 Nov 2018 12:43:54 +0100},
biburl = {https://dblp.org/rec/conf/gecco/SrivisutCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouKKPG18,
author = {Simos Gerasimou and
Maria Kechagia and
Dimitris S. Kolovos and
Richard F. Paige and
Georgios Gousios},
title = {On Software Modernisation due to Library Obsolescence},
booktitle = {2nd {IEEE/ACM} International Workshop on {API} Usage and Evolution,
WAPI@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
pages = {6--9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194793.3194798},
doi = {10.1145/3194793.3194798},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouKKPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CiccozziFKL0PPR18,
author = {Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabi Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {Towards a body of knowledge for model-based software engineering},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {82--89},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270121},
doi = {10.1145/3270112.3270121},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CiccozziFKL0PPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CiccozziFKL0PPR18a,
author = {Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabi Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {How do we teach modelling and model-driven engineering?: a survey},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {122--129},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270129},
doi = {10.1145/3270112.3270129},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CiccozziFKL0PPR18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MadaniKP18,
author = {Sina Madani and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Regina Hebig and
Thorsten Berger},
title = {Parallel execution of first-order operations},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {132--145},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/ocl\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MadaniKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosP18,
author = {Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Regina Hebig and
Thorsten Berger},
title = {Towards a modular and flexible human-usable textual syntax for {EMF}
models},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {223--232},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/flexmde\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/KolovosP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/SanchezBNPK08,
author = {Beatriz A. S{\'{a}}nchez and
Konstantinos Barmpis and
Patrick Neubauer and
Richard F. Paige and
Dimitrios S. Kolovos},
editor = {Andy Zaidman and
Yasutaka Kamei and
Emily Hill},
title = {Restmule: enabling resilient clients for remote APIs},
booktitle = {Proceedings of the 15th International Conference on Mining Software
Repositories, {MSR} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {537--541},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196398.3196405},
doi = {10.1145/3196398.3196405},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/SanchezBNPK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018mise,
editor = {Jennifer Horkoff and
Sahar Kokaly and
Richard F. Paige and
Jocelyn Simmonds},
title = {Proceedings of the 10th International Workshop on Modelling in Software
Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3193954},
isbn = {978-1-4503-5735-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018,
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372},
doi = {10.1145/3239372},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChengHP18,
author = {Gordon S. Blair and
Betty H. C. Cheng and
Lorenz M. Hilty and
Richard F. Paige},
title = {Modeling for Sustainability (Dagstuhl Seminar 18351)},
journal = {Dagstuhl Reports},
volume = {8},
number = {8},
pages = {146--168},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.8.146},
doi = {10.4230/DAGREP.8.8.146},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ChengHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ZolotasCMKP17,
author = {Athanasios Zolotas and
Robert Claris{\'{o}} and
Nicholas Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Constraint programming for type inference in flexible model-driven
engineering},
journal = {Comput. Lang. Syst. Struct.},
volume = {49},
pages = {216--230},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.12.002},
doi = {10.1016/J.CL.2016.12.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/ZolotasCMKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PaigeCE17,
author = {Richard F. Paige and
Jordi Cabot and
Neil A. Ernst},
title = {Foreword to the special section on negative results in software engineering},
journal = {Empir. Softw. Eng.},
volume = {22},
number = {5},
pages = {2453--2456},
year = {2017},
url = {https://doi.org/10.1007/s10664-017-9498-0},
doi = {10.1007/S10664-017-9498-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/PaigeCE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KolovosGRP17,
author = {Dimitrios S. Kolovos and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Louis M. Rose and
Richard F. Paige},
title = {Eugenia: towards disciplined and automated development of GMF-based
graphical model editors},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {229--255},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0455-3},
doi = {10.1007/S10270-015-0455-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KolovosGRP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AjitHJKP17,
author = {Suraj Ajit and
Chris Holmes and
Julian Johnson and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Model-based tool support for Tactical Data Links: an experience report
from the defence domain},
journal = {Softw. Syst. Model.},
volume = {16},
number = {2},
pages = {559--586},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0480-2},
doi = {10.1007/S10270-015-0480-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AjitHJKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KolovosP17,
author = {Dimitris S. Kolovos and
Richard F. Paige},
title = {The Epsilon Pattern Language},
booktitle = {9th {IEEE/ACM} International Workshop on Modelling in Software Engineering,
MiSE@ICSE 2017, Buenos Aires, Argentina, May 21-22, 2017},
pages = {54--60},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MiSE.2017.8},
doi = {10.1109/MISE.2017.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KolovosP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AbrahaoBCKPSW17,
author = {Silvia Abrah{\~{a}}o and
Francis Bordeleau and
Betty H. C. Cheng and
Sahar Kokaly and
Richard F. Paige and
Harald St{\"{o}}rrle and
Jon Whittle},
title = {User Experience for Model-Driven Engineering: Challenges and Future
Directions},
booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
2017},
pages = {229--236},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MODELS.2017.5},
doi = {10.1109/MODELS.2017.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AbrahaoBCKPSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZolotasRKPH17,
author = {Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Dimitrios S. Kolovos and
Richard F. Paige and
Stuart Hutchesson},
title = {Bridging Proprietary Modelling and Open-Source Model Management Tools:
The Case of {PTC} Integrity Modeller and Epsilon},
booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
2017},
pages = {237--247},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MODELS.2017.18},
doi = {10.1109/MODELS.2017.18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/ZolotasRKPH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BagnatoBBCRRGHK17,
author = {Alessandra Bagnato and
Konstantinos Barmpis and
Nik Bessis and
Luis Adri{\'{a}}n Cabrera{-}Diego and
Juri Di Rocco and
Davide Di Ruscio and
Tam{\'{a}}s Gergely and
Scott Hansen and
Dimitris S. Kolovos and
Philippe Krief and
Ioannis Korkontzelos and
St{\'{e}}phane Lauri{\`{e}}re and
Jose Manrique Lopez de la Fuente and
Pedro Mal{\'{o}} and
Richard F. Paige and
Diomidis Spinellis and
Cedric Thomas and
Jurgen J. Vinju},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Developer-Centric Knowledge Mining from Large Open-Source Software
Repositories {(CROSSMINER)}},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {375--384},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_33},
doi = {10.1007/978-3-319-74730-9\_33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/BagnatoBBCRRGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GerasimouKPS17,
author = {Simos Gerasimou and
Dimitris S. Kolovos and
Richard F. Paige and
Michael Standish},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Technical Obsolescence Management Strategies for Safety-Related Software
for Airborne Systems},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {385--393},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_34},
doi = {10.1007/978-3-319-74730-9\_34},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/GerasimouKPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PaigeZKMBHH17,
author = {Richard F. Paige and
Athanasios Zolotas and
Dimitrios S. Kolovos and
John A. McDermid and
Mike Bennett and
Stuart Hutchesson and
Andrew Hawthorn},
editor = {Martina Seidl and
Steffen Zschaler},
title = {{SECT-AIR:} Software Engineering Costs and Timescales - Aerospace
Initiative for Reduction},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {403--408},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_36},
doi = {10.1007/978-3-319-74730-9\_36},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/PaigeZKMBHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/PaigeZK17,
author = {Richard F. Paige and
Athanasios Zolotas and
Dimitris S. Kolovos},
editor = {Manuel Mazzara and
Bertrand Meyer},
title = {The Changing Face of Model-Driven Engineering},
booktitle = {Present and Ulterior Software Engineering},
pages = {103--118},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67425-4\_7},
doi = {10.1007/978-3-319-67425-4\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/PaigeZK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PaigeMR16,
author = {Richard F. Paige and
Nicholas Drivalos Matragkas and
Louis M. Rose},
title = {Evolving models in Model-Driven Engineering: State-of-the-art and
future challenges},
journal = {J. Syst. Softw.},
volume = {111},
pages = {272--280},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2015.08.047},
doi = {10.1016/J.JSS.2015.08.047},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PaigeMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Paige16,
author = {Richard F. Paige},
editor = {Jeremy Gibbons and
Perdita Stevens},
title = {Engineering Bidirectional Transformations},
booktitle = {Bidirectional Transformations - International Summer School, Oxford,
UK, July 25-29, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9715},
pages = {151--187},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-79108-1\_5},
doi = {10.1007/978-3-319-79108-1\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Paige16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/Garcia-Dominguez16,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Konstantinos Barmpis and
Dimitrios S. Kolovos and
Ran Wei and
Richard F. Paige},
editor = {Andrzej Wasowski and
Henrik L{\"{o}}nn},
title = {Stress-Testing Centralised Model Stores},
booktitle = {Modelling Foundations and Applications - 12th European Conference,
ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9764},
pages = {48--63},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42061-5\_4},
doi = {10.1007/978-3-319-42061-5\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/Garcia-Dominguez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Paige16,
author = {Richard F. Paige},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Language engineering: challenges, opportunities and potential disasters
for interactive systems},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2948132},
doi = {10.1145/2933242.2948132},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/Paige16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/HerreraWP16,
author = {Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
Edward D. Willink and
Richard F. Paige},
editor = {Pieter Van Gorp and
Gregor Engels},
title = {A Domain Specific Transformation Language to Bridge Concrete and Abstract
Syntax},
booktitle = {Theory and Practice of Model Transformations - 9th International Conference,
ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9765},
pages = {3--18},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42064-6\_1},
doi = {10.1007/978-3-319-42064-6\_1},
timestamp = {Wed, 07 Dec 2022 23:13:49 +0100},
biburl = {https://dblp.org/rec/conf/icmt/HerreraWP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AlhwikemPRA16,
author = {Faisal Alhwikem and
Richard F. Paige and
Louis Rose and
Rob Alexander},
editor = {Michalis Famelis and
Daniel Ratiu and
Gehan M. K. Selim},
title = {A Systematic Approach for Designing Mutation Operators for {MDE} Languages},
booktitle = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
and Validation co-located with {ACM/IEEE} 19th International Conference
on Model Driven Engineering Languages and Systems {(MODELS} 2016),
Saint-Malo, France, October 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1713},
pages = {54--59},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/AlhwikemPRA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WeiKGBP16,
author = {Ran Wei and
Dimitrios S. Kolovos and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Konstantinos Barmpis and
Richard F. Paige},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Partial loading of {XMI} models},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {329--339},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976787},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/WeiKGBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spice/SalahPC16,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Paul M. Clarke and
Rory V. O'Connor and
Terry Rout and
Alec Dorling},
title = {A Maturity Model for Integrating Agile Processes and User Centred
Design},
booktitle = {Software Process Improvement and Capability Determination - 16th International
Conference, {SPICE} 2016, Dublin, Ireland, June 9-10, 2016, Proceedings},
series = {Communications in Computer and Information Science},
volume = {609},
pages = {109--122},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-38980-6\_9},
doi = {10.1007/978-3-319-38980-6\_9},
timestamp = {Fri, 02 Nov 2018 09:49:05 +0100},
biburl = {https://dblp.org/rec/conf/spice/SalahPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/EllisonCP16,
author = {Martyn Ellison and
Radu Calinescu and
Richard F. Paige},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Towards Platform Independent Database Modelling in Enterprise Systems},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {42--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_4},
doi = {10.1007/978-3-319-50230-4\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/EllisonCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosGPGCLRVS16,
author = {Dimitrios S. Kolovos and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gerson Suny{\'{e}} and
Massimo Tisi},
editor = {Catherine Dubois and
Francesco Parisi{-}Presicce and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {{MONDO:} Scalable Modelling and Model Management on the Cloud},
booktitle = {Joint Proceedings of the Doctoral Symposium and Projects Showcase
Held as Part of {STAF} 2016 co-located with Software Technologies:
Applications and Foundations {(STAF} 2016), Vienna, Austria, July
4-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1675},
pages = {55--64},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1675/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosGPGCLRVS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015cloudmde,
editor = {Richard F. Paige and
Jordi Cabot and
Marco Brambilla and
James H. Hill},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1563},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1563},
urn = {urn:nbn:de:0074-1563-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015cloudmde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2016pame-volt,
editor = {H{\"{u}}seyin Ergin and
Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
Moussa Amrani},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1693},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1693},
urn = {urn:nbn:de:0074-1693-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2016pame-volt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2015pame,
editor = {Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
H{\"{u}}seyin Ergin},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1657},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1657},
urn = {urn:nbn:de:0074-1657-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2015pame.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CombemalePPW15,
author = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Richard F. Paige and
Eric Van Wyk},
title = {Special Issue on the 6th and 7th International Conferences on Software
Language Engineering {(SLE} 2013 and {SLE} 2014)},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.009},
doi = {10.1016/J.CL.2015.08.009},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/CombemalePPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imcs/BrookeP15,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {User-visible cryptography in email and web scenarios},
journal = {Inf. Comput. Secur.},
volume = {23},
number = {1},
pages = {58--72},
year = {2015},
url = {https://doi.org/10.1108/ICS-07-2013-0054},
doi = {10.1108/ICS-07-2013-0054},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imcs/BrookeP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BaresiBKMMPRR15,
author = {Luciano Baresi and
Gundula Blohm and
Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
Alfredo Motta and
Richard F. Paige and
Alek Radjenovic and
Matteo Rossi},
title = {Formal verification and validation of embedded systems: the UML-based
{MADES} approach},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {343--363},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0330-z},
doi = {10.1007/S10270-013-0330-Z},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BaresiBKMMPRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/EtienMLP15,
author = {Anne Etien and
Alexis Muller and
Thomas Legrand and
Richard F. Paige},
title = {Localized model transformations for building large-scale transformations},
journal = {Softw. Syst. Model.},
volume = {14},
number = {3},
pages = {1189--1213},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0379-8},
doi = {10.1007/S10270-013-0379-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/EtienMLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ZolotasMDKP15,
author = {Athanasios Zolotas and
Nicholas Drivalos Matragkas and
Sam Devlin and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Gabriele Taentzer and
Francis Bordeleau},
title = {Type Inference in Flexible Model-Driven Engineering},
booktitle = {Modelling Foundations and Applications - 11th European Conference,
ECMFA@STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9153},
pages = {75--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21151-0\_6},
doi = {10.1007/978-3-319-21151-0\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ZolotasMDKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/SalahPC15,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Claudius Link and
Veli{-}Pekka Eloranta},
title = {Patterns for integrating agile development processes and user centred
design},
booktitle = {Proceedings of the 20th European Conference on Pattern Languages of
Programs, EuroPLoP 2015, Kaufbeuren, Germany, July 8-12, 2015},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2855321.2855341},
doi = {10.1145/2855321.2855341},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/SalahPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HawkinsHKPK15,
author = {Richard Hawkins and
Ibrahim Habli and
Dimitrios S. Kolovos and
Richard F. Paige and
Tim Kelly},
title = {Weaving an Assurance Case from Design: {A} Model-Based Approach},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.25},
doi = {10.1109/HASE.2015.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HawkinsHKPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GrayCKP15,
author = {Jeff Gray and
Marsha Chechik and
Vinay Kulkarni and
Richard F. Paige},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {7th International Workshop on Modeling in Software Engineering (MiSE
2015)},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {985--986},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.317},
doi = {10.1109/ICSE.2015.317},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GrayCKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HermansPS15,
author = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {2nd International Workshop on Software Engineering Methods in Spreadsheets
{(SEMS} 2015)},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {1005--1006},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.325},
doi = {10.1109/ICSE.2015.325},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HermansPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HerreraWP15,
author = {Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
Edward D. Willink and
Richard F. Paige},
editor = {Achim D. Brucker and
Marina Egea and
Martin Gogolla and
Fr{\'{e}}d{\'{e}}ric Tuong},
title = {An OCL-based Bridge from Concrete to Abstract Syntax},
booktitle = {Proceedings of the 15th International Workshop on {OCL} and Textual
Modeling co-located with 18th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1512},
pages = {19--34},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1512/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HerreraWP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosMKAP15,
author = {Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
Ioannis Korkontzelos and
Sophia Ananiadou and
Richard F. Paige},
editor = {Francis Bordeleau and
Jean{-}Michel Bruel and
Juergen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {Assessing the Use of Eclipse {MDE} Technologies in Open-Source Software
Projects},
booktitle = {Proceedings of the International Workshop on Open Source Software
for Model Driven Engineering co-located with {ACM/IEEE} 18th International
Conference on Model Driven Engineering Languages and Systems {(MODELS}
2015), Ottawa, Canada, September 29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1541},
pages = {20--29},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1541/OSS4MDE\_2015\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/KolovosMKAP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZolotasMDKP15,
author = {Athanasios Zolotas and
Nicholas Drivalos Matragkas and
Sam Devlin and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Davide Di Ruscio and
Juan de Lara and
Alfonso Pierantonio},
title = {Type Inference Using Concrete Syntax Properties in Flexible Model-Driven
Engineering},
booktitle = {Proceedings of the Workshop on Flexible Model Driven Engineering co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2015), Ottawa, Canada, September
29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1470},
pages = {22--31},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1470/FlexMDE15\_paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ZolotasMDKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZolotasMKP15,
author = {Athanasios Zolotas and
Nicholas Drivalos Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Davide Di Ruscio and
Juan de Lara and
Alfonso Pierantonio},
title = {Flexible Modelling for Requirements Engineering},
booktitle = {Proceedings of the Workshop on Flexible Model Driven Engineering co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2015), Ottawa, Canada, September
29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1470},
pages = {32--41},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1470/FlexMDE15\_paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ZolotasMKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PaigeKPR15,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona A. C. Polack and
Louis M. Rose},
editor = {Arnon Sturm and
Tony Clark},
title = {Evaluating Student Work in Modelling Courses},
booktitle = {Proceedings of the {MODELS} Educators Symposium co-located with the
{ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2015), Ottawa, Canada, September 29,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1555},
pages = {68--76},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1555/7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PaigeKPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spice/SalahPC15,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Terry Rout and
Rory V. O'Connor and
Alec Dorling},
title = {Observations on Utilising Usability Maturity Model-Human Centredness
Scale in Integrating Agile Development Processes and User Centred
Design},
booktitle = {Software Process Improvement and Capability Determination - 15th International
Conference, {SPICE} 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {526},
pages = {159--173},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19860-6\_13},
doi = {10.1007/978-3-319-19860-6\_13},
timestamp = {Thu, 15 Jun 2017 21:43:05 +0200},
biburl = {https://dblp.org/rec/conf/spice/SalahPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/AlmeidaABBRRKKH15,
author = {Bruno Almeida and
Sophia Ananiadou and
Alessandra Bagnato and
Alberto Berreteaga Barbero and
Juri Di Rocco and
Davide Di Ruscio and
Dimitrios S. Kolovos and
Ioannis Korkontzelos and
Scott Hansen and
Pedro Mal{\'{o}} and
Nikolaos Drivalos and
Richard F. Paige and
Jurgen J. Vinju},
editor = {Marco Autili and
Tom Ritter and
Andrey Sadovykh and
Massimo Tivoli},
title = {{OSSMETER:} Automated Measurement and Analysis of Open Source Software},
booktitle = {Proceedings of the Projects Showcase, part of the Software Technologies:
Applications and Foundations 2015 federation of conferences {(STAF}
2015), L'Aquila, Italy, July 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1400},
pages = {36--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1400/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/AlmeidaABBRRKKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosRPGCLRVS15,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gerson Suny{\'{e}} and
Massimo Tisi},
editor = {Marco Autili and
Tom Ritter and
Andrey Sadovykh and
Massimo Tivoli},
title = {{MONDO:} Scalable Modelling and Model Management on the Cloud},
booktitle = {Proceedings of the Projects Showcase, part of the Software Technologies:
Applications and Foundations 2015 federation of conferences {(STAF}
2015), L'Aquila, Italy, July 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1400},
pages = {44--53},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1400/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosRPGCLRVS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PaigeSZE15,
author = {Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
H{\"{u}}seyin Ergin},
editor = {Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
H{\"{u}}seyin Ergin},
title = {Patterns in Model Engineering 2015 - a Workshop Summary},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1657},
pages = {44--50},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1657/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/PaigeSZE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015mise,
editor = {Jeff Gray and
Marsha Chechik and
Vinay Kulkarni and
Richard F. Paige},
title = {7th {IEEE/ACM} International Workshop on Modeling in Software Engineering,
MiSE 2015, Florence, Italy, May 16-17, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7166141/proceeding},
isbn = {978-1-4673-7055-4},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2015mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015sems,
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355},
urn = {urn:nbn:de:0074-1355-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2015sems.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014cmseba,
editor = {Richard F. Paige and
Marouane Kessentini and
Philip Langer and
Manuel Wimmer},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1340},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1340},
urn = {urn:nbn:de:0074-1340-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014cmseba.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2015,
editor = {Richard F. Paige and
Davide Di Ruscio and
Markus V{\"{o}}lter},
title = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2015, Pittsburgh, PA, USA, October
25-27, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814251},
doi = {10.1145/2814251},
isbn = {978-1-4503-3686-4},
timestamp = {Thu, 21 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ErdwegEPV15,
author = {Sebastian Erdweg and
Martin Erwig and
Richard F. Paige and
Eelco Visser},
title = {Domain-Specific Languages (Dagstuhl Seminar 15062)},
journal = {Dagstuhl Reports},
volume = {5},
number = {2},
pages = {26--43},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.2.26},
doi = {10.4230/DAGREP.5.2.26},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ErdwegEPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RuscioPP14,
author = {Davide Di Ruscio and
Richard F. Paige and
Alfonso Pierantonio},
title = {Guest editorial to the special issue on Success Stories in Model Driven
Engineering},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {69--70},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.12.006},
doi = {10.1016/J.SCICO.2013.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RuscioPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PaigeKP14,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona A. C. Polack},
title = {A tutorial on metamodelling for grammar researchers},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {396--416},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.05.007},
doi = {10.1016/J.SCICO.2014.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PaigeKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RoseKPPP14,
author = {Louis M. Rose and
Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack and
Simon M. Poulding},
title = {Epsilon Flock: a model migration language},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {735--755},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0296-2},
doi = {10.1007/S10270-012-0296-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RoseKPPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/SalahPC14,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Daniel Fitton and
Matthew Horton and
Janet C. Read and
Gavin Sim},
title = {A Practitioner Perspective on Integrating Agile and User Centred Design},
booktitle = {{BCS-HCI} 2014 Proceedings of the 28th International {BCS} Human Computer
Interaction Conference, Southport, UK, 9-12 September 2014},
series = {Workshops in Computing},
publisher = {British Computer Society},
year = {2014},
url = {http://ewic.bcs.org/content/ConWebDoc/54193},
timestamp = {Fri, 18 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcshci/SalahPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/MohamadKP14,
author = {Rafidah Pakir Mohamad and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Resource Requirement Analysis for Web Applications Running in a Virtualised
Environment},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {632--637},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.134},
doi = {10.1109/CLOUDCOM.2014.134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/MohamadKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cser/BurtonPPS14,
author = {Frank R. Burton and
Richard F. Paige and
Simon M. Poulding and
Simon Smith},
editor = {Azad M. Madni and
Barry W. Boehm},
title = {System of Systems Acquisition Trade-offs},
booktitle = {Proceedings of the Conference on Systems Engineering Research, {CSER}
2014, Redondo Beach, CA, USA, March 20-22, 2014},
series = {Procedia Computer Science},
volume = {28},
pages = {11--18},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.03.002},
doi = {10.1016/J.PROCS.2014.03.002},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/cser/BurtonPPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/SalahPC14,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Martin J. Shepperd and
Tracy Hall and
Ingunn Myrtveit},
title = {A systematic literature review for agile development processes and
user centred design integration},
booktitle = {18th International Conference on Evaluation and Assessment in Software
Engineering, {EASE} '14, London, England, United Kingdom, May 13-14,
2014},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2601248.2601276},
doi = {10.1145/2601248.2601276},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ease/SalahPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/SalahPC14,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Stefan Sauer and
Cristian Bogdan and
Peter Forbrig and
Regina Bernhaupt and
Marco Winckler},
title = {Integrating Agile Development Processes and User Centred Design- {A}
Place for Usability Maturity Models?},
booktitle = {Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International
Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8742},
pages = {108--125},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44811-3\_7},
doi = {10.1007/978-3-662-44811-3\_7},
timestamp = {Mon, 26 Jun 2023 20:48:22 +0200},
biburl = {https://dblp.org/rec/conf/hcse/SalahPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PaigeKLW14,
author = {Richard F. Paige and
Marouane Kessentini and
Philip Langer and
Manuel Wimmer},
editor = {Richard F. Paige and
Marouane Kessentini and
Philip Langer and
Manuel Wimmer},
title = {{CMSEBA} 2014 Workshop Report},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1340},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1340/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/PaigeKLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PaigePKRMW14,
author = {Richard F. Paige and
Fiona A. C. Polack and
Dimitrios S. Kolovos and
Louis M. Rose and
Nicholas Drivalos Matragkas and
James R. Williams},
editor = {Birgit Demuth and
Dave R. Stikkolorum},
title = {Bad Modelling Teaching Practices},
booktitle = {Proceedings of the {MODELS} Educators Symposium co-located with the
{ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1346},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1346/edusymp2014\_paper\_keynote.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PaigePKRMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZolotasKMP14,
author = {Athanasios Zolotas and
Dimitris S. Kolovos and
Nicholas Drivalos Matragkas and
Richard F. Paige},
editor = {Davide Di Ruscio and
Juan de Lara and
Alfonso Pierantonio},
title = {Assigning Semantics to Graphical Concrete Syntaxes},
booktitle = {Proceedings of the 3rd Workshop on Extreme Modeling co-located with
{ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems, XM@MoDELS 2014, Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1239},
pages = {12--21},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1239/xm14\_submission\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ZolotasKMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WilliamsMKKAP14,
author = {James R. Williams and
Nicholas Drivalos Matragkas and
Dimitris S. Kolovos and
Yannis Korkontzelos and
Sofia Annaniadou and
Richard F. Paige},
editor = {Francis Bordeleau and
J{\"{u}}rgen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {Software Analytics for {MDE} Communities},
booktitle = {Proceedings of the 1st Workshop on Open Source Software for Model
Driven Engineering co-located with {ACM/IEEE} 17th International Conference
on Model Driven Engineering Languages {\&} Systems, OSS4MDE@MoDELS
2014, Valencia, Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1290},
pages = {53--63},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1290/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/WilliamsMKKAP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PoskittDPR14,
author = {Christopher M. Poskitt and
Mike Dodds and
Richard F. Paige and
Arend Rensink},
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {Towards Rigorously Faking Bidirectional Model Transformations},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
pages = {70--75},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PoskittDPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosMWP14,
author = {Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
James R. Williams and
Richard F. Paige},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {Model Driven Grant Proposal Engineering},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {420--432},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_26},
doi = {10.1007/978-3-319-11653-2\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KolovosMWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ShahWKRPB14,
author = {Seyyed M. Shah and
Ran Wei and
Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Konstantinos Barmpis},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {586--601},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_36},
doi = {10.1007/978-3-319-11653-2\_36},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/ShahWKRPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/MatragkasWKP14,
author = {Nicholas Drivalos Matragkas and
James R. Williams and
Dimitris S. Kolovos and
Richard F. Paige},
editor = {Premkumar T. Devanbu and
Sung Kim and
Martin Pinzger},
title = {Analysing the 'biodiversity' of open source ecosystems: the GitHub
case},
booktitle = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
Proceedings, May 31 - June 1, 2014, Hyderabad, India},
pages = {356--359},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2597073.2597119},
doi = {10.1145/2597073.2597119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/MatragkasWKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/SalahPC14,
author = {Dina Salah and
Richard F. Paige and
Paul A. Cairns},
editor = {Andreas Jedlitschka and
Pasi Kuvaja and
Marco Kuhrmann and
Tomi M{\"{a}}nnist{\"{o}} and
J{\"{u}}rgen M{\"{u}}nch and
Mikko Raatikainen},
title = {An Evaluation Template for Expert Review of Maturity Models},
booktitle = {Product-Focused Software Process Improvement - 15th International
Conference, {PROFES} 2014, Helsinki, Finland, December 10-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8892},
pages = {318--321},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13835-0\_31},
doi = {10.1007/978-3-319-13835-0\_31},
timestamp = {Mon, 03 Jan 2022 22:29:18 +0100},
biburl = {https://dblp.org/rec/conf/profes/SalahPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/CuiP14,
author = {Xiaofeng Cui and
Richard F. Paige},
title = {Strategy-guided requirements development and validation},
booktitle = {15th {IEEE/ACIS} International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing,
{SNPD} 2014, Las Vegas, NV, USA, June 30 - July 2, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SNPD.2014.6888717},
doi = {10.1109/SNPD.2014.6888717},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/CuiP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/EllisonCP14,
author = {Martyn Ellison and
Radu Calinescu and
Richard F. Paige},
title = {Re-engineering the Database Layer of Legacy Applications for Scalable
Cloud Deployment},
booktitle = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
and Cloud Computing, {UCC} 2014, London, United Kingdom, December
8-11, 2014},
pages = {976--979},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/UCC.2014.160},
doi = {10.1109/UCC.2014.160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ucc/EllisonCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014cloudmde,
editor = {Richard F. Paige and
Jordi Cabot and
Marco Brambilla and
Louis M. Rose and
James H. Hill},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1242},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1242},
urn = {urn:nbn:de:0074-1242-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014cloudmde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZaninPCKPHR14,
author = {Massimiliano Zanin and
David Perez and
Kumardev Chatterjee and
Dimitrios S. Kolovos and
Richard F. Paige and
Andreas Horst and
Bernhard Rumpe},
title = {On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories},
journal = {CoRR},
volume = {abs/1409.2304},
year = {2014},
url = {http://arxiv.org/abs/1409.2304},
eprinttype = {arXiv},
eprint = {1409.2304},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZaninPCKPHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BezivinPARS14,
author = {Jean B{\'{e}}zivin and
Richard F. Paige and
Uwe A{\ss}mann and
Bernhard Rumpe and
Douglas C. Schmidt},
title = {Manifesto - Model Engineering for Complex Systems},
journal = {CoRR},
volume = {abs/1409.6591},
year = {2014},
url = {http://arxiv.org/abs/1409.6591},
eprinttype = {arXiv},
eprint = {1409.6591},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BezivinPARS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeR13,
author = {Richard F. Paige and
Louis M. Rose},
title = {Lies, Damned Lies and UML2Java},
journal = {J. Object Technol.},
volume = {12},
number = {1},
year = {2013},
url = {https://doi.org/10.5381/jot.2013.12.1.c1},
doi = {10.5381/JOT.2013.12.1.C1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeG13,
author = {Richard F. Paige and
Jeff Gray},
title = {Guest editorial to the special issue on model transformation},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {85--87},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0209-9},
doi = {10.1007/S10270-011-0209-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RoseGLEKP13,
author = {Louis M. Rose and
Esther Guerra and
Juan de Lara and
Anne Etien and
Dimitris S. Kolovos and
Richard F. Paige},
title = {Genericity for model management operations},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {201--219},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0203-2},
doi = {10.1007/S10270-011-0203-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RoseGLEKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuerraLKPS13,
author = {Esther Guerra and
Juan de Lara and
Dimitrios S. Kolovos and
Richard F. Paige and
Osmar Marchi dos Santos},
title = {Engineering model transformations with transML},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {555--577},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0211-2},
doi = {10.1007/S10270-011-0211-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GuerraLKPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarmanPW04,
author = {Mark Harman and
Richard F. Paige and
James R. Williams},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {1st international workshop on combining modelling and search-based
software engineering {(CMSBSE} 2013)},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1513--1514},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606763},
doi = {10.1109/ICSE.2013.6606763},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HarmanPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtleeBCFGPR04,
author = {Joanne M. Atlee and
Robert Baillargeon and
Marsha Chechik and
Robert B. France and
Jeff Gray and
Richard F. Paige and
Bernhard Rumpe},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {5th international workshop on modeling in software engineering (MiSE
2013)},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1531--1532},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606772},
doi = {10.1109/ICSE.2013.6606772},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AtleeBCFGPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/RosePFP13,
author = {Louis M. Rose and
Simon M. Poulding and
Robert Feldt and
Richard F. Paige},
title = {Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing},
booktitle = {2013 {IEEE} International Conference on Software Maintenance, Eindhoven,
The Netherlands, September 22-28, 2013},
pages = {480--483},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSM.2013.77},
doi = {10.1109/ICSM.2013.77},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/RosePFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosMRP13,
author = {Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
Horacio Hoyos Rodriguez and
Richard F. Paige},
editor = {Juan de Lara and
Davide Di Ruscio and
Alfonso Pierantonio},
title = {Programmatic Muddle Management},
booktitle = {Proceedings of the Workshop on Extreme Modeling co-located with {ACM/IEEE}
16th International Conference on Model Driven Engineering Languages
{\&} Systems (MoDELS 2013), Miami, Florida, USA, September 29,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1089},
pages = {2--10},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1089/1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/KolovosMRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TaromiradMP13,
author = {Masoumeh Taromirad and
Nicholas Drivalos Matragkas and
Richard F. Paige},
editor = {Christophe Jacquet and
Daniel Balasubramanian and
Edward Jones and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Towards a Multi-Domain Model-Driven Traceability Approach},
booktitle = {Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located
with the 16th International Conference on Model Driven Engineering
Languages and Systems, MPM@MoDELS 2013, Miami, Florida, USA, September
30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1112},
pages = {27--36},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1112/05-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/TaromiradMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FrancisKMP13,
author = {Martins Francis and
Dimitrios S. Kolovos and
Nikolaos Drivalos Matragkas and
Richard F. Paige},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Adding Spreadsheets to the {MDE} Toolkit},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {35--51},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_3},
doi = {10.1007/978-3-642-41533-3\_3},
timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
biburl = {https://dblp.org/rec/conf/models/FrancisKMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MatragkasKPZ13,
author = {Nikolaos Drivalos Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige and
Athanasios Zolotas},
editor = {Benoit Baudry and
J{\"{u}}rgen Dingel and
Levi Lucio and
Hans Vangheluwe},
title = {A Traceability-Driven Approach to Model Transformation Testing},
booktitle = {Proceedings of the Second Workshop on the Analysis of Model Transformations
{(AMT} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1077},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1077/amt13\_submission\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/MatragkasKPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PaigeCKMC13,
author = {Richard F. Paige and
Radu Calinescu and
Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
Dave Cliff},
editor = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Robert B. France and
Balbir Barn and
Tony Clark and
Ulrich Frank and
Vinay Kulkarni and
Dan Turk},
title = {Multimodel-Driven Software Engineering for Evolving Enterprise Systems},
booktitle = {Joint Proceedings of the First International Workshop On the Globalization
of Modeling Languages {(GEMOC} 2013) and the First International Workshop:
Towards the Model Driven Organization {(AMINO} 2013) Co-located with
the 16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 29 - October 04,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1102},
pages = {23--32},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1102/amino2013\_submission\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PaigeCKMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WilliamsZMRKPP13,
author = {James R. Williams and
Athanasios Zolotas and
Nicholas Drivalos Matragkas and
Louis M. Rose and
Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Michel R. V. Chaudron and
Marcela Genero and
Silvia Abrah{\~{a}}o and
Lars Pareto},
title = {What do Metamodels Really Look Like?},
booktitle = {Proceedings of the 3rd International Workshop on Experiences and Empirical
Studies in Software Modeling co-located with 16th International Conference
on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami,
USA, October 1, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1078},
pages = {55--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1078/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/WilliamsZMRKPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WilliamsPPP13,
author = {James R. Williams and
Simon M. Poulding and
Richard F. Paige and
Fiona Polack},
editor = {Nelly Bencomo and
Robert B. France and
Sebastian G{\"{o}}tz and
Bernhard Rumpe},
title = {Exploring the Use of Metaheuristic Search to Infer Models of Dynamic
System Behaviour},
booktitle = {Proceedings of the 8th Workshop on Models @ Run.time co-located with
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1079},
pages = {76--88},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1079/mrt13\_submission\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/WilliamsPPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosRMPGCLRV13,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Nicholas Drivalos Matragkas and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Massimo Tisi and
Jordi Cabot},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {A research roadmap towards achieving scalability in model driven engineering},
booktitle = {Proceedings of the Workshop on Scalability in Model Driven Engineering,
Budapest, Hungary, June 17, 2013},
pages = {2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487766.2487768},
doi = {10.1145/2487766.2487768},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosRMPGCLRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/PaigeK13,
author = {Richard F. Paige and
Dimitrios S. Kolovos},
editor = {Manfred Broy and
Doron A. Peled and
Georg Kalus},
title = {Model-Driven Engineering and Model Transformation: for Fun and Profit},
booktitle = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
pages = {275--311},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-207-3-275},
doi = {10.3233/978-1-61499-207-3-275},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/PaigeK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013cmsbse,
editor = {Richard F. Paige and
Mark Harman and
James R. Williams},
title = {1st International Workshop on Combining Modelling and Search-Based
Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May
20, 2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6588675/proceeding},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2013cmsbse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013mise,
editor = {Joanne M. Atlee and
Robert Baillargeon and
Marsha Chechik and
Robert B. France and
Jeff Gray and
Richard F. Paige and
Bernhard Rumpe},
title = {Proceedings of the 5th International Workshop on Modeling in Software
Engineering, MiSE 2013, San Francisco, California, USA, May 18-19,
2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6588674/proceeding},
isbn = {978-1-4673-6447-8},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2013mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2013,
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1},
doi = {10.1007/978-3-319-02654-1},
isbn = {978-3-319-02653-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1948,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {The Value of User-Visible Internet Cryptography},
journal = {CoRR},
volume = {abs/1303.1948},
year = {2013},
url = {http://arxiv.org/abs/1303.1948},
eprinttype = {arXiv},
eprint = {1303.1948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-1948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SommervilleCCKKKMP12,
author = {Ian Sommerville and
Dave Cliff and
Radu Calinescu and
Justin Keen and
Tim Kelly and
Marta Z. Kwiatkowska and
John A. McDermid and
Richard F. Paige},
title = {Large-scale complex {IT} systems},
journal = {Commun. {ACM}},
volume = {55},
number = {7},
pages = {71--77},
year = {2012},
url = {https://doi.org/10.1145/2209249.2209268},
doi = {10.1145/2209249.2209268},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SommervilleCCKKKMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/WimmerKKRSSKPLSW12,
author = {Manuel Wimmer and
Gerti Kappel and
Angelika Kusel and
Werner Retschitzegger and
Johannes Sch{\"{o}}nb{\"{o}}ck and
Wieland Schwinger and
Dimitris S. Kolovos and
Richard F. Paige and
Marius Lauder and
Andy Sch{\"{u}}rr and
Dennis Wagelaar},
title = {Surveying Rule Inheritance in Model-to-Model Transformation Languages},
journal = {J. Object Technol.},
volume = {11},
number = {2},
pages = {3: 1--46},
year = {2012},
url = {https://doi.org/10.5381/jot.2012.11.2.a3},
doi = {10.5381/JOT.2012.11.2.A3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/WimmerKKRSSKPLSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CancilaEP12,
author = {Daniela Cancila and
Hu{\'{a}}scar Espinoza and
Richard F. Paige},
title = {Special issue on Model Based Engineering for Embedded Systems Design},
journal = {J. Syst. Archit.},
volume = {58},
number = {5},
pages = {177},
year = {2012},
url = {https://doi.org/10.1016/j.sysarc.2012.04.002},
doi = {10.1016/J.SYSARC.2012.04.002},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/CancilaEP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeV12,
author = {Richard F. Paige and
D{\'{a}}niel Varr{\'{o}}},
title = {Lessons learned from building model-driven development tools},
journal = {Softw. Syst. Model.},
volume = {11},
number = {4},
pages = {527--539},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0257-9},
doi = {10.1007/S10270-012-0257-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/CuiP12,
author = {Xiaofeng Cui and
Richard F. Paige},
editor = {Huaikou Miao and
Roger Y. Lee and
Hongwei Zeng and
Jongmoon Baik},
title = {An Integrated Framework for System/Software Requirements Development
Aligning with Business Motivations},
booktitle = {2012 {IEEE/ACIS} 11th International Conference on Computer and Information
Science, Shanghai, China, May 30 - June 1, 2012},
pages = {547--552},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICIS.2012.32},
doi = {10.1109/ICIS.2012.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/CuiP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/KolovosRWMP12,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
James R. Williams and
Nikolas Drivalos Matragkas and
Richard F. Paige},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {A Lightweight Approach for Managing {XML} Documents with {MDE} Languages},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {118--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_11},
doi = {10.1007/978-3-642-31491-9\_11},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/KolovosRWMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RadjenovicPRWK12,
author = {Alek Radjenovic and
Richard F. Paige and
Louis M. Rose and
Jim Woodcock and
Steve King},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {A Plug-in Based Approach for {UML} Model Simulation},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {328--339},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_25},
doi = {10.1007/978-3-642-31491-9\_25},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/RadjenovicPRWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RadjenovicMPRMBK12,
author = {Alek Radjenovic and
Nikolas Drivalos Matragkas and
Richard F. Paige and
Matteo Rossi and
Alfredo Motta and
Luciano Baresi and
Dimitrios S. Kolovos},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {{MADES:} {A} Tool Chain for Automated Verification of {UML} Models
of Embedded Systems},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {340--351},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_26},
doi = {10.1007/978-3-642-31491-9\_26},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/RadjenovicMPRMBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BurtonPRKPS12,
author = {Frank R. Burton and
Richard F. Paige and
Louis M. Rose and
Dimitrios S. Kolovos and
Simon M. Poulding and
Simon Smith},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {Solving Acquisition Problems Using Model-Driven Engineering},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {428--443},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_32},
doi = {10.1007/978-3-642-31491-9\_32},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/BurtonPRKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RoseMKP12,
author = {Louis M. Rose and
Nicholas Drivalos Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Joanne M. Atlee and
Robert Baillargeon and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steffen Zschaler},
title = {A feature model for model-to-text transformation languages},
booktitle = {Proceedings of the 4th International Workshop on Modeling in Software
Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012},
pages = {57--63},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MISE.2012.6226015},
doi = {10.1109/MISE.2012.6226015},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RoseMKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AlkandariP12,
author = {Fatima Alkandari and
Richard F. Paige},
title = {Modelling and comparing cloud computing service level agreements},
booktitle = {Proceedings of the 1st International Workshop on Model-Driven Engineering
for High Performance and CLoud computing co-located with 15th International
Conference on Model Driven Engineering Languages and Systems {(MODELS}
2012), Innsbruck, Austria, October 01 - 05, 2012},
pages = {3},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2446224.2446227},
doi = {10.1145/2446224.2446227},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AlkandariP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/EtienABP12,
author = {Anne Etien and
Vincent Aranega and
Xavier Blanc and
Richard F. Paige},
title = {Chaining model transformations},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {9--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432500},
doi = {10.1145/2432497.2432500},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/EtienABP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RoseKP12,
author = {Louis M. Rose and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Davide Di Ruscio and
Alfonso Pierantonio and
Juan de Lara},
title = {EuGENia live: a flexible graphical modelling tool},
booktitle = {Proceedings of the 2012 Extreme Modeling Workshop, {XM} '12, Innsbruck,
Austria, October 1, 2012},
pages = {15--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2467307.2467311},
doi = {10.1145/2467307.2467311},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/RoseKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WilliamsPP12,
author = {James R. Williams and
Richard F. Paige and
Fiona A. C. Polack},
title = {Searching for model migration strategies},
booktitle = {Proceedings of the 6th International Workshop on Models and Evolution,
ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {39--44},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2523599.2523607},
doi = {10.1145/2523599.2523607},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/WilliamsPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TaromiradP12,
author = {Masoumeh Taromirad and
Richard F. Paige},
editor = {Davide Di Ruscio and
Alfonso Pierantonio and
Juan de Lara},
title = {Agile requirements traceability using domain-specific modelling languages},
booktitle = {Proceedings of the 2012 Extreme Modeling Workshop, {XM} '12, Innsbruck,
Austria, October 1, 2012},
pages = {45--50},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2467307.2467316},
doi = {10.1145/2467307.2467316},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/TaromiradP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WilliamsBPP12,
author = {James R. Williams and
Frank R. Burton and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Sensitivity Analysis in Model-Driven Engineering},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {743--758},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_47},
doi = {10.1007/978-3-642-33666-9\_47},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/WilliamsBPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/PaigeBGPBP12,
author = {Richard F. Paige and
Phillip J. Brooke and
Xiaocheng Ge and
Christopher Power and
Frank R. Burton and
Simon M. Poulding},
editor = {Radu Calinescu and
David Garlan},
title = {Revealing Complexity through Domain-Specific Modelling and Analysis},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {251--265},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_13},
doi = {10.1007/978-3-642-34059-8\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/PaigeBGPBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/PaigeKP12,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona A. C. Polack},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Metamodelling for Grammarware Researchers},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {64--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_5},
doi = {10.1007/978-3-642-36089-3\_5},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/PaigeKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/BrookePP12,
author = {Phillip J. Brooke and
Richard F. Paige and
Christopher Power},
editor = {Bruce Christianson and
James A. Malcolm and
Frank Stajano and
Jonathan Anderson},
title = {Approaches to Modelling Security Scenarios with Domain-Specific Languages},
booktitle = {Security Protocols {XX} - 20th International Workshop, Cambridge,
UK, April 12-13, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7622},
pages = {41--54},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35694-0\_6},
doi = {10.1007/978-3-642-35694-0\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/spw/BrookePP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RadjenovicP11,
author = {Alek Radjenovic and
Richard F. Paige},
title = {An Approach for Model Querying-by-Example Applied to Multi- Paradigm
Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {50},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.50.796},
doi = {10.14279/TUJ.ECEASST.50.796},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RadjenovicP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/PaigeGCGB11,
author = {Richard F. Paige and
Andy Galloway and
Ramon Charalambous and
Xiaocheng Ge and
Phillip J. Brooke},
title = {High-integrity agile processes for the development of safety critical
software},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {2},
number = {2},
pages = {181--216},
year = {2011},
url = {https://doi.org/10.1504/IJCCBS.2011.041259},
doi = {10.1504/IJCCBS.2011.041259},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccbs/PaigeGCGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeDKFPOZ11,
author = {Richard F. Paige and
Nikolaos Drivalos and
Dimitrios S. Kolovos and
Kiran Jude Fernandes and
Christopher Power and
G{\o}ran K. Olsen and
Steffen Zschaler},
title = {Rigorous identification and encoding of trace-links in model-driven
engineering},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {469--487},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0158-8},
doi = {10.1007/S10270-010-0158-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeDKFPOZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/centeris/GePM11,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Maria Manuela Cruz{-}Cunha and
Jo{\~{a}}o Varaj{\~{a}}o and
Philip Powell and
Ricardo Martinho},
title = {Failures of a Business Process in Enterprise Systems},
booktitle = {ENTERprise Information Systems - International Conference, {CENTERIS}
2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings,
Part {I}},
series = {Communications in Computer and Information Science},
volume = {219},
pages = {139--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24358-5\_14},
doi = {10.1007/978-3-642-24358-5\_14},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/centeris/GePM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/KolovosPRW11,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Louis M. Rose and
James R. Williams},
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Integrated Model Management with Epsilon},
booktitle = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
pages = {391--392},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7\_33},
doi = {10.1007/978-3-642-21470-7\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/KolovosPRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/PaigeKRMW11,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Louis M. Rose and
Nikolas Drivalos Matragkas and
James R. Williams},
editor = {Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Model Management in the Wild},
booktitle = {Generative and Transformational Techniques in Software Engineering
IV, International Summer School, {GTTSE} 2011, Braga, Portugal, July
3-9, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7680},
pages = {197--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35992-7\_5},
doi = {10.1007/978-3-642-35992-7\_5},
timestamp = {Sun, 26 Apr 2020 17:09:18 +0200},
biburl = {https://dblp.org/rec/conf/gttse/PaigeKRMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SantosWP11,
author = {Osmar Marchi dos Santos and
Jim Woodcock and
Richard F. Paige},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Using Model Transformation to Generate Graphical Counter-Examples
for the Formal Analysis of xUML Models},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.19},
doi = {10.1109/ICECCS.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SantosWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GePM11,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Model-based Failure Failure Analysis of Business Process},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June,
2011},
pages = {388--391},
publisher = {SciTePress},
year = {2011},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/GePM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/WilliamsKPP11,
author = {James R. Williams and
Dimitrios S. Kolovos and
Fiona A. C. Polack and
Richard F. Paige},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos},
title = {Requirements for a model comparison language},
booktitle = {Proceedings of the 2nd International Workshop on Model Comparison
in Practice, {IWMCP} '11, Zurich, Switzerland, June 30, 2011},
pages = {26--29},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000410.2000415},
doi = {10.1145/2000410.2000415},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmt/WilliamsKPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/WimmerKKRSSKPLSW11,
author = {Manuel Wimmer and
Gerti Kappel and
Angelika Kusel and
Werner Retschitzegger and
Johannes Sch{\"{o}}nb{\"{o}}ck and
Wieland Schwinger and
Dimitris S. Kolovos and
Richard F. Paige and
Marius Lauder and
Andy Sch{\"{u}}rr and
Dennis Wagelaar},
editor = {Jordi Cabot and
Eelco Visser},
title = {A Comparison of Rule Inheritance in Model-to-Model Transformation
Languages},
booktitle = {Theory and Practice of Model Transformations - 4th International Conference,
ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6707},
pages = {31--46},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21732-6\_3},
doi = {10.1007/978-3-642-21732-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/WimmerKKRSSKPLSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GrayMAIKP11,
author = {Ian Gray and
Nicholas Matragkas and
Neil C. Audsley and
Leandro Soares Indrusiak and
Dimitris S. Kolovos and
Richard F. Paige},
title = {Model-Based Hardware Generation and Programming - The {MADES} Approach},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {88--96},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.20},
doi = {10.1109/ISORCW.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/GrayMAIKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Garcia-DominguezKRPM11,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Inmaculada Medina{-}Bulo},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {EUnit: {A} Unit Testing Framework for Model Management Tasks},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {395--409},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_29},
doi = {10.1007/978-3-642-24485-8\_29},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/Garcia-DominguezKRPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/WilliamsPRPP11,
author = {James R. Williams and
Simon M. Poulding and
Louis M. Rose and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Myra B. Cohen and
Mel {\'{O}} Cinn{\'{e}}ide},
title = {Identifying Desirable Game Character Behaviours through the Application
of Evolutionary Algorithms to Model-Driven Engineering Metamodels},
booktitle = {Search Based Software Engineering - Third International Symposium,
{SSBSE} 2011, Szeged, Hungary, September 10-12, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6956},
pages = {112--126},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23716-4\_13},
doi = {10.1007/978-3-642-23716-4\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/WilliamsPRPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/EspinozaPG11,
author = {Angelina Espinoza and
Richard F. Paige and
Juan Garbajosa},
editor = {Alberto Sillitti and
Orit Hazzan and
Emily Bache and
Xavier Albaladejo},
title = {Value-Based Software Traceability Workshop {(VALSOT} 2011)},
booktitle = {Agile Processes in Software Engineering and Extreme Programming -
12th International Conference, {XP} 2011, Madrid, Spain, May 10-13,
2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {77},
pages = {330},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20677-1\_30},
doi = {10.1007/978-3-642-20677-1\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xpu/EspinozaPG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4764,
author = {Louis M. Rose and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
James R. Williams and
Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Saying Hello World with Epsilon - {A} Solution to the 2011 Instructive
Case},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {332--339},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.27},
doi = {10.4204/EPTCS.74.27},
timestamp = {Wed, 07 Dec 2022 23:01:02 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2011,
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7},
doi = {10.1007/978-3-642-21470-7},
isbn = {978-3-642-21469-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3444,
author = {Ian Sommerville and
Dave Cliff and
Radu Calinescu and
Justin Keen and
Tim Kelly and
Marta Z. Kwiatkowska and
John A. McDermid and
Richard F. Paige},
title = {Large-scale Complex {IT} Systems},
journal = {CoRR},
volume = {abs/1109.3444},
year = {2011},
url = {http://arxiv.org/abs/1109.3444},
eprinttype = {arXiv},
eprint = {1109.3444},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RamsinP10,
author = {Raman Ramsin and
Richard F. Paige},
title = {Iterative criteria-based approach to engineering the requirements
of software development methodologies},
journal = {{IET} Softw.},
volume = {4},
number = {2},
pages = {91--104},
year = {2010},
url = {https://doi.org/10.1049/iet-sen.2009.0032},
doi = {10.1049/IET-SEN.2009.0032},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/RamsinP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeOON10,
author = {Richard F. Paige and
G{\o}ran K. Olsen and
Jon Oldevik and
Tor Neple},
title = {Guest editorial to the theme issue on traceability in model-driven
engineering},
journal = {Softw. Syst. Model.},
volume = {9},
number = {4},
pages = {425--426},
year = {2010},
url = {https://doi.org/10.1007/s10270-010-0153-0},
doi = {10.1007/S10270-010-0153-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeOON10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BrookePP10,
author = {Phillip J. Brooke and
Richard F. Paige and
Christopher Power},
title = {Document-centric {XML} workflows with fragment digital signatures},
journal = {Softw. Pract. Exp.},
volume = {40},
number = {8},
pages = {655--672},
year = {2010},
url = {https://doi.org/10.1002/spe.974},
doi = {10.1002/SPE.974},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BrookePP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agiledc/GePM10,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Sallyann Freudenberg and
Joseph Chao},
title = {An Iterative Approach for Development of Safety-Critical Software
and Safety Arguments},
booktitle = {2010 Agile Conference, {AGILE} 2010, Orlando, Florida, USA, August
9-13, 2010},
pages = {35--43},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AGILE.2010.10},
doi = {10.1109/AGILE.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agiledc/GePM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WilliamsPP10,
author = {James R. Williams and
Fiona A. C. Polack and
Richard F. Paige},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Formal Analysis in Model Management: Exploiting the Power of {CZT}},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {414},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_46},
doi = {10.1007/978-3-642-11811-1\_46},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/WilliamsPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/centeris/TabatabaiePP10,
author = {Malihe Tabatabaie and
Fiona A. C. Polack and
Richard F. Paige},
editor = {Jo{\~{a}}o Eduardo Quintela Varaj{\~{a}}o and
Maria Manuela Cruz{-}Cunha and
Goran D. Putnik and
Ant{\'{o}}nio Trigo},
title = {Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information
Systems},
booktitle = {ENTERprise Information Systems - International Conference, {CENTERIS}
2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings,
Part {I}},
series = {Communications in Computer and Information Science},
volume = {109},
pages = {62--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16402-6\_7},
doi = {10.1007/978-3-642-16402-6\_7},
timestamp = {Tue, 21 Mar 2023 20:58:44 +0100},
biburl = {https://dblp.org/rec/conf/centeris/TabatabaiePP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/Paige10,
author = {Richard F. Paige},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {Traceability in model-driven safety critical software engineering},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {5},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814393},
doi = {10.1145/1814392.1814393},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/Paige10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/MatragkasKPF10,
author = {Nikolaos Drivalos Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige and
Kiran Jude Fernandes},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {A state-based approach to traceability maintenance},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {23--30},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814396},
doi = {10.1145/1814392.1814396},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/MatragkasKPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ClowesKHRPJDP10,
author = {Darren Clowes and
Dimitrios S. Kolovos and
Chris Holmes and
Louis M. Rose and
Richard F. Paige and
Julian Johnson and
Ray Dawson and
Steve G. Probets},
editor = {Thomas K{\"{u}}hne and
Bran Selic and
Marie{-}Pierre Gervais and
Fran{\c{c}}ois Terrier},
title = {A Reflective Approach to Model-Driven Web Engineering},
booktitle = {Modelling Foundations and Applications - 6th European Conference,
{ECMFA} 2010, Paris, France, June 15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6138},
pages = {62--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13595-8\_7},
doi = {10.1007/978-3-642-13595-8\_7},
timestamp = {Tue, 16 Feb 2021 15:53:52 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/ClowesKHRPJDP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RoseKDWPPF10,
author = {Louis M. Rose and
Dimitrios S. Kolovos and
Nikolaos Drivalos and
James R. Williams and
Richard F. Paige and
Fiona A. C. Polack and
Kiran Jude Fernandes},
editor = {Thomas K{\"{u}}hne and
Bran Selic and
Marie{-}Pierre Gervais and
Fran{\c{c}}ois Terrier},
title = {Concordance: {A} Framework for Managing Model Integrity},
booktitle = {Modelling Foundations and Applications - 6th European Conference,
{ECMFA} 2010, Paris, France, June 15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6138},
pages = {245--260},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13595-8\_20},
doi = {10.1007/978-3-642-13595-8\_20},
timestamp = {Sun, 12 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/RoseKDWPPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/KolovosRMPPF10,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Nikolaos Drivalos Matragkas and
Richard F. Paige and
Fiona A. C. Polack and
Kiran Jude Fernandes},
editor = {Laurence Tratt and
Martin Gogolla},
title = {Constructing and Navigating Non-invasive Model Decorations},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {138--152},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_10},
doi = {10.1007/978-3-642-13688-7\_10},
timestamp = {Wed, 24 Jun 2020 12:50:35 +0200},
biburl = {https://dblp.org/rec/conf/icmt/KolovosRMPPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/RoseKPP10,
author = {Louis M. Rose and
Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Laurence Tratt and
Martin Gogolla},
title = {Model Migration with Epsilon Flock},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {184--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_13},
doi = {10.1007/978-3-642-13688-7\_13},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/RoseKPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HarbirdGP10,
author = {Lishan Harbird and
Andy Galloway and
Richard F. Paige},
title = {Towards a Model-Based Refinement Process for Contractual State Machines},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
Carmona, Sevilla, Spain, May 4-7, 2010},
pages = {108--115},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORCW.2010.25},
doi = {10.1109/ISORCW.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HarbirdGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RoseHWKGPP10,
author = {Louis M. Rose and
Markus Herrmannsdoerfer and
James R. Williams and
Dimitrios S. Kolovos and
Kelly Garc{\'{e}}s and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {A Comparison of Model Migration Tools},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {61--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_5},
doi = {10.1007/978-3-642-16145-2\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/RoseHWKGPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RadjenovicP10,
author = {Alek Radjenovic and
Richard F. Paige},
editor = {Jean B{\'{e}}zivin and
Richard Mark Soley and
Antonio Vallecillo},
title = {Behavioural interoperability to support model-driven systems integration},
booktitle = {Proceedings of the First International Workshop on Model-Driven Interoperability,
MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010},
pages = {98--107},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866272.1866285},
doi = {10.1145/1866272.1866285},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/RadjenovicP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GuerraLKPS10,
author = {Esther Guerra and
Juan de Lara and
Dimitrios S. Kolovos and
Richard F. Paige and
Osmar Marchi dos Santos},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {\emph{trans}ML: {A} Family of Languages to Model Model Transformations},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {106--120},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_8},
doi = {10.1007/978-3-642-16145-2\_8},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/GuerraLKPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosRAPPB10,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Saad bin Abid and
Richard F. Paige and
Fiona A. C. Polack and
Goetz Botterweck},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Taming {EMF} and {GMF} Using Model Transformation},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {211--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_15},
doi = {10.1007/978-3-642-16145-2\_15},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KolovosRAPPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GuerraLKP10,
author = {Esther Guerra and
Juan de Lara and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Inter-modelling: From Theory to Practice},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {376--391},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_26},
doi = {10.1007/978-3-642-16145-2\_26},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/GuerraLKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/GePM10,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
title = {Analysing System Failure Behaviours with {PRISM}},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {130--136},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.32},
doi = {10.1109/SSIRI-C.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/GePM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GuerraLKP10,
author = {Esther Guerra and
Juan de Lara and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Christopher D. Hundhausen and
Emmanuel Pietriga and
Paloma D{\'{\i}}az and
Mary Beth Rosson},
title = {A Visual Specification Language for Model-to-Model Transformations},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010,
Proceedings},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLHCC.2010.25},
doi = {10.1109/VLHCC.2010.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/GuerraLKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TabatabaiePP10,
author = {Malihe Tabatabaie and
Fiona A. C. Polack and
Richard F. Paige},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {KAOS-{\(\beta\)}: {A} Goal-oriented Process Model for {EIS}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {40--49},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 12:14:12 +0100},
biburl = {https://dblp.org/rec/conf/vveis/TabatabaiePP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2010,
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5626943/proceeding},
isbn = {978-0-7695-4015-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/PaigeWBC10,
author = {Richard F. Paige and
Jim Woodcock and
Phillip J. Brooke and
Ana Cavalcanti},
editor = {Phillip A. Laplante},
title = {Programming Phase: Formal Methods},
booktitle = {Encyclopedia of Software Engineering},
pages = {772--785},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044149},
doi = {10.1081/E-ESE-120044149},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/se/PaigeWBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PaigeB09,
author = {Richard F. Paige and
Phillip J. Brooke and
Jin Song Dong and
J. C. P. Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {303},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0113-z},
doi = {10.1007/S00165-009-0113-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PaigeB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookeP09,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {Cameo: an alternative model of concurrency for Eiffel},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {363--391},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0096-1},
doi = {10.1007/S00165-008-0096-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookeP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ChiversP09,
author = {Howard Chivers and
Richard F. Paige},
title = {XRound: {A} reversible template language and its application in model-based
security analysis},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {5},
pages = {876--893},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2008.05.006},
doi = {10.1016/J.INFSOF.2008.05.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/ChiversP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KolovosPP09,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {On the Evolution of {OCL} for Capturing Structural Constraints in
Modelling Languages},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {204--218},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_13},
doi = {10.1007/978-3-642-11447-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KolovosPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SantosWPK09,
author = {Osmar Marchi dos Santos and
Jim Woodcock and
Richard F. Paige and
Steve King},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Use of Model Transformation in the {INESS} Project},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {147--165},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_8},
doi = {10.1007/978-3-642-17071-3\_8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/SantosWPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PowerP09,
author = {Christopher Power and
Richard F. Paige},
editor = {Constantine Stephanidis},
title = {Content Personalization for Inclusive Education through Model-Driven
Engineering},
booktitle = {Universal Access in Human-Computer Interaction. Applications and Services,
5th International Conference, {UAHCI} 2009, Held as Part of {HCI}
International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {5616},
pages = {102--109},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02713-0\_11},
doi = {10.1007/978-3-642-02713-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/PowerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PaigeKRDP09,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Louis M. Rose and
Nikolaos Drivalos and
Fiona A. C. Polack},
title = {The Design of a Conceptual Framework and Technical Infrastructure
for Model Management Language Engineering},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.14},
doi = {10.1109/ICECCS.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PaigeKRDP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KolovosRPP09a,
author = {Dimitrios S. Kolovos and
Davide Di Ruscio and
Alfonso Pierantonio and
Richard F. Paige},
title = {Different models for model matching: An analysis of approaches to
support model differencing},
booktitle = {Proceedings of the 2009 {ICSE} Workshop on Comparison and Versioning
of Software Models, {CVSM} '09, Vancouver, BC, Canada, May 2009},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CVSM.2009.5071714},
doi = {10.1109/CVSM.2009.5071714},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KolovosRPP09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KolovosRPP09,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Fiona A. C. Polack},
title = {Raising the level of abstraction in the development of GMF-based graphical
model editors},
booktitle = {{ICSE} Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver,
BC, Canada, May 17-18, 2009},
pages = {13--19},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MISE.2009.5069891},
doi = {10.1109/MISE.2009.5069891},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KolovosRPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AydalPUW09,
author = {Emine Gokce Aydal and
Richard F. Paige and
Mark Utting and
Jim Woodcock},
title = {Putting Formal Specifications under the Magnifying Glass: Model-based
Testing for Validation},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.20},
doi = {10.1109/ICST.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AydalPUW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RoseKPP09,
author = {Louis M. Rose and
Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
title = {Enhanced Automation for Managing Model and Metamodel Inconsistency},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {545--549},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.57},
doi = {10.1109/ASE.2009.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RoseKPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GePM09,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Sven Apel and
William R. Cook and
Krzysztof Czarnecki and
Christian K{\"{a}}stner and
Neil Loughran and
Oscar Nierstrasz},
title = {Domain analysis on an electronic health records system},
booktitle = {Proceedings of the First International Workshop on Feature-Oriented
Software Development, {FOSD} 2009, Denver, Colorado, USA, October
6, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {49--54},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629716.1629727},
doi = {10.1145/1629716.1629727},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GePM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JohannesZFCKP09,
author = {Jendrik Johannes and
Steffen Zschaler and
Miguel A. Fern{\'{a}}ndez and
Antonio Castillo and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Abstracting Complex Languages through Transformation and Composition},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {546--550},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_41},
doi = {10.1007/978-3-642-04425-0\_41},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/JohannesZFCKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GePM09,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {Probabilistic Failure Propagation and Transformation Analysis},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {215--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_18},
doi = {10.1007/978-3-642-04468-7\_18},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/GePM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ZschalerKDPR09,
author = {Steffen Zschaler and
Dimitrios S. Kolovos and
Nikolaos Drivalos and
Richard F. Paige and
Awais Rashid},
editor = {Mark van den Brand and
Dragan Gasevic and
Jeff Gray},
title = {Domain-Specific Metamodelling Languages for Software Language Engineering},
booktitle = {Software Language Engineering, Second International Conference, {SLE}
2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5969},
pages = {334--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12107-4\_23},
doi = {10.1007/978-3-642-12107-4\_23},
timestamp = {Mon, 21 Jun 2021 12:26:17 +0200},
biburl = {https://dblp.org/rec/conf/sle/ZschalerKDPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/TreharneTPK09,
author = {Helen Treharne and
Edward Turner and
Richard F. Paige and
Dimitrios S. Kolovos},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {Automatic Generation of Integrated Formal Models Corresponding to
{UML} System Models},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {357--367},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_21},
doi = {10.1007/978-3-642-02571-6\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/TreharneTPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/TorshiziOPC09,
author = {Faraz Ahmadi Torshizi and
Jonathan S. Ostroff and
Richard F. Paige and
Marsha Chechik},
editor = {Peter H. Welch and
Herman W. Roebbers and
Jan F. Broenink and
Fred R. M. Barnes and
Carl G. Ritson and
Adam T. Sampson and
Gardiner S. Stiles and
Brian Vinter},
title = {The {SCOOP} Concurrency Model in Java-like Languages},
booktitle = {The thirty-second Communicating Process Architectures Conference,
{CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
Netherlands, 1-6 November 2009},
series = {Concurrent Systems Engineering Series},
volume = {67},
pages = {7--27},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-065-0-7},
doi = {10.3233/978-1-60750-065-0-7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/TorshiziOPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2009,
editor = {Richard F. Paige and
Alan Hartman and
Arend Rensink},
title = {Model Driven Architecture - Foundations and Applications, 5th European
Conference, {ECMDA-FA} 2009, Enschede, The Netherlands, June 23-26,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5562},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02674-4},
doi = {10.1007/978-3-642-02674-4},
isbn = {978-3-642-02673-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmt/2009,
editor = {Richard F. Paige},
title = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5},
doi = {10.1007/978-3-642-02408-5},
isbn = {978-3-642-02407-8},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/RamsinP08,
author = {Raman Ramsin and
Richard F. Paige},
title = {Process-centered review of object oriented software development methodologies},
journal = {{ACM} Comput. Surv.},
volume = {40},
number = {1},
pages = {3:1--3:89},
year = {2008},
url = {https://doi.org/10.1145/1322432.1322435},
doi = {10.1145/1322432.1322435},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/RamsinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AydalPW08,
author = {Emine Gokce Aydal and
Richard F. Paige and
Jim Woodcock},
title = {Evaluation of {OCL} for Large-Scale Modelling: {A} Different View
of the Mondex Purse},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {9},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.9.102},
doi = {10.14279/TUJ.ECEASST.9.102},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/AydalPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AydalPW08a,
author = {Emine Gokce Aydal and
Richard F. Paige and
Jim Woodstock},
title = {Observations for Assertion-based Scenarios in the context of Model
Validation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {15},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.15.181},
doi = {10.14279/TUJ.ECEASST.15.181},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AydalPW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Paige08,
author = {Richard F. Paige},
title = {Model-driven software development. By Thomas Stahl and Markus Volter.
Published by John Wiley {\&} Sons, New York, 2006. {ISBN:} 0470025700},
journal = {Softw. Test. Verification Reliab.},
volume = {18},
number = {4},
pages = {251--252},
year = {2008},
url = {https://doi.org/10.1002/stvr.378},
doi = {10.1002/STVR.378},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Paige08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RosePKP08,
author = {Louis M. Rose and
Richard F. Paige and
Dimitrios S. Kolovos and
Fiona Polack},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {The Epsilon Generation Language},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {1--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_1},
doi = {10.1007/978-3-540-69100-6\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/RosePKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/KolovosPP08,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
editor = {Antonio Vallecillo and
Jeff Gray and
Alfonso Pierantonio},
title = {The Epsilon Transformation Language},
booktitle = {Theory and Practice of Model Transformations - 1st International Conference,
ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5063},
pages = {46--60},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69927-9\_4},
doi = {10.1007/978-3-540-69927-9\_4},
timestamp = {Mon, 21 Jun 2021 12:26:29 +0200},
biburl = {https://dblp.org/rec/conf/icmt/KolovosPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KolovosPP08,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Joanne M. Atlee and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Steffen Zschaler},
title = {Novel features in languages of the epsilon model management platform},
booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2008,
Leipzig, Germany, May 10-11, 2008},
pages = {69--73},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370731.1370748},
doi = {10.1145/1370731.1370748},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KolovosPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AydalPW08,
author = {Emine Gokce Aydal and
Richard F. Paige and
Jim Woodcock},
title = {Observations for Assertion-based Scenarios in the context of Model
Validation and Extension to Test Case Generation},
booktitle = {First International Conference on Software Testing Verification and
Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops
Proceedings},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSTW.2008.29},
doi = {10.1109/ICSTW.2008.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AydalPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PolackPRP08,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Louis M. Rose and
Fiona A. C. Polack},
title = {Unit Testing Model Management Operations},
booktitle = {First International Conference on Software Testing Verification and
Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops
Proceedings},
pages = {97--104},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSTW.2008.50},
doi = {10.1109/ICSTW.2008.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PolackPRP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KolovosPP08,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
title = {Detecting and Repairing Inconsistencies across Heterogeneous Models},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {356--364},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.23},
doi = {10.1109/ICST.2008.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KolovosPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosPP08,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
editor = {Michel R. V. Chaudron},
title = {The Grand Challenge of Scalability for Model Driven Engineering},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {48--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_5},
doi = {10.1007/978-3-642-01648-6\_5},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/KolovosPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PaigeRGKB08,
author = {Richard F. Paige and
Louis M. Rose and
Xiaocheng Ge and
Dimitrios S. Kolovos and
Phillip J. Brooke},
editor = {Michel R. V. Chaudron},
title = {{FPTC:} Automated Safety Analysis for Domain-Specific Languages},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {229--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_25},
doi = {10.1007/978-3-642-01648-6\_25},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/PaigeRGKB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RosePKP08,
author = {Louis M. Rose and
Richard F. Paige and
Dimitrios S. Kolovos and
Fiona Polack},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Constructing Models with the Human-Usable Textual Notation},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {249--263},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_18},
doi = {10.1007/978-3-540-87875-9\_18},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/RosePKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PaigeCGB08,
author = {Richard F. Paige and
Ramon Charalambous and
Xiaocheng Ge and
Phillip J. Brooke},
editor = {Michael D. Harrison and
Mark{-}Alexander Sujan},
title = {Towards Agile Engineering of High-Integrity Systems},
booktitle = {Computer Safety, Reliability, and Security, 27th International Conference,
{SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5219},
pages = {30--43},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87698-4\_6},
doi = {10.1007/978-3-540-87698-4\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PaigeCGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/DrivalosKPF08,
author = {Nikolaos Drivalos and
Dimitrios S. Kolovos and
Richard F. Paige and
Kiran Jude Fernandes},
editor = {Dragan Gasevic and
Ralf L{\"{a}}mmel and
Eric Van Wyk},
title = {Engineering a {DSL} for Software Traceability},
booktitle = {Software Language Engineering, First International Conference, {SLE}
2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5452},
pages = {151--167},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00434-6\_10},
doi = {10.1007/978-3-642-00434-6\_10},
timestamp = {Sun, 12 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/DrivalosKPF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/RadjenovicP08,
author = {Alek Radjenovic and
Richard F. Paige},
title = {The Role of Dependency Links in Ensuring Architectural View Consistency},
booktitle = {Seventh Working {IEEE} / {IFIP} Conference on Software Architecture
{(WICSA} 2008), 18-22 February 2008, Vancouver, BC, Canada},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WICSA.2008.30},
doi = {10.1109/WICSA.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/RadjenovicP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8331,
editor = {Uwe A{\ss}mann and
Jean B{\'{e}}zivin and
Richard F. Paige and
Bernhard Rumpe and
Douglas C. Schmidt},
title = {Perspectives Workshop: Model Engineering of Complex Systems (MECS),
10.08. - 13.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08331/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/46-2008,
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1},
doi = {10.1007/978-3-540-69824-1},
isbn = {978-3-540-69823-4},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/46-2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AssmannBPRS08,
author = {Uwe A{\ss}mann and
Jean B{\'{e}}zivin and
Richard F. Paige and
Bernhard Rumpe and
Douglas C. Schmidt},
editor = {Uwe A{\ss}mann and
Jean B{\'{e}}zivin and
Richard F. Paige and
Bernhard Rumpe and
Douglas C. Schmidt},
title = {08331 Abstracts Collection - Perspectives Workshop: Model Engineering
of Complex Systems {(MECS)}},
booktitle = {Perspectives Workshop: Model Engineering of Complex Systems (MECS),
10.08. - 13.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1604/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AssmannBPRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BezivinPARS08,
author = {Jean B{\'{e}}zivin and
Richard F. Paige and
Uwe A{\ss}mann and
Bernhard Rumpe and
Douglas C. Schmidt},
editor = {Uwe A{\ss}mann and
Jean B{\'{e}}zivin and
Richard F. Paige and
Bernhard Rumpe and
Douglas C. Schmidt},
title = {08331 Manifesto - Model Engineering for Complex Systems},
booktitle = {Perspectives Workshop: Model Engineering of Complex Systems (MECS),
10.08. - 13.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1603/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BezivinPARS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/BrookeP07,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {Practical Distributed Processing},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-84628-841-8},
doi = {10.1007/978-1-84628-841-8},
isbn = {978-1-84628-840-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/BrookeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookePJ07,
author = {Phillip J. Brooke and
Richard F. Paige and
Jeremy L. Jacob},
title = {A {CSP} model of Eiffel's {SCOOP}},
journal = {Formal Aspects Comput.},
volume = {19},
number = {4},
pages = {487--512},
year = {2007},
url = {https://doi.org/10.1007/s00165-007-0033-8},
doi = {10.1007/S00165-007-0033-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookePJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/KolovosPPR07,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack and
Louis M. Rose},
title = {Update Transformations in the Small with the Epsilon Wizard Language},
journal = {J. Object Technol.},
volume = {6},
number = {9},
pages = {53--69},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.9.a3},
doi = {10.5381/JOT.2007.6.9.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/KolovosPPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BrookeP07,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {Exceptions in Concurrent Eiffel},
journal = {J. Object Technol.},
volume = {6},
number = {10},
pages = {111--126},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.10.a4},
doi = {10.5381/JOT.2007.6.10.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BrookeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/PaigeBO07,
author = {Richard F. Paige and
Phillip J. Brooke and
Jonathan S. Ostroff},
title = {Metamodel-based model conformance and multiview consistency checking},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {3},
pages = {11},
year = {2007},
url = {https://doi.org/10.1145/1243987.1243989},
doi = {10.1145/1243987.1243989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/PaigeBO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/AbdullahBPK07,
author = {Mohd Syazwan Abdullah and
Ian D. Benest and
Richard F. Paige and
Chris Kimble},
editor = {Christine Parent and
Klaus{-}Dieter Schewe and
Veda C. Storey and
Bernhard Thalheim},
title = {Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based
Systems},
booktitle = {Conceptual Modeling - {ER} 2007, 26th International Conference on
Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4801},
pages = {438--453},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75563-0\_30},
doi = {10.1007/978-3-540-75563-0\_30},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/AbdullahBPK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LaurensPBC07,
author = {Peter Laurens and
Richard F. Paige and
Phillip J. Brooke and
Howard Chivers},
title = {A Novel Approach to the Detection of Cheating in Multiplayer Online
Games},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.11},
doi = {10.1109/ICECCS.2007.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LaurensPBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AydalPW07,
author = {Emine Gokce Aydal and
Richard F. Paige and
Jim Woodcock},
editor = {Holger Giese},
title = {Evaluation of {OCL} for Large-Scale Modelling: {A} Different View
of the Mondex Purse},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {194--205},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_21},
doi = {10.1007/978-3-540-69073-3\_21},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AydalPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/ConmyP07,
author = {Philippa Conmy and
Richard F. Paige},
editor = {Jo{\~{a}}o M. Fernandes and
Ricardo Jorge Machado and
Ridha Kh{\'{e}}dri and
Siobh{\'{a}}n Clarke},
title = {Model-driven Development of Particle System Families},
booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 4th
International Workshop on Model-based Methodologies for Pervasive
and Embedded Software, {MOMPES} 2007, Braga, Portugal, March 31, 2007,
Proceedings},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MOMPES.2007.4},
doi = {10.1109/MOMPES.2007.4},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/ConmyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/AbdullahPKB07,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Chris Kimble and
Ian D. Benest},
title = {A {UML} Profile for Knowledge-Based Systems Modelling},
booktitle = {5th {ACIS} International Conference on Software Engineering Research,
Management {\&} Applications {(SERA} 2007), August 20-22, 2007,
Haeundae Grand Hotel, Busan, Korea},
pages = {871--878},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SERA.2007.36},
doi = {10.1109/SERA.2007.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/AbdullahPKB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/BrookeP07,
author = {Phillip J. Brooke and
Richard F. Paige},
editor = {Alistair A. McEwan and
Steve A. Schneider and
Wilson Ifill and
Peter H. Welch},
title = {Lazy Exploration and Checking of {CSP} Models with CSPsim},
booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
organised under the auspices of WoTUG and the University of Surrey,
Guildford, Surrey, UK, 8-11 July 2007},
series = {Concurrent Systems Engineering Series},
volume = {65},
pages = {33--49},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5965},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/BrookeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/GePPB07,
author = {Xiaocheng Ge and
Richard F. Paige and
Fiona Polack and
Phillip J. Brooke},
editor = {Giulio Concas and
Ernesto Damiani and
Marco Scotto and
Giancarlo Succi},
title = {Extreme Programming Security Practices},
booktitle = {Agile Processes in Software Engineering and Extreme Programming, 8th
International Conference, {XP} 2007, Como, Italy, June 18-22, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4536},
pages = {226--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73101-6\_42},
doi = {10.1007/978-3-540-73101-6\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/GePPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/AbdullahPBK07,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Ian D. Benest and
Chris Kimble},
editor = {Ilias Maglogiannis and
Kostas Karpouzis and
Manolis Wallace and
John Soldatos},
title = {Knowledge Modelling Using {UML} Profile for Knowledge-Based Systems
Development},
booktitle = {Emerging Artificial Intelligence Applications in Computer Engineering
- Real Word {AI} Systems with Applications in eHealth, HCI, Information
Retrieval and Pervasive Technologies},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {160},
pages = {74--89},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=6953},
timestamp = {Thu, 31 Mar 2022 09:36:13 +0200},
biburl = {https://dblp.org/rec/series/faia/AbdullahPBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2007,
editor = {David H. Akehurst and
R{\'{e}}gis Vogel and
Richard F. Paige},
title = {Model Driven Architecture - Foundations and Applications, 3rd European
Conference, {ECMDA-FA} 2007, Haifa, Israel, June 11-15, 2007, Proccedings},
series = {Lecture Notes in Computer Science},
volume = {4530},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72901-3},
doi = {10.1007/978-3-540-72901-3},
isbn = {978-3-540-72900-6},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KolovosPP06,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
title = {Aligning {OCL} with Domain-Specific Languages to Support Instance-Level
Model Queries},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {5},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.5.42},
doi = {10.14279/TUJ.ECEASST.5.42},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KolovosPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jkm/AbdullahKBP06,
author = {Mohd Syazwan Abdullah and
Chris Kimble and
Ian D. Benest and
Richard F. Paige},
title = {Knowledge-based systems: a re-evaluation},
journal = {J. Knowl. Manag.},
volume = {10},
number = {3},
pages = {127--142},
year = {2006},
url = {https://doi.org/10.1108/13673270610670902},
doi = {10.1108/13673270610670902},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jkm/AbdullahKBP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeAB06,
author = {Richard F. Paige and
Triston S. Attridge and
Phillip J. Brooke},
title = {Game Development Using Design-by-Contract},
journal = {J. Object Technol.},
volume = {5},
number = {7},
pages = {57--73},
year = {2006},
url = {https://doi.org/10.5381/jot.2006.5.7.a3},
doi = {10.5381/JOT.2006.5.7.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeAB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/RadjenovicP06,
author = {Alek Radjenovic and
Richard F. Paige},
title = {Architecture Description Languages for High-Integrity Real-Time Systems},
journal = {{IEEE} Softw.},
volume = {23},
number = {2},
pages = {71--79},
year = {2006},
url = {https://doi.org/10.1109/MS.2006.36},
doi = {10.1109/MS.2006.36},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/RadjenovicP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/KolovosPP06,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
editor = {Arend Rensink and
Jos Warmer},
title = {The Epsilon Object Language {(EOL)}},
booktitle = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
pages = {128--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044\_11},
doi = {10.1007/11787044\_11},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/KolovosPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/EngelPK06,
author = {Klaus{-}D. Engel and
Richard F. Paige and
Dimitrios S. Kolovos},
editor = {Arend Rensink and
Jos Warmer},
title = {Using a Model Merging Language for Reconciling Model Versions},
booktitle = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
pages = {143--157},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044\_12},
doi = {10.1007/11787044\_12},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/EngelPK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BezivinBFGJKKP06,
author = {Jean B{\'{e}}zivin and
Salim Bouzitouna and
Marcos Didonet Del Fabro and
Marie{-}Pierre Gervais and
Fr{\'{e}}d{\'{e}}ric Jouault and
Dimitrios S. Kolovos and
Ivan Kurtev and
Richard F. Paige},
editor = {Arend Rensink and
Jos Warmer},
title = {A Canonical Scheme for Model Composition},
booktitle = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
pages = {346--360},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044\_26},
doi = {10.1007/11787044\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/BezivinBFGJKKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CakicP06,
author = {Jovan Cakic and
Richard F. Paige},
title = {Origins of the Grid Architectural Style},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {227--235},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.67},
doi = {10.1109/ICECCS.2006.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CakicP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AbdullahPBK06,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Ian D. Benest and
Chris Kimble},
editor = {Yannis Manolopoulos and
Joaquim Filipe and
Panos Constantopoulos and
Jos{\'{e}} Cordeiro},
title = {Knowledge Engineering Using the {UML} Profile - Adopting the Model-Driven
Architecture for Knowledge-Based System Development},
booktitle = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
on Enterprise Information Systems: Databases and Information Systems
Integration, Paphos, Cyprus, May 23-27, 2006},
pages = {74--81},
year = {2006},
timestamp = {Thu, 02 Feb 2017 12:53:45 +0100},
biburl = {https://dblp.org/rec/conf/iceis/AbdullahPBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RadjenovicP06,
author = {Alek Radjenovic and
Richard F. Paige},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {The View Glue},
booktitle = {Architecting Dependable Systems {IV} [the book is a result of {DSN}
2006 workshops, Philadelphia, PA, {USA]}},
series = {Lecture Notes in Computer Science},
volume = {4615},
pages = {66--88},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74035-3\_4},
doi = {10.1007/978-3-540-74035-3\_4},
timestamp = {Mon, 26 Feb 2024 07:46:57 +0100},
biburl = {https://dblp.org/rec/conf/icse/RadjenovicP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/GePPCB06,
author = {Xiaocheng Ge and
Richard F. Paige and
Fiona Polack and
Howard Chivers and
Phillip J. Brooke},
editor = {David Wolber and
Neil Calder and
Christopher H. Brooks and
Athula Ginige},
title = {Agile development of secure web applications},
booktitle = {Proceedings of the 6th International Conference on Web Engineering,
{ICWE} 2006, Palo Alto, California, USA, July 11-14, 2006},
pages = {305--312},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145581.1145641},
doi = {10.1145/1145581.1145641},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/GePPCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/AbdullahPBK06,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Ian D. Benest and
Chris Kimble},
editor = {Ilias Maglogiannis and
Kostas Karpouzis and
Max Bramer},
title = {Knowledge Modelling Using The {UML} Profile},
booktitle = {Artificial Intelligence Applications and Innovations, 3rd {IFIP} Conference
on Artificial Intelligence Applications and Innovations {(AIAI)} 2006,
June 7-9, 2006, Athens, Greece},
series = {{IFIP}},
volume = {204},
pages = {70--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/0-387-34224-9\_9},
doi = {10.1007/0-387-34224-9\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/AbdullahPBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KolovosPP06,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Merging Models with the Epsilon Merging Language {(EML)}},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {215--229},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_16},
doi = {10.1007/11880240\_16},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/KolovosPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PaigeKP06,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona Polack},
editor = {Hisham Haddad},
title = {An action semantics for {MOF} 2.0},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1304--1305},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141579},
doi = {10.1145/1141277.1141579},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PaigeKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/AydalPCB06,
author = {Emine Gokce Aydal and
Richard F. Paige and
Howard Chivers and
Phillip J. Brooke},
editor = {Pekka Abrahamsson and
Michele Marchesi and
Giancarlo Succi},
title = {Security Planning and Refactoring in Extreme Programming},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 7th
International Conference, {XP} 2006, Oulu, Finland, June 17-22, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4044},
pages = {154--163},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11774129\_16},
doi = {10.1007/11774129\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/AydalPCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/PaigeWSB06,
author = {Richard F. Paige and
Xiaochen Wang and
Zo{\"{e}} R. Stephenson and
Phillip J. Brooke},
editor = {Pekka Abrahamsson and
Michele Marchesi and
Giancarlo Succi},
title = {Towards an Agile Process for Building Software Product Lines},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 7th
International Conference, {XP} 2006, Oulu, Finland, June 17-22, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4044},
pages = {198--199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11774129\_24},
doi = {10.1007/11774129\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xpu/PaigeWSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spc/2006,
editor = {John A. Clark and
Richard F. Paige and
Fiona Polack and
Phillip J. Brooke},
title = {Security in Pervasive Computing, Third International Conference, {SPC}
2006, York, UK, April 18-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3934},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11734666},
doi = {10.1007/11734666},
isbn = {3-540-33376-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/OstroffPMB05,
author = {Jonathan S. Ostroff and
Richard F. Paige and
David Makalsky and
Phillip J. Brooke},
title = {E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework
for Eiffel},
journal = {J. Object Technol.},
volume = {4},
number = {7},
pages = {97--114},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.7.a4},
doi = {10.5381/JOT.2005.4.7.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/OstroffPMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/AbdullahPBK05,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Ian D. Benest and
Chris Kimble},
title = {Unified Modeling Language for Knowledge Modelling},
booktitle = {2005 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2005), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2005), 28-30 November 2005, Vienna, Austria},
pages = {952--957},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CIMCA.2005.1631591},
doi = {10.1109/CIMCA.2005.1631591},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/AbdullahPBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ChanP05,
author = {Zhan En Chan and
Richard F. Paige},
editor = {Alan Hartman and
David Kreische},
title = {Designing a Domain-Specific Contract Language: {A} Metamodelling Approach},
booktitle = {Model Driven Architecture - Foundations and Applications, 1st European
Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3748},
pages = {175--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11581741\_14},
doi = {10.1007/11581741\_14},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ChanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ChiversP05,
author = {Howard Chivers and
Richard F. Paige},
editor = {Alan Hartman and
David Kreische},
title = {XRound: Bidirectional Transformations and Unifications Via a Reversible
Template Language},
booktitle = {Model Driven Architecture - Foundations and Applications, 1st European
Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3748},
pages = {205--219},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11581741\_16},
doi = {10.1007/11581741\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ChiversP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/AbdullahPTBK05,
author = {Mohd Syazwan Abdullah and
Richard F. Paige and
Carl Thompson and
Ian D. Benest and
Chris Kimble},
editor = {Daoliang Li and
Baoji Wang},
title = {Conceptual Modelling of Knowledge-Based Systems Using {UML}},
booktitle = {Artificial Intelligence Applications and Innovations - {IFIP} {TC12}
{WG12.5} - Second {IFIP} Conference on Artificial Intelligence Applications
and Innovations (AIAI2005), September 7-9, 2005, Beijing, China},
series = {{IFIP}},
volume = {187},
pages = {23--33},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/0-387-29295-0\_3},
doi = {10.1007/0-387-29295-0\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/AbdullahPTBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaigeB05,
author = {Richard F. Paige and
Phillip J. Brooke},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Agile Formal Method Engineering},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {109--128},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_8},
doi = {10.1007/11589976\_8},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PaigeB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/CakicP05,
author = {Jovan Cakic and
Richard F. Paige},
editor = {Gabriele Kotsis and
David Taniar and
St{\'{e}}phane Bressan and
Ismail Khalil Ibrahim and
Salimah Mokhtar},
title = {A Web Services Description Framework to Support Dynamic Run-Time Binding
in Grid-based Systems},
booktitle = {iiWAS'2005 - The Seventh International Conference on Information Integrationand
Web-based Applications Services, 19-21 September 2005, Kuala Lumpur,
Malaysia},
series = {books@ocg.at},
volume = {196},
pages = {85--96},
publisher = {Austrian Computer Society},
year = {2005},
timestamp = {Mon, 28 May 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iiwas/CakicP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PaigeCMS05,
author = {Richard F. Paige and
Howard Chivers and
John A. McDermid and
Zo{\"{e}} R. Stephenson},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {High-integrity extreme programming},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1518--1523},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067019},
doi = {10.1145/1066677.1067019},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PaigeCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/ChiversPG05,
author = {Howard Chivers and
Richard F. Paige and
Xiaocheng Ge},
editor = {Hubert Baumeister and
Michele Marchesi and
Mike Holcombe},
title = {Agile Security Using an Incremental Security Architecture},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 6th
International Conference, {XP} 2005, Sheffield, UK, June 18-23, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3556},
pages = {57--65},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499053\_7},
doi = {10.1007/11499053\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/ChiversPG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/KolovosPP05,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona Polack},
editor = {Hubert Baumeister and
Michele Marchesi and
Mike Holcombe},
title = {An Agile and Extensible Code Generation Framework},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 6th
International Conference, {XP} 2005, Sheffield, UK, June 18-23, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3556},
pages = {226--229},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499053\_33},
doi = {10.1007/11499053\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xpu/KolovosPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaigeKP05,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona Polack},
editor = {John Derrick and
Eerke A. Boiten},
title = {Refinement via Consistency Checking in {MDA}},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {151--161},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.029},
doi = {10.1016/J.ENTCS.2005.04.029},
timestamp = {Mon, 12 Dec 2022 16:45:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaigeKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PaigeO04,
author = {Richard F. Paige and
Jonathan S. Ostroff},
title = {{ERC} - An object-oriented refinement calculus for Eiffel},
journal = {Formal Aspects Comput.},
volume = {16},
number = {1},
pages = {51--79},
year = {2004},
url = {https://doi.org/10.1007/s00165-003-0024-3},
doi = {10.1007/S00165-003-0024-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PaigeO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeB04,
author = {Richard F. Paige and
Phillip J. Brooke},
title = {Integrating {BON} and Object-Z},
journal = {J. Object Technol.},
volume = {3},
number = {3},
pages = {121--141},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.3.a3},
doi = {10.5381/JOT.2004.3.3.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FuksOP04,
author = {Oleksandr Fuks and
Jonathan S. Ostroff and
Richard F. Paige},
title = {{SECG:} The SCOOP-to-Eiffel Code Generator},
journal = {J. Object Technol.},
volume = {3},
number = {10},
pages = {143--161},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.10.a3},
doi = {10.5381/JOT.2004.3.10.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FuksOP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcas/BrookePCS04,
author = {Phillip J. Brooke and
Richard F. Paige and
John A. Clark and
Susan Stepney},
title = {Playing the game: cheating, loopholes, and virtual identity},
journal = {{SIGCAS} Comput. Soc.},
volume = {34},
number = {2},
pages = {3},
year = {2004},
url = {https://doi.org/10.1145/1052791.1052794},
doi = {10.1145/1052791.1052794},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcas/BrookePCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdafa/AbdullahKPDE04,
author = {Mohd Syazwan Abdullah and
Chris Kimble and
Richard F. Paige and
Ian D. Benest and
Andy Evans},
editor = {Uwe A{\ss}mann and
Mehmet Aksit and
Arend Rensink},
title = {Developing a {UML} Profile for Modelling Knowledge-Based Systems},
booktitle = {Model Driven Architecture, European {MDA} Workshops: Foundations and
Applications, {MDAFA} 2003 and {MDAFA} 2004, Twente, The Netherlands,
June 26-27, 2003 and Link{\"{o}}ping, Sweden, June 10-11, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3599},
pages = {220--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11538097\_15},
doi = {10.1007/11538097\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/mdafa/AbdullahKPDE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/PaigeO04,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Specification-Driven Design with Eiffel and Agents for Teaching Lightweight
Formal Methods},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {107--123},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_7},
doi = {10.1007/978-3-540-30472-2\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/PaigeO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/OstroffMP04,
author = {Jonathan S. Ostroff and
David Makalsky and
Richard F. Paige},
editor = {Jutta Eckstein and
Hubert Baumeister},
title = {Agile Specification-Driven Development},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 5th
International Conference, {XP} 2004, Garmisch-Partenkirchen, Germany,
June 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3092},
pages = {104--112},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24853-8\_12},
doi = {10.1007/978-3-540-24853-8\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/OstroffMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/PaigeOB03,
author = {Richard F. Paige and
Jonathan S. Ostroff and
Phillip J. Brooke},
title = {Theorem Proving Support for View Consistency Checking},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {9},
number = {4},
pages = {115--134},
year = {2003},
url = {https://doi.org/10.3166/objet.9.4.115-134},
doi = {10.3166/OBJET.9.4.115-134},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/PaigeOB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/BrookeP03,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {Fault trees for security system design and analysis},
journal = {Comput. Secur.},
volume = {22},
number = {3},
pages = {256--264},
year = {2003},
url = {https://doi.org/10.1016/S0167-4048(03)00313-4},
doi = {10.1016/S0167-4048(03)00313-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/BrookeP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/PaigeAB03,
author = {Richard F. Paige and
Priyanka Agarwal and
Phillip J. Brooke},
editor = {Michele Marchesi and
Giancarlo Succi},
title = {Combining Agile Practices with {UML} and {EJB:} {A} Case Study in
Agile Development},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 4th
International Conference, {XP} 2003, Genova, Italy, May 25-29, 2003
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2675},
pages = {351--353},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44870-5\_49},
doi = {10.1007/3-540-44870-5\_49},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/PaigeAB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeKOL02,
author = {Richard F. Paige and
Liliya Kaminskaya and
Jonathan S. Ostroff and
Jason Lancaric},
title = {{BON-CASE:} An Extensible {CASE} Tool for Formal Specification and
Reasoning},
journal = {J. Object Technol.},
volume = {1},
number = {3},
pages = {77--96},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.3.a5},
doi = {10.5381/JOT.2002.1.3.A5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeKOL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PaigeO02,
author = {Richard F. Paige and
Jonathan S. Ostroff},
title = {The Single Model Principle},
journal = {J. Object Technol.},
volume = {1},
number = {5},
pages = {63--81},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.5.c6},
doi = {10.5381/JOT.2002.1.5.C6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PaigeO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BrookeP02,
author = {Phillip J. Brooke and
Richard F. Paige},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {The Design of a Tool-Supported Graphical Notation for Timed {CSP}},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {299--318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_17},
doi = {10.1007/3-540-47884-1\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BrookeP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/TanAPMMO01,
author = {Shuxia Tan and
Eshrat Arjomandi and
Richard F. Paige and
Evan Mamas and
Simon Moser and
Bill O'Farrell},
editor = {Darlene A. Stewart and
J. Howard Johnson},
title = {Extending the message flow debugger for {MQSI}},
booktitle = {Proceedings of the 2001 conference of the Centre for Advanced Studies
on Collaborative Research, November 5-7, 2001, Toronto, Ontario, Canada},
pages = {15},
publisher = {{IBM}},
year = {2001},
url = {https://dl.acm.org/citation.cfm?id=782111},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/TanAPMMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PaigeO01,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {Heinrich Hu{\ss}mann},
title = {Metamodelling and Conformance Checking with {PVS}},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {2--16},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_2},
doi = {10.1007/3-540-45314-8\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/PaigeO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PaigeO01,
author = {Richard F. Paige and
Jonathan S. Ostroff},
title = {The Single Model Principle},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {292--293},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948590},
doi = {10.1109/ISRE.2001.948590},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PaigeO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PaigeO01,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {A Proposal for a Lightweight Rigorous UML-Based Development Method
for Reliable Systems},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {192--206},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30854},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/PaigeO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OstroffP00,
author = {Jonathan S. Ostroff and
Richard F. Paige},
title = {The logic of software design},
journal = {{IEE} Proc. Softw.},
volume = {147},
number = {3},
pages = {73--80},
year = {2000},
url = {https://doi.org/10.1049/ip-sen:20000681},
doi = {10.1049/IP-SEN:20000681},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/OstroffP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/PaigeOB00,
author = {Richard F. Paige and
Jonathan S. Ostroff and
Phillip J. Brooke},
title = {Principles for modeling language design},
journal = {Inf. Softw. Technol.},
volume = {42},
number = {10},
pages = {665--675},
year = {2000},
url = {https://doi.org/10.1016/S0950-5849(00)00109-9},
doi = {10.1016/S0950-5849(00)00109-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/PaigeOB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Paige99,
author = {Richard F. Paige},
title = {Integrating a Program Design Calculus and a Subset of {UML}},
journal = {Comput. J.},
volume = {42},
number = {2},
pages = {82--99},
year = {1999},
url = {https://doi.org/10.1093/comjnl/42.2.82},
doi = {10.1093/COMJNL/42.2.82},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Paige99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Paige99,
author = {Richard F. Paige},
title = {When are methods complementary?},
journal = {Inf. Softw. Technol.},
volume = {41},
number = {3},
pages = {157--162},
year = {1999},
url = {https://doi.org/10.1016/S0950-5849(98)00119-0},
doi = {10.1016/S0950-5849(98)00119-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Paige99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PaigeH99,
author = {Richard F. Paige and
Eric C. R. Hehner},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Bunches for Object-Oriented, Concurrent, and Real-Time Specification},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {530--550},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_30},
doi = {10.1007/3-540-48119-2\_30},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PaigeH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PaigeO99,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Developing {BON} as an Industrial-Strength Formal Method},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {834--853},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_46},
doi = {10.1007/3-540-48119-2\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PaigeO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Paige99,
author = {Richard F. Paige},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Specification and Refinement using a Heterogeneous Notation for Concurrency
and Communication},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {353--372},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_19},
doi = {10.1007/978-1-4471-0851-1\_19},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Paige99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PaigeO99,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {Robert B. France and
Bernhard Rumpe},
title = {A Comparison of the Business Object Notation and the Unified Modelling
Language},
booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
- Beyond the Standard, Second International Conference, Fort Collins,
CO, USA, October 28-30, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1723},
pages = {67--82},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46852-8\_6},
doi = {10.1007/3-540-46852-8\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/PaigeO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Paige98,
author = {Richard F. Paige},
title = {Heterogeneous Notations for Pure Formal Method Integration},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {233--242},
year = {1998},
url = {https://doi.org/10.1007/s001650050013},
doi = {10.1007/S001650050013},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Paige98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PaigeO98,
author = {Richard F. Paige and
Jonathan S. Ostroff},
title = {From {Z} to BON/Eiffel},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {209--212},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732645},
doi = {10.1109/ASE.1998.732645},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PaigeO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Paige98,
author = {Richard F. Paige},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Comparing Extended {Z} with a Heterogeneous Notation for Reasoning
about Time and Space},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {214--232},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_16},
doi = {10.1007/978-3-540-49676-2\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Paige98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Paige97,
author = {Richard F. Paige},
title = {Formal method integration via heterogeneous notations},
school = {University of Toronto, Canada},
year = {1997},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106402153506196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Paige97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Paige97,
author = {Richard F. Paige},
editor = {Michael Johnson},
title = {Case Studies in Using a Meta-Method for Formal Method Integration},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {395--408},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000485},
doi = {10.1007/BFB0000485},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Paige97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Paige97,
author = {Richard F. Paige},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {A Meta-Method for Formal Method Integration},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {473--494},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_25},
doi = {10.1007/3-540-63533-5\_25},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/Paige97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-06 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
