| 2022 | Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. | Maxime Mr, Frdric Jouault, Loc Pallardy, Richard Perdriau |
| 2022 | Augmenting model-based systems engineering with knowledge. | Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha |
| 2022 | Verification of railway network models with EVEREST. | Joo Martins, Jos M. Fonseca, Rafael Costa, Jos Creissac Campos, Alcino Cunha, Nuno Macedo, Jos N. Oliveira |
| 2022 | Validating the correctness of reactive systems specifications through systematic exploration. | Dor Ma'ayan, Shahar Maoz, Roey Rozi |
| 2022 | Machine learning methods for model classification: a comparative study. | Jos Antonio Hernndez Lpez, Riccardo Rubei, Jess Snchez Cuadrado, Davide Di Ruscio |
| 2022 | Using the ModelSet dataset to support machine learning in model-driven engineering. | Jos Antonio Hernndez Lpez, Javier Luis Cnovas Izquierdo, Jess Snchez Cuadrado |
| 2022 | An investigation into the effect of cluster-based preprocessing on software migration. | Akila Loganathan, Richard F. Paige |
| 2022 | Detection of anomalous modeling behavior: a goal-driven data mining approach. | Tong Li, Yiting Wang, Congkai Geng |
| 2022 | TMI: tokenomics made easy for web3 applications. | Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu |
| 2022 | A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. | Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen |
| 2022 | The path towards the automatic provision of blended modeling environments. | Malvina Latifaj |
| 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 | OCL libraries for software specification and representation. | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin |
| 2022 | Model checking message delivery times in SpaceWire networks. | Andrii Kovalov, Girish Patil, Vishav Bansal, Andreas Gerndt |
| 2022 | Schema inference for multi-model data. | Pavel Koupil, Sebastin Hricko, Irena Holubov |
| 2022 | QoS-aware model-based systems design using systems modeling language. | Christos Kotronis, Mara Nikolaidou, Cleopatra Bardaki |
| 2022 | An embedding of B in Clojure. | Philipp Krner, Florian Mager |
| 2022 | The Epsilon Playground. | Dimitris S. Kolovos, Antonio Garca-Domnguez |
| 2022 | MDE for machine learning-enabled software systems: a case study and comparison of MontiAnna & ML-Quadrat. | Jrg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe, Armin Moin, Atta Badii, Stephan Gnnemann, Moharram Challenger |
| 2022 | Situational development of low-code applications in manufacturing companies. | Jonas Kirchhoff, Nils Weidmann, Stefan Sauer, Gregor Engels |
| 2022 | Automatic test amplification for executable models. | Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Suny, Pablo Gmez-Abajo, Pablo C. Caizares, Esther Guerra, Juan de Lara |
| 2022 | Vision: developing collaborative model-driven apps for personalised care plans. | Hourieh Khalajzadeh, John C. Grundy, Jennifer McIntosh |
| 2022 | Preliminary results of measuring flow experience in a software modeling tool: UmpleOnline. | Reyhaneh Kalantari, Timothy C. Lethbridge |
| 2022 | From OCL-based model static analysis to quick fixes. | Frdric Jouault, Maxime Mr, Matthias Brun, Tho Le Calvar, Matthias Pasquier, Ciprian Teodorov |