Accepted Papers
Feng Chen, Marcelo d'Amorim and Grigore Rosu.
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOPArvind Easwaran, Sampath Kannan and Oleg Sokolsky.
Steering of Discrete Event Systems: Control Theory ApproachTayfun Elmas and Serdar Tasiran.
VyrdMC: Driving Runtime Refinement Checking with Model CheckersYaniv Eytani.
Concurrent Java Test Generation as a Search ProblemAmir Pnueli, Aleksandr Zaks and Lenore Zuck.
Monitoring Interfaces for FaultsOleg Sokolsky, Usa Sammapun, Insup Lee and Jesung Kim.
Run-Time Checking of Dynamic PropertiesVolker Stolz and Eric Bodden.
Temporal Assertions using AspectJYuhong Zhao, Simon Oberthuer, Martin Kardos and Franz Josef Rammig.
Model-based Runtime Verification Framework for Self-optimizing Systems