This program is tentative and subject to change.

Thu 9 Oct 2025 16:40 - 16:50 at DCIH 1st Floor (open space) - Poster Session

This paper introduces a novel research direction for model-to-text/code transformations by leveraging Large Language Models (LLMs) that can be enhanced with Retrieval-Augmented Generation (RAG) pipelines. The focus is on quantum and hybrid quantum-classical software systems, where model-driven approaches can help reduce the costs and mitigate the risks associated with the heterogeneous platform landscape and lack of developers’ skills. We validate one of the proposed ideas regarding generating code out of UML model instances of software systems. This Python code uses a well-established library, called Qiskit, to execute on gate-based or circuit-based quantum computers. The RAG pipeline that we deploy incorporates sample Qiskit code from public GitHub repositories. Experimental results show that well-engineered prompts can improve CodeBLEU scores by up to a factor of four, yielding more accurate and consistent quantum code. However, the proposed research direction can go beyond this through further investigation in the future by conducting experiments to address our other research questions and ideas proposed here, such as deploying software system model instances as the source of information in the RAG pipelines, or deploying LLMs for code-to-code transformations, for instance, for transpilation use cases.

This program is tentative and subject to change.

Thu 9 Oct

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

15:30 - 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

15:30
10m
Poster
The DESIRE Methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-AnnotationIn Person
Posters
Christian Seifert Graz University of Technology, Christian Steger Graz University of Technology, Tiberio Fanti NXP Semiconductors Austria GmbH Co&KG
15:40
10m
Poster
Twin2Clouds: Cost-Aware DT Engineering and Deployment in the CloudIn Person
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
15:50
10m
Poster
Engineering Digital Twins with Statecharts: A Smart Home ApplicationIn Person
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
10m
Poster
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsIn Person
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:10
10m
Poster
Modal Abstractions for Smart Contract ValidationIn Person
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:20
10m
Poster
DesCartes Builder: A Tool to Develop Machine-Learning Based Digital TwinsIn Person
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:30
10m
Poster
Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced DepositionIn Person
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:40
10m
Poster
Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented GenerationIn Person
Posters
Nazanin Siavash University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
16:50
10m
Poster
An Ecosystem of DSMLs for Building CommissioningIn Person
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
Pre-print
17:00
10m
Poster
A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous VehiclesIn Person
Posters
Farzaneh Kargozari Ontario Tech University - Faculty of Engineering and Applied Science - Electrical-Computer & Software Engineering, Sanaa Alwidian
17:10
10m
Poster
DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin ReportingIn Person
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
17:20
10m
Poster
Model-driven Digital Twins for AECOIn Person
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
Pre-print