Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
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

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
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 Nanjing University of Aeronautics and Astronautics, 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): Oystein 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é 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
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 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
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
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

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room17:003018:003019:003020:0030
Room 2

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room20:0015304521:0015304522:0015304523:001530450:001530451:00153045
Room 2

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

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change