Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
MODELS 2021 (series) / Virtual /

Room information: Room 2

VenueVirtual
Room nameRoom 2
Room Information

Virtual

Program

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 - 20:10
[W4] MPM4CPSWorkshops at Room 2
17:00
45m
Keynote
[W4] Keynote + Q/A
Workshops

Link to publication
17:45
60m
Other
[W4] Session #1: MPM4CPS Examplars & FTG+PM
Workshops

Link to publication
19:00
60m
Other
[W4] Session #2: Regular Papers
Workshops

Link to publication
20:00
10m
Other
[W4] Wrap-up and Closing of the workshop
Workshops

Link to publication

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

20:00 - 22:20
[W1] HoWCoM 2021Workshops at Room 2
20:00
2h20m
Other
[W1] I. Morning block: Presentations
Workshops

Link to publication
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

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
01:15 - 03:05
Educator Symposium Paper SessionEducators Symposium at Room 2
01:15
30m
Paper
Mini Programming Worlds: Teaching MDSD via the Hamster Simulator
Educators Symposium

01:45
30m
Paper
 From In-Person to Distance Learning: Teaching Model-Driven Software Engineering in Remote Settings
Educators Symposium

02:15
30m
Paper
An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course
Educators Symposium

02:45
20m
Short-paper
How to merge gamification efforts for programming and modelling: a tool implementation perspective
Educators Symposium

17:00 - 18:00
PostersPosters at Room 2
17:00
15m
Poster
Connecting Regulatory Requirements to Audit Outcomes: a Model-driven Approach to Auditable Compliance
Posters
Robert Thorburn University of Southampton, Federica Paci , Vladimiro Sassone University of Southampton, Sophie Stalla-Bourdillon
17:15
15m
Poster
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy
Posters
Tarik Terzimehic fortiss GmbH
17:30
15m
Poster
Goal-Oriented Machine Learning-Based Component Development Process
Posters
Jati Hiliamsyah Husen , Hnin Thandar Tun , Nobukazu Yoshioka Waseda University, Japan, Hironori Washizaki Waseda University, Yoshiaki Fukazawa Waseda University
17:45
15m
Poster
Towards a Spreadsheet-Based Language Workbench
Posters
Mikhail Barash University of Bergen
18:00 - 19:00
Applications of MDE: ITechnical Papers at Room 2
Chair(s): Joel Greenyer FHDW Hannover
18:00
20m
Talk
Model-Based Cloud Resource Management with TOSCA and OCCIJ1ST
Technical Papers
Stéphanie Challita Inria, France, Fabian Korte , Johannes Erbel , Faiez Zalila CETIC, Jens Grabowski , Philippe Merle
18:20
20m
Talk
Cyber security threat modeling based on the MITRE Enterprise ATT&CK MatrixJ1ST
Technical Papers
Wenjun Xiong , Emeline Legrand , Oscar Åberg , Robert Lagerström
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

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

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
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
Modeling languages IITechnical Papers at Room 2
Chair(s): Sébastien Mosser Université du Québec à Montréal
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
Ferenc Somogyi , Bacsi Sandor , Gergely Mezei , Zoltan Theisz , Daniel Palatinszky
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
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
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
Agustina Buccella , Matias Pol'la , Alejandra Cechich
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
Ragnhild Halvorsrud , Costas Boletsis , Enrique Garcia-Ceja
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
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
Konrad Slind , Junaid Babar , Eric Mercer Brigham Young University, Isaac Amundson , David Hardin

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room17:003018:003019:003020:0030
Room 2

Workshops

[W4] MPM4CPS

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room20:003021:003022:003023:00300:00301:0030
Room 2

Workshops

[W1] HoWCoM 2021

Workshops

[W1] HoWCoM 2021

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Room 2

Educators Symposium

Educator Symposium Opening and keynote session

Educators Symposium

Educator Symposium Paper Session

Posters

Posters

Technical Papers

Applications of MDE: I

Technical Papers

Testing and Analysis II

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room17:003018:003019:003020:003021:003022:003023:0030
Room 2

Technical Papers

Artifacts, Innovations, Empirical Studies, Education

Technical Papers

Model management and model transformations I

Technical Papers

Testing and Analysis III

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Room 2

Technical Papers

Modeling languages II

Technical Papers

Human Aspects II

Technical Papers

Testing and Analysis IV

Technical Papers

Modeling languages III

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:0030
Room 2

Technical Papers

Certification and Assurance III

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room17:0015304518:0015304519:0015304520:00153045
Room 2
MODELS Workshops
[W4] Keynote + Q/A
17:00 - 17:45
MODELS Workshops
[W4] Session #1: MPM4CPS Examplars & FTG+PM
17:45 - 18:45
MODELS Workshops
[W4] Session #2: Regular Papers
19:00 - 20:00
MODELS Workshops
[W4] Wrap-up and Closing of the workshop
20:00 - 20:10

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room20:0015304521:0015304522:0015304523:001530450:001530451:00153045
Room 2
MODELS Workshops
[W1] I. Morning block: Presentations
20:00 - 22:20
MODELS Workshops
[W1] II. Afternoon block: Hands-on sessions
23:00 - 02:00

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Room 2
MODELS Educators Symposium
Programming as a tool for learning everything
00:00 - 01:00
MODELS Educators Symposium
Mini Programming Worlds: Teaching MDSD via the Hamster Simulator
01:15 - 01:45
MODELS Educators Symposium
From In-Person to Distance Learning: Teaching Model-Driven Software En ...
01:45 - 02:15
MODELS Educators Symposium
An empirical study on the impact of introducing a modeling tool in a Re ...
02:15 - 02:45
MODELS Educators Symposium
How to merge gamification efforts for programming and modelling: a tool ...
02:45 - 03:05
MODELS Posters
Connecting Regulatory Requirements to Audit Outcomes: a Model-driven Ap ...
17:00 - 17:15
MODELS Posters
Exploring Architectural Design Decisions in Industry 4.0: A Literature ...
17:15 - 17:30
MODELS Posters
Goal-Oriented Machine Learning-Based Component Development Process
17:30 - 17:45
MODELS Posters
Towards a Spreadsheet-Based Language Workbench
17:45 - 18:00
MODELS Technical PapersJ1ST
Model-Based Cloud Resource Management with TOSCA and OCCI
18:00 - 18:20
MODELS Technical PapersJ1ST
Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix
18:20 - 18:40
MODELS Technical PapersP&I
Restricted Natural Language and Model-based Adaptive Test Generation fo ...
19:00 - 19:20
MODELS Technical PapersP&I
DataTime: A Framework to Smoothly Integrate Past, Present and Future in ...
19:20 - 19:40
MODELS Technical PapersFT
Model-Driven Simulation-Based Analysis for Multi-Robot Systems
19:40 - 20:00

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room17:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Room 2
MODELS Technical PapersFT
Quality Guidelines for Research Artifacts in Model-Driven Engineering
17:00 - 17:20
MODELS Technical PapersJ1ST
Characteristics, Potentials, and Limitations of Open Source Simulink Pr ...
17:20 - 17:40
MODELS Technical PapersDEMO
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram ...
17:40 - 17:50
MODELS Technical PapersDEMO
POLYGLOT for Gamified Education: Mixing Modelling and Programming Exercises
17:50 - 18:00
MODELS Technical PapersJ1ST
Controllable and Decomposable Multidirectional Synchronizations
18:00 - 18:20
MODELS Technical PapersVISION
Towards Control Flow Analysis of Declarative Graph Transformations with ...
18:20 - 18:30
MODELS Technical PapersDEMO
From Conceptual Models to Knowledge Graphs: A Generic Model Transformat ...
18:30 - 18:40
MODELS Technical PapersDEMO
AnimUML as a UML Modeling and Verification Teaching Tool
18:40 - 18:50
MODELS Technical PapersJ1ST
Distributed Model Validation with Epsilon
23:00 - 23:20
MODELS Technical PapersJ1ST
Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Ba ...
23:20 - 23:40
MODELS Technical PapersDEMO
MRegTest: A Replay-Based Regression Testing Approach for Distributed UM ...
23:40 - 23:50

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Room 2
MODELS Technical PapersP&I
Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Ca ...
00:00 - 00:20
MODELS Technical PapersJ1ST
Playground for multi-level modeling constructs
00:20 - 00:40
MODELS Technical PapersDEMO
Multi-Language Support in TouchCORE
00:40 - 00:50
MODELS Technical PapersFT
Collaborative Model-Driven Software Engineering: A Systematic Update
01:00 - 01:20
MODELS Technical PapersFT
Collaborative Software Modeling in Virtual Reality
01:20 - 01:40
MODELS Technical PapersJ1ST
CEViNEdit: improving the process of creating cognitively effective grap ...
01:40 - 02:00
MODELS Technical PapersFT
Efficient Replay-based Regression Testing for Distributed Reactive Syst ...
10:30 - 10:50
MODELS Technical PapersP&I
Applying Declarative Analysis to Software Product Line Models: An Indus ...
10:50 - 11:10
MODELS Technical PapersJ1ST
Analysis of Variability Models: A Systematic Literature Review
11:10 - 11:30
MODELS Technical PapersP&I
On Designing Applied DSLs for Non-programming Experts in Evolving Domains
23:00 - 23:20
MODELS Technical PapersP&I
Designing a Modeling Language for Customer Journeys: Lessons Learned fr ...
23:20 - 23:40
MODELS Technical PapersJ1ST
Uncertainty representation in software models: A survey
23:40 - 00:00

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:00153045
Room 2
MODELS Technical PapersP&I
Model-Based Development of Engine Control Systems: Experiences and Less ...
00:00 - 00:20
MODELS Technical PapersFT
Exploring Architectural Design Decisions in Industry 4.0: A Literature ...
00:20 - 00:40
MODELS Technical PapersP&I
Synthesizing Verified Components for Cyber Assured Systems Engineering
00:40 - 01:00