MODELS 2021 (series) /
MODELS 2021 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 10 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
09:00 - 13:00 | |||
09:00 60mKeynote | [W11] Modeling and managing dynamically adaptive systems Workshops Link to publication | ||
10:00 30mOther | [W11] xtUML by children – case studies in japan – Workshops Link to publication | ||
10:30 30mOther | [W11] Research Contributions to Model-based Design for Intelligent System and Robotic Applications Workshops Link to publication | ||
11:10 30mOther | [W11] Introducing ETRobocon and its modeling education Workshops Link to publication | ||
11:40 30mOther | [W11] Model-based Design usage for supports an EV-CAR system design Workshops Link to publication | ||
12:10 50mOther | [W11] Discussion Workshops Link to publication | ||
17:00 - 20:10 | |||
17:00 45mKeynote | [W4] Keynote + Q/A Workshops Link to publication | ||
17:45 60mOther | [W4] Session #1: MPM4CPS Examplars & FTG+PM Workshops Link to publication | ||
19:00 60mOther | [W4] Session #2: Regular Papers Workshops Link to publication | ||
20:00 10mOther | [W4] Wrap-up and Closing of the workshop Workshops Link to publication | ||
22:00 - 00:00 | |||
22:00 2hTutorial | [T1] E-CARGO and Role-Based Collaboration Tutorials | ||
23:00 - 02:00 | |||
23:00 10mOther | [W3] Welcome and OpenMBEE Intro Workshops Link to publication | ||
23:10 40mKeynote | [W3] Transforming Systems Engineering through Model-Centric Engineering / MBSE Workshops Link to publication | ||
23:50 40mOther | [W3] OpenMBEE Paper 1 Workshops Link to publication | ||
00:45 30mTalk | [W3] Invited Talk: “Collaborative Design with Sedaro Satellite and OpenMBEE” Workshops Link to publication | ||
01:15 45mOther | [W3] OpenMBEE Paper 2 Workshops Link to publication | ||
23:00 - 02:15 | |||
23:00 90mOther | [W15] Session 1 Workshops Link to publication | ||
00:45 90mOther | [W15] Session 2 Workshops Link to publication | ||
Mon 11 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 11 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
17:00 - 20:00 | |||
17:00 10mOther | [W2] Welcome Workshops Link to publication | ||
17:10 40mKeynote | [W2] Keynote by Prof. Sepp Hochreiter Workshops Link to publication | ||
17:50 35mOther | [W2] Session 1: MDE for AI Workshops Link to publication | ||
18:35 40mOther | [W2] Session 2: Applications Workshops Link to publication | ||
19:15 45mOther | [W2] Lightning talks and Discussion Workshops Link to publication | ||
17:00 - 20:15 | |||
17:00 15mDay opening | [W7] Opening Workshops Link to publication | ||
17:15 60mOther | [W7] Session 1 Workshops Link to publication | ||
18:30 90mOther | [W7] Session 2 Workshops Link to publication | ||
20:00 15mOther | [W7] Wrap up and closing Workshops Link to publication | ||
18:00 - 21:00 | |||
18:00 3hOther | [W13] MLE 2021 Workshops Link to publication | ||
20:00 - 21:30 | |||
20:00 - 22:20 | |||
20:00 2h20mOther | [W1] I. Morning block: Presentations Workshops Link to publication | ||
21:30 - 21:45 | |||
21:45 - 23:15 | |||
22:00 - 00:00 | |||
22:00 2hTutorial | [T2] Modeling and checking state-based component interfaces with CommaSuite Tutorials | ||
23:00 - 02:00 | |||
23:00 3hOther | [W1] II. Afternoon block: Hands-on sessions Workshops Link to publication | ||
23:00 - 03:25 | |||
23:00 10mOther | [W12] Opening Workshops Link to publication | ||
23:10 75mOther | [W12] Act I: DevOps & Modelling Workshops Link to publication | ||
00:40 75mOther | [W12] Act II: Models for migrating to DevOps Workshops Link to publication | ||
02:25 60mOther | [W12] Extra session for discussions Workshops Link to publication | ||
23:00 - 00:00 | |||
23:00 5mOther | [W5] Opening Workshops Link to publication | ||
23:05 50mTalk | [W5] Invited Talk by Ta'id Holmes (Google) Workshops Link to publication | ||
23:00 - 02:00 | |||
23:00 10mOther | Opening Doctoral Symposium | ||
23:10 60mKeynote | Evaluating the Outcomes of Modeling Research Doctoral Symposium Barbara Weber St. Gallen University | ||
00:10 30mPaper | Domain-Specific Modelling Languages for Participatory Agent-Based Modelling in Healthcare Doctoral Symposium | ||
00:40 30mPaper | Towards behavioral consistency in heterogeneous modeling scenarios Doctoral Symposium | ||
01:10 30mPaper | A Model-Driven Approach for Early Verification and Validation of Embedded Systems Doctoral Symposium | ||
23:15 - 23:30 | |||
23:30 - 01:00 | |||
Tue 12 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 12 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
00:00 - 00:50 | |||
00:00 20mOther | [W5] Process Prediction with Digital Twins Workshops Link to publication | ||
00:20 20mOther | [W5] Model Based Coupling of Context Aware Middleware and Ambient Assisted Healthcare Systems Workshops Link to publication | ||
00:50 - 02:10 | |||
00:50 30mTalk | [W5] The Forging of Autonomic and Cooperating Digital Twins through Models at Runtime (Invited Talk) Workshops Link to publication | ||
01:20 20mOther | [W5] GOURMET: A Methodology for Realizing Goal-Driven Self-Adaptation Workshops Link to publication | ||
01:40 20mOther | [W5] Procrustes: Consistent Resource Utilization for Cross-Platform Replicable Load Testing (Short Paper) Workshops Link to publication | ||
02:00 10mOther | [W5] Open Discussion and Farewell Workshops Link to publication | ||
17:00 - 02:00 | |||
17:00 75mOther | [W9] Session 1 – MLM for MDE Workshops Link to publication | ||
18:30 75mOther | [W9] Session 2 – Foundations Workshops Link to publication | ||
23:00 70mOther | [W9] Session 3 – Applications Workshops Link to publication | ||
00:20 90mOther | [W9] Session 4 – Comparison and Unification Workshops Link to publication | ||
01:50 10mOther | [W9] Closing words Workshops Link to publication | ||
17:00 - 20:00 | |||
17:00 45mKeynote | [W14] Opening + Keynote Workshops Link to publication | ||
17:55 2h5mOther | [W14] Session 1 Workshops Link to publication | ||
20:00 - 21:30 | |||
21:30 - 21:45 | |||
21:45 - 23:15 | |||
23:00 - 01:40 | |||
23:00 10mDay opening | Opening of day 1 Industry Days | ||
23:10 30mTalk | PReP model - Modeling the real world as a general system Industry Days Yasushi Tanaka K-plus Solutions Co. Ltd. | ||
23:40 30mTalk | The Genesis of Holistic Systems Engineering: Completeness and Consistency Management of the Digital Thread Industry Days | ||
00:10 30mTalk | Towards Devops and Continuous Integration with (MBSE) Models Industry Days Daniel Siegl LieberLieber Software | ||
00:40 60mTalk | Pre-recorded presentations and closing of day 1 Industry Days | ||
23:00 - 02:00 | |||
23:00 3hOther | [W14] Session 2 Workshops Link to publication | ||
23:00 - 02:00 | |||
23:00 30mPaper | Heterogeneous Model Query Optimisation Doctoral Symposium | ||
23:30 30mPaper | Development of a Meta-Language and its Qualifiable Implementation for the Use in Safety-Critical Software Doctoral Symposium | ||
00:00 30mPaper | Efficient Model Loading through Static Analysis Doctoral Symposium | ||
00:30 30mPaper | Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development Doctoral Symposium | ||
01:00 30mPaper | A model-driven middleware approach to reduce the semantic gap between application domains and the generic infrastructure of smart cities Doctoral Symposium | ||
01:30 10mOther | Closing Doctoral Symposium | ||
23:15 - 23:30 | |||
23:30 - 00:30 | |||
Wed 13 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
00:00 - 01:00 | |||
00:00 60mKeynote | Programming as a tool for learning everything Educators Symposium Mark Guzdial University of Michigan | ||
00:00 - 04:30 | |||
00:00 75mKeynote | [W8] Session 01 Opening and Keynote Workshops Link to publication | ||
01:15 60mOther | [W8] Session 02 Engineering Digital Twins Workshops Link to publication | ||
02:30 60mOther | [W8] Session 03 Digital Twin Exemplars Workshops Link to publication | ||
03:30 60mOther | [W8] Session 04 Invited Flash Talks and Demo Workshops Link to publication | ||
00:30 - 00:45 | |||
01:15 - 03:05 | |||
01:15 30mPaper | Mini Programming Worlds: Teaching MDSD via the Hamster Simulator Educators Symposium | ||
01:45 30mPaper | From In-Person to Distance Learning: Teaching Model-Driven Software Engineering in Remote Settings Educators Symposium | ||
02:15 30mPaper | An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course Educators Symposium | ||
02:45 20mShort-paper | How to merge gamification efforts for programming and modelling: a tool implementation perspective Educators Symposium | ||
08:30 - 09:00 | |||
08:30 30mDay opening | Opening and Welcome MODELS | ||
09:00 - 10:00 | Machine learning and Recommender systems ITechnical Papers at Room 1 Chair(s): Betty H.C. Cheng Michigan State University | ||
09:00 20mTalk | Using Recommender Systems to Improve Proactive ModelingJ1ST Technical Papers | ||
09:20 20mTalk | Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at RuntimeJ1ST Technical Papers Sebastian Pilarski McGill University, Martin Staniszewski , Matthew Bryan , Frederic Villeneuve , Daniel Varro McGill University / Budapest University of Technology and Economics | ||
09:40 10mDemonstration | DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO Technical Papers Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada | ||
10:00 - 11:00 | Certification and Assurance ITechnical Papers at Room 1 Chair(s): Tao Yue Simula Research Laboratory | ||
10:00 20mFull-paper | A Lean Approach to Building Valid Model-Based Safety ArgumentsFT Technical Papers Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto | ||
10:20 20mFull-paper | MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT Technical Papers Michael Langford , Kenneth Chan , Jonathon Fleck , Philip McKinley , Betty H.C. Cheng Michigan State University | ||
10:40 20mTalk | Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST Technical Papers | ||
17:00 - 18:00 | Testing and Analysis ITechnical Papers at Room 1 Chair(s): Shaukat Ali Simula Research Laboratory, Norway | ||
17:00 20mFull-paper | Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT Technical Papers | ||
17:20 20mFull-paper | Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I Technical Papers Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu | ||
17:40 20mTalk | Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST Technical Papers Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid | ||
17:00 - 18:00 | |||
17:00 15mPoster | Connecting Regulatory Requirements to Audit Outcomes: a Model-driven Approach to Auditable Compliance Posters Robert Thorburn University of Southampton, Federica Paci , Vladimiro Sassone University of Southampton, Sophie Stalla-Bourdillon | ||
17:15 15mPoster | Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Posters Tarik Terzimehic fortiss GmbH | ||
17:30 15mPoster | Goal-Oriented Machine Learning-Based Component Development Process Posters Jati Hiliamsyah Husen , Hnin Thandar Tun , Nobukazu Yoshioka Waseda University, Japan, Hironori Washizaki Waseda University, Yoshiaki Fukazawa Waseda University | ||
17:45 15mPoster | Towards a Spreadsheet-Based Language Workbench Posters Mikhail Barash University of Bergen | ||
17:00 - 19:10 | |||
17:00 10mDay opening | Opening of day 2 Industry Days | ||
17:10 30mTalk | An Architecture Description of Resilience SoS Engineering Process for Critical Infrastructure Industry Days Akira Ishizaka JCOSE, Keio University | ||
17:40 30mTalk | Light-weight integration of MBSE and model-checking Industry Days Toshinori Takai Change Vision, Inc. | ||
18:10 60mTalk | Recorded presentations and closing of day 2 Industry Days | ||
18:00 - 19:00 | Modeling Languages ITechnical Papers at Room 1 Chair(s): Benoit Combemale University of Rennes; Inria; IRISA | ||
18:00 20mTalk | Pragmatic Reuse in DSML DevelopmentJ1ST Technical Papers | ||
18:20 20mTalk | Spectra: A Specification Language for Reactive SystemsJ1ST Technical Papers Link to publication DOI | ||
18:40 20mFull-paper | OSTRICH - A Safe Template Language for Low-code DevelopmentP&I Technical Papers Hugo Lourenço OutSystems SA, Carla Ferreira NOVA School of Science and Technology, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa | ||
18:00 - 19:00 | |||
18:00 20mTalk | Model-Based Cloud Resource Management with TOSCA and OCCIJ1ST Technical Papers Stéphanie Challita Inria, France, Fabian Korte , Johannes Erbel , Faiez Zalila CETIC, Jens Grabowski , Philippe Merle | ||
18:20 20mTalk | Cyber security threat modeling based on the MITRE Enterprise ATT&CK MatrixJ1ST Technical Papers | ||
19:00 - 20:00 | Human Aspects ITechnical Papers at Room 1 Chair(s): Silvia Abrahão Universitat Politècnica de València | ||
19:00 20mFull-paper | Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I Technical Papers Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl , Rick Rabiser LIT CPS, Johannes Kepler University Linz | ||
19:20 20mTalk | Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST Technical Papers | ||
19:40 20mTalk | A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST Technical Papers Thorsten Berger Chalmers | University of Gothenburg, Swaib Dragule Chalmers | University of Gothenburg, Claudio Menghi McMaster University, Canada, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg | ||
19:00 - 20:00 | Testing and Analysis IITechnical Papers at Room 2 Chair(s): Juan de Lara Autonomous University of Madrid | ||
19:00 20mFull-paper | Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingP&I Technical Papers Shi Yize , Chengjie Lu , Man Zhang Kristiania University College, Norway, Huihui Zhang Weifang University, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Norway | ||
19:20 20mFull-paper | DataTime: A Framework to Smoothly Integrate Past, Present and Future into ModelsP&I Technical Papers Lyan Gauthier , Jean-Marc Jézéquel Univ Rennes - IRISA, Benoit Combemale University of Rennes; Inria; IRISA, David Gross-Amblard | ||
19:40 20mFull-paper | Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT Technical Papers James Harbin , Simos Gerasimou University of York, UK, Nicholas Matragkas University of York, Athanasios Zolotas , Radu Calinescu University of York, UK | ||
22:30 - 23:00 | |||
22:30 30mOther | How to publish a Book with Springer MODELS Ralf Gerstner Springer | ||
23:00 - 23:59 | |||
23:00 40mResearch paper | A dependability profile within MARTE Awards | ||
23:59 - 01:30 | Keynote by Justyna ZanderKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics | ||
23:59 1h31mKeynote | Scaling the Development and Automating the Validation of Autonomous Systems towards Safe Deployment in Real World Keynotes | ||
Thu 14 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
09:00 - 10:00 | |||
09:00 40mResearch paper | From State- to Delta-Based Bidirectional Model Transformations - The Symmetric Case Awards Zinovy Diskin McMaster, Yingfei Xiong Peking University, Krzysztof Czarnecki University of Waterloo, Canada, Hartmut Ehrig , Frank Hermann , Fernando Orejas Universitat Politècnica de Catalunya, Spain | ||
10:00 - 11:30 | Keynote by Atsuyuki MorishimaKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics | ||
10:00 90mKeynote | Computational Division of Labor: Imagine All the People and AI in the Crowd Working Happily Keynotes | ||
17:00 - 18:00 | Certification and Assurance IITechnical Papers at Room 1 Chair(s): Ileana Ober University of Toulouse | ||
17:00 20mTalk | Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST Technical Papers Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, A W | ||
17:20 20mTalk | Guaranteed master for interval-based cosimulationJ1ST Technical Papers | ||
17:40 10mShort-paper | A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION Technical Papers Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart Pre-print | ||
18:00 - 19:00 | Applications of MDE IITechnical Papers at Room 1 Chair(s): Xiao He University of Science and Technology Beijing, China | ||
18:00 20mFull-paper | Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production LinesFT Technical Papers | ||
18:20 20mTalk | Model-Driven Development Platform Selection: Four Industry Case StudiesJ1ST Technical Papers | ||
18:40 20mTalk | A Modeling Methodology for Collaborative Evaluation of Future Automotive InnovationsJ1ST Technical Papers | ||
18:00 - 19:00 | Model management and model transformations ITechnical Papers at Room 2 Chair(s): Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004) | ||
18:00 20mTalk | Controllable and Decomposable Multidirectional SynchronizationsJ1ST Technical Papers Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs | ||
18:20 10mShort-paper | Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic ExecutionVISION Technical Papers | ||
18:30 10mDemonstration | From Conceptual Models to Knowledge Graphs: A Generic Model Transformation PlatformDEMO Technical Papers | ||
18:40 10mDemonstration | AnimUML as a UML Modeling and Verification Teaching ToolDEMO Technical Papers Frédéric Jouault ERIS Team, ESEO , France, Valentin Sebille , Valentin Besnard , Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Ciprian Teodorov ENSTA Bretagne, Matthias Brun , Jérôme Delatour | ||
19:00 - 20:00 | Backup SessionTechnical Papers at Room 1 Chair(s): Xiao He University of Science and Technology Beijing, China | ||
23:00 - 00:00 | Machine learning and Recommender systems IITechnical Papers at Room 1 Chair(s): Antonio Cicchetti Mälardalen University | ||
23:00 20mTalk | Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST Technical Papers Lissette Almonte Universidad Autónoma de Madrid, Esther Guerra , Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid | ||
23:20 20mFull-paper | A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT Technical Papers Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila Pre-print | ||
23:40 10mShort-paper | Towards Reinforcement Learning for In-Place Model TransformationsVISION Technical Papers | ||
23:00 - 00:00 | Testing and Analysis IIITechnical Papers at Room 2 Chair(s): Øystein Haugen Østfold University College | ||
23:00 20mTalk | Distributed Model Validation with EpsilonJ1ST Technical Papers | ||
23:20 20mTalk | Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test SelectionJ1ST Technical Papers Walter Cazzola Università degli Studi di Milano, Sudipto Ghosh Colorado State University, USA, Mohammed Al-Refai , Gabriele Maurina | ||
23:40 10mDemonstration | MRegTest: A Replay-Based Regression Testing Approach for Distributed UML-RT ModelsDEMO Technical Papers | ||
Fri 15 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
00:00 - 01:00 | Model generation and Search-based engineeringTechnical Papers at Room 1 Chair(s): Matthias Tichy Ulm University, Germany | ||
00:00 20mTalk | Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST Technical Papers Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Boqi Chen McGill University, Chuning Li , Kristóf Marussy Budapest University of Technology and Economics, Gabor Szarnyas , Daniel Varro McGill University / Budapest University of Technology and Economics | ||
00:20 20mFull-paper | Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT Technical Papers | ||
00:40 20mTalk | Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST Technical Papers Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University, Spain | ||
00:00 - 01:00 | Modeling languages IITechnical Papers at Room 2 Chair(s): Sébastien Mosser Université du Québec à Montréal | ||
00:00 20mFull-paper | Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Case StudyP&I Technical Papers Alessandro Colantoni Johannes Kepler University Linz, Antonio Garmendia , Luca Berardinelli Johannes Kepler University Linz, Manuel Wimmer JKU Linz, Johannes Braeuer | ||
00:20 20mTalk | Playground for multi-level modeling constructsJ1ST Technical Papers | ||
00:40 10mDemonstration | Multi-Language Support in TouchCOREDEMO Technical Papers Maximilian Schiedermeier McGill University, Bo Wen Li , Jörg Kienzle McGill University, Canada, Hyacinth Ali , Ian X. Gauthier McGill University, Gunter Mussbacher McGill University, Ryan Languay , Qiutan Wu , Greta Freitag | ||
01:00 - 02:00 | Applications of MDE IIITechnical Papers at Room 1 Chair(s): Juergen Dingel Queen's University, Kingston, Ontario | ||
01:00 20mTalk | Modelling on mobile devices: A systematic mapping studyJ1ST Technical Papers Léa Brunschwig Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid | ||
01:20 20mTalk | MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST Technical Papers Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Maria Teresa Rossi Gran Sasso Science Institute, Manuel Wimmer JKU Linz | ||
01:40 10mDemonstration | A modeling assistant for cognifying MBSE toolsDEMO Technical Papers | ||
01:00 - 02:00 | |||
01:00 20mFull-paper | Collaborative Model-Driven Software Engineering: A Systematic UpdateFT Technical Papers Istvan David Université de Montréal, Kousar Aslam , Sogol Faridmoayer , Ivano Malavolta Vrije Universiteit Amsterdam, Eugene Syriani Université de Montréal, Patricia Lago Vrije Universiteit Amsterdam | ||
01:20 20mFull-paper | Collaborative Software Modeling in Virtual RealityFT Technical Papers Enes Yigitbas Paderborn University, Germany, Simon Gorissen , Nils Weidmann , Gregor Engels Paderborn University | ||
01:40 20mTalk | CEViNEdit: improving the process of creating cognitively effective graphical editors with GMFJ1ST Technical Papers Juan Manuel Vara Universidad Rey Juan Carlos, David Granada Universidad Rey Juan Carlos, Manuel Núñez Universidad Complutense de Madrid, Esperanza Marcos Universidad Rey Juan Carlos | ||
09:00 - 10:30 | PanelPanel at Room 1 Chair(s): Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal | ||
09:00 90mPanel | Panel (H. Sahraoui, E. Syriani) Panel Lionel Briand EECS, University Of Ottawa, John Grundy Monash University, Bran Selic Malina Software Corporation, Kenji Tei Waseda University | ||
10:30 - 11:30 | Model management and model transformations IITechnical Papers at Room 1 Chair(s): Eugene Syriani Université de Montréal | ||
10:30 20mFull-paper | Repository Mining for Changes in Simulink ModelsP&I Technical Papers Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University | ||
10:50 20mFull-paper | Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT Technical Papers Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal | ||
11:10 20mTalk | Live Modeling in the Context of State Machine Models and Code GenerationJ1ST Technical Papers Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario | ||
10:30 - 11:30 | Testing and Analysis IVTechnical Papers at Room 2 Chair(s): Fuyuki Ishikawa National Institute of Informatics | ||
10:30 20mFull-paper | Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT Technical Papers | ||
10:50 20mFull-paper | Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I Technical Papers Ramy Shahin University of Toronto, Robert Hackman , Rafael F. Toledo University of Waterloo, Ramesh S , Joanne M. Atlee University of Waterloo, Marsha Chechik University of Toronto Pre-print | ||
11:10 20mTalk | Analysis of Variability Models: A Systematic Literature ReviewJ1ST Technical Papers | ||
17:00 - 18:00 | |||
17:00 40mResearch paper | The many meanings of UML 2 Sequence Diagrams: a survey Awards DOI Pre-print | ||
18:00 - 19:30 | Keynote by Alexander PretschnerKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics | ||
18:00 90mKeynote | Software can do Wrong: On Ethics in Agile Software Engineering Keynotes | ||
23:00 - 00:00 | Model management and model transformations IIITechnical Papers at Room 1 Chair(s): Dimitris Kolovos University of York | ||
23:00 20mFull-paper | Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT Technical Papers Alexander Schultheiß Humboldt University of Berlin, Paul Maximilian Bittner University of Ulm, Lars Grunske Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin | ||
23:20 20mFull-paper | Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I Technical Papers Robbert Jongeling Malardalen University, Sachin Bhatambrekar , Anders Lofberg , Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University | ||
23:40 20mTalk | MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST Technical Papers Bahman Zamani University of Isfahan, Mahsa Panahandeh University of Alberta, Mohammad Hamdaqa , Wahab Hamou-Lhadj Concordia University, Montreal, Canada | ||
23:00 - 00:00 | Modeling languages IIITechnical Papers at Room 2 Chair(s): Olivier Barais University of Rennes; Inria; IRISA | ||
23:00 20mFull-paper | On Designing Applied DSLs for Non-programming Experts in Evolving DomainsP&I Technical Papers Holger Borum IT University of Copenhagen, Henning Niss Edlund A/S, Peter Sestoft IT University of Copenhagen | ||
23:20 20mFull-paper | Designing a Modeling Language for Customer Journeys: Lessons Learned from User InvolvementP&I Technical Papers | ||
23:40 20mTalk | Uncertainty representation in software models: A surveyJ1ST Technical Papers Javier Troya Universidad de Málaga, Spain, Nathalie Moreno , Manuel F. Bertoa , Antonio Vallecillo University of Málaga, Spain | ||
Sat 16 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
00:00 - 01:00 | Model management and model transformations IVTechnical Papers at Room 1 Chair(s): Davide Di Ruscio University of L'Aquila | ||
00:00 20mTalk | A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST Technical Papers Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology | ||
00:20 20mFull-paper | Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT Technical Papers Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou | ||
00:40 10mDemonstration | MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO Technical Papers | ||
00:00 - 01:00 | Certification and Assurance IIITechnical Papers at Room 2 Chair(s): Daniel Amyot University of Ottawa | ||
00:00 20mFull-paper | Model-Based Development of Engine Control Systems: Experiences and Lessons LearntP&I Technical Papers Justin Cooper , Alfonso de la Vega University of York, Richard Paige McMaster University, Dimitris Kolovos University of York | ||
00:20 20mFull-paper | Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and TaxonomyFT Technical Papers | ||
00:40 20mFull-paper | Synthesizing Verified Components for Cyber Assured Systems EngineeringP&I Technical Papers | ||
01:00 - 02:00 | |||