publication venue for
- Update Transformations in the Small with the Epsilon Wizard Language. 2007
- Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.. 21:4:1-4:1. 2022
- Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.. 21:1-1. 2022
- Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners.. 21:3:1-3:1. 2022
- Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.. 19:1-1. 2020
- Characterizing Black-box Composition Operators via Generated Tailored Benchmarks.. 19:7:1-7:1. 2020
- Preface to the JOT special issue containing the ECMFA 2020 selected papers.. 19:1-1. 2020
- Towards Optimisation of Model Queries: A Parallel Execution Approach.. 18:3:1-3:1. 2019
- Lies, Damned Lies and UML2Java.. 12. 2013
- Surveying Rule Inheritance in Model-to-Model Transformation Languages.. 11:3:1-3:1. 2012
- Surveying Rule Inheritance in Model-to-Model Transformation Languages.. 11:3:1-3:1. 2012
- Exceptions in Concurrent Eiffel.. 6:111-111. 2007
- Game Development using Design-by-Contract.. 5:57-57. 2006
- E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.. 4:97-97. 2005
- Integrating BON and Object-Z. 3:123-141. 2004
- Integrating BON and Object-Z.. 3:121-121. 2004
- SECG: The SCOOP-to-Eiffel Code Generator.. 3:143-143. 2004
- BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.. 1:77-77. 2002
- The Single Model Principle.. 1:63-63. 2002
- Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).. 21:1-1.