The 11th International Workshop on Models@run.time

at MODELS 2016, 10/04/16, Saint-Malo, France

Call for Paper
Past Editions


The workshop is on level 2 of Palais du Grand Large in room Vauban 2.
Find a plan of the venue here.

1. Session 09:00-10:30 MRT for Cyber-Physical Systems and AAL
Session Chair: Joel Greenyer
  • Workshop Opening (5min)
  • Erik Burger, Victoria Mittelbach and Anne Koziolek:
    View-based and Model-driven Outage Management for the Smart Grid (paper) (30min)
  • Luis Hernan Garcia Paucar and Nelly Bencomo:
    Runtime Models Based on Dynamic Decision Networks: Enhancing the Decision-making in the Domain of Ambient Assisted Living Applications (paper) (30min)
  • Panel Discussion (25min)
10:30-11:00Coffee Break (in Rotonde J. Cartier)
2. Session 11:00-12:30 MRT for Model Checking and Optimization
Session Chair: Kirstie Bellman
  • Hiroyuki Nakagawa, Kento Ogawa and Tatsuhiro Tsuchiya:
    Caching Strategies for Run-time Probabilistic Model Checking (paper) (30min)
  • René Schöne, Sebastian Götz, Uwe Assmann and Christoff Bürger:
    Incremental Runtime-generation of Optimisation Problems using RAG-controlled Rewriting (paper) (30min)
  • Panel Discussion (30min)
12:30-14:00Lunch (in Rotonde Surcouf)
3. Session 14:00-15:30 MRT Infrastructures
Session Chair: Franck Fleurey
  • Lorena Arcega, Jaime Font, Oystein Haugen and Carlos Cetina:
    An Infrastructure for Generating Run-time Model Traces for Maintenance Tasks (paper) (30min)
  • Jason Porter, Daniel Menasce and Hassan Gomaa. DeSARM:
    A Decentralized Mechanism for Discovering Software Architecture Models at Runtime in Distributed Systems (paper) (30min)
  • Panel Discussion (30min)
15:30-16:00Coffee Break (in Rotonde J. Cartier)
4. Session 16:00-17:30 Beyond Models@run.time
Session Chair: Gordon Blair
  • Christopher Landauer and Kirstie Bellman:
    Reflective Systems Need Models at Run Time (paper) (30min)
  • Open Discussion and Workshop Closing (60min)

Important Dates (AoE)

07/24/16 submissions (extended)
08/14/16 notification
09/23/16 camera-ready
10/04/16 workshop


04/18/16 Homepage online
04/18/16 Submission page open
11/23/16 Proceedings online