MODELS 2022 (series) /
MODELS 2022 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 23 OctDisplayed time zone: Eastern Time (US & Canada) change
Sun 23 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | OCL Workshop - OCL & other textual constraint languages Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTutorial | Agile, Web-Centric, Model-Driven Development of Real Systems Using Umple Tutorials Timothy Lethbridge University of Ottawa | ||
08:30 - 10:00 | |||
08:30 90mTalk | MPM4CPS Workshop - Introduction, Keynote Workshops Link to publication | ||
09:00 - 10:00 | |||
09:00 60mTalk | MULTI Workshop - MLM processes and methodologies Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | OCL Workshop - Verification and validation Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | MULTI Workshop - MLM tools and applications Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Agile, Web-Centric, Model-Driven Development of Real Systems Using Umple Tutorials Timothy Lethbridge University of Ottawa | ||
10:30 - 12:00 | |||
10:30 90mTalk | MPM4CPS Workshop - Session 2 Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | OCL Workshop - Extending OCL Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 80mTalk | MULTI Workshop - Comparison and unification Workshops Link to publication | ||
14:51 9mTalk | MULTI Workshop - Closing words Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Ontology modeling language Tutorials Maged Elaasar Jet Propulsion Laboratory (NASA) Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | MPM4CPS Workshop - Session 3 Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | OCL Workshop - Discussion Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Discrete-Event Modeling and Simulation-based Development of Embedded Systems Tutorials | ||
Mon 24 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 24 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | MoDeVVa Workshop - Welcome and Keynote Talk Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mKeynote | Beyond the Clouds: A journey and lessons learned SAM Conference | ||
08:30 - 10:00 | |||
08:30 90mTalk | HuFaMo Workshop - Opening, Keynote and Session 1 Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTalk | DevOps@MODELS Workshop - Welcome, Keynote Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTalk | MDEIntelligence Workshop - MDE for AI Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTalk | 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 | |||
08:30 90mTutorial | 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 | |||
10:30 90mTalk | MoDeVVa Workshop - DSLs and formal methods Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | UML Modelling SAM Conference | ||
10:30 - 12:00 | |||
10:30 90mTalk | HuFaMo Workshop - Human Factors in Modeling Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | DevOps@MODELS Workshop - Session 2 Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mKeynote | MDEIntelligence Workshop - Keynote by Prof. Houari Sahraoui Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | MLE Workshop - Session 2 Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTutorial | 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 | |||
13:30 90mTalk | MoDeVVa Workshop - Model analysis Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | Model Checking SAM Conference | ||
13:30 - 15:00 | |||
13:30 90mTalk | ME Workshop - Introduction, Keynote, Analyzing Model Changes with Loupe Workshops Benoit Combemale University of Rennes; Inria; IRISA Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | MDEIntelligence Workshop - AI for MDE Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | MLE Workshop - Session 3 Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTutorial | From System Engineering to Analysis and Design for the Best Digital Products Engineering Tutorials Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | MoDeVVa Workshop - Brain Storming and Wrap up Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | Innovative Modelling Approaches SAM Conference | ||
15:30 - 17:00 | |||
15:30 90mTalk | ME Workshop - Models and Evolution Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | MDEIntelligence Workshop - Lightning Talks and Discussion Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | MLE Workshop - Discussions and closing words Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTutorial | From System Engineering to Analysis and Design for the Best Digital Products Engineering Tutorials Link to publication | ||
18:00 - 22:00 | |||
18:00 4hSocial Event | SATELLITE RECEPTION MODELS Link to publication | ||
Tue 25 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 25 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 14mTalk | Welcome Remarks Educators Symposium | ||
08:45 75mKeynote | A New DSL Textbook in Town! Educators Symposium Thorsten Berger Ruhr University Bochum | ||
08:30 - 10:00 | |||
08:45 60mKeynote | openCAESAR: A Next Generation Platform for Systems Engineering SAM Conference | ||
09:46 14mAwards | Awards Ceremony SAM Conference | ||
08:30 - 10:00 | |||
08:30 5mTalk | Opening Doctoral Symposium | ||
08:35 55mKeynote | MDE Doctoral Research Anti-Patterns: How Not to Do It Doctoral Symposium Richard Paige McMaster University File Attached | ||
09:30 30mTalk | 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 | |||
08:30 90mTalk | LowCode Workshop - Opening and Keynote Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTalk | ModDiT Workshop - Opening and Keynote Workshops Link to publication | ||
08:30 - 10:00 | |||
08:30 90mTalk | MASE Workshop - Session 1 Workshops Ahsan Qamar Ford Motor Company Link to publication | ||
08:50 - 10:00 | |||
08:50 10mDay opening | Opening Industry Days | ||
09:00 30mTalk | SysML v2: The New Standard for Model-Based Systems Engineering Industry Days Ed Seidewitz Model Driven Solutions | ||
09:30 30mTalk | MBSE accelerated: SysML v2-based comprehensive toolset for safety analysis, requirements verification, trade studies with multi-physics simulation and embedded SW development Industry Days Thierry Le Sergent Ansys | ||
10:30 - 12:00 | |||
10:30 30mTalk | An analysis of software design understanding & motivation of engineering students Educators Symposium Jean-Christophe Bach , Antoine Beugnard , Jean-Loup Castaigne , Julien Mallet , Salvador Martínez IMT Atlantique, Maria-Teresa Segarra | ||
11:00 30mTalk | A Refined Model of Ill-definedness in Project-Based Learning Educators Symposium | ||
11:30 30mTalk | Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model Educators Symposium | ||
10:30 - 12:00 | |||
10:30 90mMeeting | SDL Society Annual General Meeting SAM Conference | ||
10:30 - 12:00 | |||
10:30 30mTalk | Academic research to industry practice: success stories and open challenges in model-based approaches Industry Days Akshay Rajhans Mathworks | ||
11:00 30mTalk | Is there a place for physical test in an MBSE world?Virtual Industry Days Taylor Riche National Instruments | ||
11:30 30mTalk | Digital Twins and Virtualization: Next Generation V&V Technologies for Automotive SystemsVirtual Industry Days S Ramesh General Motors R&D | ||
10:30 - 12:00 | |||
10:30 30mTalk | Measuring the Fidelity of Digital Twin Systems Doctoral Symposium | ||
11:00 30mTalk | Dynamic Adaptation for Distributed Systems in Model-Driven Engineering Doctoral Symposium | ||
11:30 30mTalk | Towards Realizing Test Conditions for Automated Vehicles Doctoral Symposium Felix Beringhoff Volkswagen AG | ||
10:30 - 12:00 | |||
10:30 90mTalk | LowCode Workshop - Session 2 Workshops Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | ModDiT Workshop - Engineering Digital Twins Workshops Pre-print | ||
10:30 - 12:00 | |||
10:30 90mTalk | MASE Workshop - Session 2 Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 30mTalk | Purpose-driven Model-Driven Engineering Education Educators Symposium | ||
14:00 30mTalk | 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 30mTalk | 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 | |||
13:30 90mTalk | System-Level Modelling Languages SAM Conference | ||
13:30 - 15:00 | |||
13:30 30mTalk | Model-based network automation: opportunities and challenges Industry Days | ||
14:00 30mTalk | RTist in Code – A New Approach to Modeling Real-Time Applications Industry Days Mattias Mohlin HCL | ||
14:30 30mTalk | How much modeling do we really need? A view on modeling challenges in the automotive industry in the age of the Software-Defined-Vehicle Industry Days Maged Khalil Continental | ||
13:30 - 15:00 | |||
13:30 30mTalk | Towards Consistency Management in Low-Code Platforms Doctoral Symposium MohammadAmin Zaheri Université de Montréal | ||
14:00 30mTalk | 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 30mTalk | Simplify Model Design in MDE Approaches Doctoral Symposium Asbathou Biyalou-Sama University of Lille | ||
13:30 - 15:00 | |||
13:30 90mTalk | LowCode Workshop - Session 3 Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | ModDiT Workshop - Keynote, Operations of Digital Twins Pt. 1 Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | MASE Workshop - Session 3 Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Detection of Anomalous Modeling Behavior: A Goal-Driven Data Mining Approach Educators Symposium | ||
16:30 30mTalk | The Epsilon Playground Educators Symposium | ||
15:30 - 17:00 | |||
15:30 90mTalk | SAM 2022 Closing Notes / Discussion SAM Conference | ||
15:30 - 17:00 | |||
15:30 90mTalk | 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 | |||
15:30 30mTalk | Deriving Model-based Safety and Security Assurance Cases from Design Rationale of Countermeasure Patterns Doctoral Symposium Roman Trentinaglia Fraunhofer IEM | ||
16:00 30mTalk | Addressing Non-Functional Requirements of Adaptive IoT Systems: A Model-Driven ApproachVirtual Doctoral Symposium | ||
16:30 30mTalk | Closing Doctoral Symposium | ||
15:30 - 17:00 | |||
15:30 90mTalk | ModDiT Workshop - Operations of Digital Twins Pt. 2 Workshops Link to publication | ||
Wed 26 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 26 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 30mSocial 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 60mKeynote | Keynote by Akshay Rajhans MODELS | ||
10:30 - 12:00 | |||
10:30 30mTalk | Model Based Systems Engineering for Software Defined Vehicle DevelopmentVirtual Industry Days Ahsan Qamar Ford Motor Company | ||
11:00 30mTalk | An architecture proposal integrating Information Technology (IT) and Operational Technology (OT) objectives for real time data democratisation Industry Days François Thibodeau City of Montreal | ||
11:30 30mTalk | An emergent Business and Engineering Process Modeling for a hybrid human-multi-robot workflow management Industry Days Maroua Ben Attia Humanitas Solutions | ||
10:30 - 12:00 | |||
10:30 22mTalk | 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 15mTalk | 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 22mTalk | 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 15mTalk | 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 15mTalk | 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 | |||
12:00 90mMeeting | 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 22mTalk | 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 22mTalk | Modelling Program Verification Tools for Software EngineersP&I Technical Track File Attached | ||
14:15 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | SOCAM: a service-oriented computing architecture modeling methodJ1st Journal-first Link to publication | ||
14:37 22mTalk | 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 22mTalk | 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 22mTalk | An efficient line-based approach for resolving merge conflicts in XMI-based modelsJ1st Journal-first Link to publication | ||
14:15 22mTalk | 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 22mTalk | 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 | ||
15:30 - 17:00 | Foundations IITechnical Track / Tools & Demonstrations / Journal-first at A-4502.1 Chair(s): Bran Selic Malina Software Corporation | ||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 | Model Visualization IJournal-first / Tools & Demonstrations / Technical Track at A-5502.1 Chair(s): Marianne Huchard LIRMM | ||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | 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, A W | ||
16:37 22mTalk | 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 Chalmers | University of Gothenburg, 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 | |||
15:30 90mMeeting | MODELS steering committee meeting MODELS | ||
17:30 - 20:00 | |||
17:30 2h30mSocial Event | WELCOME RECEPTION MODELS Link to publication | ||
Thu 27 OctDisplayed time zone: Eastern Time (US & Canada) change
Thu 27 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 10:00 | |||
08:45 15mSocial Event | Announcements MODELS | ||
09:00 60mKeynote | Keynote by Danny Tarlow MODELS | ||
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 | ||
12:00 - 13:30 | |||
12:00 90mMeeting | MODELS steering committee meeting MODELS | ||
13:30 - 15:00 | |||
13:30 90mPanel | 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 Lancaster University, Richard Paige McMaster University, UIrich Frank | ||
15:30 - 17:00 | Applications IITools & Demonstrations / Technical Track / Journal-first at A-3502.1 Chair(s): Wrong conf.researchr.org Account | ||
15:30 22mTalk | 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 22mTalk | Digital TwinCity: A Holistic Approach towards Comparative Analysis of Business ProcessesDemo Tools & Demonstrations Shinobu Saito NTT | ||
16:15 22mTalk | 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 22mTalk | Towards Model-based Bias Mitigation in Machine LearningVirtualP&I Technical Track | ||
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 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | Solving the Instance Model-View Update Problem in AADLP&I Technical Track Rakshit Mittal University of Antwerp - Flanders make, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Anish Bhobe Institut Polytechnique de Paris, Soumyadip Bandyopadhyay BITS Pilani | ||
16:15 22mTalk | OSATE-DIM Solves the Instance Model View-Update Problem in AADLDemo Tools & Demonstrations Rakshit Mittal University of Antwerp - Flanders make, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris | ||
16:37 22mTalk | 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 | |||
18:30 4h29mSocial Event | CONFERENCE BANQUET and AWARD CEREMONY MODELS Link to publication | ||
Fri 28 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 28 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 10:00 | |||
08:45 15mSocial Event | MODELS 2023 announcement MODELS | ||
09:00 60mKeynote | Keynote by Maria Angela Ferrrio MODELS Maria Angela Ferrario Lancaster University | ||
10:30 - 12:00 | Applications IIITools & Demonstrations / Journal-first / Technical Track at A-5502.1 Chair(s): Sébastien Mosser McMaster University | ||
10:30 22mTalk | A descriptive study of assumptions in STRIDE security threat modelingJ1st Journal-first Link to publication | ||
10:52 22mTalk | 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 22mTalk | Using DevOps toolchains in Agile model-driven engineeringJ1st Journal-first Link to publication | ||
11:37 22mTalk | 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 22mTalk | Early timing analysis based on scenario requirements and platform modelsJ1st Journal-first Link to publication | ||
13:52 22mTalk | 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 22mTalk | 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 22mTalk | 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 | ||
15:30 - 17:00 | |||
15:30 90mSocial Event | CLOSING SOCIAL EVENT MODELS | ||