 | |
All
sessions take place in auditorium 9.RV's
program is also available side by side with other
meetings. 08:30-10:30 Session 1 | 08:30 | Joshua Levy, Hassen Saïdi, and Thomas Uribe;
SRI International, USA
Combining
monitors for run-time system verification | | 09:00 | 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 | | 09:30 | Suan Hsi Yong and Susan Horwitz, U
Wisconsin-Madison, USA
Reducing
the overhead of dynamic analysis | | 10:00 | Mark Brörkens, OFFIS, Germany and Michael
Möller, U Oldenburg, Germany
Dynamic
event generation for runtime checking using the JDI |
10:30-11:00 Refreshments 11:00-12:30 Session 2 | 11:00 | Doron A.
Peled, U Texas-Austin, USA
Invited
talk: Tracing the executions of concurrent programs | | 12:00 | Murat Karaorman, Texas Instruments, USA
and Parker Abercrombie, U California-Santa Barbara, USA
jContractor:
Bytecode instrumentation techniques for implementing
design by contract in Java |
12:30-14:00 Lunch 14:00-15:30 Session 3 | 14:00 | 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 | | 14:30 | Scott Stoller, State U of New York-Stony Brook,
USA
Testing
concurrent Java programs using randomized scheduling | | 15:00 | Karthikeyan Bhargavan and Carl A. Gunter, U
Pennsylvania, USA
Requirements
for a practical network event recognition
language |
15:30-16:00 Refreshments 16:00-17:00 Session 4 | 16:00 | Bernd Finkbeiner, Sriram
Sankaranarayanan, and Henny B. Sipma; Stanford U, USA
Collecting
statistics over runtime executions | | 16:30 | 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 |
| |
![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
