MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 23 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1: OCL & other textual constraint languagesWorkshops at A-2521.1
08:30
90m
Talk
OCL Workshop - OCL & other textual constraint languages
Workshops

Link to publication
08:30 - 10:00
Umple TutorialTutorials at A-3561
08:30
90m
Tutorial
Agile, Web-Centric, Model-Driven Development of Real Systems Using Umple
Tutorials
Timothy Lethbridge University of Ottawa
08:30 - 10:00
Session 1: Introduction, KeynoteWorkshops at A-4502.1
08:30
90m
Talk
MPM4CPS Workshop - Introduction, Keynote
Workshops

Link to publication
09:00 - 10:00
Session 1: MLM processes and methodologiesWorkshops at A-3521.1
09:00
60m
Talk
MULTI Workshop - MLM processes and methodologies
Workshops

Link to publication
10:30 - 12:00
Session 2: Verification and validation - OCLWorkshops at A-2521.1
10:30
90m
Talk
OCL Workshop - Verification and validation
Workshops

Link to publication
10:30 - 12:00
Session 2: MLM processes and methodologiesWorkshops at A-3521.1
10:30
90m
Talk
MULTI Workshop - MLM tools and applications
Workshops

Link to publication
10:30 - 12:00
Umple TutorialTutorials at A-3561
10:30
90m
Tutorial
Agile, Web-Centric, Model-Driven Development of Real Systems Using Umple
Tutorials
Timothy Lethbridge University of Ottawa
10:30 - 12:00
Session 2: MPM4CPS WorkshopWorkshops at A-4502.1
10:30
90m
Talk
MPM4CPS Workshop - Session 2
Workshops

Link to publication
13:30 - 15:00
Session 3: Extending OCL - OCLWorkshops at A-2521.1
13:30
90m
Talk
OCL Workshop - Extending OCL
Workshops

Link to publication
13:30 - 15:00
Session 3: Comparison and unificationWorkshops at A-3521.1
13:30
80m
Talk
MULTI Workshop - Comparison and unification
Workshops

Link to publication
14:51
9m
Talk
MULTI Workshop - Closing words
Workshops

Link to publication
13:30 - 15:00
Ontology modeling languageTutorials at A-3561
13:30
90m
Tutorial
Ontology modeling language
Tutorials
Maged Elaasar Jet Propulsion Laboratory (NASA)
Link to publication
13:30 - 15:00
Session 3: MPM4CPSWorkshops at A-4502.1
13:30
90m
Talk
MPM4CPS Workshop - Session 3
Workshops

Link to publication
15:30 - 17:00
Session 4: Discussion - OCLWorkshops at A-2521.1
15:30
90m
Talk
OCL Workshop - Discussion
Workshops

Link to publication
15:30 - 17:00
Modeling & simulationTutorials at A-3561
15:30
90m
Tutorial
Discrete-Event Modeling and Simulation-based Development of Embedded Systems
Tutorials

Mon 24 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Welcome and Keynote Talk: MoDeVVa WorkshopWorkshops at A-2521.1
08:30
90m
Talk
MoDeVVa Workshop - Welcome and Keynote Talk
Workshops
K: Houari Sahraoui Université de Montréal
Link to publication
08:30 - 10:00
Beyond the Clouds: A journey and lessons learnedSAM Conference at A-3502.1
08:30
90m
Keynote
Beyond the Clouds: A journey and lessons learned
SAM Conference
K: Mohammad Hamdaqa Polytechnique Montreal, S: Abdelouahed Gherbi
08:30 - 10:00
Opening, Keynote and Session 1: HuFaMo WorkshopWorkshops at A-3521.1
08:30
90m
Talk
HuFaMo Workshop - Opening, Keynote and Session 1
Workshops

Link to publication
08:30 - 10:00
Session 1: Welcome, Keynote, Towards continuous modelling to enable DevOpsWorkshops at A-3561
08:30
90m
Talk
DevOps@MODELS Workshop - Welcome, Keynote
Workshops

Link to publication
08:30 - 10:00
Session 1: MDE for AIWorkshops at A-4502.1
08:30
90m
Talk
MDEIntelligence Workshop - MDE for AI
Workshops

Link to publication
08:30 - 10:00
Session 1: introduction, Keynote, Improving User Experience in Industrial DSMWorkshops at A-5502.1
08:30
90m
Talk
MLE Workshop - Introduction, Keynote, Improving User Experience in Industrial DSM
Workshops
Juan de Lara Autonomous University of Madrid
Link to publication
08:30 - 10:00
Digital twinTutorials at B-2061
08:30
90m
Tutorial
Digital Twin as a Decision-Making Aid in the Face of Uncertainty
Tutorials
Vinay Kulkarni Tata Consultancy Services Research, Souvik Barat Tata Consultancy Services Research, Tony Clark Aston University, Balbir Barn Middlesex University, UK
10:30 - 12:00
Session 1: DSLs and formal methodsWorkshops at A-2521.1
10:30
90m
Talk
MoDeVVa Workshop - DSLs and formal methods
Workshops

Link to publication
10:30 - 12:00
UML ModellingSAM Conference at A-3502.1
10:30
90m
Talk
UML Modelling
SAM Conference

10:30 - 12:00
Session 2: Human Factors in ModelingWorkshops at A-3521.1
10:30
90m
Talk
HuFaMo Workshop - Human Factors in Modeling
Workshops

Link to publication
10:30 - 12:00
Session 2: DevOps WorkshopWorkshops at A-3561
10:30
90m
Talk
DevOps@MODELS Workshop - Session 2
Workshops

Link to publication
10:30 - 12:00
Session 2: Keynote by Prof. Houari SahraouiWorkshops at A-4502.1
10:30
90m
Keynote
MDEIntelligence Workshop - Keynote by Prof. Houari Sahraoui
Workshops

Link to publication
10:30 - 12:00
Session 2: MLE WorkshopWorkshops at A-5502.1
10:30
90m
Talk
MLE Workshop - Session 2
Workshops

Link to publication
10:30 - 12:00
Digital twinTutorials at B-2061
10:30
90m
Tutorial
Digital Twin as a Decision-Making Aid in the Face of Uncertainty
Tutorials
Vinay Kulkarni Tata Consultancy Services Research, Souvik Barat Tata Consultancy Services Research, Tony Clark Aston University, Balbir Barn Middlesex University, UK
13:30 - 15:00
Session 2: Model analysisWorkshops at A-2521.1
13:30
90m
Talk
MoDeVVa Workshop - Model analysis
Workshops

Link to publication
13:30 - 15:00
Model CheckingSAM Conference at A-3502.1
13:30
90m
Talk
Model Checking
SAM Conference

13:30 - 15:00
Session 1: Introduction, Keynote, Analyzing Model Changes with LoupeWorkshops at A-3561
13:30
90m
Talk
ME Workshop - Introduction, Keynote, Analyzing Model Changes with Loupe
Workshops
Benoit Combemale University of Rennes; Inria; IRISA
Link to publication
13:30 - 15:00
Session 3: AI for MDEWorkshops at A-4502.1
13:30
90m
Talk
MDEIntelligence Workshop - AI for MDE
Workshops

Link to publication
13:30 - 15:00
Session 3: MLE WorkshopWorkshops at A-5502.1
13:30
90m
Talk
MLE Workshop - Session 3
Workshops

Link to publication
15:30 - 17:00
Session 3: Brain Storming and Wrap upWorkshops at A-2521.1
15:30
90m
Talk
MoDeVVa Workshop - Brain Storming and Wrap up
Workshops

Link to publication
15:30 - 17:00
Innovative Modelling ApproachesSAM Conference at A-3502.1
15:30
90m
Talk
Innovative Modelling Approaches
SAM Conference

15:30 - 17:00
session 2: Models and EvolutionWorkshops at A-3561
15:30
90m
Talk
ME Workshop - Models and Evolution
Workshops

Link to publication
15:30 - 17:00
Session 4: Lightning Talks and DiscussionWorkshops at A-4502.1
15:30
90m
Talk
MDEIntelligence Workshop - Lightning Talks and Discussion
Workshops

Link to publication
15:30 - 17:00
Session 4: Discussions and closing wordsWorkshops at A-5502.1
15:30
90m
Talk
MLE Workshop - Discussions and closing words
Workshops

Link to publication
18:00 - 22:00
SATELLITE RECEPTIONMODELS at Microbrewery 3 Brasseurs
18:00
4h
Social Event
SATELLITE RECEPTION
MODELS

Link to publication

Tue 25 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1 - Welcome Remarks, and Keynote - EduSymp Educators Symposium at A-2521.1
08:30
14m
Talk
Welcome Remarks
Educators Symposium

08:45
75m
Keynote
A New DSL Textbook in Town!
Educators Symposium
Thorsten Berger Ruhr University Bochum
08:30 - 10:00
openCAESAR: A Next Generation Platform for Systems EngineeringSAM Conference at A-3502.1
08:45
60m
Keynote
openCAESAR: A Next Generation Platform for Systems Engineering
SAM Conference
09:46
14m
Awards
Awards Ceremony
SAM Conference

08:30 - 10:00
Session 1 - DocSympDoctoral Symposium at A-3561
08:30
5m
Talk
Opening
Doctoral Symposium

08:35
55m
Keynote
MDE Doctoral Research Anti-Patterns: How Not to Do It
Doctoral Symposium
Richard Paige McMaster University
File Attached
09:30
30m
Talk
Towards Qualifiable Graphical Editing of Complex Domain-specific Models in Safety-critical Avionics
Doctoral Symposium
Andreas Waldvogel University of Stuttgart, Germany
08:30 - 10:00
Session 1: Opening and KeynoteWorkshops at A-4502.1
08:30
90m
Talk
LowCode Workshop - Opening and Keynote
Workshops

Link to publication
08:30 - 10:00
Session 1: Opening and KeynoteWorkshops at A-5502.1
08:30
90m
Talk
ModDiT Workshop - Opening and Keynote
Workshops

Link to publication
08:30 - 10:00
Session 1: MASE WorkshopWorkshops at B-2061
08:30
90m
Talk
MASE Workshop - Session 1
Workshops
Ahsan Qamar Ford Motor Company
Link to publication
10:30 - 12:00
SDL Society Annual General MeetingSAM Conference at A-3502.1
10:30
90m
Meeting
SDL Society Annual General Meeting
SAM Conference

10:30 - 12:00
Session 2: LowCode WorkshopWorkshops at A-4502.1
10:30
90m
Talk
LowCode Workshop - Session 2
Workshops

Link to publication
10:30 - 12:00
Session 2: Engineering Digital TwinsWorkshops at A-5502.1
10:30
90m
Talk
ModDiT Workshop - Engineering Digital Twins
Workshops

Pre-print
10:30 - 12:00
Session 2: MASE WorkshopWorkshops at B-2061
10:30
90m
Talk
MASE Workshop - Session 2
Workshops

Link to publication
13:30 - 15:00
Session 3 - EduSymp Educators Symposium at A-2521.1
13:30
30m
Talk
Purpose-driven Model-Driven Engineering Education
Educators Symposium
Daniel Calegari Universidad de la República Uruguay, Andrea Delgado Universidad de la Republica
14:00
30m
Talk
Token-based Plagiarism Detection for Metamodels
Educators Symposium
Timur Sağlam Karlsruhe Institute of Technology (KIT), Sebastian Hahner Karlsruhe Institute of Technology (KIT), Jan Willem Wittler , Thomas Kühn Karlsruhe Institute of Technology
14:30
30m
Talk
Tool Support for the Teaching of State-Based Behavior Modeling
Educators Symposium
Christian Zöllner Hasso Plattner Institute, University of Potsdam, Christian M Adriano , Simon Wietheger , Leen Lambers BTU Cottbus Senftenberg, Holger Giese Hasso Plattner Institute, University of Potsdam
13:30 - 15:00
System-Level Modelling LanguagesSAM Conference at A-3502.1
13:30
90m
Talk
System-Level Modelling Languages
SAM Conference

13:30 - 15:00
Session 3 - DocSympDoctoral Symposium at A-3561
13:30
30m
Talk
Towards Consistency Management in Low-Code Platforms
Doctoral Symposium
MohammadAmin Zaheri Université de Montréal
14:00
30m
Talk
ViMoTest: A Low Code Approach to Specify View Model-based Tests with a Projectional DSL using JetBrains MPS
Doctoral Symposium
Mario Fuksa University of Stuttgart
14:30
30m
Talk
Simplify Model Design in MDE Approaches
Doctoral Symposium
Asbathou Biyalou-Sama University of Lille
13:30 - 15:00
Session 3: LowCodeWorkshops at A-4502.1
13:30
90m
Talk
LowCode Workshop - Session 3
Workshops

Link to publication
13:30 - 15:00
Session 3: Keynote and Operations of Digital Twins Pt. 1Workshops at A-5502.1
13:30
90m
Talk
ModDiT Workshop - Keynote, Operations of Digital Twins Pt. 1
Workshops

Link to publication
13:30 - 15:00
Session 3: MASE WorkshopWorkshops at B-2061
13:30
90m
Talk
MASE Workshop - Session 3
Workshops

Link to publication
15:30 - 17:00
Session 4 - EduSympEducators Symposium at A-2521.1
15:30
30m
Talk
A DSL and Model Transformations to Specify Learning Corpora for Modeling Assistants
Educators Symposium
Younes Boubekeur McGill University, Prabhsimran Singh Department of Electrical and Computer Engineering, McGill University, Gunter Mussbacher McGill University
16:00
30m
Talk
Detection of Anomalous Modeling Behavior: A Goal-Driven Data Mining Approach
Educators Symposium
Tong Li Beijing University of Technology, Yiting Wang , Congkai Geng
16:30
30m
Talk
The Epsilon Playground
Educators Symposium
Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York
15:30 - 17:00
SAM 2022 Closing Notes / DiscussionSAM Conference at A-3502.1
15:30
90m
Talk
SAM 2022 Closing Notes / Discussion
SAM Conference

15:30 - 17:00
15:30
90m
Talk
What disruptive technologies are expected to be most influential for the future industrial practice of MBSE?
Industry Days
M: Daniel Varro McGill University / Budapest University of Technology and Economics, P: Thierry Le Sergent Ansys, P: Mattias Mohlin HCL, P: Maged Khalil Continental, P: Ed Seidewitz Model Driven Solutions, P: Akshay Rajhans Mathworks, P: Mojtaba Bagherzadeh
15:30 - 17:00
Session 4: Operations of Digital Twins Pt. 2Workshops at A-5502.1
15:30
90m
Talk
ModDiT Workshop - Operations of Digital Twins Pt. 2
Workshops

Link to publication

Wed 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Eugene Syriani Université de Montréal
08:30
30m
Social Event
Welcome to MODELS 2022
MODELS
Eugene Syriani Université de Montréal, Houari Sahraoui Université de Montréal, Manuel Wimmer JKU Linz, CDL-MINT, Nelly Bencomo Durham University
09:00
60m
Keynote
Keynote by Akshay Rajhans
MODELS
10:00 - 13:30
Session 1 - PostersPosters at B-140 (Atrium)
10:00
3h30m
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Luigi Logrippo University of Ottawa, Amal Ahmed Anda , John Mylopoulos
10:00
3h30m
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
10:00
3h30m
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen Waseda University, Hironori Washizaki Waseda University, Hnin Tun , Nobukazu Yoshioka Waseda University, Japan
10:00
3h30m
Poster
Contract-based Product-Assembly Co-Design
Posters
10:00
3h30m
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
10:00
3h30m
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
10:00
3h30m
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University
Pre-print
10:00
3h30m
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne Technische Universität Dresden, Johannes Mey Technische Universität Dresden, Sebastian Ebert Technische Universität Dresden, Sebastian Götz Technische Universität Dresden
10:00
3h30m
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers University of Twente, Vadim Zaytsev University of Twente, Netherlands
10:00
3h30m
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen University of Texas at Dallas
10:30 - 12:00
Foundations ITechnical Track / Journal-first at A-3502.1
Chair(s): Jörg Kienzle McGill University, Canada
10:30
22m
Talk
Quantifying the Variability Mismatch Between Problem and Solution SpaceFT
Technical Track
Marc Hentze Volkswagen AG, Chico Sundermann University of Ulm, Thomas Thüm University of Ulm, Ina Schaefer Karlsruhe Institute of Technology (KIT)
10:52
22m
Talk
Modular Language Product Lines. A Graph Transformation ApproachFT
Technical Track
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Aut�noma de Madrid, Paolo Bottoni Sapienza University of Rome
Pre-print Media Attached
11:15
22m
Talk
Utilizing multi-level concepts for multi-phase modeling - Context-awareness and process-based constraints to enable model evolutionJ1st
Journal-first
Tobias Franz German Aerospace Center (DLR), Christoph Seidl IT University of Copenhagen, Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR)
Link to publication
11:37
22m
Talk
Domain object hierarchies inducing multi-level modelJ1st
Journal-first
Link to publication
10:30 - 12:00
Systems Eng. & Analysis ITools & Demonstrations / Technical Track at A-4502.1
Chair(s): Iulian Ober
10:30
22m
Talk
Precomputing Reconfiguration Strategies based on Stochastic Timed Game AutomataFT
Technical Track
Hendrik Göttmann Technical University of Darmstadt, Birte Caesar Helmut Schmidt University, Lasse Beers Helmut Schmidt University, Malte Lochau University of Siegen, Andy Schürr TU Darmstadt, Germany, Alexander Fay Helmut Schmidt University
10:52
15m
Talk
A Tool for the Automation of Efficient Multi-Robot Choreography Planning and ExecutionDemo
Tools & Demonstrations
Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Daniel Kudenko Leibniz Universität Hannover, Wolfgang Nejdl Leibniz Universität Hannover, Oliver Flegel Volkswagen AG, Dennes Eisner Volkswagen AG
11:07
22m
Talk
System Architecture Synthesis for Performability by Logic SolversFT
Technical Track
Máté Földiák Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics
File Attached
11:29
15m
Talk
Migrating from Proprietary Tools to Open-source Software for EAST-ADL Metamodel Generation and EvolutionDemo
Tools & Demonstrations
Jörg Holtmann Chalmers | University of Gothenburg, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Henrik Lönn Volvo Technology
11:44
15m
Talk
A Diagram-Centric Modeling Tool for Systems of SystemsDemoVirtual
Tools & Demonstrations
Sean Kristian Remond Harbo Aalborg University, Emil Voldby Aalborg University, Jonas Madsen Aalborg University, Michele Albano Aalborg University
12:00 - 13:30
SOSYM editorial board meetingMODELS at B-2061
12:00
90m
Meeting
SOSYM editorial board meeting
MODELS

13:30 - 15:00
Validation & Verification ITechnical Track at A-3502.1
Chair(s): Marsha Chechik University of Toronto
13:30
22m
Talk
Practical Multiverse Debugging through User-defined Reductions: Application to UML ModelsFT
Technical Track
Matthias Pasquier Ertosgener, Ciprian Teodorov ENSTA Bretagne, Frédéric Jouault ERIS Team, ESEO , France, Matthias Brun TRAME Team, ESEO, Luka Le Roux Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne
13:52
22m
Talk
Modelling Program Verification Tools for Software EngineersP&I
Technical Track
Sophie Lathouwers University of Twente, Vadim Zaytsev University of Twente, Netherlands
File Attached
14:15
22m
Talk
Automatic Test Amplification for Executable ModelsFT
Technical Track
Faezeh Khorram IMT Atlantique, Nantes, France, Erwan Bousse Nantes Université, Jean-Marie Mottu Université de Nantes, LS2N, IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Esther Guerra Universidad Aut�noma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
14:37
22m
Talk
Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management SystemP&I
Technical Track
Maxime Méré STMicroelectronics, Frédéric Jouault ERIS Team, ESEO , France, Loïc Pallardy STMicroelectronics, Richard Perdriau ESEO
13:30 - 15:00
Applications ITechnical Track / Journal-first at A-4502.1
Chair(s): Joanne M. Atlee University of Waterloo
13:30
22m
Talk
Verification of Railway Network Models with EVERESTP&I
Technical Track
João Martins EFACEC, José M. Fonseca EFACEC, Rafael Costa INESC TEC, José Creissac Campos University of Minho & HASLab/INESC TEC, Alcino Cunha University of Minho; INESC TEC, Nuno Macedo University of Porto; INESC TEC, Jose Nuno Oliveira University of Minho; INESC TEC
13:52
22m
Talk
Bug Localization in Game Software Engineering: Evolving Simulations to Locate Bugs in Software Models of Video GamesFT
Technical Track
Rodrigo Casamayor SVIT Research Group. Universidad San Jorge, Lorena Arcega San Jorge University, Francisca Pérez SVIT Research Group. Universidad San Jorge, Carlos Cetina San Jorge University, Spain
14:15
22m
Talk
SOCAM: a service-oriented computing architecture modeling methodJ1st
Journal-first
Link to publication
14:37
22m
Talk
A Comprehensive Framework for the Analysis of Automotive SystemsP&I
Technical Track
Alessandro Cimatti Fondazione Bruno Kessler, Sara Corfini Huawei Pisa Research Center, Luca Cristoforetti Fondazione Bruno Kessler, Marco Di Natale Scuola Superiore Sant'Anna (Consultant for Huawei Pisa Research Center), Alberto Griggio Fondazione Bruno Kessler, Stefano Puri Huawei Pisa Research Center, Stefano Tonetta Fondazione Bruno Kessler, Italy
13:30 - 15:00
Model ManagementJournal-first / Technical Track at A-5502.1
Chair(s): Ileana Ober University of Toulouse
13:30
22m
Talk
Accelerating Similarity-Based Model Matching Using On-The-Fly Similarity Preserving HashingFT
Technical Track
Xiao He University of Science and Technology Beijing, China, Letian Tang School of Computer and Communication Engineering, University of Science and Technology Beijing, Yutong Li School of Computer and Communication Engineering, University of Science and Technology Beijing
13:52
22m
Talk
An efficient line-based approach for resolving merge conflicts in XMI-based modelsJ1st
Journal-first
Alfonso de la Vega Universidad de Cantabria, Dimitris Kolovos University of York
Link to publication
14:15
22m
Talk
A generic approach to detect design patterns in model transformations using a string-matching algorithmJ1st
Journal-first
Chihab eddine Mokaddem DIRO, Université de Montréal, Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal
Link to publication
14:37
22m
Talk
Nested OSTRICH: Hatching Compositions of Low-code TemplatesP&I
Technical Track
João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa, Hugo Lourenço OutSystems SA, Joana Baptista Parreira NOVA University of Lisbon, Carla Ferreira NOVA University Lisbon
13:30 - 15:00
13:30
90m
Poster
Solving the Instance Model-View Update Problem in AADL Undergraduate
ACM Student Research Competition
Rakshit Mittal Universiteit Antwerpen
13:30
90m
Poster
Automating the design of recommender systems: from foundational aspects to actual developmentGraduate
ACM Student Research Competition
Claudio Di Sipio University of L'Aquila
13:30
90m
Poster
Participatory Agent-Based Modelling in Healthcare – A Domain-Specific Modelling Language ApproachGraduate
ACM Student Research Competition
13:30
90m
Poster
The path towards the automatic provision of blended modeling environmentsGraduate
ACM Student Research Competition
Malvina Latifaj Mälardalen University
13:30
90m
Poster
How Alike are my Physical and Digital Twins?Graduate
ACM Student Research Competition
13:30
90m
Poster
Domain-specific model differencing for graphical domain-specific languagesGraduate
ACM Student Research Competition
Manouchehr Zadahmad Jafarlou Université de Montréal
13:30
90m
Poster
Eat Your Own DevOps: A Model Driven Approach to Justify Continous Integration PipelinesGraduate
ACM Student Research Competition
Corinne Pulgar École de Technologie Supérieure (ETS)
13:30
90m
Poster
Automated, Traceable, and Interactive Domain ModellingGraduate
ACM Student Research Competition
Rijul Saini McGill University, Canada
13:30
90m
Poster
Pushing the Boundaries of Planned Reuse with Concern Specific Modelling LanguagesGraduate
ACM Student Research Competition
15:00 - 20:00
Session 2 - PostersPosters at B-140 (Atrium)
15:00
5h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
15:00
5h
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
15:00
5h
Poster
Contract-based Product-Assembly Co-Design
Posters
15:00
5h
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
15:00
5h
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne Technische Universität Dresden, Johannes Mey Technische Universität Dresden, Sebastian Ebert Technische Universität Dresden, Sebastian Götz Technische Universität Dresden
15:00
5h
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen University of Texas at Dallas
15:00
5h
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Luigi Logrippo University of Ottawa, Amal Ahmed Anda , John Mylopoulos
15:00
5h
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers University of Twente, Vadim Zaytsev University of Twente, Netherlands
15:00
5h
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University
Pre-print
15:00
5h
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen Waseda University, Hironori Washizaki Waseda University, Hnin Tun , Nobukazu Yoshioka Waseda University, Japan
15:30 - 17:00
Foundations IITechnical Track / Tools & Demonstrations / Journal-first at A-4502.1
Chair(s): Bran Selic Malina Software Corporation
15:30
22m
Talk
Incremental Causal Connection for Self-Adaptive Systems based on Relational Reference Attribute GrammarsFT
Technical Track
René Schöne Technische Universität Dresden, Johannes Mey Technische Universität Dresden, Sebastian Ebert Technische Universität Dresden, Sebastian Götz Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
File Attached
15:52
22m
Talk
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and DesiderataFT
Technical Track
Javier Camara University of Málaga, Radu Calinescu University of York, UK, Betty H.C. Cheng Michigan State University, David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Javier Troya Universidad de Málaga, Spain, Antonio Vallecillo University of Málaga, Spain
16:15
22m
Talk
Modelling in low-code development: a multi-vocal systematic reviewJ1st
Journal-first
Alessio Bucaioni Mälardalen University, Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University
Link to publication
16:37
22m
Talk
A Value-Based Goal Model Analysis ToolDemo
Tools & Demonstrations
Carlos Cano Genoves Universitat Politècnica de València, Emilio Insfran Universitat Politècnica de València, Spain, Silvia Abrahão Universitat Politècnica de València
15:30 - 17:00
15:30
22m
Talk
Advanced Visualization and Interaction in GLSP-based Web Modeling: Realizing Semantic Zoom and Off-Screen ElementsFT
Technical Track
Giuliano De Carlo TU Wien, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien, Vienna, Austria
15:52
22m
Talk
Picto Web: A Tool for Complex Model ExplorationDemo
Tools & Demonstrations
Alfa Yohannis University of York, Universitas Pradita, Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York, Carlos Javier Fernández Candel University of York
16:15
22m
Talk
The Influence of Software Design Representation on the Design Communication of Teams with Diverse PersonalitiesFT
Technical Track
Rodi Jolak Chalmers | University of Gothenburg, Maxime Savary-Leblanc Lille University, Manuela Dalibor Software Engineering, RWTH Aachen University, Juraj Vincur Slovak University of Technology, Ivan Polasek Slovak University of Technology, Regina Hebig Chalmers University of Technology & University of Gothenburg, Xavier Le Pallec Lille University, Michel Chaudron Eindhoven University of Technology, The Netherlands, Sebastian Gerard CEA Saclay - NanoInnov, Andreas Wortmann
16:37
22m
Talk
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic studyJ1st
Journal-first
Istvan David Université de Montréal, Malvina Latifaj Mälardalen University, Jakob Pietron Ulm University, Weixing Zhang , Federico Ciccozzi Malardalen University, Ivano Malavolta Vrije Universiteit Amsterdam, Alexander Raschke , Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Regina Hebig Chalmers University of Technology & University of Gothenburg
Link to publication
15:30 - 17:00
MODELS steering committee meetingMODELS at B-2061
15:30
90m
Meeting
MODELS steering committee meeting
MODELS

17:30 - 20:00
WELCOME RECEPTIONMODELS at B-140 (Atrium)
17:30
2h30m
Social Event
WELCOME RECEPTION
MODELS

Link to publication

Thu 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:45 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Houari Sahraoui Université de Montréal
08:45
15m
Social Event
Announcements
MODELS

09:00
60m
Keynote
Keynote by Danny Tarlow
MODELS
10:00 - 17:00
Session 3 - PostersPosters at B-140 (Atrium)
10:00
7h
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen University of Texas at Dallas
10:00
7h
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
10:00
7h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
10:00
7h
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen Waseda University, Hironori Washizaki Waseda University, Hnin Tun , Nobukazu Yoshioka Waseda University, Japan
10:00
7h
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers University of Twente, Vadim Zaytsev University of Twente, Netherlands
10:00
7h
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
10:00
7h
Poster
Contract-based Product-Assembly Co-Design
Posters
10:00
7h
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University
Pre-print
10:00
7h
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne Technische Universität Dresden, Johannes Mey Technische Universität Dresden, Sebastian Ebert Technische Universität Dresden, Sebastian Götz Technische Universität Dresden
10:00
7h
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Luigi Logrippo University of Ottawa, Amal Ahmed Anda , John Mylopoulos
10:30 - 12:00
Blockchain & ContractsTechnical Track at A-3502.1
Chair(s): Steffen Zschaler King's College London
10:30
22m
Talk
Model-Checking Legal Contracts with SymboleoPCFT
Technical Track
Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Luigi Logrippo University of Ottawa, John Mylopoulos University of Trento
10:52
22m
Talk
Predicate Abstractions for Smart Contract ValidationFT
Technical Track
Javier Godoy University of Buenos Aires, Argentina, Juan Pablo Galeotti University of Buenos Aires, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
File Attached
11:15
22m
Talk
Symboleo2SC: From Legal Contract Specifications to Smart ContractsFT
Technical Track
Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Luigi Logrippo University of Ottawa, John Mylopoulos University of Trento, Amal Ahmed Anda
11:37
22m
Talk
A Declarative Modeling Framework for the Deployment and Management of Blockchain ApplicationsFT
Technical Track
Luciano Baresi Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano, Damian Andrew Tamburri TU/e, Luca Terracciano Politecnico di Milano
10:30 - 12:00
Validation & Verification IITechnical Track / Journal-first at A-4502.1
Chair(s): Oystein Haugen Østfold University College
10:30
22m
Talk
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud SolutionsP&I
Technical Track
Jia Li University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Michael McCallen Cheetah Networks
10:52
22m
Talk
Model-based ideal testing of hardware description language (HDL) programsJ1st
Journal-first
Onur Kilincceker , Ercument Turk , Fevzi Belli Paderborn University, Germany, Moharram Challenger University of Antwerp
Link to publication
11:15
22m
Talk
Validating the Correctness of Reactive Systems Specifications Through Systematic ExplorationFT
Technical Track
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University
Pre-print
11:37
22m
Talk
Probabilistic modelling and verification using RoboChart and PRISMJ1st
Journal-first
Kangfeng Ye University of York, UK, Ana Cavalcanti University of York, Simon Foster University of York, Alvaro Miyazawa , Jim Woodcock
Link to publication
10:30 - 12:00
Recommender SystemsJournal-first / Technical Track at A-5502.1
Chair(s): Jesús Sánchez Cuadrado Universidad de Murcia
10:30
22m
Talk
Machine Learning-based Incremental Learning in Interactive Domain ModellingFT
Technical Track
Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada
10:52
22m
Talk
MemoRec: a recommender system for assisting modelers in specifying metamodelsJ1st
Journal-first
Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Phuong T. Nguyen University of L’Aquila, Alfonso Pierantonio
Link to publication
11:15
22m
Talk
Recommending metamodel concepts during modeling activities with pre-trained language modelsJ1st
Journal-first
Martin Weyssow DIRO, Université de Montréal, Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal
Link to publication
11:37
22m
Talk
Finding with NEMO: A Recommender System to Forecast the Next Modeling OperationsFT
Technical Track
Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Phuong T. Nguyen University of L’Aquila, Davide Di Ruscio University of L'Aquila, Alfonso Pierantonio
12:00 - 13:30
MODELS steering committee meetingMODELS at B-2061
12:00
90m
Meeting
MODELS steering committee meeting
MODELS

13:30 - 15:00
PanelPanel at A-3502.1
Chair(s): Antonio Cicchetti Mälardalen University
13:30
90m
Panel
Is Lowcode succeeding where we are failing?
Panel
Antonio Cicchetti Mälardalen University, Ed Seidewitz Model Driven Solutions, Jean-Michel Bruel Université de Toulouse, France, Maria Angela Ferrario Queen's University Belfast, Richard Paige McMaster University, UIrich Frank
15:30 - 17:00
15:30
22m
Talk
Digital Twin as Risk Free Experimentation Aid for Techno-socio-economic SystemsP&I
Technical Track
Souvik Barat Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research, Tony Clark Aston University, Balbir Barn Middlesex University, UK
15:52
22m
Talk
Digital TwinCity: A Holistic Approach towards Comparative Analysis of Business ProcessesDemo
Tools & Demonstrations
16:15
22m
Talk
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learningJ1st
Journal-first
Shekoufeh Rahimi University of Isfahan, MohammadHadi Dehghani Johannes Kepler University Linz, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Dalila Tamzalit
Link to publication
16:37
22m
Talk
Towards Model-based Bias Mitigation in Machine LearningVirtualP&I
Technical Track
Alfa Yohannis University of York, Universitas Pradita, Dimitris Kolovos University of York
15:30 - 17:00
AI for/with MDE IIJournal-first / Technical Track / Tools & Demonstrations at A-4502.1
Chair(s): Tao Yue Simula Research Laboratory
15:30
22m
Talk
DescribeML: a tool for describing machine learning datasetsDemo
Tools & Demonstrations
Joan Giner Universitat Oberta de Catalunya, Abel Gómez Universitat Oberta de Catalunya, Jordi Cabot Open University of Catalonia, Spain
Pre-print Media Attached
15:52
22m
Talk
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learningJ1st
Journal-first
Juan Marcelo Parra Aston University, Antonio Garcia-Dominguez Aston University, Nelly Bencomo Durham University, Changgang Zheng , Chen Zhen , Juan Boubeta-Puig University of Cadiz, Guadalupe Ortiz , Shufan Yang
Link to publication
16:15
22m
Talk
MoDLF A Model-Driven Deep Learning Framework for Autonomous Vehicle Perception (AVP)FT
Technical Track
Aon Safdar Department of Computers and Software Engineering, College of E&ME,NUST, Islamabad, Pakistan, Farooque Azam Department of Computers and Software Engineering, College of E&ME,NUST, Islamabad, Pakistan, Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Usman Akram Department of Computers and Software Engineering, College of E&ME,NUST, Islamabad, Pakistan, Yawar Rasheed Department of Computers and Software Engineering, College of E&ME,NUST, Islamabad, Pakistan
16:37
22m
Talk
Assisting in Requirements Goal Modeling: A Hybrid Approach based on Machine Learning and Logical ReasoningFT
Technical Track
Qixiang Zhou Beijing University of Technology, Tong Li Beijing University of Technology, Yunduo Wang School of Software, Beihang University
15:30 - 17:00
Systems Eng. & Analysis IITechnical Track / Tools & Demonstrations / Journal-first at A-5502.1
Chair(s): Jean-Michel Bruel Université de Toulouse, France
15:30
22m
Talk
Generating repairs for inconsistent modelsJ1st
Journal-first
Luciano Marchezan , Roland Kretschmer , Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alexander Reder , Alexander Egyed Johannes Kepler University Linz
Link to publication
15:52
22m
Talk
Solving the Instance Model-View Update Problem in AADLP&I
Technical Track
Rakshit Mittal Universiteit Antwerpen, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Anish Bhobe Institut Polytechnique de Paris, Soumyadip Bandyopadhyay BITS Pilani
16:15
22m
Talk
OSATE-DIM Solves the Instance Model View-Update Problem in AADLDemo
Tools & Demonstrations
Rakshit Mittal Universiteit Antwerpen, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris
16:37
22m
Talk
Reactive Links Across Multi-Domain Engineering ModelsP&I
Technical Track
Cosmina-Cristina Ratiu Johannes Kepler University Linz, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Rainer Haas Linz Center of Mechatronics GmbH, Alexander Egyed Johannes Kepler University Linz
18:30 - 22:59
CONFERENCE BANQUET and AWARD CEREMONYMODELS at LeWindsor
18:30
4h29m
Social Event
CONFERENCE BANQUET and AWARD CEREMONY
MODELS

Link to publication

Fri 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:45 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Nelly Bencomo Durham University
08:45
15m
Social Event
MODELS 2023 announcement
MODELS

09:00
60m
Keynote
Keynote by Maria Angela Ferrrio
MODELS
Maria Angela Ferrario Queen's University Belfast
10:30 - 12:00
Applications IIITools & Demonstrations / Journal-first at A-5502.1
Chair(s): Sébastien Mosser McMaster University
10:30
22m
Talk
A descriptive study of assumptions in STRIDE security threat modelingJ1st
Journal-first
Dimitri Van Landuyt KU Leuven, Belgium, Wouter Joosen Katholieke Universiteit Leuven
Link to publication
10:52
22m
Talk
TMI: Tokenomics Made Easy For Web3 ApplicationsDemoVirtual
Tools & Demonstrations
Han Liu Tsinghua University, Xufei Wang Oxford-Hainan Blockchain Research Institute, Model Labs, Bin Wang Oxford-Hainan Blockchain Research Institute, Hainan, China, Huixuan Zheng Oxford-Hainan Blockchain Research Institute, Xuchao Liu Oxford-Hainan Blockchain Research Institute, Model Labs
11:15
22m
Talk
Using DevOps toolchains in Agile model-driven engineeringJ1st
Journal-first
Jörn Guy Süß Codebots Pty Ltd., Samantha Swift , Eban Escott Codebots
Link to publication
11:37
22m
Talk
Learning UML Database Design and Modeling with AutoERDemo
Tools & Demonstrations
Sarah Foss University of British Columbia, Tatiana Urazova University of British Columbia, Ramon Lawrence The University of British Columbia
13:30 - 15:00
Foundations IIITechnical Track / Journal-first / Tools & Demonstrations at A-3502.1
Chair(s): Daniel Varro McGill University / Budapest University of Technology and Economics
13:30
22m
Talk
Early timing analysis based on scenario requirements and platform modelsJ1st
Journal-first
Jörg Holtmann Chalmers | University of Gothenburg, Julien DeAntoni , Markus Fockel
Link to publication
13:52
22m
Talk
Requirements document relations - A reuse perspective on traceability through standardsJ1st
Journal-first
Katharina Großer University of Koblenz-Landau, Volker Riediger University of Koblenz-Landau, Jan Jürjens University of Koblenz-Landau
Link to publication
14:15
22m
Talk
Schema Inference for Multi-Model DataFT
Technical Track
Pavel Koupil Charles University, Faculty of Mathematics and Physics, Sebastian Hricko Charles University in Prague, Irena Holubova Charles University in Prague
14:37
22m
Talk
EvolveDB - A tool for model driven schema evolutionDemo
Tools & Demonstrations
Torben Eckwert Forschungscampus Mittelhessen, Michael Guckert Technische Hochschule Mittelhessen–University of Applied Sciences, Gabriele Taentzer University of Marburg, Germany
13:30 - 15:00
Experiences & Practices, BenchmarksTechnical Track / Journal-first at A-4502.1
Chair(s): Shiva Nejati University of Ottawa
13:30
22m
Talk
Editing Support for Software Languages: Implementation Practices in Language Server ProtocolsP&I
Technical Track
Djonathan Barros PPGComp - Western Paran State University, Sven Peldszus Ruhr University Bochum, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Thorsten Berger Ruhr University Bochum
DOI Pre-print
13:52
22m
Talk
Survey of Established Practices in the Life Cycle of Domain-Specific LanguagesP&I
Technical Track
Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen
14:15
22m
Talk
A benchmark of incremental model transformation tools based on an industrial case study with AADLJ1st
Journal-first
Hana Mkaouar , Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Etienne Borde
Link to publication
14:37
22m
Talk
A cross-technology benchmark for incremental graph queriesJ1st
Journal-first
Georg Hinkel , Antonio Garcia-Dominguez Aston University, René Schöne Technische Universität Dresden, Artur Boronat University of Leicester, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Frédéric Jouault ERIS Team, ESEO , France, Jószef Marton , Tamás Nyíri , János Benjamin Antal , Márton Elekes , Gabor Szarnyas , Gabor Szarnyas
Link to publication
13:30 - 15:00
Model visualization IITools & Demonstrations / Journal-first at A-5502.1
Chair(s): Antonio Vallecillo University of Málaga, Spain
13:30
18m
Talk
Are models better read on paper or on screen? A comparative studyJ1st
Journal-first
Link to publication
13:48
18m
Talk
Graphical Projectional Editing in GentlemanDemo
Tools & Demonstrations
Aurélien Ducoin DIRO, Université de Montréal, Eugene Syriani Université de Montréal
Link to publication Pre-print
14:06
18m
Talk
Evaluating the accessibility of a PoN-enabled misuse case notation by the red–green colorblind communityJ1st
Journal-first
Link to publication
14:24
18m
Talk
Gamification-based UML Learning Environment in Virtual RealityDemo
Tools & Demonstrations
Enes Yigitbas Paderborn University, Germany, Maximilian Schmidt Paderborn University, Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Sebastian Gottschalk Paderborn University, Gregor Engels Paderborn University
14:42
18m
Talk
Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software InteractionsDemoVirtual
Tools & Demonstrations
Ning Ge School of Software, Beihang University, Yunduo Wang School of Software, Beihang University, Yuan Wang School of Software, Beihang University, Yong Wang School of Software, Beihang University
15:30 - 17:00
CLOSING SOCIAL EVENTMODELS at B-140 (Atrium)
15:30
90m
Social Event
CLOSING SOCIAL EVENT
MODELS