Accepted Papers


The program can be found on FloC's RV page.

The proceedings have been published in Electronic Notes in Theoretical Computer Science
and are available at their web-site: ENTCS.


Workshop Proceedings

frontpage.pdf
preface.pdf

Karthikeyan Bhargavan and Carl A. Gunter, U Pennsylvania, USA
Requirements for a practical network event recognition language
pdf

Mark Brörkens, OFFIS, Germany and Michael Möller, U Oldenburg, Germany
Dynamic event generation for runtime checking using the JDI
pdf

Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma; Stanford U, USA
Collecting statistics over runtime executions
pdf

Murat Karaorman, Texas Instruments, USA and Parker Abercrombie, U California-Santa Barbara, USA
jContractor: Bytecode instrumentation techniques for implementing design by contract in Java
pdf

Moonjoo Kim, SECUi.com, South Korea; Sampath Kannan, U Pennsylvania, USA; Insup Lee, U Pennsylvania, USA; Oleg Sokolsky, U Pennsylvania, USA; and Mahesh Viswanathan, U Illinois-Urbana-Champaign, USA
Computational analysis of run-time monitoring
pdf

Moonjoo Kim, SECUi.com, South Korea; Insup Lee, U Pennsylvania, USA; Usa Sammapun, U Pennsylvania, USA; Jangwoo Shin, U Pennsylvania, USA; and Oleg Sokolsky, U Pennsylvania, USA
Monitoring, checking, and steering of real-time systems
pdf

Joshua Levy, Hassan Saïdi, and Thomas Uribe; SRI International, USA
Combining monitors for run-time system verification
pdf

Elsa Gunter, New Jersey Institute of Technology, USA; Doron Peled, U of Texas at Austin
Tracing the executions of concurrent programs
pdf

Scott Stoller, State U of New York-Stony Brook, USA
Testing concurrent Java programs using randomized scheduling
pdf

Suan Hsi Yong and Susan Horwitz, U Wisconsin-Madison, USA
Reducing the overhead of dynamic analysis
pdf

Lenore Zuck, New York U, USA; Amir Pnueli, Weizmann Inst. of Science, Israel; Yi Fang, New York U, USA; Benjamin Goldberg, New York U, USA; and Ying Hu, New York U, USA
Translation and run-time validation of optimized code
pdf