| 2022 | A comprehensive framework for the analysis of automotive systems. Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2022 | A declarative modelling framework for the deployment and management of blockchain applications. Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano |
| 2022 | A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen |
| 2022 | Accelerating similarity-based model matching using on-the-fly similarity preserving hashing. Xiao He, Letian Tang, Yutong Li |
| 2022 | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2022 | Advanced visualization and interaction in GLSP-based web modeling: realizing semantic zoom and off-screen elements. Giuliano De Carlo, Philip Langer, Dominik Bork |
| 2022 | Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning. Qixiang Zhou, Tong Li, Yunduo Wang |
| 2022 | Automatic test amplification for executable models. Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara |
| 2022 | Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games. Rodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina |
| 2022 | Digital twin as risk-free experimentation aid for techno-socio-economic systems. Souvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn |
| 2022 | Editing support for software languages: implementation practices in language server protocols. Djonathan Barros, Sven Peldszus, Wesley K. G. Assunção, Thorsten Berger |
| 2022 | Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau |
| 2022 | Finding with NEMO: a recommender system to forecast the next modeling operations. Juri Di Rocco, Claudio Di Sipio, Phuong T. Nguyen, Davide Di Ruscio, Alfonso Pierantonio |
| 2022 | Incremental causal connection for self-adaptive systems based on relational reference attribute grammars. René Schöne, Johannes Mey, Sebastian Ebert, Sebastian Götz, Uwe Aßmann |
| 2022 | Machine learning methods for model classification: a comparative study. José Antonio Hernández López, Riccardo Rubei, Jesús Sánchez Cuadrado, Davide Di Ruscio |
| 2022 | Machine learning-based incremental learning in interactive domain modelling. Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle |
| 2022 | MoDLF: a model-driven deep learning framework for autonomous vehicle perception (AVP). Aon Safdar, Farooque Azam, Muhammad Waseem Anwar, Usman Akram, Yawar Rasheed |
| 2022 | Model-checking legal contracts with SymboleoPC. Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2022 | Modelling program verification tools for software engineers. Sophie Lathouwers, Vadim Zaytsev |
| 2022 | Modular language product lines: a graph transformation approach. Juan de Lara, Esther Guerra, Paolo Bottoni |
| 2022 | Nested OSTRICH: hatching compositions of low-code templates. João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira |
| 2022 | Practical multiverse debugging through user-defined reductions: application to UML models. Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec |
| 2022 | Precomputing reconfiguration strategies based on stochastic timed game automata. Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay |
| 2022 | Predicate abstractions for smart contract validation. Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel |
| 2022 | Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022 Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer |
| 2022 | Quantifying the variability mismatch between problem and solution space. Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer |
| 2022 | Reactive links across multi-domain engineering models. Cosmina-Cristina Ratiu, Wesley K. G. Assunção, Rainer Haas, Alexander Egyed |
| 2022 | Schema inference for multi-model data. Pavel Koupil, Sebastián Hricko, Irena Holubová |
| 2022 | Solving the instance model-view update problem in AADL. Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay |
| 2022 | Survey of established practices in the life cycle of domain-specific languages. Holger Stadel Borum, Christoph Seidl |
| 2022 | Symboleo2SC: from legal contract specifications to smart contracts. Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2022 | System architecture synthesis for performability by logic solvers. Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik |
| 2022 | The influence of software design representation on the design communication of teams with diverse personalities. Rodi Jolak, Maxime Savary-Leblanc, Manuela Dalibor, Juraj Vincur, Regina Hebig, Xavier Le Pallec, Michel Chaudron, Sébastien Gérard, Ivan Polásek, Andreas Wortmann |
| 2022 | Towards model-based bias mitigation in machine learning. Alfa Yohannis, Dimitris S. Kolovos |
| 2022 | Validating the correctness of reactive systems specifications through systematic exploration. Dor Ma'ayan, Shahar Maoz, Roey Rozi |
| 2022 | Verification of railway network models with EVEREST. João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira |