Accepted Papers (alphabetically)

See also final program.

Preliminary hardcopy proceedings were handed out at workshop.
The formal online proceedings will be published in Electronic Notes in Theoretical Computer Science.


Invited talks

Semantics and runtime monitoring of TLCharts:
statechart automata with temporal logic conditioned transitions
pdf
Doron Drusinsky

Specifying and testing software components with SpeC#
pdf
Wolfram Schulte

Regular papers

Deductive runtime certification
pdf
Konstantine Arkoudas and Martin Rinard

Testing conformance of real-time software by automatic generation of observers
pdf
Saddek Bensalem, Marius Bozga, Moez Krichen and Stavros Tripakis

Guaranteeing correctness properties of a Java card applet
pdf
Lars-Aake Fredlund

Program instrumentation and run-time analysis of scoped memory in Java
pdf
Diego Garbervetsky, Chaker Nakhli, Sergio Yovine and Hichem Zorgati

jMonitor: Java runtime event specification and monitoring library
pdf
Murat Karaorman and Jay Freeman

Enforcing concurrent temporal behaviors
pdf
Doron Peled and Hongyang Qu

Simulation of simultaneous events in regular expressions for run-time verification
pdf
Usa Sammapun, Arvind Easwaran, Insup Lee and Oleg Sokolsky

JVM independent replay in Java
pdf
Viktor Schuppan, Marcel Baur and Armin Biere

Runtime verification of concurrent Haskell programs
pdf
Volker Stolz and Frank Huch

Run-time refinement checking of concurrent data structures
pdf
Serdar Tasiran and Shaz Qadeer

Monitoring algorithms for metric temporal logic specifications
pdf
Prasanna Thati and Grigore Rosu