Go to Models@Run.Time'07

This is a preliminary programme of papers at the workshop Models@runtime. The papers accepted can be found here.

The workshop will be structured into presentation and work (discussion) sessions. During the presentation session, papers will be presented by two speakers, the first speaker will be an author of the paper and the second speaker (reader) will be an independent reader who is also attending the workshop. Second readers will provide a second view on the contents of the paper, placing it in relation to the workshop topics and research questions.

We plan to have 25 minutes of time for the presentation and discussion of each paper. 15 minutes presentation by first speaker, 5 minutes by second reader and 5 minutes for questions. The order of presentation will be announced later.

9- 9:30 Opening

9:30 - 10:30 Presentation Papers - Session Chair: Øystein Haugen (see order of presentation at the end of the programme)

10:30 - 11: 00 COFFEE BREAK

11:30 - 1:00 Presentation Papers - Session Chair: Arnor Solberg (see order of presentation at the end of the programme)

1:00 - 2:00 LUNCH

2:00 - 3:30 discussions in groups

3:30 - 4:00 COFFEE BREAK

4:00 - 5:30 Discussion groups + integration of discussions and conclusions

The order of presentation of papers is as follows:

Error detection and Self Healing

  • "A Modeling Framework for Self-Healing Software Systems",,
    Michael Jiang, Jing Zhang, David Raymer, and John Strassner. Second reader: Jules White paper. Presentations: author,  


  • "Model-Based Run-Time Error Detection",
    Jozef Hooman, and Teun Hendriks. Second reader: James Hill paper, Presentations: author,  


    • Monitoring and Verification

  • "System Monitoring using Constraint Checking as part of Model Based System Management",
    Christian Hein, Tom Ritter, and Michael Wagner. Second reader: Matthias Gutheil paper, Presentations: author,  


  • "AMOEBA-RT: Run-Time Verification of Adaptive Software",
    Ji Zhang, Betty Cheng, and Heather Goldsby. Second reader: Jozef Hooman paper, Presentations: author,   second reader.


    • Techniques and Approaches

  • "Coherent Support for Models at Run-Time through Orthogonal Classification",
    Atkinson Colin and Matthias Gutheil. Second reader: Olivier Barais paper, Presentations: author,   second reader.


  • "Control-theory and models at runtime",
    Pierre-Alain Muller and Olivier Barais. Second reader: Aniruddha Gokhale paper, Presentations: author,  




    • Go to Models@Run.Time'07

    Last Updated: 12/09/2007
    Comments? Mail them to us