EDTConf 2024
Mon 23 - Tue 24 September 2024 Linz, Austria
co-located with MODELS 2024
VenueJohannes Kepler University Linz
Room nameHS 1
Room numberHS 1
Capacity425
Room InformationNo extra information available
Program

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 1MODELS Keynotes / 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
MODELS Keynotes
Joanne M. Atlee University of Waterloo
10:45 - 12:30
Foundations (1)MODELS Technical Track / MODELS Journal-First at HS 1
Chair(s): Sebastian Götz Technische Universität Dresden
10:45
18m
Talk
Partial Bidirectionalization of Model Transformation LanguagesFT
MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS Technical Track
14:00 - 15:45
Modeling Languages EngineeringMODELS Technical Track / MODELS Tools and Demonstrations / MODELS Journal-First at HS 1
Chair(s): Antonio Cicchetti Mälardalen University
14:00
18m
Talk
Product Lines of Graphical Modelling LanguagesFT
MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS 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 CollaborationMODELS Birds of a Feather at HS 1
16:15
75m
Meeting
Around Abstraction Engineering: Challenges, Feedback, and Collaboration
MODELS 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 / MODELS 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
MODELS Keynotes
Arie van Deursen Delft University of Technology
Link to publication Media Attached
10:45 - 12:30
Foundations (2)MODELS Tools and Demonstrations / MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS 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 AIMODELS Panel at HS 1
14:00
60m
Panel
AI for Modeling and Modeling for AI
MODELS 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
MODELS Panel
Marouane Kessentini Grand Valley State University
15:45 - 17:30
MDE and AI (1)MODELS Technical Track / MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS 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 / MODELS 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
MODELS Keynotes
Thomas Zimmermann Microsoft Research
10:45 - 12:30
MDE and AI (2)MODELS Technical Track at HS 1
Chair(s): Sébastien Mosser Université Côte d'Azur, France
10:45
18m
Talk
Automated Derivation of UML Sequence Diagrams from User Stories: Unleashing the Power of Generative AI vs. Rule-Based ApproachFT
MODELS 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
MODELS 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
MODELS 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
MODELS 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
MODELS 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