DCIH 507 - MODELS 2025

VenueGrand Valley State University

Room nameDCIH 507

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

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

10:30 - 12:00	Session 4: Simultaneous Development of Languages, Models, and Programs: Boosting the Power of ModelingTutorials at DCIH 507 In-person

10:30 90m Tutorial		Simultaneous Development of Languages, Models, and Programs: Boosting the Power of Modeling Tutorials Ulrich Frank

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

13:30 - 15:00	Session 1Industry Days at DCIH 507 In-person

13:30 30m Industry talk		From Autocomplete to Autonomous Agents: Human-AI Collaboration in Software Development Industry Days I: Drew Colthorp Atomic Object
14:00 30m Industry talk		Industry and Academic Collaborative Research into Parsing and Analysis of Natural Language Requirements Industry Days I: Michael Lingg Array of Engineers
14:30 30m Industry talk		Advancing Real-Time Translation: Cloud-Native Generative AI Systems and Evaluation Industry Days I: Sandrine Simen Geico

15:30 - 17:00	Session 2Industry Days at DCIH 507 In-person

15:30 30m Industry talk		How to Win Leadership Support for AI Industry Days I: David Crawford Michigan Software Labs
16:00 30m Industry talk		Bringing Next-Gen AI models into Production Industry Days I: Joshua Engelsma ROC.ai
16:30 30m Industry talk		Future of Software Engineering: Human-Centered AI-Driven Development Practices Industry Days I: Jacob Scheatzle Amazon, I: Brian Krygsman Amazon

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

11:00 - 12:30	Session 2: Model-Driven Engineering Foundations and EvolutionJournal-First / Research Papers / New Ideas and Emerging Results (NIER) at DCIH 507 Hybrid

11:00 18m Talk		Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworksPT Research Papers Bjoern Annighoefer University of Stuttgart, Vanessa Tietz University of Stuttgart, Germany
11:18 18m Talk		The State of Model Driven Development 29 Years After Completing the SISU ProjectPT Research Papers Stein Erik Ellevseth ABB Retired Researcher, Peter Herrmann Norwegian University of Science and Technology (NTNU), Emmanuel Gaudin PragmaDev, Paris, Juergen Dingel Queen's University, Kingston, Ontario
11:36 18m Talk		Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFT Research Papers Marcel Homolka ISSE, Luciano Marchezan DIRO, University of Montreal, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz
11:54 18m Talk		Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis New Ideas and Emerging Results (NIER) Willian Bolzan Federal Institute of Santa Catarina - IFSC, Robson Keemps da silva Federal Institute of Mato Grosso - IFMT, Kleinner Farias University of Vale do Rio dos Sinos (UNISINOS)
12:12 18m Talk		Modeling the obsolescence of models Journal-First Iván Alfonso Luxembourg Institute of Science and Technology, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Pierre Brimont Luxembourg Institute of Science and Technology and University of Luxembourg, Jordi Cabot Luxembourg Institute of Science and Technology DOI

14:00 - 15:30	Session 4: Model Transformation, Verification, and AnalysisResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507 Hybrid

14:00 18m Talk		Translating Behavior Trees to Petri Nets for Model CheckingFT Research Papers Matteo Palmas Bosch Research, Robert Bosch GmbH, Michaela Klauck Bosch Research, Robert Bosch GmbH, Ralph Lange Bosch Research, Robert Bosch GmbH, Enrico Ghiorzi University of Genoa, Armando Tacchella University of Genoa
14:18 18m Talk		Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems New Ideas and Emerging Results (NIER) Connor Wojtak University of Arizona, Darek Gajewski University of Arizona, Tucson, Arizona, USA, Tomas Cerny University of Arizona
14:36 18m Talk		Automata Models for Effective Bug DescriptionFT Research Papers Tom Yaacov Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, Gal Amram IBM Research, Avi Hayoun Ben-Gurion University of the Negev
14:54 18m Talk		Towards the Coordination and Verification of Heterogeneous Systems with Data and TimeFT Research Papers Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Harald König FHDW Hannover, Western Norway University of Applied Sciences, Francisco Durán University of Málaga, Spain Pre-print
15:12 18m Talk		A framework for evaluating tool support for co-evolution of modeling languages, tools and models Journal-First Juha-Pekka Tolvanen MetaCase, Steven Kelly MetaCase, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio , Giordano Tinella DOI

16:00 - 17:30	Tools and DemosTools and Demonstrations at DCIH 507 Hybrid

16:00 15m Talk		Model based tools for inquiry into expungement law Tools and Demonstrations
16:15 15m Talk		DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins Tools and Demonstrations Abdelhamid Rouatbi DIRO, University of Montreal, Eugene Syriani Université de Montréal, Bentley Oakes Polytechnique Montréal Pre-print
16:30 15m Talk		Semantic Analysis of Domain Model Evolution in Model-Driven Software Development Tools and Demonstrations
16:45 15m Talk		XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment Tools and Demonstrations
17:00 15m Talk		AI-assisted JSON Schema Creation and Mapping Tools and Demonstrations
17:15 15m Talk		Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Tools and Demonstrations

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

11:00 - 12:30	Session 7: Security, Validation, and Smart ContractsJournal-First / Research Papers at DCIH 507 Hybrid

11:00 18m Talk		Modal Abstractions for Smart Contract ValidationFT Research Papers 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
11:18 18m Talk		Mining Frequent Structures in Conceptual Models Journal-First Mattia Fumagalli Free University of Bozen-Bolzano, Tiago Prince Sales University of Twente, Pedro Paulo Barcelos , Giovanni Micale , Philipp-Lorenz Glaser Business Informatics Group, TU Wien, Dominik Bork TU Wien, Vadim Zaytsev University of Twente, Diego Calvanese , Giancarlo Guizzardi Universiteit Twente DOI
11:36 18m Talk		Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaPT Research Papers Peihao Yang Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of Technology, Tiantian Wang Harbin Institute of Technology, Ming Yang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology
11:54 18m Talk		Diagrammatic physical robot models Journal-First Alvaro Miyazawa , Sharar Ahmadi , Ana Cavalcanti University of York, James Baxter , Mark Post , Pedro Ribeiro University of York, UK, Jon Timmis , Thomas Wright DOI
12:12 18m Talk		How fair are we? From conceptualization to automated assessment of fairness definitions Journal-First Giordano d'Aloisio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Antinisca Di Marco University of L'Aquila, Davide Di Ruscio University of L'Aquila DOI

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


Room	10:00						30						11:00						30
DCIH 507							Tutorials Session 4: Simultaneous Development of Languages, Models, and Programs: Boosting the Power of Modeling

Tue 7 Oct
Displayed time zone: Eastern Time (US & Canada) 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
DCIH 507							Industry Days																								Industry Days																																				Industry Days Session 1																								Industry Days Session 2

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
DCIH 507	Journal-First + Research Papers + New Ideas and Emerging Results (NIER) Session 2: Model-Driven Engineering Foundations and Evolution																																				Research Papers + New Ideas and Emerging Results (NIER) + Journal-First Session 4: Model Transformation, Verification, and Analysis																								Tools and Demonstrations Tools and Demos

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


Room	11:00						30						12:00						30
DCIH 507	Journal-First + Research Papers Session 7: Security, Validation, and Smart Contracts

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


Room	10:00			15			30			45			11:00			15			30			45
DCIH 507							MODELS Tutorials Simultaneous Development of Languages, Models, and Programs: Boosting t ... 10:30 - 12:00

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


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
DCIH 507							MODELS Industry Days From Autocomplete to Autonomous Agents: Human-AI Collaboration in Softw ... 13:30 - 14:00						MODELS Industry Days Industry and Academic Collaborative Research into Parsing and Analysis ... 14:00 - 14:30						MODELS Industry Days Advancing Real-Time Translation: Cloud-Native Generative AI Systems and ... 14:30 - 15:00												MODELS Industry Days How to Win Leadership Support for AI 15:30 - 16:00						MODELS Industry Days Bringing Next-Gen AI models into Production 16:00 - 16:30						MODELS Industry Days Future of Software Engineering: Human-Centered AI-Driven Development Pr ... 16:30 - 17:00

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


Room	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			17:00			15			30			45
DCIH 507	MODELS Research PapersPT Common modeling concepts and a command interface towards bisimilar beha ... 11:00 - 11:18				MODELS Research PapersPT The State of Model Driven Development 29 Years After Completing the SIS ... 11:18 - 11:36			MODELS Research PapersFT Going from the Past back to the Future: Incrementally Reconstructing a ... 11:36 - 11:54				MODELS New Ideas and Emerging Results (NIER) Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate ... 11:54 - 12:12			MODELS Journal-First Modeling the obsolescence of models 12:12 - 12:30																						MODELS Research PapersFT Translating Behavior Trees to Petri Nets for Model Checking 14:00 - 14:18				MODELS New Ideas and Emerging Results (NIER) Vision: An Extensible Methodology for Formal Software Verification in M ... 14:18 - 14:36			MODELS Research PapersFT Automata Models for Effective Bug Description 14:36 - 14:54				MODELS Research PapersFT Towards the Coordination and Verification of Heterogeneous Systems with ... 14:54 - 15:12			MODELS Journal-First A framework for evaluating tool support for co-evolution of modeling la ... 15:12 - 15:30										MODELS Tools and Demonstrations Model based tools for inquiry into expungement law 16:00 - 16:15			MODELS Tools and Demonstrations DTChecker: A Real-Time Signal Monitoring and Property Specification Too ... 16:15 - 16:30			MODELS Tools and Demonstrations Semantic Analysis of Domain Model Evolution in Model-Driven Software De ... 16:30 - 16:45			MODELS Tools and Demonstrations XModelerML v3: Integrating Executable UML with a Multi-Level Language E ... 16:45 - 17:00			MODELS Tools and Demonstrations AI-assisted JSON Schema Creation and Mapping 17:00 - 17:15			MODELS Tools and Demonstrations Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors 17:15 - 17:30

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


Room	11:00			15			30			45			12:00			15			30			45
DCIH 507	MODELS Research PapersFT Modal Abstractions for Smart Contract Validation 11:00 - 11:18				MODELS Journal-First Mining Frequent Structures in Conceptual Models 11:18 - 11:36			MODELS Research PapersPT Visual Modeling and Simulation of AUTOSAR Application Layer Models Usin ... 11:36 - 11:54				MODELS Journal-First Diagrammatic physical robot models 11:54 - 12:12			MODELS Journal-First How fair are we? From conceptualization to automated assessment of fair ... 12:12 - 12:30

Room information: DCIH 507

This program is tentative and subject to change.

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

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

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

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

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

Tutorials

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

Industry Days

Industry Days

Industry Days

Industry Days

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

Journal-First + Research Papers + New Ideas and Emerging Results (NIER)

Research Papers + New Ideas and Emerging Results (NIER) + Journal-First

Tools and Demonstrations

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

Journal-First + Research Papers

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

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

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

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

MODELS 2025

Co-hosted Conferences

Room information: DCIH 507

This program is tentative and subject to change.

Program Display Configuration

Mon 6 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 7 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

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

Mon 6 OctDisplayed time zone: Eastern Time (US & Canada) change

Tutorials

Tue 7 OctDisplayed time zone: Eastern Time (US & Canada) change

Industry Days

Industry Days

Industry Days

Industry Days

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

Journal-First + Research Papers + New Ideas and Emerging Results (NIER)

Research Papers + New Ideas and Emerging Results (NIER) + Journal-First

Tools and Demonstrations

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

Journal-First + Research Papers

Mon 6 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 7 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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