Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

17:00 - 21:05
[W6] HuFaMo’ 21Workshops at Room 5
22:00 - 00:00
Tutorials [T1]Tutorials at Room 1
22:00
2h
Tutorial
[T1] E-CARGO and Role-Based Collaboration
Tutorials
23:00 - 02:15
[W15] MoDeVVa 2021Workshops at Room 4
23:00
90m
Other
[W15] Session 1
Workshops

Link to publication
00:45
90m
Other
[W15] Session 2
Workshops

Link to publication

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

17:00 - 20:15
[W7] MEWorkshops at Room 5
17:00
15m
Day opening
[W7] Opening
Workshops

Link to publication
17:15
60m
Other
[W7] Session 1
Workshops

Link to publication
18:30
90m
Other
[W7] Session 2
Workshops

Link to publication
20:00
15m
Other
[W7] Wrap up and closing
Workshops

Link to publication
18:00 - 21:00
[W13] MLE 2021Workshops at Room 6
18:00
3h
Other
[W13] MLE 2021
Workshops

Link to publication
20:00 - 21:30
[SAM 2021] Welcome to SAM 2021 & KeynoteSAM Conference at Room 1
20:00 - 22:20
[W1] HoWCoM 2021Workshops at Room 2
20:00
2h20m
Other
[W1] I. Morning block: Presentations
Workshops

Link to publication
21:30 - 21:45
[SAM 2021] Social TimeSAM Conference at Room 1
21:45 - 23:15
[SAM 2021] Session 1 - Modeling LanguagesSAM Conference at Room 1
22:00 - 00:00
Tutorials [T2]Tutorials at Room 3
22:00
2h
Tutorial
[T2] Modeling and checking state-based component interfaces with CommaSuite
Tutorials
Jozef Hooman TNO; Radboud University Nijmegen, Ivan Kurtev Altran Netherlands
23:00 - 02:00
[W1] HoWCoM 2021Workshops at Room 2
23:00
3h
Other
[W1] II. Afternoon block: Hands-on sessions
Workshops

Link to publication
23:00 - 00:00
[W5] [Models@run.time] Invited TalkWorkshops at Room 6
23:00
5m
Other
[W5] Opening
Workshops

Link to publication
23:05
50m
Talk
[W5] Invited Talk by Ta'id Holmes (Google)
Workshops

Link to publication
23:15 - 23:30
[SAM 2021] Social TimeSAM Conference at Room 1
23:30 - 01:00
[SAM 2021] Session 2 - Application of Model-Driven EngineeringSAM Conference at Room 1

Tue 12 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 12:30
[W6] HuFaMo’ 21Workshops at Room 5
17:00 - 20:00
[W14] LowCode 2021Workshops at Room 6
17:00
45m
Keynote
[W14] Opening + Keynote
Workshops

Link to publication
17:55
2h5m
Other
[W14] Session 1
Workshops

Link to publication
20:00 - 21:30
[SAM 2021] KeynoteSAM Conference at Room 1
21:30 - 21:45
[SAM 2021] Social TimeSAM Conference at Room 1
21:45 - 23:15
[SAM 2021] Session 3 - Modeling Comprehension and EvolutionSAM Conference at Room 1
23:00 - 01:40
Industry Days 1Industry Days at Room 3
23:00
10m
Day opening
Opening of day 1
Industry Days
Hironori Washizaki Waseda University, Shintaro Hosoai Change Vision, Inc.
23:10
30m
Talk
PReP model - Modeling the real world as a general system
Industry Days
Yasushi Tanaka K-plus Solutions Co. Ltd.
23:40
30m
Talk
The Genesis of Holistic Systems Engineering: Completeness and Consistency Management of the Digital Thread
Industry Days
István Ráth IncQuery Labs, Enrique Krajmalnik Zuken
00:10
30m
Talk
Towards Devops and Continuous Integration with (MBSE) Models
Industry Days
Daniel Siegl LieberLieber Software
00:40
60m
Talk
Pre-recorded presentations and closing of day 1
Industry Days

23:00 - 02:00
[W14] LowCode 2021Workshops at Room 6
23:00
3h
Other
[W14] Session 2
Workshops

Link to publication
23:15 - 23:30
[SAM 2021] Social TimeSAM Conference at Room 1
23:30 - 00:30
[SAM 2021] Session 4 - Model Model AnalysisSAM Conference at Room 1

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Educator Symposium Opening and keynote sessionEducators Symposium at Room 2
00:00
60m
Keynote
Programming as a tool for learning everything
Educators Symposium
Mark Guzdial University of Michigan
00:30 - 00:45
[SAM 2021] SAM 2021 / Discussion / Closing NotesSAM Conference at Room 1
08:30 - 09:00
Opening and WelcomeMODELS at Room 1
08:30
30m
Day opening
Opening and Welcome
MODELS

09:00 - 10:00
Machine learning and Recommender systems ITechnical Papers at Room 1
Chair(s): Betty H.C. Cheng Michigan State University
09:00
20m
Talk
Using Recommender Systems to Improve Proactive ModelingJ1ST
Technical Papers
09:20
20m
Talk
Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at RuntimeJ1ST
Technical Papers
Sebastian Pilarski McGill University, Martin Staniszewski , Matthew Bryan , Frederic Villeneuve , Daniel Varro McGill University / Budapest University of Technology and Economics
09:40
10m
Demonstration
DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO
Technical Papers
Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada
10:00 - 11:00
Certification and Assurance ITechnical Papers at Room 1
Chair(s): Tao Yue Simula Research Laboratory
10:00
20m
Full-paper
A Lean Approach to Building Valid Model-Based Safety ArgumentsFT
Technical Papers
Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
10:20
20m
Full-paper
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT
Technical Papers
10:40
20m
Talk
Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST
Technical Papers
17:00 - 18:00
Testing and Analysis ITechnical Papers at Room 1
Chair(s): Shaukat Ali Simula Research Laboratory, Norway
17:00
20m
Full-paper
Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
Technical Papers
17:20
20m
Full-paper
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I
Technical Papers
Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu
17:40
20m
Talk
Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST
Technical Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid
17:00 - 19:10
Industry Days 2Industry Days at Room 3
17:00
10m
Day opening
Opening of day 2
Industry Days

17:10
30m
Talk
An Architecture Description of Resilience SoS Engineering Process for Critical Infrastructure
Industry Days
Akira Ishizaka JCOSE, Keio University
17:40
30m
Talk
Light-weight integration of MBSE and model-checking
Industry Days
Toshinori Takai Change Vision, Inc.
18:10
60m
Talk
Recorded presentations and closing of day 2
Industry Days

18:00 - 19:00
Modeling Languages ITechnical Papers at Room 1
Chair(s): Benoit Combemale University of Rennes; Inria; IRISA
18:00
20m
Talk
Pragmatic Reuse in DSML DevelopmentJ1ST
Technical Papers
Stefan Klikovits , Didier Buchs University of Geneva, Switzerland
18:20
20m
Talk
Spectra: A Specification Language for Reactive SystemsJ1ST
Technical Papers
Shahar Maoz Tel Aviv University, Israel, Jan Oliver Ringert King's College London
Link to publication DOI
18:40
20m
Full-paper
OSTRICH - A Safe Template Language for Low-code DevelopmentP&I
Technical Papers
Hugo Lourenço OutSystems SA, Carla Ferreira NOVA School of Science and Technology, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
19:00 - 20:00
Human Aspects ITechnical Papers at Room 1
Chair(s): Silvia Abrahão Universitat Politècnica de València
19:00
20m
Full-paper
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I
Technical Papers
Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl , Rick Rabiser LIT CPS, Johannes Kepler University Linz
19:20
20m
Talk
Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST
Technical Papers
19:40
20m
Talk
A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST
Technical Papers
Thorsten Berger , Swaib Dragule Chalmers | University of Gothenburg, Claudio Menghi McMaster University, Canada, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg
19:00 - 20:00
Testing and Analysis IITechnical Papers at Room 2
Chair(s): Juan de Lara Autonomous University of Madrid
19:00
20m
Full-paper
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingP&I
Technical Papers
Shi Yize , Chengjie Lu , Man Zhang Kristiania University College, Norway, Huihui Zhang Weifang University, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Norway
19:20
20m
Full-paper
DataTime: A Framework to Smoothly Integrate Past, Present and Future into ModelsP&I
Technical Papers
Lyan Gauthier , Jean-Marc Jézéquel Univ Rennes - IRISA, Benoit Combemale University of Rennes; Inria; IRISA, David Gross-Amblard
19:40
20m
Full-paper
Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT
Technical Papers
James Harbin , Simos Gerasimou University of York, UK, Nicholas Matragkas University of York, Athanasios Zolotas , Radu Calinescu University of York, UK
22:30 - 23:00
How to publish a Book with SpringerMODELS at Room 1
22:30
30m
Other
How to publish a Book with Springer
MODELS
Ralf Gerstner Springer
23:00 - 23:59
MIP Award talk (SOSYM - Theme Section)Awards at Room 1
Chair(s): Jeff Gray University of Alabama
23:00
40m
Research paper
A dependability profile within MARTE
Awards
Simona Bernardi , Jose Merseguer , Dorina Petriu Carleton University, Ottawa, Canada
23:59 - 01:30
Keynote by Justyna ZanderKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
23:59
1h31m
Keynote
Scaling the Development and Automating the Validation of Autonomous Systems towards Safe Deployment in Real World
Keynotes

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

01:30 - 02:00
Award CeremonyAwards at Room 1
09:00 - 10:00
MIP Award talk (MODELS 2011)Awards at Room 1
Chair(s): Richard Paige McMaster University
09:00
40m
Research paper
From State- to Delta-Based Bidirectional Model Transformations - The Symmetric Case
Awards
Zinovy Diskin McMaster, Yingfei Xiong Peking University, Krzysztof Czarnecki University of Waterloo, Canada, Hartmut Ehrig , Frank Hermann , Fernando Orejas Universitat Politècnica de Catalunya, Spain
10:00 - 11:30
Keynote by Atsuyuki MorishimaKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
10:00
90m
Keynote
Computational Division of Labor: Imagine All the People and AI in the Crowd Working Happily
Keynotes

17:00 - 18:00
Certification and Assurance IITechnical Papers at Room 1
Chair(s): Ileana Ober University of Toulouse
17:00
20m
Talk
Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST
Technical Papers
Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, A W
17:20
20m
Talk
Guaranteed master for interval-based cosimulationJ1ST
Technical Papers
17:40
10m
Short-paper
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION
Technical Papers
Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart
Pre-print
17:00 - 18:00
Artifacts, Innovations, Empirical Studies, EducationTechnical Papers at Room 2
Chair(s): Lola Burgueño Open University of Catalonia
17:00
20m
Full-paper
Quality Guidelines for Research Artifacts in Model-Driven EngineeringFT
Technical Papers
Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands, Daniel Strüber Radboud University Nijmegen
17:20
20m
Talk
Characteristics, Potentials, and Limitations of Open Source Simulink Projects for Empirical ResearchJ1ST
Technical Papers
Alexander Boll , Andreas Vogelsang University of Cologne, Florian Brokhausen , Tiago Amorim University of Cologne, Timo Kehrer Humboldt University of Berlin
17:40
10m
Demonstration
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based ExercisesDEMO
Technical Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Andrés Rico-Fernández , Esther Guerra , Juan de Lara Autonomous University of Madrid
17:50
10m
Demonstration
POLYGLOT for Gamified Education: Mixing Modelling and Programming ExercisesDEMO
Technical Papers
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Tommaso Martorella , Diego Colombo , Antonio Cicchetti Mälardalen University, Annapaola Marconi Fondazione Bruno Kessler, Trento, Italy
18:00 - 19:00
Model management and model transformations ITechnical Papers at Room 2
Chair(s): Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
18:00
20m
Talk
Controllable and Decomposable Multidirectional SynchronizationsJ1ST
Technical Papers
Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs
18:20
10m
Short-paper
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic ExecutionVISION
Technical Papers
Florian Ege , Matthias Tichy Ulm University, Germany
18:30
10m
Demonstration
From Conceptual Models to Knowledge Graphs: A Generic Model Transformation PlatformDEMO
Technical Papers
Muhamed Smajevic , Dominik Bork TU Wien, Vienna, Austria
18:40
10m
Demonstration
AnimUML as a UML Modeling and Verification Teaching ToolDEMO
Technical Papers
Frédéric Jouault ERIS Team, ESEO , France, Valentin Sebille , Valentin Besnard , Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Ciprian Teodorov ENSTA Bretagne, Matthias Brun , Jérôme Delatour
19:00 - 20:00
Backup SessionTechnical Papers at Room 1
Chair(s): Xiao He University of Science and Technology Beijing, China
23:00 - 00:00
Machine learning and Recommender systems IITechnical Papers at Room 1
Chair(s): Antonio Cicchetti Mälardalen University
23:00
20m
Talk
Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST
Technical Papers
Lissette Almonte Universidad Autónoma de Madrid, Esther Guerra , Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
23:20
20m
Full-paper
A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT
Technical Papers
Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila
Pre-print
23:40
10m
Short-paper
Towards Reinforcement Learning for In-Place Model TransformationsVISION
Technical Papers
23:00 - 00:00
Testing and Analysis IIITechnical Papers at Room 2
Chair(s): Øystein Haugen Østfold University College
23:00
20m
Talk
Distributed Model Validation with EpsilonJ1ST
Technical Papers
Sina Madani , Dimitris Kolovos University of York, Richard Paige McMaster University
23:20
20m
Talk
Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test SelectionJ1ST
Technical Papers
Walter Cazzola Università degli Studi di Milano, Sudipto Ghosh Colorado State University, USA, Mohammed Al-Refai , Gabriele Maurina
23:40
10m
Demonstration
MRegTest: A Replay-Based Regression Testing Approach for Distributed UML-RT ModelsDEMO
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model generation and Search-based engineeringTechnical Papers at Room 1
Chair(s): Matthias Tichy Ulm University, Germany
00:00
20m
Talk
Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST
Technical Papers
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Boqi Chen McGill University, Chuning Li , Kristóf Marussy Budapest University of Technology and Economics, Gabor Szarnyas , Daniel Varro McGill University / Budapest University of Technology and Economics
00:20
20m
Full-paper
Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT
Technical Papers
00:40
20m
Talk
Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST
Technical Papers
Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University, Spain
00:00 - 01:00
Modeling languages IITechnical Papers at Room 2
Chair(s): Sébastien Mosser Université Côte d'Azur, France
00:00
20m
Full-paper
Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Case StudyP&I
Technical Papers
Alessandro Colantoni Johannes Kepler University Linz, Antonio Garmendia , Luca Berardinelli Johannes Kepler University Linz, Manuel Wimmer JKU Linz, Johannes Braeuer
00:20
20m
Talk
Playground for multi-level modeling constructsJ1ST
Technical Papers
00:40
10m
Demonstration
Multi-Language Support in TouchCOREDEMO
Technical Papers
Maximilian Schiedermeier McGill University, Bo Wen Li , Jörg Kienzle McGill University, Canada, Hyacinth Ali , Ian X. Gauthier McGill University, Gunter Mussbacher McGill University, Ryan Languay , Qiutan Wu , Greta Freitag
01:00 - 02:00
Applications of MDE IIITechnical Papers at Room 1
Chair(s): Juergen Dingel Queen's University, Kingston, Ontario
01:00
20m
Talk
Modelling on mobile devices: A systematic mapping studyJ1ST
Technical Papers
Léa Brunschwig Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid
01:20
20m
Talk
MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST
Technical Papers
Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Maria Teresa Rossi Gran Sasso Science Institute, Manuel Wimmer JKU Linz
01:40
10m
Demonstration
A modeling assistant for cognifying MBSE toolsDEMO
Technical Papers
01:00 - 02:00
Human Aspects IITechnical Papers at Room 2
Chair(s): Antonio Cicchetti Mälardalen University
01:00
20m
Full-paper
Collaborative Model-Driven Software Engineering: A Systematic UpdateFT
Technical Papers
Istvan David Université de Montréal, Kousar Aslam , Sogol Faridmoayer , Ivano Malavolta Vrije Universiteit Amsterdam, Eugene Syriani Université de Montréal, Patricia Lago Vrije Universiteit Amsterdam
01:20
20m
Full-paper
Collaborative Software Modeling in Virtual RealityFT
Technical Papers
Enes Yigitbas Paderborn University, Germany, Simon Gorissen , Nils Weidmann , Gregor Engels Paderborn University
01:40
20m
Talk
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMFJ1ST
Technical Papers
Juan Manuel Vara Universidad Rey Juan Carlos, David Granada Universidad Rey Juan Carlos, Manuel Núñez Universidad Complutense de Madrid, Esperanza Marcos Universidad Rey Juan Carlos
09:00 - 10:30
PanelPanel at Room 1
Chair(s): Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal
09:00
90m
Panel
Panel (H. Sahraoui, E. Syriani)
Panel
Lionel Briand EECS, University Of Ottawa, John Grundy Monash University, Bran Selic Malina Software Corporation, Kenji Tei Waseda University
10:30 - 11:30
Model management and model transformations IITechnical Papers at Room 1
Chair(s): Eugene Syriani Université de Montréal
10:30
20m
Full-paper
Repository Mining for Changes in Simulink ModelsP&I
Technical Papers
Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University
10:50
20m
Full-paper
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
Technical Papers
Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal
11:10
20m
Talk
Live Modeling in the Context of State Machine Models and Code GenerationJ1ST
Technical Papers
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario
10:30 - 11:30
Testing and Analysis IVTechnical Papers at Room 2
Chair(s): Fuyuki Ishikawa National Institute of Informatics
10:30
20m
Full-paper
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
10:50
20m
Full-paper
Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I
Technical Papers
Ramy Shahin University of Toronto, Robert Hackman , Rafael F. Toledo University of Waterloo, Ramesh S , Joanne M. Atlee University of Waterloo, Marsha Chechik University of Toronto
Pre-print
11:10
20m
Talk
Analysis of Variability Models: A Systematic Literature ReviewJ1ST
Technical Papers
17:00 - 18:00
MIP Award talk (SOSYM - Regular Paper)Awards at Room 1
Chair(s): Jeff Gray University of Alabama
17:00
40m
Research paper
The many meanings of UML 2 Sequence Diagrams: a survey
Awards
Zoltán Micskei Budapest University of Technology and Economics, Helene Waeselynck LAAS-CNRS
DOI Pre-print
18:00 - 19:30
Keynote by Alexander PretschnerKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
18:00
90m
Keynote
Software can do Wrong: On Ethics in Agile Software Engineering
Keynotes

19:30 - 20:00
Announcement of MODELS 2022MODELS at Room 1
23:00 - 00:00
Model management and model transformations IIITechnical Papers at Room 1
Chair(s): Dimitris Kolovos University of York
23:00
20m
Full-paper
Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT
Technical Papers
Alexander Schultheiß Humboldt University of Berlin, Paul Maximilian Bittner University of Ulm, Lars Grunske Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin
23:20
20m
Full-paper
Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I
Technical Papers
Robbert Jongeling Malardalen University, Sachin Bhatambrekar , Anders Lofberg , Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University
23:40
20m
Talk
MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST
Technical Papers
Bahman Zamani University of Isfahan, Mahsa Panahandeh University of Alberta, Mohammad Hamdaqa , Wahab Hamou-Lhadj Concordia University, Montreal, Canada
23:00 - 00:00
Modeling languages IIITechnical Papers at Room 2
Chair(s): Olivier Barais University of Rennes; Inria; IRISA
23:00
20m
Full-paper
On Designing Applied DSLs for Non-programming Experts in Evolving DomainsP&I
Technical Papers
Holger Borum IT University of Copenhagen, Henning Niss Edlund A/S, Peter Sestoft IT University of Copenhagen
23:20
20m
Full-paper
Designing a Modeling Language for Customer Journeys: Lessons Learned from User InvolvementP&I
Technical Papers
23:40
20m
Talk
Uncertainty representation in software models: A surveyJ1ST
Technical Papers
Javier Troya Universidad de Málaga, Spain, Nathalie Moreno , Manuel F. Bertoa , Antonio Vallecillo University of Málaga, Spain

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model management and model transformations IVTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila
00:00
20m
Talk
A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST
Technical Papers
Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology
00:20
20m
Full-paper
Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT
Technical Papers
Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou
00:40
10m
Demonstration
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO
Technical Papers
00:00 - 01:00
Certification and Assurance IIITechnical Papers at Room 2
Chair(s): Daniel Amyot University of Ottawa
00:00
20m
Full-paper
Model-Based Development of Engine Control Systems: Experiences and Lessons LearntP&I
Technical Papers
Justin Cooper , Alfonso de la Vega University of York, Richard Paige McMaster University, Dimitris Kolovos University of York
00:20
20m
Full-paper
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and TaxonomyFT
Technical Papers
Tarik Terzimehic fortiss GmbH, Kirill Dorofeev fortiss GmbH, Sebastian Voss
00:40
20m
Full-paper
Synthesizing Verified Components for Cyber Assured Systems EngineeringP&I
Technical Papers
01:00 - 02:00
Backup SessionTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila