MODELS 2024 - Tools and Demonstrations

MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has been covering all aspects of modeling, from languages and methods to tools and applications. Since the inception of the conference, the development of tools to support modeling activities has been an integral part of the research activities with many of these tools evolving into modeling platforms that support the development of new tools. The demonstration of tools at recent MODELS conferences has shown that both researchers and practitioners dedicate more time and effort to developing high-quality tools to be used by the community and industry. It is also accepted that the availability of tools is a primary factor for the adoption of model-driven engineering approaches.

With this call, we solicit high-quality submissions for the tool demonstration track of MODELS 2024, ranging across commercial, academic, and corporate research as well as industrial systems. We encourage submissions on tools that are: research prototypes built to support novel research ideas, extensions of existing tools and toolchains, mature tools as well as pedagogical tools that support the teaching of model-driven approaches. Any of the MODELS topics of interest are appropriate areas for tool demonstrations.

The submissions to this track should not have been demonstrated at other venues and extensions of existing tools should be substantial. Based on the purpose of the tool, submissions will be evaluated on their technical merit, novelty, pedagogical impact, relevance to the modeling community, and potential for use in real-world applications. In all cases, particular attention will be given to the quality of the proposed demonstrations. Of course, at least one of the authors must attend the demonstration session to present the tool and discuss it with attendees.

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 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	MBSE and Digital TwinsTechnical Track / Journal-First / Tools and Demonstrations at HS 7 Chair(s): Betty H.C. Cheng Michigan State University

10:45 18m Paper		A model-based reference architecture for complex assistive systems and its application Journal-First Judith Michael RWTH Aachen University, Volodymyr Shekhovtsov Link to publication DOI
11:06 18m Talk		Modeling Languages for Digital Twins: A Survey Among the German Automotive IndustryPT Technical Track Jérôme Pfeiffer University of Stuttgart, Germany, Dominik Fuchß Karlsruhe Institute of Technology, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Robin Liebhart , Dirk Neumann Karlsruhe KIT, Christer Neimöck , Christian Seiler
11:27 18m Paper		Current trends in digital twin development, maintenance, and operation: an interview study Journal-First Hossain Muhammad Muctadir Eindhoven University of Technology, David A Manrique Negrin Eindhoven University of Technology (TU/e), Gunasekaran Raghavendran , Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Mark van den Brand Eindhoven University of Technology, Boudewijn Haverkort Link to publication DOI
11:48 18m Talk		Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future PathwaysPT Technical Track Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York, Michael Bennett , Joe Newton , Piotr Zacharzewski DOI
12:09 18m Talk		SMOKE: Simulink Model Obfuscator Keeping Structure Tools and Demonstrations Alexander Boll University of Bern, Timo Kehrer University of Bern, Michael Goedicke paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen DOI Pre-print Media Attached File Attached

14:00 - 15:45	Modeling Languages EngineeringTechnical Track / Tools and Demonstrations / Journal-First at HS 1 Chair(s): Antonio Cicchetti Mälardalen University

14:00 18m Talk		Product Lines of Graphical Modelling LanguagesFT Technical Track Antonio Garmendia Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print
14:21 18m Talk		Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing SpecificationsPT Technical Track Ionut Predoaia University of York, James Harbin , Simos Gerasimou University of York, Christina Vasiliou , Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York DOI
14:42 18m Talk		A Comparative Analysis of Energy Consumption Between Visual Scripting models and C++ in Unreal Engine: Raising Awareness on the importance of Green MDDFT Technical Track Javier Verón Mérida SVIT Research Group, Universidad San Jorge, Carlos Pérez , Coral Calero Universidad de Castilla La Mancha, Mª Angeles Moraga University of Castilla-La Mancha, Francisca Pérez SVIT Research Group, Universidad San Jorge, Carlos Cetina San Jorge University, Spain
15:03 18m Paper		OIL: an industrial case study in language engineering with Spoofax Journal-First Olav Bunte Eindhoven University of Technology, Jasper Denkers TU Delft, Louis van Gool , Jurgen Vinju , Eelco Visser Delft University of Technology, Tim A.C. Willemse , Andy Zaidman Delft University of Technology Link to publication DOI
15:24 18m Talk		dpDebugger: a Domain-parametric Debugger for DSLs using DAP and Language Protocols Tools and Demonstrations Josselin Enet Nantes Université, Erwan Bousse Nantes Université, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes

14:00 - 15:45	Applications (1)Tools and Demonstrations / Technical Track at HS 7 Chair(s): Nelly Bencomo Durham University

14:00 18m Talk		Meta-Modelling KindnessFT Technical Track Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Bashar Nuseibeh The Open University, UK
14:21 18m Talk		Mutation Testing of Java Bytecode: A Model-Driven ApproachPT Technical Track Christoph Bockisch , Deniz Eren , Sascha Lehmann , Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
14:42 18m Talk		IMP-Logics: a metamodel for analysis and transformations of Datalog programs Tools and Demonstrations José Francisco Crespo Universitat Politècnica de Catalunya, Martí Juanola I Ametller Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Martí Recalde Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain
15:03 18m Talk		Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing Tools and Demonstrations Jerry Hou-Liu McGill University, Zhekai Jiang EPFL / McGill University, Aren Babikian McGill University Link to publication DOI
15:24 12m Talk		Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesFTVISION Technical Track Ulf Kargén , Daniel Varro Linköping University / McGill University

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	Foundations (2)Tools and Demonstrations / Journal-First at HS 1 Chair(s): Davide Di Ruscio University of L'Aquila

10:45 18m Paper		MBFair: a model-based verification methodology for detecting violations of individual fairness Journal-First Qusai Ramadan Universität Koblenz, Marco Konersmann , Amir Shayan Ahmadian , Jan Jürjens University of Koblenz-Landau, Steffen Staab Link to publication DOI
11:11 18m Paper		Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements Journal-First Thuy Nguyen , Imen Sayar , Sophie Ebersold , Jean-Michel Bruel Université de Toulouse, France Link to publication DOI
11:37 18m Talk		PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths Tools and Demonstrations Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Tommaso Guidolin Universita' degli Studi di Trento, Lorenzo Fasol Universita' degli Studi di Trento, Gianluca Schiavo Fondazione Bruno Kessler, Jörg Kienzle ITIS Software, University of Malaga, Sebastian Gerard CEA Saclay - NanoInnov, David Négrier WorkAdventure, Tommaso Martorella EPFL
12:03 18m Talk		Move your MDE-teaching online: The MDENet Education Platform Tools and Demonstrations Steffen Zschaler King's College London, Will Barnett King's College London, Artur Boronat University of Leicester, Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York

10:45 - 12:30	Model ManagementTechnical Track / Tools and Demonstrations at HS 7 Chair(s): Eugene Syriani Université de Montréal

10:45 18m Talk		EditQL: A Textual Query Language for Evolving ModelsFT Technical Track Jakob Pietron Ulm University, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Alexander Raschke Ulm University, Matthias Tichy Ulm University, Germany Link to publication DOI
11:06 18m Talk		10 years of Model Federation with Openflexo: Challenges and Lessons LearnedPT Technical Track Jean-Christophe Bach IMT Atlantique, Lab-STICC (UMR 6285), Antoine Beugnard , Joel Champeau , Fabien Dagnat IMT Atlantique, Lab-STICC (UMR 6285), Sylvain Guérin IMT Atlantique, Lab-STICC (UMR 6285), Salvador Martínez IMT Atlantique
11:27 18m Talk		Give me some REST: A Controlled Experiment to Study Effects and Perception of Model-Driven Engineering with a Domain-Specific LanguagePT Technical Track Maximilian Schiedermeier Université du Québec à Montréal, Jörg Kienzle ITIS Software, University of Malaga, Bettina Kemme McGill University, Canada
11:48 18m Talk		Enhancing Model Management with Automated REST API Generation Tools and Demonstrations Adiel Tuyishime Gran Sasso Science Institute, Francesco Basciani Gran Sasso Science Institute (GSSI), Javier Luis Cánovas Izquierdo IN3 - UOC, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
12:09 18m Talk		Keeping clients' models up-to-date with Edelta Tools and Demonstrations Lorenzo Bettini Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA), Davide Di Ruscio University of L'Aquila, Amleto Di Salle Gran Sasso Science Institute (GSSI), Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio

15:45 - 17:30	MDE and AI (1)Technical Track / Tools and Demonstrations at HS 1 Chair(s): Lola Burgueño University of Malaga

15:45 18m Talk		Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPTFT Technical Track José Antonio Hernández López Linkoping University, Máté Földiák , Daniel Varro Linköping University / McGill University
16:06 18m Talk		Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case StudyPT Technical Track Negin Ayoughi University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Patricio Saavedra RabbitRun Technologies Inc Pre-print
16:27 18m Talk		ModelMate: A recommender for textual modeling languages based on pre-trained language modelsFT Technical Track Carlos Durá , José Antonio Hernández López Linkoping University, Jesús Sánchez Cuadrado Universidad de Murcia DOI Authorizer link Pre-print
16:48 18m Talk		DSL-Xpert: LLM-driven Generic DSL Code Generation Tools and Demonstrations Victor Lamas Universidade da Coruña, CITIC, Database Lab, Miguel Rodríguez Luaces Universidade da Coruña, Daniel Garcia-Gonzalez Universidade da Coruña, CITIC, Database Lab
17:09 18m Talk		A RAG-based Feedback Tool to Augment UML Class Diagram Learning Tools and Demonstrations Pasquale Ardimento Università degli Studi di Bari, Mario Luca Bernardi University of Sannio, Marta Cimitile Unitelma Sapienza University, Michele Scalera University of Bari Aldo Moro - Department of Informatics DOI

15:45 - 17:30	Applications (2)Tools and Demonstrations / Technical Track / Journal-First at HS 7 Chair(s): Timothy Lethbridge University of Ottawa

15:45 18m Talk		Requirement-Driven Generation of Distributed Ledger ArchitecturesFT Technical Track Noor Mohammed Sabr Al-Gburi Budapest University of Technology and Economics, András Földvári , Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Imre Kocsis Pre-print
16:06 18m Paper		FloBP: a model-driven approach for developing and executing IoT-enhanced business processes Journal-First Arianna Fedeli University of Camerino, Fabrizio Fornari University of Camerino, Italy, Andrea Polini , Barbara Re University of Camerino, Victoria Torres Universitat Politècnica de València, Pedro Valderas Universitat Politècnica de València Link to publication DOI
16:27 18m Talk		EpiMDE: A Model Driven Engineering Platform for Epidemiological ModelingPT Technical Track Bruno Curzi-Laliberté , Marios-Eleftherios Fokaefs , Michalis Famelis Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal
16:48 18m Talk		AutoMW: Model-based Automated Medical WritingPT Technical Track Asha Rajbhoj TCS Research, Ajim Pathan TCS Research, Tanay Sant , Vinay Kulkarni Tata Consultancy Services Research, Padmalata Nistala , Rajesh Pandey , Sabarinathan Narasimhan , Geetha Thiagarajan
17:09 18m Talk		Nautilus: Implementation of an Evolution Approach for Graph Databases Tools and Demonstrations Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	Modeling Languages and ToolsTools and Demonstrations at HS 7 Chair(s): Steffen Zschaler King's College London

10:45 18m Talk		Modelling Tool Extension for Vulnerability Management Tools and Demonstrations Avi Shaked University of Oxford, UK, Nan Messe IRIT - University of Toulouse, Tom Melham University of Oxford
11:11 18m Talk		SCCD Debugger: a Debugger for Statecharts and Class Diagrams Tools and Demonstrations Francisco Simões NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Miguel Goulao NOVA-LINCS, FCT/UNL, Vasco Amaral NOVA LINCS & Nova School of Sciences and Tecnhology, Joeri Exelmans University of Antwerp, Hans Vangheluwe University of Antwerp and Flanders Make
11:37 18m Talk		M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language Tools and Demonstrations Fabian Muff University of Fribourg, Hans-Georg Fill University of Fribourg DOI
12:03 18m Talk		Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol Tools and Demonstrations Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York

Unscheduled Events

Not scheduled
Talk

MBSE 4 DT: A Tool for the Automated Generation of Operational Digital Twins Based on MBSE Models

Tools and Demonstrations

Philippe Heiler Fraunhofer IESE, Andreas Pollom Fraunhofer IESE, Martin Becker Fraunhofer IESE, Rene-Pascal Fischer Fraunhofer IESE, Thomas Psota Fraunhofer IESE

Accepted Papers

	Title
	A RAG-based Feedback Tool to Augment UML Class Diagram Learning Tools and Demonstrations Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera DOI
	Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing Tools and Demonstrations Jerry Hou-Liu, Zhekai Jiang, Aren Babikian Link to publication DOI
	Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol Tools and Demonstrations Antonio Garcia-Dominguez, Dimitris Kolovos
	dpDebugger: a Domain-parametric Debugger for DSLs using DAP and Language Protocols Tools and Demonstrations Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé
	DSL-Xpert: LLM-driven Generic DSL Code Generation Tools and Demonstrations Victor Lamas, Miguel Rodríguez Luaces, Daniel Garcia-Gonzalez
	Enhancing Model Management with Automated REST API Generation Tools and Demonstrations Adiel Tuyishime, Francesco Basciani, Javier Luis Cánovas Izquierdo, Ludovico Iovino
	IMP-Logics: a metamodel for analysis and transformations of Datalog programs Tools and Demonstrations José Francisco Crespo, Martí Juanola I Ametller, Xavier Oriol, Martí Recalde, Ernest Teniente
	Keeping clients' models up-to-date with Edelta Tools and Demonstrations Lorenzo Bettini, Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio
	M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language Tools and Demonstrations Fabian Muff, Hans-Georg Fill DOI
	Modelling Tool Extension for Vulnerability Management Tools and Demonstrations Avi Shaked, Nan Messe, Tom Melham
	Move your MDE-teaching online: The MDENet Education Platform Tools and Demonstrations Steffen Zschaler, Will Barnett, Artur Boronat, Antonio Garcia-Dominguez, Dimitris Kolovos
	Nautilus: Implementation of an Evolution Approach for Graph Databases Tools and Demonstrations Dominique Hausler, Meike Klettke
	PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths Tools and Demonstrations Antonio Bucchiarone, Tommaso Guidolin, Lorenzo Fasol, Gianluca Schiavo, Jörg Kienzle, Sebastian Gerard, David Négrier, Tommaso Martorella
	SCCD Debugger: a Debugger for Statecharts and Class Diagrams Tools and Demonstrations Francisco Simões, Miguel Goulao, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe
	SMOKE: Simulink Model Obfuscator Keeping Structure Tools and Demonstrations Alexander Boll, Timo Kehrer, Michael Goedicke DOI Pre-print Media Attached File Attached

Submission Guidelines

Full submissions must be submitted via EasyChair by July 8, 2024. A full submission must consist of no more than 5 pages (to be published). Authors must also complement their paper with an appendix (not published) describing the demo outline/screenshots and/or a link to a short video/screencast (5 min max) illustrating the tool (e.g., PeerTube, YouTube, and Vimeo). Submissions that do not adhere to the above-specified page limits or that violate the formatting guidelines may be desk-rejected without review.

All submissions must be written in English and adhere to the ACM formatting instructions. Formatting instructions are available here for both LaTeX and Word users as follows:

Formatting instructions are available at https://www.acm.org/publications/proceedings-template for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf, review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.
By submitting to the MODELS Tools and Demonstrations Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism. In particular, submitted papers must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MODELS Tools and Demonstrations Track 2024.

All submissions will be peer-reviewed by at least three reviewers. We will follow a single-blind reviewing process. Please submit your paper electronically in PDF via Easychair.

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all [ACM Publications Policies]8https://www.acm.org/publications/policies), including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.”

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently committed to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2024. We are committed to improving author discoverability, ensuring proper attribution, and contributing to ongoing community efforts around name normalization; your ORCID ID will help in these efforts. Please contact the Program Chairs if you have any questions about the submission process.

Publication

Accepted tool demonstration papers will be published in the ACM Digital Library and indexed by DBLP.

Conference Presentation

The presentation at the conference should emphasize the usage of the tool, not the rationale and related work as described in the paper. Thus, a substantial portion of the presentation must be an actual live demonstration of the tool.

10:45 - 12:30	Foundations (1)Technical Track / Journal-First at HS 1 Chair(s): Sebastian Götz Technische Universität Dresden

10:45 18m Talk		Partial Bidirectionalization of Model Transformation LanguagesFT Technical Track Soichiro Hidaka Hosei University, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
11:06 18m Talk		AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced GraphFTVISION Technical Track Guanxuan Wu University of Texas at Arlington, Allison Sullivan University of Texas at Arlington Pre-print
11:27 18m Paper		Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Journal-First Bentley Oakes Polytechnique Montréal, Javier Troya Universidad de Málaga, Spain, Jessie Galasso-Carbonnel McGill University, Manuel Wimmer JKU Linz Link to publication DOI
11:48 18m Talk		Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model ReasoningPT Technical Track Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raul Mazo
12:09 12m Talk		Model Everything but with Intellectual Property Protection—The Deltachain ApproachFTVISION Technical Track Thomas Weber , Sebastian Weber

10:45 - 12:30	MDE and AI (2)Technical Track at HS 1 Chair(s): Sébastien Mosser McMaster University

10:45 18m Talk		Automated Derivation of UML Sequence Diagrams from User Stories: Unleashing the Power of Generative AI vs. Rule-Based ApproachFT Technical Track Munima Jahan , Mohammad Mahdi Hassan , Reza Golpayegani , Golshid Ranjbaran , Chanchal K. Roy University of Saskatchewan, Canada, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan
11:06 18m Talk		AI-Driven Consistency of SysML DiagramsFT Technical Track Ludovic Apvrille , Bastien Sultan Télécom Paris, Polytechnic Institute of Paris
11:27 18m Talk		Toward Intelligent Generation of Tailored Graphical Concrete SyntaxFTVISION Technical Track Meriem Ben Chaaben Université de Montréal, Oussama Ben Sghaier DIRO, Université de Montréal, Mouna Dhaouadi University of Montreal, Nafisa Elrasheed , Ikram Darif École de technologie supérieure (ÉTS), Imen Jaoua , Bentley Oakes Polytechnique Montréal, Eugene Syriani Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal DOI Pre-print
11:48 18m Talk		A DSL for Testing LLMs for Fairness and BiasPT Technical Track Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
12:09 12m Talk		Towards Runtime Monitoring for Responsible Machine Learning using Model-driven EngineeringFTVISION Technical Track Hira Naveed Monash University, John Grundy Monash University, Chetan Arora Monash University, Hourieh Khalajzadeh Deakin University, Australia, Omar Haggag Monash University, Australia Link to publication DOI Pre-print

Tools and DemonstrationsMODELS 2024

Program Display Configuration

Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Unscheduled Events

Accepted Papers

Submission Guidelines

Romina EramoCo-chair

University of Teramo

Italy

Javier TroyaCo-chair

Universidad de Málaga, Spain

Spain

Shaukat Ali

Simula Research Laboratory and Oslo Metropolitan University

Norway

Konstantinos Barmpis

University of York

United Kingdom

Luca Berardinelli

Johannes Kepler University Linz

Austria

Hugo Bruneliere

IMT Atlantique, LS2N (UMR CNRS 6004)

France

Alessio Bucaioni

Mälardalen University

Loek Cleophas

Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)

Netherlands

Daniele Di Pompeo

University of L'Aquila

Italy

Amleto Di Salle

Gran Sasso Science Institute (GSSI)

Italy

Antonio Garcia-Dominguez

University of York

United Kingdom

Sudipto Ghosh

Colorado State University, USA

United States

Ludovico Iovino

Gran Sasso Science Institute, L'Aquila, Italy

Italy

Nico Jansen

Software Engineering, RWTH Aachen University

Germany

Faezeh Khorram

Huawei Technologies

France

Daniel Lehner

Johannes Kepler University Linz

Austria

David A Manrique Negrin

Eindhoven University of Technology (TU/e)

Netherlands

Nicholas Matragkas

CEA, LIST, Université Paris Saclay

France

Rakshit Mittal

University of Antwerp - Flanders Make

Belgium

Sergio Morales

Universitat Oberta de Catalunya

Spain

Paula Muñoz

ITIS Software, University of Malaga

Spain

Hiroyuki Nakagawa

Osaka University

Japan

Shekoufeh Rahimi

University of Roehampton

István Ráth

IncQuery Labs

Hungary

Sabine Sint

Michele Tucci

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change