MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
VenueVästerås Kongress
Room nameKongresshall
Floor1
Room numberKH
Capacity349
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 4 Oct

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

08:30 - 10:00
08:30
30m
Social Event
Welcome to MODELS 2023
MODELS
Antonio Cicchetti Mälardalen University, Alfonso Pierantonio Università degli Studi dell'Aquila, Thomas Kuehne Victoria University of Wellington, Gabriele Taentzer Philipps-Universität Marburg
09:00
60m
Keynote
Models for formal methods and tools: the case of railway systems
MODELS
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
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 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
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 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
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

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS
Federico Ciccozzi Mälardalen University
09:00
60m
Keynote
Navigating the White-Water World with Digital Humanism
MODELS
Gordana Dodig-Crnkovic Chalmers University of Technology
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
13:30 - 15:00
PanelPanel at Kongresshall
Chair(s): Alexander Egyed Johannes Kepler University Linz, Manuel Wimmer JKU Linz
13:30
90m
Panel
How is Artificial Intelligence transforming Model-Driven Engineering?
Panel
P: Nelly Bencomo Durham University, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Vinay Kulkarni Tata Consultancy Services Research, P: Daniel Varro Linköping University / McGill University, P: Lola Burgueño University of Malaga, P: Houari Sahraoui Université de Montréal
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
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 , Jaya Dutta

Fri 6 Oct

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

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS

09:00
60m
Keynote
A "most appropriate” Talk
MODELS
Hans Vangheluwe University of Antwerp and Flanders Make
13:30 - 15:00
13:30
90m
Day closing
Closing and Farewell
MODELS

Hide past events

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

Hide past events

Wed 4 Oct

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

Hide past events