selected scholarly activity
-
books
- Handbook of Research on Embedded Systems Design: 2014
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 8225 LNCS. 2013
- Encyclopedia of Software Engineering 2010
- Social, Managerial, and Organizational Dimensions of Enterprise Information Systems: 2010
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 5563 LNCS. 2009
- Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Ed. 5562. 2009
- Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Ed. 5563. 2009
- Practical Distributed Processing 2008
- Preface. Ed. 11. 2008
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 3934 LNCS. 2006
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 3771 LNCS. 2005
-
chapters
- Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. Lecture Notes in Computer Science. 134-149. 2024
- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. Lecture Notes in Computer Science. 25-38. 2023
- Generating Assurance Cases Using Workflow$$^+$$ Models. Lecture Notes in Computer Science. 97-110. 2022
- Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). Lecture Notes in Computer Science. 375-384. 2018
- Engineering Bidirectional Transformations. Lecture Notes in Computer Science. 151-187. 2018
- Parallel Model Validation with Epsilon. Lecture Notes in Computer Science. 115-131. 2018
- SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction. Lecture Notes in Computer Science. 403-408. 2018
- Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. Lecture Notes in Computer Science. 385-393. 2018
- The Changing Face of Model-Driven Engineering. 103-118. 2017
- Stress-Testing Centralised Model Stores. 48-63. 2016
- Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time Virtualisation. Studies in Computational Intelligence. 23-53. 2014
- MADES FP7 EU Project. 181-208. 2014
- Model-driven engineering and model transformation: For fun and profit. 275-311. 2013
- "Foreword.". ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. 1-4. 2013
- Model Management in the Wild. Lecture Notes in Computer Science. 197-218. 2013
- A Lightweight Approach for Managing XML Documents with MDE Languages. Lecture Notes in Computer Science. 118-132. 2012
- A Plug-in Based Approach for UML Model Simulation. Lecture Notes in Computer Science. 328-339. 2012
- Approaches to Modelling Security Scenarios with Domain-Specific Languages. Lecture Notes in Computer Science. 41-54. 2012
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. Lecture Notes in Computer Science. 340-351. 2012
- Revealing Complexity through Domain-Specific Modelling and Analysis. Lecture Notes in Computer Science. 251-265. 2012
- Sensitivity Analysis in Model-Driven Engineering. Lecture Notes in Computer Science. 743-758. 2012
- Solving Acquisition Problems Using Model-Driven Engineering. Lecture Notes in Computer Science. 428-443. 2012
- A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. Lecture Notes in Computer Science. 31-46. 2011
- Concordance: A Framework for Managing Model Integrity. 245-260. 2010
- Concordance: A Framework for Managing Model Integrity. 245-260. 2010
- Formal Analysis in Model Management: Exploiting the Power of CZT. Lecture Notes in Computer Science. 414-414. 2010
- transML: A Family of Languages to Model Model Transformations. 106-120. 2010
- transML: A Family of Languages to Model Model Transformations. 106-120. 2010
- Exploring Enterprise Information Systems. 415-432. 2009
- Establishing Correspondences between Models with the Epsilon Comparison Language. Lecture Notes in Computer Science. 146-157. 2009
- Merging Models with the Epsilon Merging Language (EML). 215-229. 2006
- Agile Formal Method Engineering. Lecture Notes in Computer Science. 109-128. 2005
- XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. 205-219. 2005
- High-level circuit design. 381-412. 2003
- The Design of a Tool-Supported Graphical Notation for Timed CSP. Lecture Notes in Computer Science. 299-318. 2002
- Metamodelling and Conformance Checking with PVS. Lecture Notes in Computer Science. 2-16. 2001
- Developing BON as an Industrial-Strength Formal Method. 834-853. 1999
- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. 353-372. 1999
- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. Lecture Notes in Computer Science. 214-232. 1998
- A meta-method for formal method integration. Lecture Notes in Computer Science. 473-494. 1997
-
conferences
- Bridging the Gap Between System Architecture and Software Design using Model Transformation. 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW). 51-56. 2023
- An Automotive Architecture Product Line for E/E Powertrain Architectures. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 715-719. 2023
- Lessons Learned Building a Tool for Workflow+. 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). 140-150. 2023
- An investigation into the effect of cluster-based preprocessing on software migration. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 539-545. 2022
- Towards the adoption of model based system safety engineering in the automotive industry. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 579-587. 2022
- Integrating Software Issue Tracking and Traceability Models. 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME). 429-433. 2022
- Model-Driven Safety of Autonomous Vehicles. RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING. 407-417. 2022
- Preface. CEUR Workshop Proceedings. 2022
- Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). 308-319. 2021
- Repository Mining for Changes in Simulink Models. 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). 46-57. 2021
- An Architecture for the Development of Distributed Analytics Based on Polystore Events. Lecture Notes in Computer Science. 54-65. 2021
- Supporting robotic software migration using static analysis and model-driven engineering. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 154-164. 2020
- To build, or not to build. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 1-11. 2020
- Polyglot and Distributed Software Repository Mining with Crossflow. IEEE International Working Conference on Mining Software Repositories. 374-384. 2020
- Systematic Evaluation of (Safety) Assurance Cases. Lecture Notes in Computer Science. 18-33. 2020
- ModelFlow: towards reactive model management workflows. Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling. 30-39. 2019
- Criteria to Systematically Evaluate (Safety) Assurance Cases. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 380-390. 2019
- On the Challenges of Model Decorations for Capturing Complex Metadata. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 347-353. 2019
- On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). 205-215. 2019
- Crossflow: A Framework for Distributed Mining of Software Repositories. IEEE International Working Conference on Mining Software Repositories. 155-159. 2019
- Domain-Specific Languages for the Design, Deployment and Manipulation of Heterogeneous Databases. 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). 89-92. 2019
- Stress-testing remote model querying APIs for relational and graph-based stores. Software and Systems Modeling (SoSyM). 1047-1075. 2019
- Reusable textual styles for domain-specific modeling languages. CEUR Workshop Proceedings. 67-80. 2019
- How do we teach modelling and model-driven engineering?. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 122-129. 2018
- Preface to the 19th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems. Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018. v-vi. 2018
- Preface to the 19th international ACM/IEEE conference on model driven engineering languages and systems. 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. V-VII. 2018
- Towards a body of knowledge for model-based software engineering. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 82-89. 2018
- Message from the mise 2018 chairs. Proceedings - 2018 ACM/IEEE 10th International Workshop on Modelling in Software Engineering, MiSE 2018. x. 2018
- Dependent input sampling strategies. Proceedings of the Genetic and Evolutionary Computation Conference. 1451-1458. 2018
- On software modernisation due to library obsolescence. Proceedings - International Conference on Software Engineering. 6-9. 2018
- Parallel execution of first-order operations. CEUR Workshop Proceedings. 132-145. 2018
- Restmule: enabling resilient clients for remote APIs. Proceedings - International Conference on Software Engineering. 537-541. 2018
- Search-Based Temporal Testing in an Embedded Multicore Platform. Lecture Notes in Computer Science. 794-809. 2018
- Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. Lecture Notes in Computer Science. 12-27. 2018
- Towards a modular and flexible human-usable textual syntax for EMF models. CEUR Workshop Proceedings. 223-232. 2018
- Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). 237-247. 2017
- Constraint programming for type inference in flexible model-driven engineering. Computer Languages. 216-230. 2017
- User Experience for Model-Driven Engineering: Challenges and Future Directions. 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). 229-236. 2017
- The Epsilon Pattern Language. 2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE). 54-60. 2017
- A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. Lecture Notes in Computer Science. 3-18. 2016
- A Maturity Model for Integrating Agile Processes and User Centred Design. Communications in Computer and Information Science. 109-122. 2016
- A systematic approach for designing mutation operators for MDE languages. CEUR Workshop Proceedings. 54-59. 2016
- CEUR Workshop Proceedings: Preface. CEUR Workshop Proceedings. 2016
- CEUR Workshop Proceedings: Preface. CEUR Workshop Proceedings. 2016
- Language engineering: challenges, opportunities and potential disasters for interactive systems. Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS ’16. 3-3. 2016
- MONDO: Scalable modelling and model management on the Cloud. CEUR Workshop Proceedings. 55-64. 2016
- Partial loading of XMI models. Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS ’16. 329-339. 2016
- Patterns in model engineering 2015 - A workshop summary. CEUR Workshop Proceedings. 44-50. 2016
- Stress-Testing Centralised Model Stores. Lecture Notes in Computer Science. 48-63. 2016
- Towards Platform Independent Database Modelling in Enterprise Systems. Lecture Notes in Computer Science. 42-50. 2016
- Preface. SLE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. iii-iv. 2015
- 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). Proceedings - International Conference on Software Engineering. 1005-1006. 2015
- 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 1005-1006. 2015
- 7th International Workshop on Modeling in Software Engineering (MiSE 2015). Proceedings - International Conference on Software Engineering. 985-986. 2015
- An OCL-based bridge from concrete to abstract syntax. CEUR Workshop Proceedings. 19-34. 2015
- Assessing the use of eclipse MDE technologies in open-source software projects. CEUR Workshop Proceedings. 20-29. 2015
- Evaluating student work in modelling courses. CEUR Workshop Proceedings. 68-76. 2015
- Flexible modelling for requirements engineering. CEUR Workshop Proceedings. 32-41. 2015
- MONDO: Scalable Modelling and model management on the cloud. CEUR Workshop Proceedings. 44-53. 2015
- Message from the Chairs MiSE 2015. Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015. vii-viii. 2015
- OSSMETER: Automated measurement and analysis of open source software. CEUR Workshop Proceedings. 36-43. 2015
- Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design. Communications in Computer and Information Science. 159-173. 2015
- Patterns for integrating agile development processes and user centred design. Proceedings of the 20th European Conference on Pattern Languages of Programs - EuroPLoP ’15. 1-10. 2015
- Preface. CEUR Workshop Proceedings. v. 2015
- Type Inference in Flexible Model-Driven Engineering. Lecture Notes in Computer Science. 75-91. 2015
- Type inference using concrete syntax properties in flexible model-driven engineering. CEUR Workshop Proceedings. 22-31. 2015
- Weaving an Assurance Case from Design: A Model-Based Approach. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 110-117. 2015
- Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing. 976-979. 2014
- Resource Requirement Analysis for Web Applications Running in a Virtualised Environment. Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom. 632-637. 2014
- A Practitioner Perspective on Integrating Agile and User Centred Design. Electronic Workshops in Computing. 100-109. 2014
- Strategy-guided requirements development and validation. 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD). 1-6. 2014
- A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. Lecture Notes in Computer Science. 586-601. 2014
- A Practitioner Perspective on Integrating Agile and User Centred Design. Electronic Workshops in Computing. 130-140. 2014
- A systematic literature review for agile development processes and user centred design integration. Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering - EASE ’14. 1-10. 2014
- An Evaluation Template for Expert Review of Maturity Models. Lecture Notes in Computer Science. 318-321. 2014
- Analysing the ’biodiversity’ of open source ecosystems: the GitHub case. Proceedings of the 11th Working Conference on Mining Software Repositories - MSR 2014. 356-359. 2014
- Assigning semantics to graphical concrete syntaxes. CEUR Workshop Proceedings. 12-21. 2014
- Bad modelling teaching practices. CEUR Workshop Proceedings. 1-12. 2014
- CMSEBA 2014 Workshop Report. CEUR Workshop Proceedings. 1-6. 2014
- Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models?. Lecture Notes in Computer Science. 108-125. 2014
- Model Driven Grant Proposal Engineering. Lecture Notes in Computer Science. 420-432. 2014
- Preface. CEUR Workshop Proceedings. V. 2014
- Preface. CEUR Workshop Proceedings. ii. 2014
- Software analytics for MDE communities. CEUR Workshop Proceedings. 53-63. 2014
- Spreadsheets are models too [position statement]. CEUR Workshop Proceedings. 9-10. 2014
- Strategy-Guided Requirements Development and Validation. 2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD). 269-274. 2014
- System of Systems Acquisition Trade-offs. Procedia Computer Science. 11-18. 2014
- Towards rigorously faking bidirectional model transformations. CEUR Workshop Proceedings. 70-75. 2014
- Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing. 2013 IEEE International Conference on Software Maintenance. 480-483. 2013
- Enhanced interlaminar fracture toughness of carbon fiber reinforced composites through graphene oxide additions. International SAMPE Technical Conference. 1682-1689. 2013
- Low-cost durable composite tooling materials based on recycled post-consumer carpet materials. International SAMPE Technical Conference. 2247-2254. 2013
- Synthesis of poss-starch derivatives as effective fillers for developing high performance composites. International SAMPE Technical Conference. 1982-1989. 2013
- 1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013). Proceedings - International Conference on Software Engineering. 1513-1514. 2013
- 5th International workshop on Modeling in Software Engineering (MiSE 2013). Proceedings - International Conference on Software Engineering. 1531-1532. 2013
- A research roadmap towards achieving scalability in model driven engineering. Proceedings of the Workshop on Scalability in Model Driven Engineering - BigMDE ’13. 1-10. 2013
- A traceability-driven approach to model transformation testing. CEUR Workshop Proceedings. 2013
- Adding Spreadsheets to the MDE Toolkit. Lecture Notes in Computer Science. 35-51. 2013
- Exploring the use of metaheuristic search to infer models of dynamic system behaviour. CEUR Workshop Proceedings. 76-88. 2013
- Metamodelling for Grammarware Researchers. Lecture Notes in Computer Science. 64-82. 2013
- Multimodel-driven software engineering for evolving enterprise systems. CEUR Workshop Proceedings. 23-32. 2013
- Programmatic muddle management. CEUR Workshop Proceedings. 2-10. 2013
- Towards a multi-domain model-driven traceability approach. CEUR Workshop Proceedings. 27-36. 2013
- What do metamodels really look like?. CEUR Workshop Proceedings. 55-60. 2013
- Agile requirements traceability using domain-specific modelling languages. Proceedings of the 2012 Extreme Modeling Workshop. 45-50. 2012
- A feature model for model-to-text transformation languages. 2012 4th International Workshop on Modeling in Software Engineering (MISE). 57-63. 2012
- An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations. 2012 IEEE/ACIS 11th International Conference on Computer and Information Science. 547-552. 2012
- Chaining model transformations. Proceedings of the First Workshop on the Analysis of Model Transformations - AMT ’12. 9-14. 2012
- EuGENia live: a flexible graphical modelling tool. Proceedings of the 2012 Extreme Modeling Workshop on - XM ’12. 15-20. 2012
- Introducing Goal Structuring Notation to Explain Decisions in Clinical Practice. Procedia Technology. 686-695. 2012
- Modelling and comparing cloud computing service level agreements. Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing - MDHPCL ’12. 1-6. 2012
- Searching for model migration strategies. Proceedings of the 6th International Workshop on Models and Evolution - ME ’12. 39-44. 2012
- Model transformation specification for automated formal verification. 2011 Malaysian Conference in Software Engineering. 76-81. 2011
- Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. 2011 16th IEEE International Conference on Engineering of Complex Computer Systems. 117-126. 2011
- Model-Based Hardware Generation and Programming - The MADES Approach. 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 88-96. 2011
- EUnit: A Unit Testing Framework for Model Management Tasks. Lecture Notes in Computer Science. 395-409. 2011
- Failures of a Business Process in Enterprise Systems. Communications in Computer and Information Science. 139-146. 2011
- Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. Lecture Notes in Computer Science. 112-126. 2011
- Integrated Model Management with Epsilon. Lecture Notes in Computer Science. 391-392. 2011
- MODEL-BASED FAILURE ANALYSIS OF BUSINESS PROCESS. ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3. 388-391. 2011
- On demand data analysis and filtering for inaccurate flight trajectories. SIDs 2011 - Proceedings of the SESAR Innovation Days. 2011
- Requirements for a model comparison language. Proceedings of the 2nd International Workshop on Model Comparison in Practice - IWMCP ’11. 26-29. 2011
- Value-Based Software Traceability Workshop (VALSOT 2011). Lecture Notes in Business Information Processing. 330-330. 2011
- Behavioural interoperability to support model-driven systems integration. Proceedings of the First International Workshop on Model-Driven Interoperability. 98-107. 2010
- A Visual Specification Language for Model-to-Model Transformations. 2010 IEEE Symposium on Visual Languages and Human-Centric Computing. 119-126. 2010
- An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. 2010 Agile Conference. 35-43. 2010
- A state-based approach to traceability maintenance. Proceedings of the 6th ECMFA Traceability Workshop. 23-30. 2010
- Traceability in model-driven safety critical software engineering. Proceedings of the 6th ECMFA Traceability Workshop. 5-5. 2010
- Analysing System Failure Behaviours with PRISM. 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion. 130-136. 2010
- A Comparison of Model Migration Tools. Lecture Notes in Computer Science. 61-75. 2010
- A Reflective Approach to Model-Driven Web Engineering. Lecture Notes in Computer Science. 62-73. 2010
- Concordance: A Framework for Managing Model Integrity. Lecture Notes in Computer Science. 245-260. 2010
- Constructing and Navigating Non-invasive Model Decorations. Lecture Notes in Computer Science. 138-152. 2010
- Domain-Specific Metamodelling Languages for Software Language Engineering. Lecture Notes in Computer Science. 334-353. 2010
- Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. Communications in Computer and Information Science. 62-70. 2010
- Inter-modelling: From Theory to Practice. Lecture Notes in Computer Science. 376-391. 2010
- KAOS-beta: A Goal-oriented Process Model for EIS. MSVVEIS 2010: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS. 40-49. 2010
- Model Migration with Epsilon Flock. Lecture Notes in Computer Science. 184-198. 2010
- Taming EMF and GMF Using Model Transformation. Lecture Notes in Computer Science. 211-225. 2010
- The Use of Model Transformation in the INESS Project. Lecture Notes in Computer Science. 147-165. 2010
- Towards a Model-Based Refinement Process for Contractual State Machines. 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 108-115. 2010
- transML: A Family of Languages to Model Model Transformations. Lecture Notes in Computer Science. 106-120. 2010
- The SCOOP concurrency model in java-like languages. Concurrent Systems Engineering Series. 7-27. 2009
- Enhanced Automation for Managing Model and Metamodel Inconsistency. Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee.... 545-549. 2009
- Cameo: an alternative model of concurrency for Eiffel. Formal Aspects of Computing. 363-391. 2009
- Different models for model matching: An analysis of approaches to support model differencing. 2009 ICSE Workshop on Comparison and Versioning of Software Models. 1-+. 2009
- Raising the level of abstraction in the development of GMF-based graphical model editors. Proceedings - International Conference on Software Engineering. 13-19. 2009
- Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. 2009 International Conference on Software Testing Verification and Validation. 131-140. 2009
- Abstracting Complex Languages through Transformation and Composition. Lecture Notes in Computer Science. 546-550. 2009
- Automatic Generation of Integrated Formal Models Corresponding to UML System Models. Lecture Notes in Business Information Processing. 357-367. 2009
- Content Personalization for Inclusive Education through Model-Driven Engineering. Lecture Notes in Computer Science. 102-109. 2009
- Domain analysis on an electronic health records system. Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD ’09. 49-49. 2009
- Engineering a DSL for Software Traceability. Lecture Notes in Computer Science. 151-167. 2009
- FPTC: Automated Safety Analysis for Domain-Specific Languages. Lecture Notes in Computer Science. 229-242. 2009
- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Lecture Notes in Computer Science. 204-218. 2009
- Probabilistic Failure Propagation and Transformation Analysis. Lecture Notes in Computer Science. 215-228. 2009
- The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. 2009 14th IEEE International Conference on Engineering of Complex Computer Systems. 162-171. 2009
- The Grand Challenge of Scalability for Model Driven Engineering. Lecture Notes in Computer Science. 48-53. 2009
- Automated safety analysis for domain-specific languages. CEUR Workshop Proceedings. 2008
- Detecting and Repairing Inconsistencies across Heterogeneous Models. 2008 International Conference on Software Testing, Verification, and Validation. 356-364. 2008
- The Role of Dependency Links in Ensuring Architectural View Consistency. Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008). 199-208. 2008
- Constructing Models with the Human-Usable Textual Notation. Lecture Notes in Computer Science. 249-263. 2008
- Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Lecture Notes in Computer Science. 194-205. 2008
- Model Engineering for Complex Systems. Dagstuhl Seminar Proceedings. 2008
- Novel features in languages of the epsilon model management platform. Proceedings - International Conference on Software Engineering. 69-69. 2008
- Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. 11-20. 2008
- The Epsilon Generation Language. Lecture Notes in Computer Science. 1-16. 2008
- The Epsilon Transformation Language. Lecture Notes in Computer Science. 46-60. 2008
- The epsilon generation language. Lecture Notes in Computer Science. 1-16. 2008
- Towards Agile Engineering of High-Integrity Systems. Lecture Notes in Computer Science. 30-43. 2008
- Unit Testing Model Management Operations. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. 97-104. 2008
- A Quality Chain Modeling Methodology for Ternary Web Services Quality View. 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007). 871-+. 2007
- A UML Profile for Knowledge-Based Systems Modelling. 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007). 871-878. 2007
- Challenges when using Model Driven Architecture in the development of Safety Critical Software. Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07). 127-136. 2007
- A Novel Approach to the Detection of Cheating in Multiplayer Online Games. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007). 97-+. 2007
- Extreme Programming Security Practices. Lecture Notes in Computer Science. 226-230. 2007
- Lazy Exploration and Checking of CSP Models with CSPsim. Concurrent Systems Engineering Series. 33-+. 2007
- The View Glue. Lecture Notes in Computer Science. 66-88. 2007
- Update Transformations in the Small with the Epsilon Wizard Language.. Journal of Object Technology. 53-53. 2007
- Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. Lecture Notes in Computer Science. 438-453. 2007
- Knowledge engineering using the UML profile: Adopting the model-driven architecture for knowledge-based system development. ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings. 74-81. 2006
- Model comparison. Proceedings of the 2006 international workshop on Global integrated model management. 13-19. 2006
- A Canonical Scheme for Model Composition. Lecture Notes in Computer Science. 346-360. 2006
- Agile development of secure web applications. Proceedings of the 6th international conference on Web engineering - ICWE ’06. 305-305. 2006
- Aligning OCL with Domain-Specific Languages to support instance-level model queries. Electronic Communications of the EASST. 2006
- An action semantics for MOF 2.0. Proceedings of the 2006 ACM symposium on Applied computing - SAC ’06. 1304-1304. 2006
- Knowledge Modelling Using The UML Profile. IFIP Advances in Information and Communication Technology. 70-77. 2006
- Merging Models with the Epsilon Merging Language (EML). Lecture Notes in Computer Science. 215-229. 2006
- Origins of the Grid architectural style. ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. 227-+. 2006
- Origins of the grid architectural style. 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’06). 9-9. 2006
- Security Planning and Refactoring in Extreme Programming. Lecture Notes in Computer Science. 154-163. 2006
- The Epsilon Object Language (EOL). Lecture Notes in Computer Science. 128-142. 2006
- Towards an Agile Process for Building Software Product Lines. Lecture Notes in Computer Science. 198-199. 2006
- Unified Modeling Language for Knowledge Modelling. International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06). 952-957. 2006
- Using a Model Merging Language for Reconciling Model Versions. Lecture Notes in Computer Science. 143-157. 2006
- Conceptual modelling of knowledge-based systems using UML. Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5 - 2nd IFIP Conference on Artificial Intelligence Applications and Innovations, AIAI 2005. 23-33. 2005
- Proof Vs Testing in the Context of Safety Standards. 24th Digital Avionics Systems Conference. 1-14. 2005
- Agile Security Using an Incremental Security Architecture. Lecture Notes in Computer Science. 57-65. 2005
- An Agile and Extensible Code Generation Framework. Lecture Notes in Computer Science. 226-229. 2005
- Conceptual Modelling of Knowledge-Based Systems Using UML. IFIP Advances in Information and Communication Technology. 23-33. 2005
- Designing a Domain-Specific Contract Language: A Metamodelling Approach. Lecture Notes in Computer Science. 175-189. 2005
- Developing a UML Profile for Modelling Knowledge-Based Systems. Lecture Notes in Computer Science. 220-233. 2005
- High-integrity extreme programming. Proceedings of the 2005 ACM symposium on Applied computing - SAC ’05. 1518-1518. 2005
- XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. Lecture Notes in Computer Science. 205-219. 2005
- Modelling knowledge based systems using the executable modelling framework (XMF). 2004 IEEE Conference on Cybernetics and Intelligent Systems. 1054-1059. 2004
- Agile Specification-Driven Development. Lecture Notes in Computer Science. 104-112. 2004
- Modelling knowledge based systems using the executable modelling framework (XMF). IEEE Conference on Cybernetics and Intelligent Systems, 2004.. 1055-1060. 2004
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. Lecture Notes in Computer Science. 107-123. 2004
- Combining Agile Practices with UML and EJB: A Case Study in Agile Development. Lecture Notes in Computer Science. 351-353. 2003
- A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI). 192-206. 2001
- The single model principle [for software development]. Proceedings of the IEEE International Conference on Requirements Engineering. 292-293. 2001
- A Comparison of the Business Object Notation and the Unified Modeling Language. Lecture Notes in Computer Science. 67-82. 1999
- Bunches for Object-Oriented, Concurrent, and Real-Time Specification. Lecture Notes in Computer Science. 530-550. 1999
- Developing BON as an Industrial-Strength Formal Method. Lecture Notes in Computer Science. 834-853. 1999
- Formal methods in the classroom: the logic of real-time software design. Proceedings Real-Time Systems Education III. 63-70. 1999
- Comparing extended Z with a heterogeneous notation for reasoning about time and space. Lecture Notes in Computer Science. 214-232. 1998
- From Z to BON/Eiffel. Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239). 209-212. 1998
- Case studies in using a meta-method for formal method integration. Lecture Notes in Computer Science. 395-408. 1997
- The formal reconstruction and speedup of linear time fragment of Willard's relational calculus subset. ALGORITHMIC LANGUAGES AND CALCULI. 382-414. 1997
- EFFICIENT TRANSLATION OF EXTERNAL INPUT IN A DYNAMICALLY TYPED LANGUAGE. INFORMATION PROCESSING '94, VOL I. 603-608. 1994
- MORE EFFICIENT BOTTOM-UP TREE PATTERN-MATCHING. CAAP 90. 72-86. 1990
- SYMBOLIC FINITE DIFFERENCING .1.. ESOP 90. 36-56. 1990
- Foreword. ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. iii-iv.
-
journal articles
- What makes a good modeling research contribution?. Software and Systems Modeling (SoSyM). 23:527-531. 2024
- Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. Science of Computer Programming. 234:103091-103091. 2024
- Preface to the special issue on success stories in model driven engineering. Science of Computer Programming. 233:103072-103072. 2024
- Repository mining for changes in Simulink and Stateflow models. Software and Systems Modeling (SoSyM). 22:1713-1732. 2023
- Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. Lecture Notes in Computer Science. 14182:5-14. 2023
- Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.. Journal of Object Technology. 21:4:1-4:1. 2022
- Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.. Journal of Object Technology. 21:1-1. 2022
- Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Software and Systems Modeling (SoSyM). 20:1889-1918. 2021
- Distributed model validation with Epsilon. Software and Systems Modeling (SoSyM). 20:1689-1712. 2021
- Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.. Journal of Object Technology. 19:1-1. 2020
- Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling (SoSyM). 19:1083-1106. 2020
- Guest editorial to the special section on MODELS 2018. Software and Systems Modeling (SoSyM). 19:825-826. 2020
- Preface to the JOT special issue containing the ECMFA 2020 selected papers.. Journal of Object Technology. 19:1-1. 2020
- Toward model-driven sustainability evaluation. Communications of the ACM. 63:80-91. 2020
- Preface. CEUR Workshop Proceedings. 12:I-II. 2020
- Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Software and Systems Modeling (SoSyM). 19:17-38. 2020
- Grand challenges in model-driven engineering: an analysis of the state of the research. Software and Systems Modeling (SoSyM). 19:5-13. 2020
- Contents for a Model-Based Software Engineering Body of Knowledge. Software and Systems Modeling (SoSyM). 18:3193-3205. 2019
- Towards Optimisation of Model Queries: A Parallel Execution Approach.. Journal of Object Technology. 18:3:1-3:1. 2019
- Type inference in flexible model-driven engineering using classification algorithms. Software and Systems Modeling (SoSyM). 18:345-366. 2019
- Evaluating cloud database migration options using workload models. Journal of Cloud Computing. 7. 2018
- Requirements in digital forensics method definition: Observations from a UK study. Forensic Science International: Digital Investigation. 27:23-29. 2018
- Foreword to the special section on negative results in software engineering. Empirical Software Engineering. 22:2453-2456. 2017
- Model-based tool support for Tactical Data Links: an experience report from the defence domain. Software and Systems Modeling (SoSyM). 16:559-586. 2017
- Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Software and Systems Modeling (SoSyM). 16:229-255. 2017
- Foreword. Clinical Obstetrics and Gynecology. 59:455-455. 2016
- Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. Journal of Systems and Software. 111:272-280. 2016
- Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Computer Languages. 44:1-2. 2015
- Localized model transformations for building large-scale transformations. Software and Systems Modeling (SoSyM). 14:1189-1213. 2015
- User-visible cryptography in email and web scenarios. Information and Computer Security. 23:58-72. 2015
- Formal verification and validation of embedded systems: the UML-based MADES approach. Software and Systems Modeling (SoSyM). 14:343-363. 2015
- A tutorial on metamodelling for grammar researchers. Science of Computer Programming. 96:396-416. 2014
- Guest editorial to the special issue on Success Stories in Model Driven Engineering. Science of Computer Programming. 89:69-70. 2014
- Epsilon Flock: a model migration language. Software and Systems Modeling (SoSyM). 13:735-755. 2014
- Engineering model transformations with transML. Software and Systems Modeling (SoSyM). 12:555-577. 2013
- Big data + politics = open data: The case of health care data in England: The Case of Health Care Data in England. Policy and Internet. 5:228-243. 2013
- Foreword. Cybium. 35:267-267. 2013
- An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. Electronic Communications of the EASST. 50:327 kB-327 kB. 2013
- Genericity for model management operations. Software and Systems Modeling (SoSyM). 12:201-219. 2013
- Guest editorial to the special issue on model transformation. Software and Systems Modeling (SoSyM). 12:85-87. 2013
- Lies, Damned Lies and UML2Java.. Journal of Object Technology. 12. 2013
- Message from the Editors. Future Medicinal Chemistry. 5:1-3. 2013
- Lessons learned from building model-driven development tools. Software and Systems Modeling (SoSyM). 11:527-539. 2012
- Large-scale complex IT systems. Communications of the ACM. 55:71-77. 2012
- Large-scale complex IT systems. Communications of the ACM. 55:71-71. 2012
- Special issue on Model Based Engineering for Embedded Systems Design. Journal of Systems Architecture. 58:177-177. 2012
- Preface. Micron. 43:1-1. 2012
- Surveying Rule Inheritance in Model-to-Model Transformation Languages.. Journal of Object Technology. 11:3:1-3:1. 2012
- Surveying Rule Inheritance in Model-to-Model Transformation Languages.. Journal of Object Technology. 11:3:1-3:1. 2012
- Saying Hello World with Epsilon – A Solution to the 2011 Instructive Case. Electronic Proceedings in Theoretical Computer Science. 74:332-339. 2011
- Rigorous identification and encoding of trace-links in model-driven engineering. Software and Systems Modeling (SoSyM). 10:469-487. 2011
- High-integrity agile processes for the development of safety critical software. International Journal of Critical Computer-Based Systems. 2:181-181. 2011
- Guest editorial to the theme issue on traceability in model-driven engineering. Software and Systems Modeling (SoSyM). 9:425-426. 2010
- Document-centric XML workflows with fragment digital signatures. Software - Practice and Experience. 40:655-672. 2010
- Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Software. 4:91-91. 2010
- Editorial. Formal Aspects of Computing. 21:303-303. 2009
- XRound: A reversible template language and its application in model-based security analysis. Information and Software Technology. 51:876-893. 2009
- Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700, 444 pages. Price £33.99. Soft Cover. Software Testing Verification and Reliability. 18:251-252. 2008
- Observations for Assertion-based Scenarios in the context of Model Validation. Electronic Communications of the EASST. 15:191 kB-191 kB. 2008
- Observations for Assertion-based Scenarios in the context of Model Validation. Electronic Communications of the EASST. 191 kB-191 kB. 2008
- Process-centered review of object oriented software development methodologies. ACM Computing Surveys. 40:1-89. 2008
- Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electronic Communications of the EASST. 9:174 kB-174 kB. 2007
- A CSP model of Eiffel’s SCOOP. Formal Aspects of Computing. 19:487-512. 2007
- Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 16:11-es. 2007
- Exceptions in Concurrent Eiffel.. Journal of Object Technology. 6:111-111. 2007
- No Child Left Behind: The Ongoing Movement for Public Education Reform. Harvard Educational Review. 76:461-473. 2006
- Knowledge‐based systems: a re‐evaluation. Journal of Knowledge Management. 10:127-142. 2006
- Architecture description languages for high-integrity real-time systems. IEEE Software. 23:71-79. 2006
- Game Development using Design-by-Contract.. Journal of Object Technology. 5:57-57. 2006
- Refinement via Consistency Checking in MDA. Electronic Notes in Theoretical Computer Science. 137:151-161. 2005
- E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.. Journal of Object Technology. 4:97-97. 2005
- Playing the game: cheating, loopholes, and virtual identity. ACM SIGCAS Computers & Society. 34:3-3. 2004
- ERC ? An object-oriented refinement calculus for Eiffel. Formal Aspects of Computing. 16:51-79. 2004
- Integrating BON and Object-Z. Journal of Object Technology. 3:123-141. 2004
- Integrating BON and Object-Z.. Journal of Object Technology. 3:121-121. 2004
- SECG: The SCOOP-to-Eiffel Code Generator.. Journal of Object Technology. 3:143-143. 2004
- Theorem Proving Support for View Consistency Checking. Objet. 9:115-134. 2003
- Fault trees for security system design and analysis. Computers and Security. 22:256-264. 2003
- BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.. Journal of Object Technology. 1:77-77. 2002
- The Single Model Principle.. Journal of Object Technology. 1:63-63. 2002
- Principles for modeling language design. Information and Software Technology. 42:665-675. 2000
- The logic of software design. IET Software. 147:73-73. 2000
- Integrating a Program Design Calculus and a Subset of UML. Computer Journal. 42:82-99. 1999
- When are methods complementary?. Information and Software Technology. 41:157-162. 1999
- Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing. 10:233-242. 1998
- FROM REGULAR EXPRESSIONS TO DFAS USING COMPRESSED NFAS. Lecture Notes in Computer Science. 644:90-110. 1992
- MORE EFFICIENT BOTTOM-UP TREE PATTERN-MATCHING. Lecture Notes in Computer Science. 431:72-86. 1990
- SYMBOLIC FINITE DIFFERENCING .1.. Lecture Notes in Computer Science. 432:36-56. 1990
- Three Partition Refinement Algorithms. SIAM journal on computing (Print). 16:973-989. 1987
-
other
- 2nd Joint International Workshop on Patterns in Model Engineering and the 5th International Workshop on the Verification of Model Transformation - Research Database, The University of York
- A Comparison of the Business Object Notation and the Unified Modelling Language - Research Database, The University of York
- A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems - Research Database, The University of York
- A Traceability-Driven Approach to Model Transformation Testing - Research Database, The University of York
- A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems - Research Database, The University of York
- A comparison of the business object notation and the unified modeling language - Research Database, The University of York
- A research roadmap towards achieving scalability in model driven engineering - Research Database, The University of York
- A state-based approach to traceability maintenance - Research Database, The University of York
- Adding Spreadsheets to the MDE Toolkit - Research Database, The University of York
- Agile Specification-Driven Development - Research Database, The University of York
- Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries - Research Database, The University of York
- An Analysis of Approaches to Model Migration - Research Database, The University of York
- Architecture description languages high-integrity real-time systems - Research Database, The University of York
- Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects - Research Database, The University of York
- Assigning Semantics to Graphical Concrete Syntaxes - Research Database, The University of York
- Assigning Semantics to Graphical Concrete Syntaxes - Research Database, The University of York
- Bad Modelling Teaching Practices - Research Database, The University of York
- Building Model-Driven Engineering Traceability - Research Database, The University of York
- CMSEBA 2014 Workshop Report - Research Database, The University of York
- Case Studies in Using a Meta-Method for Formal Method Integration - Research Database, The University of York
- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space - Research Database, The University of York
- Conceptual modelling of knowledge-based systems using UML - Research Database, The University of York
- Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes - Research Database, The University of York
- Defining a framework for the development and management of dependability cases - Research Database, The University of York
- Dependent input sampling strategies - Research Database, The University of York
- Different Models for Model Matching: An analysis of approaches to support model differencing - Research Database, The University of York
- Ecore to GenModel Case - Research Database, The University of York
- Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems - Research Database, The University of York
- Emerging Patterns for Testing Model Management Tools - Research Database, The University of York
- Evaluating Student Work in Modelling Courses - Research Database, The University of York
- Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour - Research Database, The University of York
- Failures of a Business Process in Enterprise Systems - Research Database, The University of York
- Flexible Modelling for Requirements Engineering - Research Database, The University of York
- From Z to BON/Eiffel - Research Database, The University of York
- Functional Hazard Assessment in Product-Lines – A Model-Based Approach - Research Database, The University of York
- Heterogeneous Notations for Pure Formal Method Integration - Research Database, The University of York
- KAOS - Research Database, The University of York
- Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development - Research Database, The University of York
- Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development - Research Database, The University of York
- MONDO - Research Database, The University of York
- MONDO - Research Database, The University of York
- MONDO: Scalable Modelling and Model Management on the Cloud - Research Database, The University of York
- Manifesto - Model Engineering for Complex Systems - Research Database, The University of York
- Merging models with the Epsilon Merging Language (EML) - Research Database, The University of York
- Message from the chairs - Research Database, The University of York
- Metamodelling for Grammarware Researchers - Research Database, The University of York
- Migrating Activity Diagrams with Epsilon Flock - Research Database, The University of York
- Model Migration Case - Research Database, The University of York
- Model Migration with Epsilon Flock - Research Database, The University of York
- Model-based Failure Analysis of Business Process - Research Database, The University of York
- Modelling knowledge based systems using the eXecutable Modelling Framework (XMF) - Research Database, The University of York
- Multimodel-Driven Software Engineering for Evolving Enterprise Systems - Research Database, The University of York
- Novel features in languages of the epsilon model management platform - Research Database, The University of York
- OSSMETER - Research Database, The University of York
- Objects, Components, Models and Patterns - Research Database, The University of York
- On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories - Research Database, The University of York
- Origins of the Grid architectural style - Research Database, The University of York
- Patterns in model engineering 2015 - A workshop summary - Research Database, The University of York
- Practical Distributed Processing - Research Database, The University of York
- Preface to the 19th international ACM/IEEE conference on model driven engineering languages and systems - Research Database, The University of York
- Principles for modeling language design - Research Database, The University of York
- Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015 - Research Database, The University of York
- 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 - Research Database, The University of York
- Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud - Research Database, The University of York
- 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 - Research Database, The University of York
- 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 - Research Database, The University of York
- Programmatic Muddle Management - Research Database, The University of York
- Proof vs testing in the context of safety standards - Research Database, The University of York
- Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors - Research Database, The University of York
- Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case - Research Database, The University of York
- Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings - Research Database, The University of York
- Software Analytics for MDE Communities - Research Database, The University of York
- Software Analytics for MDE Communities - Research Database, The University of York
- Specification and Refinement of Type Interfaces in Scientific Software - Research Database, The University of York
- Specification and Refinement of Type Interfaces in Scientific Software - Research Database, The University of York
- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication - Research Database, The University of York
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods - Research Database, The University of York
- Specification-driven design with Eiffel and agents for teaching lightweight formal methods - Research Database, The University of York
- Spreadsheets are models too [position statement] - Research Database, The University of York
- The Epsilon Book - Research Database, The University of York
- The Epsilon Book - Research Database, The University of York
- The Epsilon Generation Language - Research Database, The University of York
- The Epsilon Languages and Tools Framework - Research Database, The University of York
- The Epsilon Transformation Language - Research Database, The University of York
- The epsilon object language (EOL) - Research Database, The University of York
- Theorem Proving Support for View Consistency Checking - Research Database, The University of York
- Towards Agile Engineering of High-Integrity Systems - Research Database, The University of York
- Towards Platform Independent Database Modelling in Enterprise Systems - Research Database, The University of York
- Towards Rigorously Faking Bidirectional Model Transformations - Research Database, The University of York
- Towards a Multi-Domain Model-Driven Traceability Approach - Research Database, The University of York
- Towards an agile process for building software product lines - Research Database, The University of York
- Towards automatic generation of UML profile graphical editors for papyrus - Research Database, The University of York
- Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering - Research Database, The University of York
- Unified Modeling Language for Knowledge Modelling - Research Database, The University of York
- What do Metamodels Really Look Like? - Research Database, The University of York
- XRound: Bidirectional transformations and unifications via a reversible template language - Research Database, The University of York
-
preprints
- Separating Technological and Clinical Safety Assurance for Medical Devices 2023
- Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey 2021
- Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering 2020
- Manifesto - Model Engineering for Complex Systems 2014
- On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories 2014
- The Value of User-Visible Internet Cryptography 2013
- Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case 2011
- Large-scale Complex IT Systems 2011