All times are indicated in Coordinated Universal Time (UTC)

SDL Society AGM (Open to SDL society members only)
Monday Oct 19, 2020 from 11:45 UTC to 12:45 UTC

SAM 2020 Program

Proceedings: Available on the ACM Digital Library and can be accessed here.

Monday October 19, 2020

13:00 UTC – 14:30 UTC:

  • Welcome to SAM 2020 (General Chairs)
  • Keynote by Dániel Varró (McGill University) (Chair : Abdelouahed Gherbi)
    The Automated Model Generation Challenge for the Assurance of Cyber-Physical Systems

14:30 – 15:00: Social Time

15:00 – 16:30: Session 1 - Model Management and Merging (Chair: Pau Fonseca i Casas)

  • A Formalism for Specifying Model Merging Conflicts. Mohammadreza Sharbaf, Bahman Zamani and Gerson Sunyé
  • Action-Driven Consistency for Modular Multi-Language Systems with Perspectives. Hyacinth Ali, Gunter Mussbacher and Jörg Kienzle
  • Layout Merging with Relative Positioning. Hyacinth Ali and Gunter Mussbacher


16:30 – 17:30: Social Time

17:30 – 19:00: Session 2 - Models at run-time (Chair: Mohammad Hamdaqa)

  • Towards automated provenance collection for runtime models to record system history. Owen Reynolds, Antonio Garcia-Dominguez and Nelly Bencomo
  • Temporal Models for History-Aware Explainability. Juan Parra, Antonio Garcia-Dominguez, Luis Garcia Paucar and Nelly Bencomo
  • Process-Based Simulation with Stackless Coroutines. Dorian Weber and Joachim Fischer


19:00 – 19:30: Social Time

19:30 – 21:00: Session 3 - Applications of Model-Driven Engineering (Chair: Ferhat Khendek)

  • iContractML: A Domain Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms. Mohammad Hamdaqa, Lucas Alberto Pineda Metz and Ilham Qasse
  • Qualitative fault modeling in safety critical Cyber Physical Systems Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey and Gabor Karsai
  • SDL Cellular Automaton COVID-19 conceptualization Pau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma and Xavier Pi


Tuesday October 20, 2020

13:00 UTC – 14:30 UTC:

  • Keynote by Sigrid Eldh (Ericsson AB) (Chair: Wahab Hamou-Lhadj)
    ...everything is a model!
  • Award Ceremony (General Chairs)

14:30 – 15:00: Social Time

15:00 – 16:30: Session 4 - Modeling Languages (Chair: Sadaf Mustafiz)

  • Bounded Verification of State Machine Models. Nafiseh Kahani and James Cordy
  • An attempt to convert BPMN models to SDL. Mihal Brumbulli and Emmanuel Gaudin
  • Facilitating the Co-Evolution of Semantic Descriptions in Standards and Models. Philip Makedonski and Jens Grabowski
  • A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling. Sanaa Alwidian, Mouna Dhaouadi and Michalis Famelis


16:30 – 17:30: Social Time

17:30 – 19:00: Session 5 - Model Configuration and Traceability (Chair: Emmanuel Gaudin)

  • Model-Based Reconfiguration Planning for a Distributed On-board Computer. Andrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt and Daniel Lüdtke
  • A Model Traceability Framework for Network Service Management. Omar Hassane, Sadaf Mustafiz, Ferhat Khendek and Maria Toeroe
  • Traceability Management of GRL and SysML Models. Amal Anda and Daniel Amyot


19:00 – 19:30: Social Time

19:30 – 21:00: SAM 2021 / Discussion / Closing Notes (General Chairs)


Home About Us Join us What's New

Page last modified on: