DCIH 1st Floor (open space)

VenueGrand Valley State University

Room nameDCIH 1st Floor (open space)

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30	Poster SessionPosters at DCIH 1st Floor (open space) Note this is a poster session, so there is no real order to the individual items. All presenters will be required to be at their posters for the complete session and reviewers will go around the room. In-person

16:00 90m Poster		The DESIRE Methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation Posters Christian Seifert Graz University of Technology, Christian Steger Graz University of Technology, Tiberio Fanti NXP Semiconductors Austria GmbH Co&KG
16:00 90m Poster		Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Posters Philipp Gritsch University of Innsbruck, Deniz Pierer University of Innsbruck, Luca Berardinelli Johannes Kepler University Linz, Marco Cotrotzo University of Innsbruck, Klaus Kaserer University of Innsbruck, Robert Sicher LieberLieber Software GmbH, Danilo Valerio Siemens AG, Michael Felderer German Aerospace Center (DLR) & University of Cologne, Sashko Ristov University of Innsbruck
16:00 90m Poster		Engineering Digital Twins with Statecharts: A Smart Home Application Posters Sahil Salma Toronto Metropolitan University, Zenan Zha Toronto Metropolitan University, Toronto, Canada, Protik Mukherjee Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University
16:00 90m Poster		Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Posters Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Tom Yaacov Ben-Gurion University of the Negev, Daniel Kudenko L3S Research Center, Leibniz Universität Hannover, Germany, Wolfgang Nejdl Leibniz Universität Hannover
16:00 90m Poster		Modal Abstractions for Smart Contract Validation Posters Javier Godoy Departamento de Computacion. FCEyN. UBA, Margarita Capretto IMDEA Software Institute and Universidad Politécnica de Madrid, Martin Ceresa Input Output -- IMDEA Software Institute, Juan Pablo Galeotti Universidad de Buenos Aires, Diego Garbervetsky Universidad de Buenos Aires, César Sánchez IMDEA Software Institute, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
16:00 90m Poster		DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins Posters Eduardo de Conto Nanyang Technological University; CNRS@CREATE, Blaise Genest IPAL - CNRS - CNRS@CREATE, Arvind Easwaran Nanyang Technological University, Nicholas Ng CNRS@CREATE, Singapore, Shweta Menon CNRS@CREATE, Singapore
16:00 90m Poster		Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced Deposition Posters Kévin Delcourt Université de Montréal, Houari Sahraoui DIRO, Université de Montréal, Léo Prevost-Nottelet Université de Montréal, Luc Stafford Université de Montréal
16:00 90m Poster		Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation Posters Nazanin Siavash University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
16:00 90m Poster		An Ecosystem of DSMLs for Building Commissioning Posters Philipp Zech University of Innsbruck, Austria, Emanuele Goldin University of Innsbruck, Christoph Zallinger University of Innsbruck, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Philipp Pobitzer University of Innsbruck, Judith Michael University of Regensburg, Ruth Breu University of Innsbruck
16:00 90m Poster		A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles Posters Farzaneh Kargozari Ontario Tech University - Faculty of Engineering and Applied Science - Electrical-Computer & Software Engineering, Sanaa Alwidian
16:00 90m Poster		DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting Posters Kérian Fiter Polytechnique Montréal, Louis Malassigné-Onfroy École d'Ingénieurs du Conservatoire National des Arts et Métiers, Bentley Oakes Polytechnique Montréal Pre-print
16:00 90m Poster		Model-driven Digital Twins for AECO Posters Philipp Zech University of Innsbruck, Austria, Simon Senoner University of Innsbruck, Austria, Emanuele Goldin University of Innsbruck, Christoph Zallinger University of Innsbruck, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Judith Michael University of Regensburg

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	16:00						30						17:00						30
DCIH 1st Floor (open space)	Posters Poster Session

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	16:00			15			30			45			17:00			15			30			45
DCIH 1st Floor (open space)	MODELS Posters The DESIRE Methodology for Early Pre-Verification of Digital System Arc ... 16:00 - 17:30 Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud 16:00 - 17:30 Engineering Digital Twins with Statecharts: A Smart Home Application 16:00 - 17:30 Streamlined Integration of GR(1) Synthesis and Reinforcement Learning f ... 16:00 - 17:30 Modal Abstractions for Smart Contract Validation 16:00 - 17:30 DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins 16:00 - 17:30 Engineering Digital Twins for AI-Based Design Space Exploration: Case o ... 16:00 - 17:30 Model-Driven Quantum Code Generation Using Large Language Models and Re ... 16:00 - 17:30 An Ecosystem of DSMLs for Building Commissioning 16:00 - 17:30 A Real-Time Multi-modal Framework for Human-Centric Requirements Engine ... 16:00 - 17:30 DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twi ... 16:00 - 17:30 Model-driven Digital Twins for AECO 16:00 - 17:30

Room information: DCIH 1st Floor (open space)

This program is tentative and subject to change.

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Posters

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

MODELS 2025

Co-hosted Conferences

Room information: DCIH 1st Floor (open space)

This program is tentative and subject to change.

Program Display Configuration

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Posters

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change