Go to Models@Run.Time'07

Error detection and Self Healing


• "A Modeling Framework for Self-Healing Software Systems",,
  Michael Jiang, Jing Zhang, David Raymer, and John Strassner.



• "Model-Based Run-Time Error Detection",
  Jozef Hooman, and Teun Hendriks.


Monitoring and Verification


• "System Monitoring using Constraint Checking as part of Model Based System Management",
  Christian Hein, Tom Ritter, and Michael Wagner.



• "AMOEBA-RT: Run-Time Verification of Adaptive Software",
  Ji Zhang, Betty Cheng, and Heather Goldsby.


Techniques and Approaches


• "Coherent Support for Models at Run-Time through Orthogonal Classification",
  Atkinson Colin and Matthias Gutheil.



• "Control-theory and models at runtime",
  Pierre-Alain Muller and Olivier Barais.

Go to Models@Run.Time'07

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