Program at a Glance

Sunday,
September 15th: Satellite Events

0815-0900

Registration

 

0900-1030

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

 

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

 

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: AI-driven Streamlined Modeling

@Forum10

Tutorial: MBSE Grid: A Simplified Approach for Modeling Complex Systems

1030-1100

Coffee

1100-1230

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

 

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

 

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: AI-driven Streamlined Modeling

@Forum10

Tutorial: MBSE Grid: A Simplified Approach for Modeling Complex Systems

 

1230-1400

Lunch

 

1400-1530

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

 

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

 

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: The ADOxx Meta-modeling Platform: Concept, Architecture
and Practice

@Forum10

Tutorial: Software Engineering Intelligence: Case Studies on Model-Driven Engineering

1530-1600

Coffee

1600-1730

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

 

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

 

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: The ADOxx Meta-modeling Platform: Concept, Architecture
and Practice

@Forum10

Tutorial: Software Engineering Intelligence: Case Studies on Model-Driven Engineering

 

Monday,
September 16th: Satellite Events

0815-0900

Registration

0900-1030

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th International
Workshop on Human Factors in Modeling

 

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Applied Integration of Models and RT Systems using the DCP

@Forum 9

Mad@ Models

@Forum 10

MPS Day

1030-1100

Coffee

1100-1230

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

 

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Applied Integration of Models and RT Systems using the DCP

@Forum 9

Mad@ Models

@Forum 10

MPS Day

1230-1400

Lunch

1400-1530

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

 

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Qualitative Research Methods for MDE

@Forum 9

Mad@ Models

@Forum 10

1530-1600

Coffee

1600-1730

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

 

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Qualitative Research Methods for MDE

@Forum 9

Mad@ Models

@Forum 10

1900-2300

Satellite
Reception @ Nockherberg

 

Tuesday,
September 17th: Satellite Events

0815-0900

Registration

 

0900-1030

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run.time

@Forum 16

6th International Workshop
on Interplay of Model-Driven and Component-
Based SWEng

@Forum 8

1st International Workshop
on Modeling Language Engineering and
Execution

 

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial: Model-Driven SWEng
in Robotics:
Models, Tools, Systems,
Solutions, Challenges

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

1030-1100

Coffee

1100-1230

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run.time

@Forum 16

6th International Workshop
on Interplay of Model-Driven and Component-
Based SWEng

@Forum 8

1st International Workshop
on Modeling Language Engineering and
Execution

 

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial: Model-Driven SWEng
in Robotics:
Models, Tools, Systems,
Solutions, Challenges

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

1230-1400

Lunch

GEMOC Board Meeting @Forum 16

1400-1530

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run time

@Forum 8

1st International Workshop
on Modeling Language Engineering and
Execution

 

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial:

Shadow Models: Incremental
Model Transform.
as an Enabler for Language
Impl.

 

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

 

1530-1600

Coffee

 

1600-1730

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 2

14th International Workshop
on Models@run.time

@Forum 8

1st International Workshop
on Modeling Language Engineering and
Execution

 

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial:

Shadow Models: Incremental Model Transform. as an Enabler for Language
Impl.

 

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

Wednesday,
September 18th: Main Conference

0800-0845

Registration

0845-0900

Welcome @Forum
1+2+3

0900-1000

Keynote Renzo Vitale – Designing Sounds and Music for Modernity @Forum1+2+3

1000-1030

Coffee

1030-1200

Regular papers @Forum 12+13+14
Data Quality and Security – chair: Timothy Lethbridge

Industry Day @Forum1+2+3

  • Modeling and Simulation @Airbus – a fundamental digital transformation axis across product, manufacturing and support in service
  • Adopting Model-Based Approaches for Safety-Critical Product Development: Observed Challenges and Roadblocks
  • Models of time and their benefits in safe autonomous systems design

1200-1330

Lunch

Models 2020 OC meeting@Forum 12+13+14

1330-1500

Regular papers @Forum 12+13+14
Design and Development – chair: Eugene Syriani

Industry Day @Forum 1+2+3

  • Reasoning about the security of Amazon Web Services
  • Enterprise IT Intelligence with Living Models
  • Digital Twin & Symbiotic Mechatronics Approaches for System Development

1500-1530

Coffee

1530-1700

Regular papers @Forum 12+13+14
Testing – chair: Antonio Cicchetti

Industry Day @Forum 1+2+3

  • The Future of Open Source Modeling
  • Panel

1700-1900

Models Steering Committee Meeting @Forum 12+13+14

1830-2300

Main Reception with Poster Session @Highlight Towers

 

Thursday,
September 19th: Main Conference

0900-1000

Keynote Manfred Broy – On the Interplay between Formal Foundations, Peer Driven Research, Applied Research and Transfer in Software and Systems Engineering @Forum 1+2+3

1000-1030

Coffee

1030-1200

Regular papers @Forum 1+2+3
Artifact Generation – chair: Massimo Tisi

Regular papers @Forum 12+13+14
Architecture Analysis – chair: Hui Song

Tools and Demos @Forum 9+10+11

REMODD Session – chair: Betty H. C. Cheng

  • REMODD: Repository for Model-Driven Development — Hands-on Demonstration

1200-1330

Lunch

Models SC meeting @Forum 12+13+14

1330-1500

Regular papers @Forum 9+10+11
Model Execution – chair: Friedrich Steimann

Tools and Demos @Forum 12+13+14 

  • Combining UML RealTime with Node-RED
  • ARGON: A Model-Driven Infrastructure Provisioning Tool
  • MAPLE-T: A Tool for Process Enactment with Traceability Support
  • GDF: a GamificationnDesign Framework powered by Model-Driven Engineering
  • WAPIml: Towards a Modeling Infrastructure for Web APIs

Panel – chair: Eugene Syriani @Forum 1+2+3

 Modeling beyond Boxes and Arrows

1500-1530

Coffee

1530-1700

Regular papers @Forum 1+2+3
Formal Verification and Static Analysis – chair: Michalis Famelis

Regular papers @Forum 9+10+11
Modeling Environment – chair: Francis Bordeleau

 

Tools and Demos @Forum 12+13+14

  • Live-UMLRT: A Tool for Live Modeling of UML-RT Models
  • A Model Driven Tool for Requirements and Hardware Engineering
  • Verifying deadlock and nondeterminism in activity diagrams
  • Quality Improvement for UML and OCL Models through Bad Smell and Metrics Definition
  • UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams

1700-1900

SoSyM Editorial Board
Meeting @Forum 12+13+14

1830-2300

Banquet @Kaisersaal, Residenz

 


Friday,
September 19th:
Main Conference

0845-0900

Announcement MODELS 2020 @Forum 1+2+3

0900-1000

Keynote Kristina Shea -Designing with 3D and 4D Printing: Impacts on computational modeling and optimization @Forum 1+2+3

 

1000-1030

Coffee

 

1030-1200

Most Influential Papers @Forum 1+2+3

Regular papers @Forum 12+13+14

System Modeling – chair: Bran Selic

 

1200-1330

(Bavarian) Lunch

 

1330-1500

Regular papers @Forum 12+13+14
Runtime Models – chair: Matthias Tichy

Regular papers @Forum 9+10+11

Requirements Modeling And
Analysis –
chair: Gregor Engels

Regular papers @Forum 1+2+3

Modeling and ML/AI – chair: Stefan Kugele