MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
MODELS 2022 (series) / University of Montreal /

Room information: A-4502.1

VenueUniversity of Montreal
Room nameA-4502.1
Floor0
Room InformationNo extra information available
Program

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

Sun 23 Oct

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

08:30 - 10:00
Session 1: Introduction, KeynoteWorkshops at A-4502.1
08:30
90m
Talk
MPM4CPS Workshop - Introduction, Keynote
Workshops

Link to publication
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: MPM4CPSWorkshops at A-4502.1
13:30
90m
Talk
MPM4CPS Workshop - Session 3
Workshops

Link to publication

Mon 24 Oct

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

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
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
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
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

Tue 25 Oct

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

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
10:30 - 12:00
Session 2: LowCode WorkshopWorkshops at A-4502.1
10:30
90m
Talk
LowCode Workshop - Session 2
Workshops

Link to publication
13:30 - 15:00
Session 3: LowCodeWorkshops at A-4502.1
13:30
90m
Talk
LowCode Workshop - Session 3
Workshops

Link to publication

Wed 26 Oct

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

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
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
Paola Reyes-Delgado , Hector Duran-Limon , Manuel Mora , Laura Rodriguez-Martinez
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
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

Thu 27 Oct

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

10:30 - 12:00
Validation & Verification IITechnical Track / Journal-first at A-4502.1
Chair(s): Øystein 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
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 University of York, 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

Fri 28 Oct

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

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 University of York, 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

Sun 23 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
A-4502.1

Workshops

Session 1: Introduction, Keynote

Workshops

Session 2: MPM4CPS Workshop

Workshops

Session 3: MPM4CPS

Workshops

Mon 24 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
A-4502.1

Workshops

Session 1: MDE for AI

Workshops

Session 2: Keynote by Prof. Houari Sahraoui

Workshops

Session 3: AI for MDE

Workshops

Session 4: Lightning Talks and Discussion

Tue 25 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
A-4502.1

Workshops

Session 1: Opening and Keynote

Workshops

Session 2: LowCode Workshop

Workshops

Session 3: LowCode

Workshops

Wed 26 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
A-4502.1

Tools & Demonstrations + Technical Track

Systems Eng. & Analysis I

Technical Track + Journal-first

Applications I

Technical Track + Tools & Demonstrations + Journal-first

Foundations II

Thu 27 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
A-4502.1

Technical Track + Journal-first

Validation & Verification II

Journal-first + Technical Track + Tools & Demonstrations

AI for/with MDE II

Fri 28 Oct

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

Room13:003014:0030
A-4502.1

Technical Track + Journal-first

Experiences & Practices, Benchmarks

Sun 23 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
A-4502.1
MODELS Workshops
MPM4CPS Workshop - Introduction, Keynote
08:30 - 10:00
MODELS Workshops
MPM4CPS Workshop - Session 2
10:30 - 12:00
MODELS Workshops
MPM4CPS Workshop - Session 3
13:30 - 15:00

Mon 24 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
A-4502.1
MODELS Workshops
MDEIntelligence Workshop - MDE for AI
08:30 - 10:00
MODELS Workshops
MDEIntelligence Workshop - Keynote by Prof. Houari Sahraoui
10:30 - 12:00
MODELS Workshops
MDEIntelligence Workshop - AI for MDE
13:30 - 15:00
MODELS Workshops
MDEIntelligence Workshop - Lightning Talks and Discussion
15:30 - 17:00

Tue 25 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
A-4502.1
MODELS Workshops
LowCode Workshop - Opening and Keynote
08:30 - 10:00
MODELS Workshops
LowCode Workshop - Session 2
10:30 - 12:00
MODELS Workshops
LowCode Workshop - Session 3
13:30 - 15:00

Wed 26 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
A-4502.1
MODELS Technical TrackFT
Precomputing Reconfiguration Strategies based on Stochastic Timed Game ...
10:30 - 10:52
MODELS Tools & DemonstrationsDemo
A Tool for the Automation of Efficient Multi-Robot Choreography Plannin ...
10:52 - 11:07
MODELS Technical TrackFT
System Architecture Synthesis for Performability by Logic Solvers
11:07 - 11:29
MODELS Tools & DemonstrationsDemo
Migrating from Proprietary Tools to Open-source Software for EAST-ADL M ...
11:29 - 11:44
MODELS Tools & DemonstrationsDemoVirtual
A Diagram-Centric Modeling Tool for Systems of Systems
11:44 - 11:59
MODELS Technical TrackP&I
Verification of Railway Network Models with EVEREST
13:30 - 13:52
MODELS Technical TrackFT
Bug Localization in Game Software Engineering: Evolving Simulations to ...
13:52 - 14:15
MODELS Journal-firstJ1st
SOCAM: a service-oriented computing architecture modeling method
14:15 - 14:37
MODELS Technical TrackP&I
A Comprehensive Framework for the Analysis of Automotive Systems
14:37 - 15:00
MODELS Technical TrackFT
Incremental Causal Connection for Self-Adaptive Systems based on Relati ...
15:30 - 15:52
MODELS Technical TrackFT
Addressing the Uncertainty Interaction Problem in Software-intensive Sy ...
15:52 - 16:15
MODELS Journal-firstJ1st
Modelling in low-code development: a multi-vocal systematic review
16:15 - 16:37
MODELS Tools & DemonstrationsDemo
A Value-Based Goal Model Analysis Tool
16:37 - 17:00

Thu 27 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
A-4502.1
MODELS Technical TrackP&I
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to- ...
10:30 - 10:52
MODELS Journal-firstJ1st
Model-based ideal testing of hardware description language (HDL) programs
10:52 - 11:15
MODELS Technical TrackFT
Validating the Correctness of Reactive Systems Specifications Through S ...
11:15 - 11:37
MODELS Journal-firstJ1st
Probabilistic modelling and verification using RoboChart and PRISM
11:37 - 12:00
MODELS Tools & DemonstrationsDemo
DescribeML: a tool for describing machine learning datasets
15:30 - 15:52
MODELS Journal-firstJ1st
Event-driven temporal models for explanations - ETeMoX: explaining rein ...
15:52 - 16:15
MODELS Technical TrackFT
MoDLF A Model-Driven Deep Learning Framework for Autonomous Vehicle Per ...
16:15 - 16:37
MODELS Technical TrackFT
Assisting in Requirements Goal Modeling: A Hybrid Approach based on Mac ...
16:37 - 17:00

Fri 28 Oct

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

Room13:0015304514:00153045
A-4502.1
MODELS Technical TrackP&I
Editing Support for Software Languages: Implementation Practices in Lan ...
13:30 - 13:52
MODELS Technical TrackP&I
Survey of Established Practices in the Life Cycle of Domain-Specific La ...
13:52 - 14:15
MODELS Journal-firstJ1st
A benchmark of incremental model transformation tools based on an indus ...
14:15 - 14:37
MODELS Journal-firstJ1st
A cross-technology benchmark for incremental graph queries
14:37 - 15:00