MODELS 2020 (series) /
MODELS 2020 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 16 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 16 Oct
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 08:30 | |||
07:00 90mOther | Artificial Intelligence and Model-driven Engineering Workshops Link to publication | ||
07:00 - 08:30 | |||
07:00 60mKeynote | Keynote by Davide Di RuscioKEYNOTE Workshops Davide Di Ruscio University of L'Aquila | ||
08:00 30mOther | Models and Evolution Workshops Link to publication | ||
07:00 - 08:30 | |||
07:00 60mKeynote | Keynote of MPM4CPSKEYNOTE Workshops | ||
08:00 30mOther | Multi-Paradigm Modelling for Cyber-Physical Systems Workshops Link to publication | ||
07:00 - 08:30 | |||
07:05 40mKeynote | Keynote by Olaf KathKEYNOTE Workshops Olaf Kath Ansys Germany GmbH | ||
07:45 45mOther | Modeling in Automotive System and Software Engineering Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Keynote by Alexander EgyedKEYNOTE Workshops Alexander Egyed Johannes Kepler University Linz | ||
09:00 - 10:30 | |||
09:00 90mOther | Models and Evolution Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mOther | Multi-Paradigm Modelling for Cyber-Physical Systems Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mOther | Modeling in Automotive System and Software Engineering Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mOther | Multi-Level Modelling Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 90mOther | Analytics and Mining of Model Repositories Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 90mPoster | Student Research Competition ACM Student Research Competition | ||
11:00 - 12:30 | |||
11:00 90mOther | Multi-Level Modelling Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Domain-Specific Languages with JetBrains MPS Tutorials Mikhail Barash University of Bergen, Norway | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Introduction to the OMG Systems Modeling Language (SysML) Version 2 Tutorials Ed Seidewitz Model Driven Solutions | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Domain-Specific Languages with JetBrains MPS Tutorials Mikhail Barash University of Bergen, Norway | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Introduction to the OMG Systems Modeling Language (SysML) Version 2 Tutorials Ed Seidewitz Model Driven Solutions | ||
Mon 19 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 19 Oct
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 08:30 | |||
07:00 50mKeynote | Keynote by Johan den HaanKEYNOTE Workshops | ||
07:50 40mOther | Model-driven engineering and low-code platforms Workshops Link to publication | ||
07:00 - 08:30 | |||
07:00 90mOther | Modelling Language Engineering and Execution Workshops Link to publication | ||
07:00 - 08:30 | |||
07:00 90mTutorial | Assurance of Complex Software-Intensive Systems using WF+ Tutorials Nicholas Annable , Mehrnoosh Askarpour McMaster University, Computing and Software Department, Zinovy Diskin McMaster University, Alan Wassyng McMaster University, Canada | ||
09:00 - 10:30 | |||
09:00 50mOther | Model-driven engineering and low-code platforms Workshops Link to publication | ||
09:50 40mOther | Testing of low-code applications Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mOther | Security for and by Model-Driven Engineering Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Multi-Engine Executable Modeling at the Jet Propulsion Laboratory: System Level Execution ParadigmKEYNOTE Workshops Robert Karban JPL / Caltech | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome Doctoral Symposium | ||
09:15 75mDoctoral symposium paper | Student presentations and discussion Doctoral Symposium | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome to SAM 2020 SAM Conference | ||
09:30 60mKeynote | The Automated Model Generation Challenge for the Assurance of Cyber-Physical SystemsKEYNOTE SAM Conference Daniel Varro McGill University / Budapest University of Technology and Economics | ||
11:00 - 12:30 | |||
11:00 90mOther | Model management in low-code platforms Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 90mOther | Security for and by Model-Driven Engineering Workshops Link to publication | ||
11:00 - 12:30 | |||
11:10 30mKeynote | SysML v2: What’s the Big Deal, Anyway?KEYNOTE Workshops Ed Seidewitz Model Driven Solutions | ||
11:40 50mOther | Open Model Based Engineering Environment Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 90mDoctoral symposium paper | Student presentations and discussion Doctoral Symposium | ||
11:00 - 12:30 | |||
11:00 90mOther | Model Management and Merging SAM Conference | ||
13:30 - 15:00 | |||
13:30 40mOther | DevOps and low-code development Workshops Link to publication | ||
14:10 50mOther | Recommender systems and machine learning Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Big Data Polystore Management with TYPHON Tutorials Francesco Basciani University of L'Aquila, Marie-Saphira Flug (inactive profile) , Loup Meurice Rever SA, Fulya Horozal , Tijs van der Storm CWI & University of Groningen, Netherlands, Sebastian Scholze , Athanasios Zolotas | ||
13:30 - 15:00 | |||
13:30 30mKeynote | Systems Engineering on the Web: a language-workbench perspectiveKEYNOTE Workshops Markus Völter itemis/independent | ||
14:00 60mOther | Open Model Based Engineering Environment Workshops Link to publication | ||
13:30 - 15:00 | |||
13:30 50mDoctoral symposium paper | Student presentations and discussion Doctoral Symposium | ||
14:20 40mOther | General open discussion Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 90mOther | Models at run-time SAM Conference | ||
15:30 - 17:00 | |||
15:30 90mLive Q&A | Discussion and closing Workshops Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Big Data Polystore Management with TYPHON Tutorials Francesco Basciani University of L'Aquila, Marie-Saphira Flug (inactive profile) , Loup Meurice Rever SA, Fulya Horozal , Tijs van der Storm CWI & University of Groningen, Netherlands, Sebastian Scholze , Athanasios Zolotas | ||
15:30 - 17:00 | |||
15:30 90mOther | Applications of Model-Driven Engineering SAM Conference | ||
Tue 20 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 20 Oct
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 08:30 | |||
07:00 90mTutorial | Model-based Handling of Polyglot Database Applications Tutorials | ||
09:00 - 10:30 | |||
09:00 60mKeynote | Uncertainty in Software Systems: The Inconvenient TruthKEYNOTE Workshops Tao Yue Simula Research Laboratory | ||
10:00 30mOther | Uncertainty @ MODELS 2020 Workshops Link to publication | ||
09:00 - 10:30 | |||
09:05 45mKeynote | Formal Models to Program Autonomous RobotsKEYNOTE Workshops Charles Lesire-Cabaniols ONERA - The French Aerospace Lab | ||
09:50 40mOther | Model Driven Engineering, Verification and Validation Workshops Link to publication | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome and OpenMBEE Introduction Industry Days | ||
09:30 60mKeynote | Keynote: The OpenMBEE Community as Industry Driver Industry Days Enrique Krajmalnik Zuken | ||
09:00 - 10:30 | |||
09:00 90mPaper | Student Research Competition ACM Student Research Competition | ||
09:00 - 10:30 | |||
09:00 60mKeynote | ...everything is a model!KEYNOTE SAM Conference Sigrid Eldh Ericsson, Sweden | ||
10:00 30mAwards | Award Ceremony SAM Conference | ||
11:00 - 12:30 | |||
11:00 90mOther | Uncertainty @ MODELS 2020 Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 90mOther | Model Driven Engineering, Verification and Validation Workshops Link to publication | ||
11:00 - 12:30 | |||
11:00 30mIndustry talk | Syndeia - Interdisciplinary integration and Digital thread with OpenMBEE Industry Days Manas Bajaj Intercax | ||
11:30 30mIndustry talk | Model checking and validation with OpenMBEE and the IncQuery Suite Industry Days István Ráth IncQuery Labs | ||
12:00 30mIndustry talk | Making data actionable - Visual Analytics Application to Model Based System Engineering and Systems Safety Industry Days Ahsan Qamar Ford Motor Company | ||
11:00 - 12:30 | |||
11:00 30mDay opening | Welcome Educators Symposium | ||
11:30 45mKeynote | Keynote: Opportunities for Intelligent Modelling Assistants in TeachingKEYNOTE Educators Symposium Jörg Kienzle McGill University, Canada | ||
12:15 15mLive Q&A | Q&A Educators Symposium | ||
11:00 - 12:30 | |||
11:00 90mOther | Modeling Languages SAM Conference | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Advanced Model-Oriented Programming Using Umple Tutorials Timothy Lethbridge University of Ottawa | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Graph Transformation for Software Engineers Tutorials File Attached | ||
13:30 - 15:00 | |||
13:30 30mIndustry talk | Lemontree - Model Versioning and Diffing with OpenMBEE Industry Days Daniel Siegl LieberLieber Software | ||
14:00 30mIndustry talk | Enterprise-Level Scalability with OpenMBEE Industry Days Aleksander Przybylo Boeing Commercial Airplanes | ||
14:30 30mIndustry talk | Roadmap Concept with OpenMBEE and Cyber Ontology Example Industry Days Mark Blackburn Stevens Institute of Technologies and SERC | ||
13:30 - 15:00 | |||
13:30 22mPaper | Automatic Assessment of Students' Software Models Using a Simple Heuristic and Machine Learning Educators Symposium | ||
13:52 22mPaper | Towards a Better Understanding of Interactions with a Domain Modeling Assistant Educators Symposium | ||
14:15 22mPaper | From classic to agile: Experiences from more than a decade of project-based modeling education Educators Symposium Holger Giese Hasso Plattner Institute, University of Potsdam, Leen Lambers , Christian Zöllner Hasso Plattner Institute, University of Potsdam | ||
14:37 22mPaper | On Teaching Descriptive and Prescriptive Modeling Educators Symposium | ||
13:30 - 15:00 | |||
13:30 90mOther | Model Configuration and Traceability SAM Conference | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Advanced Model-Oriented Programming Using Umple Tutorials Timothy Lethbridge University of Ottawa | ||
15:30 - 17:00 | |||
15:30 90mTutorial | Graph Transformation for Software Engineers Tutorials File Attached | ||
15:30 - 17:00 | |||
15:30 30mIndustry talk | The MBEE Core Framework (MCF) a platform for OpenMBEE’s next generation Industry Days Charles Galey Lockheed Martin Corporation | ||
16:00 30mIndustry talk | MapleMBSE: Collaborative Modeling with model transformation language & Excel with OpenMBEE Industry Days Bharani Mohan MapleSoft | ||
16:30 30mIndustry talk | MBMA - Model Based Mission Assurance for NASA Industry Days Steven Cornford JPL / Caltech | ||
15:30 - 17:00 | |||
15:30 90mDay closing | SAM 2021 and Closing Notes SAM Conference | ||
17:00 - 18:00 | |||
17:00 60mSocial Event | Virtual Satellite Events Reception MODELS | ||
Wed 21 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 21 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 09:00 | |||
08:30 30mDay opening | Welcome to MODELS 2020 MODELS G: Eugene Syriani Université de Montréal, G: Houari Sahraoui Université de Montréal, P: Juan de Lara Universidad Autónoma de Madrid, P: Silvia Abrahão Universitat Politècnica de València | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Priors for deep learning of semantic representationsKEYNOTE Keynotes Yoshua Bengio Université de Montréal | ||
11:00 - 12:15 | A1-Model TransformationTechnical Track at Room A Chair(s): Vadim Zaytsev University of Twente, The Netherlands | ||
11:00 20mFull-paper | Certifying Rule-Based Model Transformation Engines for Proof PreservationFT Technical Track | ||
11:20 20mFull-paper | An Exploratory Study on Performance Engineering in Model TransformationsFT Technical Track | ||
11:40 15mTalk | Benchmarking bidirectional transformations: theory, implementation, application, and assessmentJ1st Technical Track Anthony Anjorin , Thomas Buchmann , Bernhard Westfechtel University of Bayreuth, Zinovy Diskin , Hsiang-Shang Ko , Romina Eramo University of L'Aquila, Georg Hinkel , Leila Samimi-Dehkordi , Albert Zündorf Kassel University DOI | ||
11:55 15mDemonstration | A Profiler for the Matching Process of HenshinDemo Technical Track | ||
11:00 - 12:15 | B1-Systems Engineering ITechnical Track at Room B Chair(s): Francis Bordeleau École de Technologie Supérieure (ETS) | ||
11:00 20mFull-paper | Modeling Mechanical Functional Architectures in SysMLFT Technical Track Imke Drave , Gregor Hoepfner , Thilo Zerwas , Joerg Berroth , Kathrin Spuetz , Christian Guist , Jens Kohl , Bernhard Rumpe RWTH Aachen, Georg Jacobs , Andreas Wortmann RWTH Aachen University | ||
11:20 20mFull-paper | A Parametric Model For Creating Customized Fabrication MachinesP&I Technical Track | ||
11:40 20mFull-paper | Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information SystemsFT Technical Track Jörg Christian Kirchhof , Judith Michael RWTH Aachen University, Bernhard Rumpe RWTH Aachen, Simon Varga , Andreas Wortmann RWTH Aachen University | ||
12:00 15mTalk | Towards high-level fuzzy control specifications for building automation systemsJ1st Technical Track DOI | ||
11:00 - 12:15 | |||
11:00 25mIndustry talk | Model-Based Optimization Applications at Hydro-Québec Industry Days Stéphane Alarie Hydro-Québec | ||
11:25 25mIndustry talk | A data-intensive software application for customer-centered transit planning Industry Days Charles Fleurent GIRO | ||
11:50 25mIndustry talk | Going full circle: from code to models to knowledge to code Industry Days Mathieu Nayrolles Ubisoft Montreal | ||
13:15 - 14:30 | |||
13:15 20mFull-paper | To build, or not to build: ModelFlow, a build solution for MDE projectsFT Technical Track Beatriz Sanchez University of York, Dimitris Kolovos University of York, Richard Paige McMaster University Pre-print Media Attached | ||
13:35 20mFull-paper | An extensible framework for customizable model repairFT Technical Track Angela Barriga , Rogardt Heldal , Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Magnus Marthinsen , Adrian Rutle Western Norway University of Applied Sciences | ||
13:55 20mFull-paper | Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective ApproachFT Technical Track | ||
14:15 15mTalk | Ark: a constraint-based method for architectural synthesis of smart systemsJ1st Technical Track Milena Guessi , Flavio Oquendo IRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS), Elisa Yumi Nakagawa University of São Paulo, Brazil DOI | ||
15:00 - 16:15 | |||
15:00 20mFull-paper | AC-ROS: Assurance Case Driven Adaptation for the Robot Operating SystemFT Technical Track Betty H.C. Cheng Michigan State University, Robert Clark , Jonathon Fleck , Michael Langford Michigan State University, Philip McKinley | ||
15:20 20mFull-paper | Supporting Robotic Software Migration Using Static Analysis and Model-Driven EngineeringP&I Technical Track Sophie Wood , Nicholas Matragkas University of York, Dimitris Kolovos University of York, Richard Paige McMaster University, Simos Gerasimou University of York, UK Link to publication Pre-print | ||
15:40 20mFull-paper | Model-Based Automatic Fleet Deployment of Edge Computing ApplicationsP&I Technical Track Hui Song SINTEF Digital, Rustem Dautov , Nicolas Ferry , Arnor Solberg Tellu IoT ordinary PC member PI papers, Franck Fleurey | ||
16:00 15mDemonstration | CyprIoT Project - An Open Source Toolset to Model and Generate a Network of ThingsDemo Technical Track | ||
15:00 - 16:15 | B3-Model Analysis and ValidationTechnical Track at Room B Chair(s): Marsha Chechik University of Toronto, Canada | ||
15:00 20mFull-paper | Semantic Comparisons of Alloy ModelsFT Technical Track DOI Pre-print | ||
15:20 20mFull-paper | Automated Generation of Consistent Models with Structural and Attribute ConstraintsFT Technical Track Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Anqi Li , Kristóf Marussy , Daniel Varro McGill University / Budapest University of Technology and Economics Link to publication | ||
15:40 20mFull-paper | mel - Model Extractor Language for Extracting Facts from ModelsFT Technical Track Robert Hackman , Joanne M. Atlee University of Waterloo, Finn Hacket Computer Science, University of Waterloo, Michael W. Godfrey University of Waterloo, Canada | ||
16:00 15mDemonstration | Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo Technical Track | ||
Thu 22 OctDisplayed time zone: Eastern Time (US & Canada) change
Thu 22 Oct
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | Model-Driven Engineering for Data-Centric Autonomous SystemsKEYNOTE Keynotes Betty H.C. Cheng Michigan State University | ||
10:00 - 10:30 | |||
10:00 30mAwards | Awards ceremony Awards | ||
11:00 - 12:15 | B4-Language Engineering and ModularityTechnical Track at Room B Chair(s): Benoit Combemale University of Toulouse and Inria | ||
11:00 20mFull-paper | A Compositional Framework for Systematic Modeling Language ReuseFT Technical Track Arvid Butting Software Engineering RWTH Aachen University, Jerome Pfeiffer , Bernhard Rumpe RWTH Aachen, Andreas Wortmann RWTH Aachen University | ||
11:20 20mFull-paper | Template Based Model Engineering in UMLFT Technical Track | ||
11:40 15mTalk | On the benefits of file-level modularity for EMF modelsJ1st Technical Track Mojtaba Bagherzadeh , Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario DOI Pre-print | ||
11:55 15mDemonstration | Concrete Syntax-Based Find for Graphical DSLsDemo Technical Track | ||
13:15 - 14:30 | |||
13:15 75mLive Q&A | Panel: Modeling in the era of data Panel Perdita Stevens University of Edinburgh, Manuel Wimmer Johannes Kepler University Linz, Tao Yue Simula Research Laboratory, Marco Brambilla Politecnico di Milano, Jeff Gray University of Alabama | ||
15:00 - 16:15 | |||
15:00 20mFull-paper | Detecting Quality Problems in Research Data: A Model-Driven ApproachFT Technical Track Link to publication DOI File Attached | ||
15:20 15mDemonstration | Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven ServicesDemo Technical Track | ||
15:35 15mDemonstration | Towards User-Centred tooling for Modelling of Big Data ApplicationsDemo Technical Track Hourieh Khalajzadeh Monash University, Australia, Tarun Verma , Anj Simmons Deakin University, John Grundy Monash University, Mohamed Abdelrazek Deakin University, Australia, John Hosking University of Auckland | ||
15:50 15mDemonstration | TyphonML: a Modeling Environment to Develop Hybrid PolystoresDemo Technical Track Francesco Basciani University of L'Aquila, Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio Università degli Studi dell'Aquila | ||
Fri 23 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 23 Oct
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | Keynote by Krzysztof CzarneckiKeynotes at Room A Chair(s): Roberto Lopez ETS Montreal, University of Quebec Presented by SPLC | ||
09:00 60mKeynote | Models in AI-enabled systems: the case of automated drivingKEYNOTE Keynotes Krzysztof Czarnecki University of Waterloo, Canada Link to publication | ||
10:00 - 10:30 | |||
10:00 30mTalk | MODELS 2021 announcement MODELS | ||
11:00 - 12:15 | Most Influential PapersAwards at Room A Chair(s): Silvia Abrahão Universitat Politècnica de València, Jeff Gray University of Alabama, Bernhard Rumpe RWTH Aachen | ||
11:00 25mResearch paper | Incremental Evaluation of Model Queries over EMF ModelsMODELS MIP Awards Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Ákos Horváth , István Ráth IncQuery Labs, Daniel Varro McGill University / Budapest University of Technology and Economics DOI | ||
11:25 25mResearch paper | A model-driven traceability framework for software product linesSOSYM MIP Awards Nicolas Anquetil University of Lille, Lille, France, Uirá Kulesza Federal University of Rio Grande do Norte, Ralf Mitschke Technical University of Darmstadt, Ana Moreira NOVA University of Lisbon and NOVA LINCS, Jean-Claude Royer IMT Atlantique, Nantes, France, Andreas Rummler , André Sousa FCT / Universidade Nova de Lisboa DOI | ||
11:50 25mResearch paper | Modeling presentation layers of web applications for testingSOSYM MIP Awards DOI | ||
11:00 - 12:15 | B6-Verification, Testing and ExecutionTechnical Track at Room B Chair(s): Daniel Strüber Radboud University Nijmegen | ||
11:00 15mShort-paper | SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous VehiclesNIV Technical Track | ||
11:15 15mTalk | Specification and Automated Verification of Atomic Concurrent Real-Time TransactionsJ1st Technical Track Simin Cai , Barbara Gallina Mälardalen University, Dag Nyström , Cristina Seceleanu Mälardalen University | ||
11:30 15mTalk | An improved approach on the model checking for an agent-based simulation systemJ1st Technical Track DOI | ||
11:45 15mDemonstration | Enhancing Development and Consistency of UML Models and Model Executions with USE Studio Demo Technical Track | ||
13:15 - 14:30 | A6-Modeling Environments and Model SearchTechnical Track at Room A Chair(s): Antonio Cicchetti Mälardalen University | ||
13:15 20mFull-paper | Efficient Generation of Graphical Model Views via Lazy Model-to-Text TransformationFT Technical Track Authorizer link Pre-print | ||
13:35 20mFull-paper | MAR: A structure-based search engine for modelsFT Technical Track Link to publication DOI Authorizer link Pre-print | ||
13:55 15mDemonstration | ModelMine: A Tool to Facilitate Mining Models from Open Source RepositoriesDemo Technical Track | ||
14:10 15mDemonstration | Gentleman a light-weight web-based projectional editor generatorDemo Technical Track Link to publication DOI Authorizer link | ||
13:15 - 14:30 | B7-Run-time and ArchitectureTechnical Track at Room B Chair(s): Bran Selic Malina Software Corporation | ||
13:15 20mFull-paper | A model-based approach for developing event-driven architectures with AsyncAPIP&I Technical Track Abel Gómez Universitat Oberta de Catalunya, Markel Iglesias-Urkia , Aitor Urbieta , Jordi Cabot ICREA - UOC DOI Pre-print Media Attached | ||
13:35 20mFull-paper | A Scalable Querying Scheme for Memory-efficient Runtime Models with HistoryFT Technical Track Lucas Sakizloglou Hasso Plattner Institute, University of Potsdam, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Link to publication DOI Pre-print | ||
13:55 15mTalk | A model-based architecture for interactive run-time monitoringJ1st Technical Track Nicolas Hili , Mojtaba Bagherzadeh , Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario DOI | ||
14:10 15mDemonstration | MReplayer: A Trace Replayer of Distributed UML-RT ModelsDemo Technical Track Majid Babaei Queen's University, Mojtaba Bagherzadeh , Juergen Dingel Queen's University, Kingston, Ontario Pre-print | ||
15:00 - 16:15 | A7-Safety, Security and TestingTechnical Track at Room A Chair(s): Joanne M. Atlee University of Waterloo | ||
15:00 20mFull-paper | Automating the Early Detection of Security Design FlawsFT Technical Track Katja Tuma Chalmers | University of Gothenburg, Laurens Sion imec-DistriNet, KU Leuven, Riccardo Scandariato , Koen Yskout imec - DistriNet, KU Leuven Pre-print | ||
15:20 20mFull-paper | Scenario-based Specification of Security Protocols and Transformation to Security Model CheckersFT Technical Track | ||
15:40 20mFull-paper | Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven ApproachP&I Technical Track | ||
16:00 10mDemonstration | MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety ArtifactsDemo Technical Track Alessio Di Sandro , Gehan Selim , Sahar Kokaly General Motors, Torin Viger , Rick Salay University of Toronto | ||
15:00 - 16:15 | |||
15:00 20mFull-paper | Variability Representations in Class Models: An Empirical AssessmentFT Technical Track Daniel Strüber Radboud University Nijmegen, Anthony Anjorin , Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Pre-print | ||
15:20 20mFull-paper | Co-evolution of Simulink Models in a Model-Based Product LineP&I Technical Track Robbert Jongeling Malardalen University, Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University Link to publication DOI Pre-print | ||
15:40 15mTalk | Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature ReviewJ1st Technical Track | ||
15:55 15mDemonstration | Using Benji to Systematically Evaluate Model Comparison AlgorithmsDemo Technical Track | ||