Table of Contents

• Incremental causal connection for self-adaptive systems based on relational reference attribute grammarsRené Schöne, Johannes Mey, Sebastian Ebert, Sebastian Götz, Uwe Aßmann. 1-12 [doi]
• Schema inference for multi-model dataPavel Koupil, Sebastián Hricko, Irena Holubová. 13-23 [doi]
• Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderataJavier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo. 24-30 [doi]
• Precomputing reconfiguration strategies based on stochastic timed game automataHendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay. 31-42 [doi]
• System architecture synthesis for performability by logic solversMáté Földiák, Kristóf Marussy, Dániel Varró, István Majzik. 43-54 [doi]
• Solving the instance model-view update problem in AADLRakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay. 55-65 [doi]
• Digital twin as risk-free experimentation aid for techno-socio-economic systemsSouvik Barat, Vinay Kulkarni, Tony Clark 0001, Balbir Barn. 66-75 [doi]
• Reactive links across multi-domain engineering modelsCosmina Cristina Ratiu, Wesley K. G. Assunção, Rainer Haas, Alexander Egyed. 76-86 [doi]
• Practical multiverse debugging through user-defined reductions: application to UML modelsMatthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Luka Le Roux, Loïc Lagadec. 87-97 [doi]
• Modelling program verification tools for software engineersSophie Lathouwers, Vadim Zaytsev. 98-108 [doi]
• Automatic test amplification for executable modelsFaezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara. 109-120 [doi]
• Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management systemMaxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau. 121-131 [doi]
• Validating the correctness of reactive systems specifications through systematic explorationDor Ma'ayan, Shahar Maoz, Roey Rozi. 132-142 [doi]
• Towards model-based bias mitigation in machine learningAlfa Yohannis, Dimitris S. Kolovos. 143-153 [doi]
• Finding with NEMO: a recommender system to forecast the next modeling operationsJuri Di Rocco, Claudio Di Sipio, Phuong T. Nguyen, Davide Di Ruscio, Alfonso Pierantonio. 154-164 [doi]
• Machine learning methods for model classification: a comparative studyJosé Antonio Hernández López, Riccardo Rubei, Jesús Sánchez Cuadrado, Davide Di Ruscio. 165-175 [doi]
• Machine learning-based incremental learning in interactive domain modellingRijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle. 176-186 [doi]
• MoDLF: a model-driven deep learning framework for autonomous vehicle perception (AVP)Aon Safdar, Farooque Azam, Muhammad Waseem Anwar, Usman Akram, Yawar Rasheed. 187-198 [doi]
• Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoningQixiang Zhou, Tong Li 0001, Yunduo Wang. 199-209 [doi]
• Nested OSTRICH: hatching compositions of low-code templatesJoão Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira 0001. 210-220 [doi]
• Advanced visualization and interaction in GLSP-based web modeling: realizing semantic zoom and off-screen elementsGiuliano De Carlo, Philip Langer, Dominik Bork. 221-231 [doi]
• Editing support for software languages: implementation practices in language server protocolsDjonathan Barros, Sven Peldszus, Wesley K. G. Assunção, Thorsten Berger. 232-243 [doi]
• Accelerating similarity-based model matching using on-the-fly similarity preserving hashingXiao He, Letian Tang, Yutong Li. 244-254 [doi]
• The influence of software design representation on the design communication of teams with diverse personalitiesRodi Jolak, Maxime Savary-Leblanc, Manuela Dalibor, Juraj Vincur, Regina Hebig, Xavier Le Pallec, Michel Chaudron, Sébastien Gérard, Ivan Polásek, Andreas Wortmann 0001. 255-265 [doi]
• Survey of established practices in the life cycle of domain-specific languagesHolger Stadel Borum, Christoph Seidl 0001. 266-277 [doi]
• Model-checking legal contracts with SymboleoPCAlireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos. 278-288 [doi]
• Predicate abstractions for smart contract validationJavier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel. 289-299 [doi]
• Symboleo2SC: from legal contract specifications to smart contractsAidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos. 300-310 [doi]
• A declarative modelling framework for the deployment and management of blockchain applicationsLuciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano. 311-321 [doi]
• Quantifying the variability mismatch between problem and solution spaceMarc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer. 322-333 [doi]
• Modular language product lines: a graph transformation approachJuan de Lara, Esther Guerra, Paolo Bottoni. 334-344 [doi]
• Verification of railway network models with EVERESTJoão Martins, José M. Fonseca 0002, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira. 345-355 [doi]
• Bug localization in game software engineering: evolving simulations to locate bugs in software models of video gamesRodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina. 356-366 [doi]
• A domain-specific language for simulation-based testing of IoT edge-to-cloud solutionsJia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen. 367-378 [doi]
• A comprehensive framework for the analysis of automotive systemsAlessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta. 379-389 [doi]