MODELS 2023 - Journal-first

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.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 4 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00	Session B2: Early Phases & Multi-Level ModelingTechnical Track / Journal-first at 301

13:30 22m Talk		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 22m Talk		Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware Technical Track Michael Uelschen , Marco Schaarschmidt , Jannis Budde
14:15 22m Talk		Real-time collaborative multi-level modeling by conflict-free replicated data typesJ1ST Journal-first Istvan David McMaster University, Eugene Syriani Université de Montréal Link to publication DOI
14:37 22m Talk		Multi-Dimensional Multi-Level ModelingJ1ST Journal-first Thomas Kuehne Victoria University of Wellington Link to publication DOI

13:30 - 15:00	Session A2: Application of MDETechnical Track / Journal-first at Kongresshall

13:30 22m Talk		Model-Driven Prompt Engineering Technical Track Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
13:52 22m Talk		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 22m Talk		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 22m Talk		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	Session B3: Understanding Models and Model ChangesTechnical Track / Journal-first at 301

15:30 22m Talk		Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models Technical Track 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
15:52 22m Talk		EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects Technical Track Sohil Lal Shrestha The University of Texas at Arlington, Alexander Boll , Shafiul Azam Chowdhury University of Texas at Arlington, Timo Kehrer University of Bern, Christoph Csallner University of Texas at Arlington Pre-print Media Attached
16:15 22m Talk		gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior Technical Track Dennis Hendriks , Wytse Oortwijn TNO-ESI
16:37 22m Talk		Gamifying model-based engineering: the PapyGame experienceJ1ST Journal-first Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Maxime Savary-Leblanc ANSYS, Xavier Le Pallec , Antonio Cicchetti Mälardalen University, Sébastien Gérard , Simone Bassanelli , Federica Gini , Annapaola Marconi Fondazione Bruno Kessler, Trento, Italy

15:30 - 17:00	Session A3: Uncertainty, Security & ConcurrencyTechnical Track / Journal-first at Kongresshall

15:30 22m Talk		Uncertainty-aware consistency checking in industrial settings Technical Track Antonio Vallecillo University of Málaga, Spain, Robbert Jongeling Malardalen University
15:52 22m Talk		Automatic Security-Flaw Detection - Replication and Comparison Technical Track Bernhard Berger Hamburg University of Technology, Christina Plump
16:15 22m Talk		An extended model-based characterization of fine-grained access control for SQL queries Technical Track Hoàng Nguyễn Phước Bảo , Manuel Clavel
16:37 22m Talk		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 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:00 - 10:30	Coffee BreakBreak at Foajé Plan 2

10:30 - 12:00	Session B4: DSL Engineering & Modeling AssistanceJournal-first at 301

10:30 22m Talk		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 22m Talk		Flexmi: a generic and modular textual syntax for domain-specific modellingJ1ST Journal-first Dimitris Kolovos University of York, Alfonso de la Vega Universidad de Cantabria DOI
11:15 22m Talk		SimIMA: a virtual Simulink intelligent modeling assistant - Simulink intelligent modeling assistance through machine learning and model clonesJ1ST Journal-first Bhisma Adhikari , Eric Rapos Miami University, Matthew Stephan Miami University
11:37 22m Talk		Understanding the need for assistance in software modeling: interviews with expertsJ1ST Journal-first Maxime Savary-Leblanc ANSYS, Xavier Le Pallec , Sébastien Gérard

10:30 - 12:00	Session C4: Web-based ModellingTools and Demonstrations at 302

10:30 22m Talk		Introducing bigUML: A Flexible Open-Source GLSP-based Web Modeling Tool for UMLTool Demo Tools and Demonstrations Haydar Metin , Dominik Bork TU Wien, Vienna, Austria
10:52 25m Talk		Assembly Line: a tool for collaborative modeling of ontologies in public administrationTool Demo Tools and Demonstrations Karel Klíma , Michal Med , Miroslav Blaško , Petr Křemen , Martin Nečaský , Martin Ledvinka , Alice Binderová , Michal Švagr , Filip Kopecký
11:17 18m Talk		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 22m Talk		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	Session A4: Education & Modeling ToolsTechnical Track at Kongresshall

10:30 22m Talk		Automated Grading of Use Cases Technical Track Omar Alam Trent University, Mohsen Hosseinibaghdadabadi , Nicolas Almerge , Jörg Kienzle McGill University, Canada
10:52 22m Talk		Integrating Testing into the Alloy Model Development Workflow Technical Track Allison Sullivan The University of Texas at Arlington
11:15 22m Talk		On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from bigUML Technical Track Haydar Metin , Dominik Bork TU Wien, Vienna, Austria
11:37 23m Talk		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

Fri 6 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00	Session C7: Testing with Models & Workflow ModelingJournal-first / Tools and Demonstrations at 301

10:30 22m Talk		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 22m Talk		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 22m Talk		Business process modeling language selection for research modelersJ1ST Journal-first Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands
11:37 22m Talk		Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST Journal-first Johannes Erbel , Jens Grabowski University of Göttingen

10:30 - 12:00	10-year Most Influential Papers (MIP)Journal-first / Awards at Kongresshall

10:30 22m Talk		10-year SOSYM MIP - Where does model-driven engineering help? Experiences from three industrial casesAWARD Awards Parastoo Mohagheghi NAV, Wasif Gilani , Alin Stefanescu University of Bucharest, Miguel Angel Fernandez Bitergia, Bjørn Nordmoen , Mathias Fritzsche
10:52 22m Talk		10-year MODELS MIP - Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?AWARD Awards Jon Whittle CSIRO's Data61 and Monash University, John Edward Hutchinson , Mark Rouncefield , Håkan Burden Chalmers University of Technology \| University of Gothenburg, Rogardt Heldal
11:15 22m Talk		10-year SOSYM MIP - Managing the evolution of data-intensive Web applications by model-driven techniquesAWARD Awards Antonio Cicchetti Mälardalen University, Davide Di Ruscio University of L'Aquila, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio Università degli Studi dell'Aquila
11:37 22m Talk		A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator propertiesJ1ST Journal-first Stefan John , Jens Kosiol Universität Kassel, Leen Lambers BTU Cottbus Senftenberg, Gabriele Taentzer Philipps-Universität Marburg Link to publication DOI

Accepted Papers

	Title
	Advanced testing and debugging support for reactive executable DSLsJ1ST Journal-first Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé
	A generic framework for representing and analyzing model concurrencyJ1ST Journal-first Steffen Zschaler, Erwan Bousse, Julien DeAntoni, Benoit Combemale Link to publication DOI
	A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator propertiesJ1ST Journal-first Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer Link to publication DOI
	Business process modeling language selection for research modelersJ1ST Journal-first Siamak Farshidi, Izaak Beer Kwantes, Slinger Jansen
	Flexmi: a generic and modular textual syntax for domain-specific modellingJ1ST Journal-first Dimitris Kolovos, Alfonso de la Vega DOI
	Gamifying model-based engineering: the PapyGame experienceJ1ST Journal-first Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sébastien Gérard, Simone Bassanelli, Federica Gini, Annapaola Marconi
	Multi-Dimensional Multi-Level ModelingJ1ST Journal-first Thomas Kuehne Link to publication DOI
	Real-time collaborative multi-level modeling by conflict-free replicated data typesJ1ST Journal-first Istvan David, Eugene Syriani Link to publication DOI
	Reference architectures modelling and compliance checkingJ1ST Journal-first Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Ivano Malavolta, Patrizio Pelliccione
	Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST Journal-first Johannes Erbel, Jens Grabowski
	SimIMA: a virtual Simulink intelligent modeling assistant - Simulink intelligent modeling assistance through machine learning and model clonesJ1ST Journal-first Bhisma Adhikari, Eric Rapos, Matthew Stephan
	Understanding the need for assistance in software modeling: interviews with expertsJ1ST Journal-first Maxime Savary-Leblanc, Xavier Le Pallec, Sébastien Gérard

Journal-firstMODELS 2023

About

Wed 4 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Accepted Papers

Jörg KienzleChair

McGill University, Canada

Canada

Tracks

10:30 - 12:00	Session B1: Validation and VerificationTechnical Track at 301

10:30 22m Talk		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 22m Talk		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 22m Talk		An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning Technical Track Bharat Garhewal , Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands
11:37 22m Talk		Mutation Testing for Temporal Alloy Models Technical Track Ana Jovanovic , Allison Sullivan The University of Texas at Arlington

10:30 - 12:00	Session A1: Digital Twins & Real World ModelingTechnical Track at Kongresshall

10:30 22m Talk		Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned Technical Track Istvan David McMaster University, Pascal Archambault , Quentin Wolak , Cong Vinh Vu, , Timothé Lalonde , Kashif Riaz , Eugene Syriani Université de Montréal, Houari Sahraoui Université de Montréal Pre-print
10:52 22m Talk		A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins Technical Track Sushant Vale , Sreedhar Reddy , Sivakumar Subramanian , Subhrojyoti Roy Chaudhuri , Sri Harsha Nistala , Anirudh Deodhar , Venkataramana Runkana
11:15 22m Talk		Marine Data Observability using KPIs: A MDSE Approach Technical Track Keila Lima Western Norway University of Applied Sciences, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Maria Teresa Rossi University of Milano Bicocca, Italy, Rogardt Heldal , Tosin Daniel Oyetoyan SINTEF Digital, Martina De Sanctis Gran Sasso Science Institute
11:37 22m Talk		Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems Technical Track Wenli Zhang , Weixing Zhang Chalmers \| University of Gothenburg, Daniel Strüber Chalmers \| University of Gothenburg / Radboud University, Regina Hebig Chalmers University of Technology & University of Gothenburg Pre-print

13:30 - 15:00	Session C5: Modelling DataTools and Demonstrations at 302

13:30 22m Talk		Atlas: A Toolset for Efficient Model-Driven Data Exchange in Data SpacesTool Demo Tools and Demonstrations Jakub Klímek , Pavel Koupil , Petr Škoda , Jáchym Bártík , Štěpán Stenchlák , Martin Nečaský , Irena Holubova
13:52 22m Talk		PyDaQu: Python Data Quality Code Generation based on DATTool Demo Tools and Demonstrations Moamin Abughazala University of L'Aquila, Khitam Abughazala Media Attached
14:15 22m Talk		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 22m Talk		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	Session B6: Versioning and VariabilityTechnical Track / Tools and Demonstrations at 301

15:30 22m Talk		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 22m Talk		Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line Technical Track Xiang Chen , Joanne Atlee University of Waterloo
16:15 22m Talk		How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and ModelsTool Demo Tools and Demonstrations Steven Kelly MetaCase, Juha-Pekka Tolvanen MetaCase Pre-print
16:37 22m Talk		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	Session C6: Modelling in the CloudTools and Demonstrations at 302

15:30 22m Talk		Designing Elasticity Policies for Cloud-native Applications with SlingshotTool Demo Tools and Demonstrations A: Floriment Klinaku University of Stuttgart, Julijan Katić , Sarah Sophie Stieß University of Stuttgart, Germany, Steffen Becker University of Stuttgart
15:52 22m Talk		RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements ModelTool Demo Tools and Demonstrations zhang yang , li yang Beihang University, China, Yilong Yang Beihang University, Shuang Chen , Juntao Gao Northeast Petroleum University, Weiru Wang , Yongfeng Yin School of Software, Beihang University
16:15 22m Talk		RM2MS: A Tool for Automatic Identification of Microservices from Requirements ModelsTool Demo Tools and Demonstrations li yang Beihang University, China, zhang yang , Yilong Yang Beihang University, Weiru Wang , Yongfeng Yin School of Software, Beihang University
16:37 22m Talk		jjodel – A reflective cloud-based modeling frameworkTool Demo Tools and Demonstrations Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila, Amleto Di Salle European University of Rome, Damiano Di Vincenzo , Alfonso Pierantonio Università degli Studi dell'Aquila, Giordano Tinella

15:30 - 17:00	Session A6: AI for MDETechnical Track at Kongresshall

15:30 22m Talk		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 22m Talk		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 22m Talk		SkeMo: Sketch Modeling for Real-Time Model Component Generation Technical Track Alisha Sharma Chapai , Eric Rapos Miami University
16:37 22m Talk		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

Journal-firstMODELS 2023

About

Program Display Configuration

Wed 4 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Accepted Papers

Jörg KienzleChair

McGill University, Canada

Canada

Wed 4 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change