ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Fri 17 Apr 2026 11:15 - 11:30 at Oceania IV - Requirements and Modeling 3 Chair(s): Grischa Liebel

Model-Based Systems Engineering lacks a formal model that treats design evolution, with its inherent branching, rework, and context-sensitivity, as a first-class citizen. Current approaches reduce rich design trajectories to repository artifacts, losing the semantics of design decisions.

This paper calls for a scientific model for design evolution and introduces the Design Multiverse that frames design dynamics as a context-sensitive, nondeterministic transition system, while orthogonally separating observational link theories (e.g., conformance, refinement) for consistency reasoning. We demonstrate the model’s explanatory power through co-evolution. Furthermore, we outline a research agenda grounded by Design Multiverse Experiments (DMX), which enable empirical validation and pave the way for scalable, history-aware modeling environments.

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
15m
Talk
torte: Reproducible Feature-Model Experiments à la Carte
Demonstrations
Elias Kuiter University of Magdeburg
Pre-print
11:15
15m
Talk
The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution
New Ideas and Emerging Results (NIER)
Ciprian Teodorov ENSTA | Institut Polytechnique de Paris, Lab-STICC, UMR 6285, Brest, France, Joeri Exelmans University of Antwerp, Salvador Martínez IMT Atlantique, Sylvain Guérin IMT Atlantique, Lab-STICC (UMR 6285), Hans Vangheluwe University of Antwerp and Flanders Make
11:30
15m
Talk
Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simulink
Research Track
Zehong Yu KLISS, BNRist, School of Software, Tsinghua University, Zhuo Su Beihang University, Rui Wang Capital Normal University, Beijing, China, Yu Jiang Tsinghua University
11:45
15m
Talk
Bridging Code and Graphic: A Cross-Mode Framework for Large-Scale Network Scenario Construction
SE In Practice (SEIP)
Tao Liu Harbin Institute of Technology, Shenzhen; PengCheng Laboratory;, Zhao Liu , Ning Hu PengCheng Laboratory, Jingrun Liu Harbin Institute of Technology, Shenzhen, Binxing Fang Harbin Institute of Technology, Shenzhen, Qing Liao Harbin Institute of Technology
12:00
15m
Talk
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
SE In Practice (SEIP)
Negin Ayoughi University of Ottawa, David Dewar Kinaxis, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa
Pre-print
12:15
15m
Talk
Beyond Spec Conformance: A Logic for Validating Stakeholder Expectations
New Ideas and Emerging Results (NIER)
Vasileios Klimis Queen Mary University of London