0 | -- | 20 | Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles. Formal reasoning over class models using TOMM |
0 | -- | 21 | Sina Madani, Dimitris S. Kolovos, Richard F. Paige. Towards Optimisation of Model Queries: A Parallel Execution Approach |
0 | -- | 24 | Gala Barquero, Javier Troya, Antonio Vallecillo. Trading Accuracy for Performance in Data Processing Applications |
0 | -- | 21 | Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer 0006, Michael Tröls, Alexander Egyed. An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing |
0 | -- | 21 | Amin Oueslati, Philippe Cuenot, Julien DeAntoni, Christophe Moreno. System Based Interference Analysis in Capella |
0 | -- | 21 | Sara Pérez-Soler, Mario González-Jiménez, Esther Guerra, Juan de Lara. Towards Conversational Syntax for Domain-Specific Languages using Chatbots |
0 | -- | 21 | Chaima Boufaied, Domenico Bianculli, Lionel C. Briand. A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations |
0 | -- | 22 | Martin Gogolla, Antonio Vallecillo. On Softening OCL Invariants |
0 | -- | 22 | Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci 0001, Julien Ouy, Hugo Brunelière, Davide Di Ruscio. Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report |
0 | -- | 20 | Thibault Béziers la Fosse, Jean-Marie Mottu, Massimo Tisi, Gerson Sunyé. Source-Code Level Regression Test Selection: the Model-Driven Way |
0 | -- | 21 | Alfa Yohannis, Rodriguez Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos. Towards Efficient Comparison of Change-Based Models |
0 | -- | 21 | Alejandro Rodríguez 0006, Francisco Durán, Adrian Rutle, Lars Michael Kristensen. Executing Multilevel Domain-Specific Models in Maude |
0 | -- | 20 | Nils Kaminski, Evgeny Kusmenko, Bernhard Rumpe. Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems |
0 | -- | 20 | Dennis Reuling, Malte Lochau, Udo Kelter. From Imprecise N-Way Model Matching to Precise N-Way Model Merging |
0 | -- | 20 | Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson. Lightweight Consistency Checking for Agile Model-Based Development in Practice |
1 | -- | 3 | Benoît Combemale, Ali Shaukat. The 15th European Conference on Modelling Foundations and Applications (ECMFA) |