HS 1 - MODELS 2024

VenueJohannes Kepler University Linz

Room nameHS 1

Room numberHS 1

Capacity425

Room InformationNo extra information available

Program

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

09:00 - 10:15	Keynote 1Keynotes / MODELS at HS 1 Chair(s): Alexander Egyed Johannes Kepler University Linz, Manuel Wimmer JKU Linz

09:00 15m Day opening		Opening MODELS Manuel Wimmer JKU Linz, Alexander Egyed Johannes Kepler University Linz, Marsha Chechik University of Toronto, Benoit Combemale University of Rennes, Inria, CNRS, IRISA
09:15 60m Keynote		Modelling and Analysis of Code Keynotes Joanne M. Atlee University of Waterloo

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

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

16:15 - 17:30	Around Abstraction Engineering: Challenges, Feedback, and CollaborationBirds of a Feather at HS 1

16:15 75m Meeting		Around Abstraction Engineering: Challenges, Feedback, and Collaboration Birds of a Feather Nelly Bencomo Durham University, Jordi Cabot Luxembourg Institute of Science and Technology, Marsha Chechik University of Toronto, Betty H.C. Cheng Michigan State University, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Andrzej Wąsowski IT University of Copenhagen, Denmark, Steffen Zschaler King's College London

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

09:00 - 10:15	Keynote 2MODELS / Keynotes at HS 1 Chair(s): Benoit Combemale University of Rennes, Inria, CNRS, IRISA

09:00 15m Day opening		Announcements MODELS Manuel Wimmer JKU Linz, Alexander Egyed Johannes Kepler University Linz
09:15 60m Keynote		Valuable Software Engineering Keynotes Arie van Deursen Delft University of Technology Link to publication Media Attached

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

14:00 - 15:15	AI for Modeling and Modeling for AIPanel at HS 1

14:00 60m Panel		AI for Modeling and Modeling for AI Panel P: Lola Burgueño University of Malaga, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Davide Di Ruscio University of L'Aquila, P: Daniel Varro Linköping University / McGill University, P: Mehrdad Sabetzadeh University of Ottawa
15:00 15m Talk		MODELS 2025 Announcement Panel Marouane Kessentini Grand Valley State University

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

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

09:00 - 10:15	Keynote 3MODELS / Keynotes at HS 1 Chair(s): Marsha Chechik University of Toronto

09:00 15m Day opening		Announcements MODELS Manuel Wimmer JKU Linz, Alexander Egyed Johannes Kepler University Linz
09:15 60m Keynote		The Lord of the Models: The Fellowship of Trust in AI Keynotes Thomas Zimmermann Microsoft Research Media Attached

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

13:30 - 15:00	Most Influential PapersAwards at HS 1

13:30 30m Paper		Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain Awards Grischa Liebel Reykjavik University, Nadja Marko , Matthias Tichy Ulm University, Germany, Andrea Leitner , Jörgen Hansson Link to publication DOI
14:00 30m Paper		An approach for modeling and detecting software performance antipatterns based on first-order logics Awards Vittorio Cortellessa University of L'Aquila, Antinisca Di Marco University of L'Aquila, Catia Trubiani Gran Sasso Science Institute Link to publication DOI
14:30 30m Paper		Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges Awards Ulrich Frank Link to publication DOI

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
HS 1	Keynotes + MODELS Keynote 1																					Technical Track + Journal-First Foundations (1)																																							Technical Track + Tools and Demonstrations + Journal-First Modeling Languages Engineering																											Birds of a Feather Around Abstraction Engineering: Challenges, Feedback, and Collaboration

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
HS 1	MODELS + Keynotes Keynote 2																					Tools and Demonstrations + Journal-First Foundations (2)																																							Panel AI for Modeling and Modeling for AI																					Technical Track + Tools and Demonstrations MDE and AI (1)

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
HS 1	MODELS + Keynotes Keynote 3																					Technical Track MDE and AI (2)																																	Awards Most Influential Papers

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
HS 1	MODELS Opening 09:00 - 09:15			MODELS Keynotes Modelling and Analysis of Code 09:15 - 10:15																		MODELS Technical TrackFT Partial Bidirectionalization of Model Transformation Languages 10:45 - 11:03				MODELS Technical TrackFTVISION AlloyASG: Alloy Predicate Code Representation as a Compact Structurally ... 11:06 - 11:24				MODELS Journal-First Fault localization in DSLTrans model transformations by combining symbo ... 11:27 - 11:45					MODELS Technical TrackPT Extensions and Scalability Experiments of a Generic Model-Driven Archit ... 11:48 - 12:06				MODELS Technical TrackFTVISION Model Everything but with Intellectual Property Protection—The Deltacha ... 12:09 - 12:21																						MODELS Technical TrackFT Product Lines of Graphical Modelling Languages 14:00 - 14:18				MODELS Technical TrackPT Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical ... 14:21 - 14:39				MODELS Technical TrackFT A Comparative Analysis of Energy Consumption Between Visual Scripting m ... 14:42 - 15:00					MODELS Journal-First OIL: an industrial case study in language engineering with Spoofax 15:03 - 15:21				MODELS Tools and Demonstrations dpDebugger: a Domain-parametric Debugger for DSLs using DAP and Languag ... 15:24 - 15:42										MODELS Birds of a Feather Around Abstraction Engineering: Challenges, Feedback, and Collaboration 16:15 - 17:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
HS 1	MODELS Announcements 09:00 - 09:15			MODELS Keynotes Valuable Software Engineering 09:15 - 10:15																		MODELS Journal-First MBFair: a model-based verification methodology for detecting violations ... 10:45 - 11:03					MODELS Journal-First Identifying and fixing ambiguities in, and semantically accurate formal ... 11:11 - 11:29					MODELS Tools and Demonstrations PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths 11:37 - 11:55						MODELS Tools and Demonstrations Move your MDE-teaching online: The MDENet Education Platform 12:03 - 12:21																							MODELS Panel AI for Modeling and Modeling for AI 14:00 - 15:00												MODELS Panel MODELS 2025 Announcement 15:00 - 15:15									MODELS Technical TrackFT Text2VQL: Teaching a Model Query Language to Open-Source Language Model ... 15:45 - 16:03				MODELS Technical TrackPT Enhancing Automata Learning with Statistical Machine Learning: A Networ ... 16:06 - 16:24				MODELS Technical TrackFT ModelMate: A recommender for textual modeling languages based on pre-tr ... 16:27 - 16:45					MODELS Tools and Demonstrations DSL-Xpert: LLM-driven Generic DSL Code Generation 16:48 - 17:06				MODELS Tools and Demonstrations A RAG-based Feedback Tool to Augment UML Class Diagram Learning 17:09 - 17:27

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
HS 1	MODELS Announcements 09:00 - 09:15			MODELS Keynotes The Lord of the Models: The Fellowship of Trust in AI 09:15 - 10:15																		MODELS Technical TrackFT Automated Derivation of UML Sequence Diagrams from User Stories: Unleas ... 10:45 - 11:03				MODELS Technical TrackFT AI-Driven Consistency of SysML Diagrams 11:06 - 11:24				MODELS Technical TrackFTVISION Toward Intelligent Generation of Tailored Graphical Concrete Syntax 11:27 - 11:45					MODELS Technical TrackPT A DSL for Testing LLMs for Fairness and Bias 11:48 - 12:06				MODELS Technical TrackFTVISION Towards Runtime Monitoring for Responsible Machine Learning using Model ... 12:09 - 12:21																MODELS Awards Assessing the State-of-Practice of Model-Based Engineering in the Embed ... 13:30 - 14:00						MODELS Awards An approach for modeling and detecting software performance antipattern ... 14:00 - 14:30						MODELS Awards Multi-perspective enterprise modeling: foundational concepts, prospects ... 14:30 - 15:00

Room information: HS 1

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

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

Keynotes + MODELS

Technical Track + Journal-First

Technical Track + Tools and Demonstrations + Journal-First

Birds of a Feather

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

MODELS + Keynotes

Tools and Demonstrations + Journal-First

Panel

Technical Track + Tools and Demonstrations

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

MODELS + Keynotes

Technical Track

Awards

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

MODELS 2024

Co-hosted Conferences

Room information: HS 1

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

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

Keynotes + MODELS

Technical Track + Journal-First

Technical Track + Tools and Demonstrations + Journal-First

Birds of a Feather

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

MODELS + Keynotes

Tools and Demonstrations + Journal-First

Panel

Technical Track + Tools and Demonstrations

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

MODELS + Keynotes

Technical Track

Awards

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

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

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

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