RV accepted papers

Regular papers

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

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

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

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

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

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

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

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

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

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