![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Richard F. Paige
Person information
- affiliation: McMaster University, Department of Computing and Software, Hamilton, ON, Canada
- affiliation: University of York, Department of Computer Science, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2007
- [b2]Phillip J. Brooke, Richard F. Paige:
Practical Distributed Processing. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-840-1, pp. i-xiv, 1-270 - 1997
- [b1]Richard F. Paige:
Formal method integration via heterogeneous notations. University of Toronto, Canada, 1997
Journal Articles
- 2024
- [j76]Paula Muñoz, Steffen Zschaler, Richard F. Paige:
Preface to the special issue on success stories in model driven engineering. Sci. Comput. Program. 233: 103072 (2024) - [j75]Davide Di Ruscio, Jessie Galasso, Richard F. Paige:
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. Sci. Comput. Program. 234: 103091 (2024) - [j74]Richard F. Paige, Jordi Cabot:
What makes a good modeling research contribution? Softw. Syst. Model. 23(3): 527-531 (2024) - 2023
- [j73]Monika Jaskolka
, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford:
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22(5): 1713-1732 (2023) - 2022
- [j72]Lola Burgueño, Martin Gogolla, Richard F. Paige:
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday. J. Object Technol. 21(4): 1-5 (2022) - [j71]Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler
, Thomas Chiang, Nicholas Annable:
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. 21(4): 4:1-13 (2022) - 2021
- [j70]Sina Madani
, Dimitris S. Kolovos
, Richard F. Paige:
Distributed model validation with Epsilon. Softw. Syst. Model. 20(5): 1689-1712 (2021) - [j69]Beatriz A. Sánchez
, Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Dimitris S. Kolovos
, Richard F. Paige
, Justin C. Cooper, Jason Hampson:
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Softw. Syst. Model. 20(6): 1889-1918 (2021) - 2020
- [j68]Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Lucy Bastin
, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan
, Betty H. C. Cheng
, Sonja Klingert
, Richard F. Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C. Venters:
Toward model-driven sustainability evaluation. Commun. ACM 63(3): 80-91 (2020) - [j67]Richard F. Paige, Antonio Vallecillo
:
Preface to the JOT special issue containing the ECMFA 2020 selected papers. J. Object Technol. 19(2): 1-5 (2020) - [j66]Lars Hamann, Richard F. Paige, Alfonso Pierantonio, Bernhard Rumpe
, Antonio Vallecillo:
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. J. Object Technol. 19(3): 1-5 (2020) - [j65]Antonio Bucchiarone
, Jordi Cabot
, Richard F. Paige
, Alfonso Pierantonio:
Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1): 5-13 (2020) - [j64]Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Stuart Hutchesson, Beatriz Sanchez Piña
, Alan Grigg, Mole Li, Dimitrios S. Kolovos
, Richard F. Paige:
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Softw. Syst. Model. 19(1): 17-38 (2020) - [j63]Andrzej Wasowski
, Richard F. Paige, Øystein Haugen:
Guest editorial to the special section on MODELS 2018. Softw. Syst. Model. 19(4): 825-826 (2020) - [j62]Ran Wei
, Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Simos Gerasimou, Dimitrios S. Kolovos
, Richard F. Paige:
Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. 19(5): 1083-1106 (2020) - 2019
- [j61]Sina Madani, Dimitris S. Kolovos
, Richard F. Paige:
Towards Optimisation of Model Queries: A Parallel Execution Approach. J. Object Technol. 18(2): 3:1-21 (2019) - [j60]Athanasios Zolotas
, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos
, Richard F. Paige:
Type inference in flexible model-driven engineering using classification algorithms. Softw. Syst. Model. 18(1): 345-366 (2019) - [j59]Antonio García-Domínguez
, Konstantinos Barmpis
, Dimitrios S. Kolovos
, Ran Wei
, Richard F. Paige:
Stress-testing remote model querying APIs for relational and graph-based stores. Softw. Syst. Model. 18(2): 1047-1075 (2019) - [j58]Loli Burgueño
, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser
, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo
, Manuel Wimmer:
Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18(6): 3193-3205 (2019) - 2018
- [j57]Angus M. Marshall
, Richard F. Paige:
Requirements in digital forensics method definition: Observations from a UK study. Digit. Investig. 27: 23-29 (2018) - [j56]Martyn Ellison
, Radu Calinescu
, Richard F. Paige:
Evaluating cloud database migration options using workload models. J. Cloud Comput. 7: 6 (2018) - 2017
- [j55]Athanasios Zolotas
, Robert Clarisó
, Nicholas Matragkas, Dimitrios S. Kolovos
, Richard F. Paige:
Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. 49: 216-230 (2017) - [j54]Richard F. Paige, Jordi Cabot
, Neil A. Ernst
:
Foreword to the special section on negative results in software engineering. Empir. Softw. Eng. 22(5): 2453-2456 (2017) - [j53]Dimitrios S. Kolovos
, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige:
Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Softw. Syst. Model. 16(1): 229-255 (2017) - [j52]Suraj Ajit
, Chris Holmes, Julian Johnson, Dimitrios S. Kolovos
, Richard F. Paige:
Model-based tool support for Tactical Data Links: an experience report from the defence domain. Softw. Syst. Model. 16(2): 559-586 (2017) - 2016
- [j51]Richard F. Paige
, Nicholas Drivalos Matragkas, Louis M. Rose:
Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. J. Syst. Softw. 111: 272-280 (2016) - 2015
- [j50]Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk:
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. 44: 1-2 (2015) - [j49]Phillip J. Brooke, Richard F. Paige:
User-visible cryptography in email and web scenarios. Inf. Comput. Secur. 23(1): 58-72 (2015) - [j48]Luciano Baresi
, Gundula Blohm, Dimitrios S. Kolovos
, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi:
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14(1): 343-363 (2015) - [j47]Anne Etien
, Alexis Muller, Thomas Legrand, Richard F. Paige:
Localized model transformations for building large-scale transformations. Softw. Syst. Model. 14(3): 1189-1213 (2015) - 2014
- [j46]Davide Di Ruscio
, Richard F. Paige, Alfonso Pierantonio
:
Guest editorial to the special issue on Success Stories in Model Driven Engineering. Sci. Comput. Program. 89: 69-70 (2014) - [j45]Richard F. Paige, Dimitrios S. Kolovos
, Fiona A. C. Polack:
A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96: 396-416 (2014) - [j44]Louis M. Rose, Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding:
Epsilon Flock: a model migration language. Softw. Syst. Model. 13(2): 735-755 (2014) - 2013
- [j43]Richard F. Paige, Louis M. Rose:
Lies, Damned Lies and UML2Java. J. Object Technol. 12(1) (2013) - [j42]Richard F. Paige, Jeff Gray
:
Guest editorial to the special issue on model transformation. Softw. Syst. Model. 12(1): 85-87 (2013) - [j41]Louis M. Rose, Esther Guerra
, Juan de Lara
, Anne Etien
, Dimitris S. Kolovos
, Richard F. Paige:
Genericity for model management operations. Softw. Syst. Model. 12(1): 201-219 (2013) - [j40]Esther Guerra
, Juan de Lara
, Dimitrios S. Kolovos
, Richard F. Paige, Osmar Marchi dos Santos:
Engineering model transformations with transML. Softw. Syst. Model. 12(3): 555-577 (2013) - 2012
- [j39]Ian Sommerville, Dave Cliff
, Radu Calinescu
, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid
, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j38]Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck
, Wieland Schwinger, Dimitris S. Kolovos
, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar:
Surveying Rule Inheritance in Model-to-Model Transformation Languages. J. Object Technol. 11(2): 3: 1-46 (2012) - [j37]Daniela Cancila, Huáscar Espinoza, Richard F. Paige:
Special issue on Model Based Engineering for Embedded Systems Design. J. Syst. Archit. 58(5): 177 (2012) - [j36]Richard F. Paige, Dániel Varró
:
Lessons learned from building model-driven development tools. Softw. Syst. Model. 11(4): 527-539 (2012) - 2011
- [j35]Alek Radjenovic, Richard F. Paige:
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011) - [j34]Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge
, Phillip J. Brooke:
High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. 2(2): 181-216 (2011) - [j33]Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos
, Kiran Jude Fernandes
, Christopher Power, Gøran K. Olsen, Steffen Zschaler
:
Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4): 469-487 (2011) - 2010
- [j32]Raman Ramsin
, Richard F. Paige:
Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Softw. 4(2): 91-104 (2010) - [j31]Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple:
Guest editorial to the theme issue on traceability in model-driven engineering. Softw. Syst. Model. 9(4): 425-426 (2010) - [j30]Phillip J. Brooke, Richard F. Paige, Christopher Power:
Document-centric XML workflows with fragment digital signatures. Softw. Pract. Exp. 40(8): 655-672 (2010) - 2009
- [j29]Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock
:
Editorial. Formal Aspects Comput. 21(4): 303 (2009) - [j28]Phillip J. Brooke, Richard F. Paige:
Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. 21(4): 363-391 (2009) - [j27]Howard Chivers, Richard F. Paige:
XRound: A reversible template language and its application in model-based security analysis. Inf. Softw. Technol. 51(5): 876-893 (2009) - 2008
- [j26]Raman Ramsin
, Richard F. Paige:
Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1): 3:1-3:89 (2008) - [j25]Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008) - [j24]Emine Gokce Aydal, Richard F. Paige, Jim Woodstock:
Observations for Assertion-based Scenarios in the context of Model Validation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [j23]Richard F. Paige:
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test. Verification Reliab. 18(4): 251-252 (2008) - 2007
- [j22]Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob:
A CSP model of Eiffel's SCOOP. Formal Aspects Comput. 19(4): 487-512 (2007) - [j21]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose:
Update Transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6(9): 53-69 (2007) - [j20]Phillip J. Brooke, Richard F. Paige:
Exceptions in Concurrent Eiffel. J. Object Technol. 6(10): 111-126 (2007) - [j19]Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff:
Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): 11 (2007) - 2006
- [j18]Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [j17]Mohd Syazwan Abdullah, Chris Kimble
, Ian D. Benest, Richard F. Paige:
Knowledge-based systems: a re-evaluation. J. Knowl. Manag. 10(3): 127-142 (2006) - [j16]Richard F. Paige, Triston S. Attridge, Phillip J. Brooke:
Game Development Using Design-by-Contract. J. Object Technol. 5(7): 57-73 (2006) - [j15]Alek Radjenovic, Richard F. Paige:
Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Softw. 23(2): 71-79 (2006) - 2005
- [j14]Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke:
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. 4(7): 97-114 (2005) - 2004
- [j13]Richard F. Paige, Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel. Formal Aspects Comput. 16(1): 51-79 (2004) - [j12]Richard F. Paige, Phillip J. Brooke:
Integrating BON and Object-Z. J. Object Technol. 3(3): 121-141 (2004) - [j11]Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige:
SECG: The SCOOP-to-Eiffel Code Generator. J. Object Technol. 3(10): 143-161 (2004) - [j10]Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney
:
Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. 34(2): 3 (2004) - 2003
- [j9]Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux 9(4): 115-134 (2003) - [j8]Phillip J. Brooke, Richard F. Paige:
Fault trees for security system design and analysis. Comput. Secur. 22(3): 256-264 (2003) - 2002
- [j7]Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric:
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. J. Object Technol. 1(3): 77-96 (2002) - [j6]Richard F. Paige, Jonathan S. Ostroff:
The Single Model Principle. J. Object Technol. 1(5): 63-81 (2002) - 2000
- [j5]Jonathan S. Ostroff, Richard F. Paige:
The logic of software design. IEE Proc. Softw. 147(3): 73-80 (2000) - [j4]Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
Principles for modeling language design. Inf. Softw. Technol. 42(10): 665-675 (2000) - 1999
- [j3]Richard F. Paige:
Integrating a Program Design Calculus and a Subset of UML. Comput. J. 42(2): 82-99 (1999) - [j2]Richard F. Paige:
When are methods complementary? Inf. Softw. Technol. 41(3): 157-162 (1999) - 1998
- [j1]Richard F. Paige:
Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects Comput. 10(3): 233-242 (1998)
Conference and Workshop Papers
- 2023
- [c206]Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde:
Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW 2023: 51-56 - [c205]Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Lessons Learned Building a Tool for Workflow+. MODELS 2023: 140-150 - [c204]Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige:
An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) 2023: 715-719 - [c203]Victor Bandur
, Mark Lawford
, Sébastien Mosser
, Richard F. Paige
, Vera Pantelic
, Alan Wassyng
:
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops 2023: 5-14 - [c202]Spencer Deevy
, Tiago de Moraes Machado
, Amen Modhafar
, Wesley O'Beirne
, Richard F. Paige
, Alan Wassyng
:
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. SAFECOMP 2023: 25-38 - 2022
- [c201]Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige:
Integrating Software Issue Tracking and Traceability Models. ICSME 2022: 429-433 - [c200]Akila Loganathan, Richard F. Paige:
An investigation into the effect of cluster-based preprocessing on software migration. MoDELS (Companion) 2022: 539-545 - [c199]Thomas Chiang
, Rodrigo Gomez Mendoza, Johan Mahmood, Richard F. Paige
:
Towards the adoption of model based system safety engineering in the automotive industry. MoDELS (Companion) 2022: 579-587 - [c198]Nicholas Annable
, Thomas Chiang
, Mark Lawford
, Richard F. Paige
, Alan Wassyng
:
Generating Assurance Cases Using Workflow+ Models. SAFECOMP 2022: 97-110 - 2021
- [c197]Monika Jaskolka
, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige:
Repository Mining for Changes in Simulink Models. MoDELS 2021: 46-57 - [c196]Justin C. Cooper, Alfonso de la Vega
, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña
, Horacio Hoyos Rodriguez:
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. MoDELS 2021: 308-319 - 2020
- [c195]Athanasios Zolotas
, Konstantinos Barmpis
, Fady Medhat, Patrick Neubauer, Dimitrios S. Kolovos
, Richard F. Paige:
An Architecture for the Development of Distributed Analytics Based on Polystore Events. Poly/DMAH@VLDB 2020: 54-65 - [c194]Beatriz Sánchez
, Dimitris S. Kolovos
, Richard F. Paige:
To build, or not to build: ModelFlow, a build solution for MDE projects. MoDELS 2020: 1-11 - [c193]Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting robotic software migration using static analysis and model-driven engineering. MoDELS 2020: 154-164 - [c192]Konstantinos Barmpis
, Patrick Neubauer, Jonathan Co, Dimitris S. Kolovos
, Nicholas Matragkas, Richard F. Paige:
Polyglot and Distributed Software Repository Mining with Crossflow. MSR 2020: 374-384 - [c191]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP 2020: 18-33 - 2019
- [c190]Dimitrios S. Kolovos
, Fady Medhat, Richard F. Paige, Davide Di Ruscio
, Tijs van der Storm, Sebastian Scholze
, Athanasios Zolotas
:
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. MiSE@ICSE 2019: 89-92 - [c189]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE 2019: 380-390 - [c188]Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer:
Reusable Textual Notations for Domain-Specific Languages. OCL@MoDELS 2019: 67-80 - [c187]Beatriz Sánchez
, Athanasios Zolotas
, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige:
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. MoDELS 2019: 205-215 - [c186]Horacio Hoyos Rodriguez, Athanasios Zolotas
, Dimitris S. Kolovos
, Richard F. Paige:
On the Challenges of Model Decorations for Capturing Complex Metadata. MoDELS (Companion) 2019: 347-353 - [c185]Dimitris S. Kolovos
, Patrick Neubauer, Konstantinos Barmpis
, Nicholas Matragkas, Richard F. Paige:
Crossflow: a framework for distributed mining of software repositories. MSR 2019: 155-159 - [c184]Beatriz Sanchez Piña
, Dimitris S. Kolovos
, Richard F. Paige:
ModelFlow: towards reactive model management workflows. DSM@SPLASH 2019: 30-39 - 2018
- [c183]Athanasios Zolotas
, Ran Wei
, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos
, Richard F. Paige:
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA 2018: 12-27 - [c182]Sina Madani, Dimitrios S. Kolovos
, Richard F. Paige:
Parallel Model Validation with Epsilon. ECMFA 2018: 115-131 - [c181]Komsan Srivisut
, John A. Clark
, Richard F. Paige
:
Search-Based Temporal Testing in an Embedded Multicore Platform. EvoApplications 2018: 794-809 - [c180]Komsan Srivisut
, John A. Clark, Richard F. Paige:
Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. GECCO 2018: 1451-1458 - [c179]Simos Gerasimou, Maria Kechagia
, Dimitris S. Kolovos
, Richard F. Paige, Georgios Gousios:
On Software Modernisation due to Library Obsolescence. WAPI@ICSE 2018: 6-9 - [c178]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser
, Richard F. Paige, Alfonso Pierantonio
, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo
, Manuel Wimmer:
Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 2018: 82-89 - [c177]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser
, Richard F. Paige, Alfonso Pierantonio
, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo
, Manuel Wimmer:
How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 2018: 122-129 - [c176]Sina Madani, Dimitrios S. Kolovos, Richard F. Paige:
Parallel execution of first-order operations. MoDELS (Workshops) 2018: 132-145 - [c175]Dimitrios S. Kolovos, Richard F. Paige:
Towards a modular and flexible human-usable textual syntax for EMF models. MoDELS (Workshops) 2018: 223-232 - [c174]Beatriz A. Sánchez
, Konstantinos Barmpis
, Patrick Neubauer, Richard F. Paige, Dimitrios S. Kolovos
:
Restmule: enabling resilient clients for remote APIs. MSR 2018: 537-541 - 2017
- [c173]Dimitris S. Kolovos
, Richard F. Paige:
The Epsilon Pattern Language. MiSE@ICSE 2017: 54-60 - [c172]Silvia Abrahão
, Francis Bordeleau, Betty H. C. Cheng
, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle:
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS 2017: 229-236 - [c171]Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Dimitrios S. Kolovos
, Richard F. Paige, Stuart Hutchesson:
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. MoDELS 2017: 237-247 - [c170]Alessandra Bagnato
, Konstantinos Barmpis
, Nik Bessis
, Luis Adrián Cabrera-Diego
, Juri Di Rocco, Davide Di Ruscio
, Tamás Gergely
, Scott Hansen, Dimitris S. Kolovos
, Philippe Krief, Ioannis Korkontzelos
, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis
, Cedric Thomas, Jurgen J. Vinju:
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). STAF Workshops 2017: 375-384 - [c169]Simos Gerasimou, Dimitris S. Kolovos
, Richard F. Paige, Michael Standish:
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops 2017: 385-393 - [c168]Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos
, John A. McDermid
, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn:
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops 2017: 403-408 - 2016
- [c167]Richard F. Paige
:
Engineering Bidirectional Transformations. Bidirectional Transformations 2016: 151-187 - [c166]Antonio García-Domínguez, Konstantinos Barmpis
, Dimitrios S. Kolovos
, Ran Wei
, Richard F. Paige:
Stress-Testing Centralised Model Stores. ECMFA 2016: 48-63 - [c165]Richard F. Paige:
Language engineering: challenges, opportunities and potential disasters for interactive systems. EICS 2016: 3 - [c164]Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige:
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. ICMT 2016: 3-18 - [c163]Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander:
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS 2016: 54-59 - [c162]Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige:
Partial loading of XMI models. MoDELS 2016: 329-339 - [c161]Dina Salah, Richard F. Paige, Paul A. Cairns
:
A Maturity Model for Integrating Agile Processes and User Centred Design. SPICE 2016: 109-122 - [c160]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50 - [c159]Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase 2016: 55-64 - 2015
- [c158]Athanasios Zolotas
, Nicholas Drivalos Matragkas, Sam Devlin
, Dimitrios S. Kolovos
, Richard F. Paige:
Type Inference in Flexible Model-Driven Engineering. ECMFA 2015: 75-91 - [c157]Dina Salah, Richard F. Paige, Paul A. Cairns
:
Patterns for integrating agile development processes and user centred design. EuroPLoP 2015: 19:1-19:10 - [c156]Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos
, Richard F. Paige, Tim Kelly:
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117 - [c155]Jeff Gray
, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) 2015: 985-986 - [c154]Felienne Hermans, Richard F. Paige, Peter Sestoft:
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ICSE (2) 2015: 1005-1006 - [c153]Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige:
An OCL-based Bridge from Concrete to Abstract Syntax. OCL@MoDELS 2015: 19-34 - [c152]Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Ioannis Korkontzelos, Sophia Ananiadou, Richard F. Paige:
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects. OSS4MDE@MoDELS 2015: 20-29 - [c151]Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige:
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering. FlexMDE@MoDELS 2015: 22-31 - [c150]Athanasios Zolotas, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige:
Flexible Modelling for Requirements Engineering. FlexMDE@MoDELS 2015: 32-41 - [c149]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose:
Evaluating Student Work in Modelling Courses. EduSymp@MoDELS 2015: 68-76 - [c148]Dina Salah, Richard F. Paige, Paul A. Cairns
:
Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design. SPICE 2015: 159-173 - [c147]Bruno Almeida, Sophia Ananiadou, Alessandra Bagnato, Alberto Berreteaga Barbero, Juri Di Rocco, Davide Di Ruscio, Dimitrios S. Kolovos, Ioannis Korkontzelos, Scott Hansen, Pedro Maló, Nikolaos Drivalos, Richard F. Paige, Jurgen J. Vinju:
OSSMETER: Automated Measurement and Analysis of Open Source Software. STAF Projects Showcase 2015: 36-43 - [c146]Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase 2015: 44-53 - [c145]Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin:
Patterns in Model Engineering 2015 - a Workshop Summary. PAME@STAF 2015: 44-50 - 2014
- [c144]Dina Salah, Richard F. Paige, Paul A. Cairns:
A Practitioner Perspective on Integrating Agile and User Centred Design. BCS HCI 2014 - [c143]Rafidah Pakir Mohamad, Dimitrios S. Kolovos
, Richard F. Paige:
Resource Requirement Analysis for Web Applications Running in a Virtualised Environment. CloudCom 2014: 632-637 - [c142]Frank R. Burton, Richard F. Paige, Simon M. Poulding, Simon Smith:
System of Systems Acquisition Trade-offs. CSER 2014: 11-18 - [c141]Dina Salah, Richard F. Paige, Paul A. Cairns
:
A systematic literature review for agile development processes and user centred design integration. EASE 2014: 5:1-5:10 - [c140]Dina Salah, Richard F. Paige, Paul A. Cairns:
Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models? HCSE 2014: 108-125 - [c139]Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer:
CMSEBA 2014 Workshop Report. CMSEBA@MoDELS 2014: 1-6 - [c138]Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams:
Bad Modelling Teaching Practices. EduSymp@MoDELS 2014: 1-12 - [c137]Athanasios Zolotas, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Richard F. Paige:
Assigning Semantics to Graphical Concrete Syntaxes. XM@MoDELS 2014: 12-21 - [c136]James R. Williams, Nicholas Drivalos Matragkas, Dimitris S. Kolovos, Yannis Korkontzelos, Sofia Annaniadou, Richard F. Paige:
Software Analytics for MDE Communities. OSS4MDE@MoDELS 2014: 53-63 - [c135]Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink:
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS 2014: 70-75 - [c134]Dimitrios S. Kolovos
, Nicholas Drivalos Matragkas, James R. Williams, Richard F. Paige:
Model Driven Grant Proposal Engineering. MoDELS 2014: 420-432 - [c133]Seyyed M. Shah, Ran Wei
, Dimitrios S. Kolovos
, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis
:
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. MoDELS 2014: 586-601 - [c132]Nicholas Drivalos Matragkas, James R. Williams, Dimitris S. Kolovos
, Richard F. Paige:
Analysing the 'biodiversity' of open source ecosystems: the GitHub case. MSR 2014: 356-359 - [c131]Dina Salah, Richard F. Paige, Paul A. Cairns:
An Evaluation Template for Expert Review of Maturity Models. PROFES 2014: 318-321 - [c130]Xiaofeng Cui, Richard F. Paige:
Strategy-guided requirements development and validation. SNPD 2014: 1-6 - [c129]Martyn Ellison, Radu Calinescu
, Richard F. Paige:
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC 2014: 976-979 - 2013
- [c128]Mark Harman
, Richard F. Paige, James R. Williams:
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). ICSE 2013: 1513-1514 - [c127]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray
, Richard F. Paige, Bernhard Rumpe
:
5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2013: 1531-1532 - [c126]Louis M. Rose, Simon M. Poulding, Robert Feldt, Richard F. Paige:
Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing. ICSM 2013: 480-483 - [c125]Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Horacio Hoyos Rodriguez, Richard F. Paige:
Programmatic Muddle Management. XM@MoDELS 2013: 2-10 - [c124]Masoumeh Taromirad, Nicholas Drivalos Matragkas, Richard F. Paige:
Towards a Multi-Domain Model-Driven Traceability Approach. MPM@MoDELS 2013: 27-36 - [c123]Martins Francis, Dimitrios S. Kolovos
, Nikolaos Drivalos Matragkas, Richard F. Paige:
Adding Spreadsheets to the MDE Toolkit. MoDELS 2013: 35-51 - [c122]Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Athanasios Zolotas:
A Traceability-Driven Approach to Model Transformation Testing. AMT@MoDELS 2013 - [c121]Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff:
Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS 2013: 23-32 - [c120]James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
What do Metamodels Really Look Like? EESSMod@MoDELS 2013: 55-60 - [c119]James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack:
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. Models@run.time 2013: 76-88 - [c118]Dimitrios S. Kolovos
, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra
, Jesús Sánchez Cuadrado
, Juan de Lara, István Ráth
, Dániel Varró
, Massimo Tisi, Jordi Cabot
:
A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF 2013: 2 - 2012
- [c117]Xiaofeng Cui, Richard F. Paige:
An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations. ACIS-ICIS 2012: 547-552 - [c116]Dimitrios S. Kolovos
, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige:
A Lightweight Approach for Managing XML Documents with MDE Languages. ECMFA 2012: 118-132 - [c115]Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock
, Steve King:
A Plug-in Based Approach for UML Model Simulation. ECMFA 2012: 328-339 - [c114]Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi
, Dimitrios S. Kolovos
:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351 - [c113]Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos
, Simon M. Poulding, Simon Smith:
Solving Acquisition Problems Using Model-Driven Engineering. ECMFA 2012: 428-443 - [c112]Louis M. Rose, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos
, Richard F. Paige:
A feature model for model-to-text transformation languages. MiSE 2012: 57-63 - [c111]Fatima Alkandari, Richard F. Paige:
Modelling and comparing cloud computing service level agreements. MDHPCL@MoDELS 2012: 3 - [c110]Anne Etien
, Vincent Aranega, Xavier Blanc, Richard F. Paige:
Chaining model transformations. AMT@MoDELS 2012: 9-14 - [c109]Louis M. Rose, Dimitrios S. Kolovos
, Richard F. Paige:
EuGENia live: a flexible graphical modelling tool. XM@MoDELS 2012: 15-20 - [c108]James R. Williams, Richard F. Paige, Fiona A. C. Polack:
Searching for model migration strategies. ME@MoDELS 2012: 39-44 - [c107]Masoumeh Taromirad
, Richard F. Paige:
Agile requirements traceability using domain-specific modelling languages. XM@MoDELS 2012: 45-50 - [c106]James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack:
Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758 - [c105]Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge
, Christopher Power, Frank R. Burton, Simon M. Poulding:
Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop 2012: 251-265 - [c104]Richard F. Paige, Dimitrios S. Kolovos
, Fiona A. C. Polack:
Metamodelling for Grammarware Researchers. SLE 2012: 64-82 - [c103]Phillip J. Brooke, Richard F. Paige, Christopher Power:
Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop 2012: 41-54 - 2011
- [c102]Xiaocheng Ge
, Richard F. Paige, John A. McDermid:
Failures of a Business Process in Enterprise Systems. CENTERIS (1) 2011: 139-146 - [c101]Dimitrios S. Kolovos
, Richard F. Paige, Louis M. Rose, James R. Williams:
Integrated Model Management with Epsilon. ECMFA 2011: 391-392 - [c100]Richard F. Paige, Dimitrios S. Kolovos
, Louis M. Rose, Nikolas Drivalos Matragkas, James R. Williams:
Model Management in the Wild. GTTSE 2011: 197-218 - [c99]Osmar Marchi dos Santos, Jim Woodcock
, Richard F. Paige:
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126 - [c98]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Model-based Failure Failure Analysis of Business Process. ICEIS (3) 2011: 388-391 - [c97]James R. Williams, Dimitrios S. Kolovos
, Fiona A. C. Polack, Richard F. Paige:
Requirements for a model comparison language. IWMCP@ICMT 2011: 26-29 - [c96]Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck
, Wieland Schwinger, Dimitris S. Kolovos
, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar:
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. ICMT@TOOLS 2011: 31-46 - [c95]Ian Gray, Nicholas Matragkas, Neil C. Audsley, Leandro Soares Indrusiak
, Dimitris S. Kolovos
, Richard F. Paige:
Model-Based Hardware Generation and Programming - The MADES Approach. ISORC Workshops 2011: 88-96 - [c94]Antonio García-Domínguez, Dimitrios S. Kolovos
, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo
:
EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409 - [c93]James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126 - [c92]Angelina Espinoza
, Richard F. Paige, Juan Garbajosa
:
Value-Based Software Traceability Workshop (VALSOT 2011). XP 2011: 330 - [c91]Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339 - 2010
- [c90]Xiaocheng Ge
, Richard F. Paige, John A. McDermid
:
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE 2010: 35-43 - [c89]James R. Williams, Fiona A. C. Polack, Richard F. Paige:
Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414 - [c88]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70 - [c87]Richard F. Paige:
Traceability in model-driven safety critical software engineering. ECMFA-TW 2010: 5 - [c86]Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos
, Richard F. Paige, Kiran Jude Fernandes
:
A state-based approach to traceability maintenance. ECMFA-TW 2010: 23-30 - [c85]Darren Clowes, Dimitrios S. Kolovos
, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets:
A Reflective Approach to Model-Driven Web Engineering. ECMFA 2010: 62-73 - [c84]Louis M. Rose, Dimitrios S. Kolovos
, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260 - [c83]Dimitrios S. Kolovos
, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS 2010: 138-152 - [c82]Louis M. Rose, Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
Model Migration with Epsilon Flock. ICMT@TOOLS 2010: 184-198 - [c81]Lishan Harbird, Andy Galloway, Richard F. Paige:
Towards a Model-Based Refinement Process for Contractual State Machines. ISORC Workshops 2010: 108-115 - [c80]Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos
, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack:
A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75 - [c79]Alek Radjenovic, Richard F. Paige:
Behavioural interoperability to support model-driven systems integration. MDI@MoDELS 2010: 98-107 - [c78]Esther Guerra, Juan de Lara, Dimitrios S. Kolovos
, Richard F. Paige, Osmar Marchi dos Santos:
transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120 - [c77]Dimitrios S. Kolovos
, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck
:
Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225 - [c76]Esther Guerra, Juan de Lara, Dimitrios S. Kolovos
, Richard F. Paige:
Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391 - [c75]Xiaocheng Ge
, Richard F. Paige, John A. McDermid
:
Analysing System Failure Behaviours with PRISM. SSIRI (Companion) 2010: 130-136 - [c74]Esther Guerra
, Juan de Lara
, Dimitrios S. Kolovos
, Richard F. Paige:
A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126 - [c73]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49 - 2009
- [c72]Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218 - [c71]Osmar Marchi dos Santos, Jim Woodcock
, Richard F. Paige, Steve King:
The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165 - [c70]Christopher Power, Richard F. Paige:
Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109 - [c69]Richard F. Paige, Dimitrios S. Kolovos
, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171 - [c68]Dimitrios S. Kolovos
, Davide Di Ruscio
, Alfonso Pierantonio
, Richard F. Paige:
Different models for model matching: An analysis of approaches to support model differencing. CVSM@ICSE 2009: 1-6 - [c67]Dimitrios S. Kolovos
, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE 2009: 13-19 - [c66]Emine Gokce Aydal, Richard F. Paige, Mark Utting
, Jim Woodcock
:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140 - [c65]Louis M. Rose, Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549 - [c64]Xiaocheng Ge
, Richard F. Paige, John A. McDermid
:
Domain analysis on an electronic health records system. FOSD 2009: 49-54 - [c63]Jendrik Johannes, Steffen Zschaler
, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos
, Richard F. Paige:
Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550 - [c62]Xiaocheng Ge
, Richard F. Paige, John A. McDermid
:
Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228 - [c61]Steffen Zschaler
, Dimitrios S. Kolovos
, Nikolaos Drivalos, Richard F. Paige, Awais Rashid
:
Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353 - [c60]Helen Treharne
, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos
:
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367 - [c59]Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik:
The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27 - 2008
- [c58]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
The Epsilon Generation Language. ECMDA-FA 2008: 1-16 - [c57]Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
The Epsilon Transformation Language. ICMT@TOOLS 2008: 46-60 - [c56]Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
Novel features in languages of the epsilon model management platform. MiSE 2008: 69-73 - [c55]Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
:
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops 2008: 11-20 - [c54]Dimitrios S. Kolovos
, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack:
Unit Testing Model Management Operations. ICST Workshops 2008: 97-104 - [c53]Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364 - [c52]Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) 2008: 48-53 - [c51]Richard F. Paige, Louis M. Rose, Xiaocheng Ge
, Dimitrios S. Kolovos
, Phillip J. Brooke:
FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS (Workshops) 2008: 229-242 - [c50]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos
, Fiona Polack:
Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263 - [c49]Richard F. Paige, Ramon Charalambous, Xiaocheng Ge
, Phillip J. Brooke:
Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43 - [c48]Nikolaos Drivalos, Dimitrios S. Kolovos
, Richard F. Paige, Kiran Jude Fernandes:
Engineering a DSL for Software Traceability. SLE 2008: 151-167 - [c47]Alek Radjenovic, Richard F. Paige:
The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208 - 2007
- [c46]Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble
:
Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER 2007: 438-453 - [c45]Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers:
A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106 - [c44]Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS (Workshops) 2007: 194-205 - [c43]Philippa Conmy, Richard F. Paige:
Model-driven Development of Particle System Families. MOMPES 2007: 127-136 - [c42]Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble
, Ian D. Benest:
A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878 - [c41]Phillip J. Brooke, Richard F. Paige:
Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49 - [c40]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Extreme Programming Security Practices. XP 2007: 226-230 - 2006
- [c39]Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142 - [c38]Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos
:
Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157 - [c37]Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos
, Ivan Kurtev
, Richard F. Paige:
A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360 - [c36]Jovan Cakic, Richard F. Paige:
Origins of the Grid Architectural Style. ICECCS 2006: 227-235 - [c35]Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) 2006: 74-81 - [c34]Alek Radjenovic, Richard F. Paige:
The View Glue. WADS 2006: 66-88 - [c33]Xiaocheng Ge
, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke:
Agile development of secure web applications. ICWE 2006: 305-312 - [c32]Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
:
Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77 - [c31]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229 - [c30]Richard F. Paige, Dimitrios S. Kolovos
, Fiona Polack:
An action semantics for MOF 2.0. SAC 2006: 1304-1305 - [c29]Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke:
Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163 - [c28]Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke:
Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199 - 2005
- [c27]Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC 2005: 952-957 - [c26]Zhan En Chan, Richard F. Paige:
Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189 - [c25]Howard Chivers, Richard F. Paige:
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219 - [c24]Mohd Syazwan Abdullah, Richard F. Paige, Carl Thompson, Ian D. Benest, Chris Kimble
:
Conceptual Modelling of Knowledge-Based Systems Using UML. AIAI 2005: 23-33 - [c23]Richard F. Paige, Phillip J. Brooke:
Agile Formal Method Engineering. IFM 2005: 109-128 - [c22]Jovan Cakic, Richard F. Paige:
A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS 2005: 85-96 - [c21]Richard F. Paige, Howard Chivers, John A. McDermid
, Zoë R. Stephenson:
High-integrity extreme programming. SAC 2005: 1518-1523 - [c20]Howard Chivers, Richard F. Paige, Xiaocheng Ge:
Agile Security Using an Incremental Security Architecture. XP 2005: 57-65 - [c19]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
An Agile and Extensible Code Generation Framework. XP 2005: 226-229 - [c18]Richard F. Paige, Dimitrios S. Kolovos
, Fiona Polack:
Refinement via Consistency Checking in MDA. REFINE 2005: 151-161 - 2004
- [c17]Mohd Syazwan Abdullah, Chris Kimble
, Richard F. Paige, Ian D. Benest, Andy Evans:
Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA 2004: 220-233 - [c16]Richard F. Paige, Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123 - [c15]Jonathan S. Ostroff, David Makalsky, Richard F. Paige:
Agile Specification-Driven Development. XP 2004: 104-112 - 2003
- [c14]Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke:
Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353 - 2002
- [c13]Phillip J. Brooke, Richard F. Paige:
The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318 - 2001
- [c12]Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell:
Extending the message flow debugger for MQSI. CASCON 2001: 15 - [c11]Richard F. Paige, Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16 - [c10]Richard F. Paige, Jonathan S. Ostroff:
The Single Model Principle. RE 2001: 292-293 - [c9]Richard F. Paige, Jonathan S. Ostroff:
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206 - 1999
- [c8]Richard F. Paige, Eric C. R. Hehner:
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550 - [c7]Richard F. Paige, Jonathan S. Ostroff:
Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853 - [c6]Richard F. Paige:
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM 1999: 353-372 - [c5]Richard F. Paige, Jonathan S. Ostroff:
A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82 - 1998
- [c4]Richard F. Paige, Jonathan S. Ostroff:
From Z to BON/Eiffel. ASE 1998: 209-212 - [c3]Richard F. Paige:
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM 1998: 214-232 - 1997
- [c2]Richard F. Paige:
Case Studies in Using a Meta-Method for Formal Method Integration. AMAST 1997: 395-408 - [c1]Richard F. Paige:
A Meta-Method for Formal Method Integration. FME 1997: 473-494
Parts in Books or Collections
- 2017
- [p3]Richard F. Paige, Athanasios Zolotas, Dimitris S. Kolovos
:
The Changing Face of Model-Driven Engineering. Present and Ulterior Software Engineering 2017: 103-118 - 2013
- [p2]Richard F. Paige, Dimitrios S. Kolovos
:
Model-Driven Engineering and Model Transformation: for Fun and Profit. Engineering Dependable Software Systems 2013: 275-311 - 2007
- [p1]Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble:
Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89
Editorship
- 2018
- [e21]Jennifer Horkoff, Sahar Kokaly, Richard F. Paige, Jocelyn Simmonds:
Proceedings of the 10th International Workshop on Modelling in Software Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018. ACM 2018, ISBN 978-1-4503-5735-7 [contents] - [e20]Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018 [contents] - 2016
- [e19]Richard F. Paige, Jordi Cabot, Marco Brambilla, James H. Hill:
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1563, CEUR-WS.org 2016 [contents] - [e18]Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani:
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. CEUR Workshop Proceedings 1693, CEUR-WS.org 2016 [contents] - [e17]Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin:
Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015. CEUR Workshop Proceedings 1657, CEUR-WS.org 2016 [contents] - 2015
- [e16]Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7055-4 [contents] - [e15]Felienne Hermans, Richard F. Paige, Peter Sestoft:
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015. CEUR Workshop Proceedings 1355, CEUR-WS.org 2015 [contents] - [e14]Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer:
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014. CEUR Workshop Proceedings 1340, CEUR-WS.org 2015 [contents] - [e13]Richard F. Paige, Davide Di Ruscio, Markus Völter:
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015. ACM 2015, ISBN 978-1-4503-3686-4 [contents] - 2014
- [e12]Richard F. Paige, Jordi Cabot, Marco Brambilla, Louis M. Rose, James H. Hill:
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, CloudMDE@MoDELS 2014, Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1242, CEUR-WS.org 2014 [contents] - 2013
- [e11]Richard F. Paige, Mark Harman, James R. Williams:
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013. IEEE Computer Society 2013 [contents] - [e10]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents] - [e9]Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4 [contents] - 2011
- [e8]Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige:
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, ISBN 978-3-642-21469-1 [contents] - 2010
- [e7]Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska:
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3 [contents] - 2009
- [e6]Richard F. Paige, Alan Hartman, Arend Rensink:
Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, ISBN 978-3-642-02673-7 [contents] - [e5]Richard F. Paige:
Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Lecture Notes in Computer Science 5563, Springer 2009, ISBN 978-3-642-02407-8 [contents] - 2008
- [e4]Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt:
Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08. - 13.08.2008. Dagstuhl Seminar Proceedings 08331, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [e3]Richard F. Paige, Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, ISBN 978-3-540-69823-4 [contents] - 2007
- [e2]David H. Akehurst, Régis Vogel, Richard F. Paige:
Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings. Lecture Notes in Computer Science 4530, Springer 2007, ISBN 978-3-540-72900-6 [contents] - 2006
- [e1]John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, ISBN 3-540-33376-2 [contents]
Reference Works
- 2010
- [r1]Richard F. Paige, Jim Woodcock
, Phillip J. Brooke, Ana Cavalcanti:
Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785
Informal and Other Publications
- 2023
- [i11]Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng:
Separating Technological and Clinical Safety Assurance for Medical Devices. CoRR abs/2302.07873 (2023) - 2021
- [i10]Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin:
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR abs/2111.14324 (2021) - 2020
- [i9]Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR abs/2008.02164 (2020) - 2018
- [i8]Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty
, Richard F. Paige:
Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports 8(8): 146-168 (2018) - 2015
- [i7]Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5(2): 26-43 (2015) - 2014
- [i6]Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos
, Richard F. Paige, Andreas Horst, Bernhard Rumpe:
On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories. CoRR abs/1409.2304 (2014) - [i5]Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
Manifesto - Model Engineering for Complex Systems. CoRR abs/1409.6591 (2014) - 2013
- [i4]Phillip J. Brooke, Richard F. Paige:
The Value of User-Visible Internet Cryptography. CoRR abs/1303.1948 (2013) - 2011
- [i3]Ian Sommerville, Dave Cliff, Radu Calinescu
, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid
, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2008
- [i2]Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt:
08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS). Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008 - [i1]Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
08331 Manifesto - Model Engineering for Complex Systems. Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008
Coauthor Index
aka: Horacio Hoyos Rodriguez
aka: Dimitris S. Kolovos
aka: Nikolas Drivalos Matragkas
aka: Nikolaos Drivalos Matragkas
aka: Nikolaos Drivalos
aka: Nicholas Matragkas
aka: Fiona Polack
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-25 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint