MODELS 2023 (series) /
Journal-firstMODELS 2023
About
Articles published in the Journal on Software and Systems Modeling are eligible to have a featured journal-first presentation at MODELS. These are selected according to specific criteria.
Dates
Tracks
Plenary
Wed 4 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 4 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 22mTalk | OCL Rebuilt, From the Ground Up Technical Track Friedrich Steimann Fernuniversität in Hagen, Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen | ||
10:52 22mTalk | Applicability of Model Checking for Verifying Spacecraft Operational Designs Technical Track Philipp Chrszon , Paulina Maurer , George Saleip , Sascha Müller , Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne | ||
11:15 22mTalk | An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning Technical Track | ||
11:37 22mTalk | Mutation Testing for Temporal Alloy Models Technical Track | ||
13:30 - 15:00 | |||
13:30 22mTalk | A Model-driven and Template-based Approach for Requirements Specification Technical Track Ikram Darif École de technologie supérieure (ÉTS), Cristiano Politowski Concordia University, Canada, Ghizlane El Boussaidi École de Technologie Supérieure, Imen Benzarti , Segla Kpodjedo Ecole de Technologie Superieure | ||
13:52 22mTalk | Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware Technical Track | ||
14:15 22mTalk | Real-time collaborative multi-level modeling by conflict-free replicated data typesJ1ST Journal-first Link to publication DOI | ||
14:37 22mTalk | Multi-Dimensional Multi-Level ModelingJ1ST Journal-first Thomas Kuehne Victoria University of Wellington Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 22mTalk | Model-Driven Prompt Engineering Technical Track Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology | ||
13:52 22mTalk | Leveraging modeling concepts and techniques to address challenges in network management Technical Track Nafiseh Kahani , Mojtaba Bagherzadeh , Reza Ahmadi , Juergen Dingel Queen's University, Kingston, Ontario | ||
14:15 22mTalk | Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0 Technical Track Srivathsan Ravi , Laura Beermann , Oliver Kotte , Paolo Pazzaglia , Mythreya Vinnakota , Dirk Ziegenbein Robert Bosch GmbH, Arne Hamann | ||
14:37 22mTalk | Reference architectures modelling and compliance checkingJ1ST Journal-first Alessio Bucaioni Mälardalen University, Amleto Di Salle European University of Rome, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Ivano Malavolta Vrije Universiteit Amsterdam, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
15:30 - 17:00 | |||
15:30 22mTalk | Uncertainty-aware consistency checking in industrial settings Technical Track | ||
15:52 22mTalk | Automatic Security-Flaw Detection - Replication and Comparison Technical Track | ||
16:15 22mTalk | An extended model-based characterization of fine-grained access control for SQL queries Technical Track | ||
16:37 22mTalk | A generic framework for representing and analyzing model concurrencyJ1ST Journal-first Steffen Zschaler King's College London, Erwan Bousse Nantes Université, Julien DeAntoni , Benoit Combemale University of Rennes, Inria, CNRS, IRISA Link to publication DOI | ||
Thu 5 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 5 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 22mTalk | Advanced testing and debugging support for reactive executable DSLsJ1ST Journal-first Faezeh Khorram Huawei Technologies, Erwan Bousse Nantes Université, Jean-Marie Mottu IMT Atlantique; Nantes Université; École Centrale Nantes, Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes | ||
10:52 22mTalk | Flexmi: a generic and modular textual syntax for domain-specific modellingJ1ST Journal-first DOI | ||
11:15 22mTalk | SimIMA: a virtual Simulink intelligent modeling assistant - Simulink intelligent modeling assistance through machine learning and model clonesJ1ST Journal-first | ||
11:37 22mTalk | Understanding the need for assistance in software modeling: interviews with expertsJ1ST Journal-first | ||
10:30 - 12:00 | |||
10:30 22mTalk | Introducing bigUML: A Flexible Open-Source GLSP-based Web Modeling Tool for UMLTool Demo Tools and Demonstrations | ||
10:52 25mTalk | Assembly Line: a tool for collaborative modeling of ontologies in public administrationTool Demo Tools and Demonstrations | ||
11:17 18mTalk | Engineering Low-code Modelling Environments with DandelionTool Demo Tools and Demonstrations Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print | ||
11:35 22mTalk | UML Miner: a tool for mining UML diagramsTool Demo Tools and Demonstrations Pasquale Ardimento Università degli Studi di Bari, Lerina Aversano , Mario Luca Bernardi University of Sannio, Vito Alessandro Carella , Marta Cimitile , Michele Scalera DOI Media Attached | ||
10:30 - 12:00 | |||
10:30 22mTalk | Automated Grading of Use Cases Technical Track Omar Alam Trent University, Mohsen Hosseinibaghdadabadi , Nicolas Almerge , Jörg Kienzle McGill University, Canada | ||
10:52 22mTalk | Integrating Testing into the Alloy Model Development Workflow Technical Track Allison Sullivan The University of Texas at Arlington | ||
11:15 22mTalk | On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from bigUML Technical Track | ||
11:37 23mTalk | Lessons Learned Building Tools for Workflow+ Technical Track Nicholas Annable , Richard Paige McMaster University, Mark Lawford McMaster University, Thomas Chiang , Alan Wassyng McMaster University, Canada | ||
12:00 - 13:30 | |||
13:30 - 15:00 | |||
13:30 22mTalk | Atlas: A Toolset for Efficient Model-Driven Data Exchange in Data SpacesTool Demo Tools and Demonstrations | ||
13:52 22mTalk | PyDaQu: Python Data Quality Code Generation based on DATTool Demo Tools and Demonstrations Media Attached | ||
14:15 22mTalk | ScoutSL: An Open-source Simulink Search EngineTool Demo Tools and Demonstrations Sohil Lal Shrestha The University of Texas at Arlington, Alexander Boll University of Bern, Timo Kehrer University of Bern, Christoph Csallner University of Texas at Arlington Pre-print Media Attached | ||
14:37 22mTalk | Demonstration of the DPMF Tool in Support of Data Protection by DesignTool Demo Tools and Demonstrations Laurens Sion imec-DistriNet, KU Leuven, Dimitri Van Landuyt KU Leuven, Belgium, Pierre Dewitte , Peggy Valcke , Wouter Joosen imec-DistriNet, KU Leuven | ||
15:30 - 17:00 | |||
15:30 22mTalk | Incremental Model Transformations with Triple Graph Grammars for Multi-version Models Technical Track Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam | ||
15:52 22mTalk | Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line Technical Track | ||
16:15 22mTalk | How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and ModelsTool Demo Tools and Demonstrations Pre-print | ||
16:37 22mTalk | Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus Technical Track Damien Foures , Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF), Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes - IRISA, Jörg Kienzle McGill University, Canada | ||
15:30 - 17:00 | |||
15:30 22mTalk | Word Embeddings for Model-Driven Engineering Technical Track José Antonio Hernández López Linkoping University, Carlos Durá , Jesús Sánchez Cuadrado Universidad de Murcia Pre-print Media Attached | ||
15:52 22mTalk | Automated Domain Modeling with Large Language Models: A Comparative Study Technical Track Kua Chen , Yujing Yang , Boqi Chen McGill University, José Antonio Hernández López Linkoping University, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University | ||
16:15 22mTalk | SkeMo: Sketch Modeling for Real-Time Model Component Generation Technical Track | ||
16:37 22mTalk | Toward a Symbiotic Approach Leveraging Generative AI for Model-Driven Engineering Technical Track Vinay Kulkarni Tata Consultancy Services Research, Sreedhar Reddy , Souvik Barat Tata Consultancy Services Research, Jaya Dutta | ||
Fri 6 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 6 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 22mTalk | Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo Tools and Demonstrations Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print | ||
10:52 22mTalk | MMT: Mutation Testing of Java Bytecode with Model TransformationTool Demo Tools and Demonstrations Christoph Bockisch Philipps-Universität Marburg, Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg | ||
11:15 22mTalk | Business process modeling language selection for research modelersJ1ST Journal-first Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands | ||
11:37 22mTalk | Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST Journal-first | ||
