MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
MODELS 2023 (series) / Västerås Kongress /

Room information: 301

VenueVästerås Kongress
Room name301
Floor3
Room number301
Capacity100
Room InformationNo extra information available
Program

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

Wed 4 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session B1: Validation and VerificationTechnical Track at 301
10:30
22m
Talk
OCL Rebuilt, From the Ground Up
Technical Track
Friedrich Steimann Fernuniversität in Hagen, Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen
10:52
22m
Talk
Applicability of Model Checking for Verifying Spacecraft Operational Designs
Technical Track
Philipp Chrszon , Paulina Maurer , George Saleip , Sascha Müller , Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
11:15
22m
Talk
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
Technical Track
Bharat Garhewal , Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands
11:37
22m
Talk
Mutation Testing for Temporal Alloy Models
Technical Track
Ana Jovanovic , Allison Sullivan The University of Texas at Arlington
13:30 - 15:00
Session B2: Early Phases & Multi-Level ModelingTechnical Track / Journal-first at 301
13:30
22m
Talk
A Model-driven and Template-based Approach for Requirements Specification
Technical Track
Ikram Darif École de technologie supérieure (ÉTS), Cristiano Politowski Concordia University, Canada, Ghizlane El Boussaidi École de Technologie Supérieure, imen benzarti , Segla Kpodjedo Ecole de Technologie Superieure
13:52
22m
Talk
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware
Technical Track
Michael Uelschen , Marco Schaarschmidt , Jannis Budde
14:15
22m
Talk
Real-time collaborative multi-level modeling by conflict-free replicated data typesJ1ST
Journal-first
Istvan David McMaster University, Eugene Syriani Université de Montréal
Link to publication DOI
14:37
22m
Talk
Multi-Dimensional Multi-Level ModelingJ1ST
Journal-first
Thomas Kuehne Victoria University of Wellington
Link to publication DOI
15:30 - 17:00
Session B3: Understanding Models and Model ChangesTechnical Track / Journal-first at 301
15:30
22m
Talk
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models
Technical Track
Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
15:52
22m
Talk
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
Technical Track
Sohil Lal Shrestha The University of Texas at Arlington, Alexander Boll , Shafiul Azam Chowdhury University of Texas at Arlington, Timo Kehrer University of Bern, Christoph Csallner University of Texas at Arlington
Pre-print Media Attached
16:15
22m
Talk
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior
Technical Track
Dennis Hendriks , Wytse Oortwijn TNO-ESI
16:37
22m
Talk
Gamifying model-based engineering: the PapyGame experienceJ1ST
Journal-first
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Maxime Savary-Leblanc ANSYS, Xavier Le Pallec , Antonio Cicchetti Mälardalen University, Sébastien Gérard , Simone Bassanelli , Federica Gini , Annapaola Marconi Fondazione Bruno Kessler, Trento, Italy

Thu 5 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session B4: DSL Engineering & Modeling AssistanceJournal-first at 301
10:30
22m
Talk
Advanced testing and debugging support for reactive executable DSLsJ1ST
Journal-first
Faezeh Khorram Huawei Technologies, Erwan Bousse Nantes Université, Jean-Marie Mottu IMT Atlantique; Nantes Université; École Centrale Nantes, Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes
10:52
22m
Talk
Flexmi: a generic and modular textual syntax for domain-specific modellingJ1ST
Journal-first
Dimitris Kolovos University of York, Alfonso de la Vega Universidad de Cantabria
DOI
11:15
22m
Talk
SimIMA: a virtual Simulink intelligent modeling assistant - Simulink intelligent modeling assistance through machine learning and model clonesJ1ST
Journal-first
Bhisma Adhikari , Eric Rapos Miami University, Matthew Stephan Miami University
11:37
22m
Talk
Understanding the need for assistance in software modeling: interviews with expertsJ1ST
Journal-first
Maxime Savary-Leblanc ANSYS, Xavier Le Pallec , Sébastien Gérard
15:30 - 17:00
Session B6: Versioning and VariabilityTechnical Track / Tools and Demonstrations at 301
15:30
22m
Talk
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models
Technical Track
Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam
15:52
22m
Talk
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
Technical Track
Xiang Chen , Joanne Atlee University of Waterloo
16:15
22m
Talk
How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and ModelsTool Demo
Tools and Demonstrations
Steven Kelly MetaCase, Juha-Pekka Tolvanen MetaCase
Pre-print
16:37
22m
Talk
Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus
Technical Track
Damien Foures , Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF), Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes - IRISA, Jörg Kienzle McGill University, Canada

Fri 6 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session C7: Testing with Models & Workflow ModelingJournal-first / Tools and Demonstrations at 301
10:30
22m
Talk
Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo
Tools and Demonstrations
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
10:52
22m
Talk
MMT: Mutation Testing of Java Bytecode with Model TransformationTool Demo
Tools and Demonstrations
Christoph Bockisch Philipps-Universität Marburg, Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
11:15
22m
Talk
Business process modeling language selection for research modelersJ1ST
Journal-first
Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands
11:37
22m
Talk
Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST
Journal-first
Johannes Erbel , Jens Grabowski University of Göttingen

Wed 4 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:0030
301

Technical Track

Session B1: Validation and Verification

Technical Track + Journal-first

Session B2: Early Phases & Multi-Level Modeling

Technical Track + Journal-first

Session B3: Understanding Models and Model Changes

Thu 5 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:0030
301

Journal-first

Session B4: DSL Engineering & Modeling Assistance

Technical Track + Tools and Demonstrations

Session B6: Versioning and Variability

Fri 6 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:0030
301

Journal-first + Tools and Demonstrations

Session C7: Testing with Models & Workflow Modeling

Wed 4 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
301
MODELS Technical Track
OCL Rebuilt, From the Ground Up
10:30 - 10:52
MODELS Technical Track
Applicability of Model Checking for Verifying Spacecraft Operational De ...
10:52 - 11:15
MODELS Technical Track
An Experimental Evaluation of Conformance Testing Techniques in Active ...
11:15 - 11:37
MODELS Technical Track
Mutation Testing for Temporal Alloy Models
11:37 - 12:00
MODELS Technical Track
A Model-driven and Template-based Approach for Requirements Specification
13:30 - 13:52
MODELS Technical Track
Rapid-Prototyping and Early Validation of Software Models through Unifo ...
13:52 - 14:15
MODELS Journal-firstJ1ST
Real-time collaborative multi-level modeling by conflict-free replicate ...
14:15 - 14:37
MODELS Journal-firstJ1ST
Multi-Dimensional Multi-Level Modeling
14:37 - 15:00
MODELS Technical Track
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Underst ...
15:30 - 15:52
MODELS Technical Track
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
15:52 - 16:15
MODELS Technical Track
gLTSdiff: A Generalized Framework for Structural Comparison of Software ...
16:15 - 16:37
MODELS Journal-firstJ1ST
Gamifying model-based engineering: the PapyGame experience
16:37 - 17:00

Thu 5 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
301
MODELS Journal-firstJ1ST
Advanced testing and debugging support for reactive executable DSLs
10:30 - 10:52
MODELS Journal-firstJ1ST
Flexmi: a generic and modular textual syntax for domain-specific modelling
10:52 - 11:15
MODELS Journal-firstJ1ST
SimIMA: a virtual Simulink intelligent modeling assistant - Simulink in ...
11:15 - 11:37
MODELS Journal-firstJ1ST
Understanding the need for assistance in software modeling: interviews ...
11:37 - 12:00
MODELS Technical Track
Incremental Model Transformations with Triple Graph Grammars for Multi- ...
15:30 - 15:52
MODELS Technical Track
Variability-aware Neo4j for Analyzing a Graphical Model of a Software P ...
15:52 - 16:15
MODELS Tools and DemonstrationsTool Demo
How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and Models
16:15 - 16:37
MODELS Technical Track
Experience in Specializing a Generic Realization Language for SPL Engin ...
16:37 - 17:00

Fri 6 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:00153045
301
MODELS Tools and DemonstrationsTool Demo
Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic ...
10:30 - 10:52
MODELS Tools and DemonstrationsTool Demo
MMT: Mutation Testing of Java Bytecode with Model Transformation
10:52 - 11:15
MODELS Journal-firstJ1ST
Business process modeling language selection for research modelers
11:15 - 11:37
MODELS Journal-firstJ1ST
Scientific Workflow Execution in the Cloud using a Dynamic Runtime Model
11:37 - 12:00