MODELS 2025
Sun 5 - Fri 10 October 2025 Grand Rapids, Michigan, United States
MODELS 2025 (series) / Grand Valley State University /

Room information: Main Room 2

VenueGrand Valley State University
Room nameMain Room 2
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

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 Main Room 2
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 Main Room 2
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
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
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
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
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 DemosResearch Papers at Main Room 2

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 Main Room 2
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 Semantics, Cybersecurity and Services, 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
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
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
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

Wed 8 Oct

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

Room11:003012:003013:003014:003015:003016:003017:0030
Main Room 2

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

Research Papers

Tools and Demos

Thu 9 Oct

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

Room11:003012:0030
Main Room 2

Journal-First + Research Papers

Session 7: Security, Validation, and Smart Contracts

Wed 8 Oct

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Main Room 2
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 Research PapersFT
Towards the Coordination and Verification of Heterogeneous Systems with ...
14:18 - 14:36
MODELS Research PapersFT
Automata Models for Effective Bug Description
14:36 - 14:54
MODELS New Ideas and Emerging Results (NIER)
Vision: An Extensible Methodology for Formal Software Verification in M ...
14:54 - 15:12
MODELS Journal-First
A framework for evaluating tool support for co-evolution of modeling la ...
15:12 - 15:30

Thu 9 Oct

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

Room11:0015304512:00153045
Main Room 2
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 Journal-First
How fair are we? From conceptualization to automated assessment of fair ...
11:36 - 11:54
MODELS Journal-First
Diagrammatic physical robot models
11:54 - 12:12
MODELS Research PapersPT
Visual Modeling and Simulation of AUTOSAR Application Layer Models Usin ...
12:12 - 12:30