publication venue for
- Stress-testing remote model querying APIs for relational and graph-based stores 2019
- Understanding and improving UML package merge 2008
- What makes a good modeling research contribution?. 23:527-531. 2024
- Circular systems engineering. 23:269-283. 2024
- Repository mining for changes in Simulink and Stateflow models. 22:1713-1732. 2023
- The ForeMoSt approach to building valid model-based safety arguments. 22:1473-1494. 2023
- Real-time collaborative multi-level modeling by conflict-free replicated data types. 22:1131-1150. 2023
- Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. 22:415-447. 2023
- Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. 20:1889-1918. 2021
- Distributed model validation with Epsilon. 20:1689-1712. 2021
- A survey on the design space of end-user-oriented languages for specifying robotic missions. 20:1123-1158. 2021
- A query-retyping approach to model transformation co-evolution. 19:1107-1138. 2020
- Automatic generation of UML profile graphical editors for Papyrus. 19:1083-1106. 2020
- Opportunities in intelligent modeling assistance. 19:1045-1053. 2020
- Guest editorial to the special section on MODELS 2018. 19:825-826. 2020
- Benchmarking bidirectional transformations: theory, implementation, application, and assessment. 19:647-691. 2020
- Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. 19:17-38. 2020
- Grand challenges in model-driven engineering: an analysis of the state of the research. 19:5-13. 2020
- Heterogeneous megamodel management using collection operators. 19:231-260. 2020
- Contents for a Model-Based Software Engineering Body of Knowledge. 18:3193-3205. 2019
- Type inference in flexible model-driven engineering using classification algorithms. 18:345-366. 2019
- Model-based tool support for Tactical Data Links: an experience report from the defence domain. 16:559-586. 2017
- Eugenia: towards disciplined and automated development of GMF-based graphical model editors. 16:229-255. 2017
- Clafer: unifying class and feature modeling. 15:811-845. 2016
- Localized model transformations for building large-scale transformations. 14:1189-1213. 2015
- Formal verification and validation of embedded systems: the UML-based MADES approach. 14:343-363. 2015
- Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. 14:121-148. 2015
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility. 14:241-269. 2015
- Epsilon Flock: a model migration language. 13:735-755. 2014
- Engineering model transformations with transML. 12:555-577. 2013
- Genericity for model management operations. 12:201-219. 2013
- Guest editorial to the special issue on model transformation. 12:85-87. 2013
- Lessons learned from building model-driven development tools. 11:527-539. 2012
- Rigorous identification and encoding of trace-links in model-driven engineering. 10:469-487. 2011
- An algebra of product families. 10:161-182. 2011
- Guest editorial to the theme issue on traceability in model-driven engineering. 9:425-426. 2010