Kongresshall - MODELS 2023

VenueVästerås Kongress

Room nameKongresshall

Floor1

Room numberKH

Capacity349

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

08:30 - 10:00	PlenaryMODELS at Kongresshall

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 Maurice H. ter Beek ISTI-CNR File Attached

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 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 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

08:45 - 10:00	PlenaryMODELS at Kongresshall

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 File 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

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 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

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

08:45 - 10:00	PlenaryMODELS at Kongresshall

08:45 15m Day opening		Announcements MODELS
09:00 60m Keynote		A "most appropriate” Talk MODELS Hans Vangheluwe University of Antwerp and Flanders Make File Attached

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

13:30 - 15:00	ClosingMODELS at Kongresshall

13:30 90m Day closing		Closing and Farewell MODELS

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Kongresshall							MODELS Plenary																								Technical Track Session A1: Digital Twins & Real World Modeling																																				Technical Track + Journal-first Session A2: Application of MDE																								Technical Track + Journal-first Session A3: Uncertainty, Security & Concurrency

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Kongresshall										MODELS Plenary																					Technical Track Session A4: Education & Modeling Tools																																				Panel Panel																								Technical Track Session A6: AI for MDE

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Kongresshall										MODELS Plenary																					Journal-first + Awards 10-year Most Influential Papers (MIP)																																				MODELS Closing

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


Room	8:00			15			30			45			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
Kongresshall							MODELS Welcome to MODELS 2023 08:30 - 09:00						MODELS Models for formal methods and tools: the case of railway systems 09:00 - 10:00																		MODELS Technical Track Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned 10:30 - 10:52				MODELS Technical Track A Model-driven Approach for Knowledge-based Engineering of Industrial D ... 10:52 - 11:15					MODELS Technical Track Marine Data Observability using KPIs: A MDSE Approach 11:15 - 11:37				MODELS Technical Track Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems 11:37 - 12:00																							MODELS Technical Track Model-Driven Prompt Engineering 13:30 - 13:52				MODELS Technical Track Leveraging modeling concepts and techniques to address challenges in ne ... 13:52 - 14:15					MODELS Technical Track Timing-Aware Software-in-the-Loop Simulation of Automotive Applications ... 14:15 - 14:37				MODELS Journal-firstJ1ST Reference architectures modelling and compliance checking 14:37 - 15:00											MODELS Technical Track Uncertainty-aware consistency checking in industrial settings 15:30 - 15:52				MODELS Technical Track Automatic Security-Flaw Detection - Replication and Comparison 15:52 - 16:15					MODELS Technical Track An extended model-based characterization of fine-grained access control ... 16:15 - 16:37				MODELS Journal-firstJ1ST A generic framework for representing and analyzing model concurrency 16:37 - 17:00

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


Room	8:00			15			30			45			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
Kongresshall										MODELS Announcements 08:45 - 09:00			MODELS Navigating the White-Water World with Digital Humanism 09:00 - 10:00																		MODELS Technical Track Automated Grading of Use Cases 10:30 - 10:52				MODELS Technical Track Integrating Testing into the Alloy Model Development Workflow 10:52 - 11:15					MODELS Technical Track On Developing and Operating GLSP-based Web Modeling Tools: Lessons Lear ... 11:15 - 11:37				MODELS Technical Track Lessons Learned Building Tools for Workflow+ 11:37 - 12:00																							MODELS Panel How is Artificial Intelligence transforming Model-Driven Engineering? 13:30 - 15:00																								MODELS Technical Track Word Embeddings for Model-Driven Engineering 15:30 - 15:52				MODELS Technical Track Automated Domain Modeling with Large Language Models: A Comparative Study 15:52 - 16:15					MODELS Technical Track SkeMo: Sketch Modeling for Real-Time Model Component Generation 16:15 - 16:37				MODELS Technical Track Toward a Symbiotic Approach Leveraging Generative AI for Model-Driven E ... 16:37 - 17:00

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


Room	8:00			15			30			45			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
Kongresshall										MODELS Announcements 08:45 - 09:00			MODELS A "most appropriate” Talk 09:00 - 10:00																		MODELS AwardsAWARD 10-year SOSYM MIP - Where does model-driven engineering help? Experienc ... 10:30 - 10:52				MODELS AwardsAWARD 10-year MODELS MIP - Industrial Adoption of Model-Driven Engineering: A ... 10:52 - 11:15					MODELS AwardsAWARD 10-year SOSYM MIP - Managing the evolution of data-intensive Web applic ... 11:15 - 11:37				MODELS Journal-firstJ1ST A graph-based framework for model-driven optimization facilitating impa ... 11:37 - 12:00																							MODELS Closing and Farewell 13:30 - 15:00

Room information: Kongresshall

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

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

MODELS

Technical Track

Technical Track + Journal-first

Technical Track + Journal-first

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

MODELS

Technical Track

Panel

Technical Track

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

MODELS

Journal-first + Awards

MODELS

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

Tracks

Room information: Kongresshall

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

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

MODELS

Technical Track

Technical Track + Journal-first

Technical Track + Journal-first

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

MODELS

Technical Track

Panel

Technical Track

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

MODELS

Journal-first + Awards

MODELS

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

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

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

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