The 11th International Workshop on Models@run.time

Program

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:00	Coffee 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:00	Lunch (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:00	Coffee 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)