MoDELS

Publications

2022

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

2021