DIKU: Titel

From: Subject: DIKU: Titel Date: Thu, 4 Nov 2010 13:46:14 +0100 MIME-Version: 1.0 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Location: http://www.diku.dk/OLD/publikationer/tekniske.rapporter/rapporter/02-14/ X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5994 =EF=BB=BF DIKU: Titel

Proceedings of the Second Workshop on Runtime Verification=20 (RV'02)

Klaus Havelund and Grigore Rosu (eds.)

Foreword=20
Requirements=20 for a Practical Network Event Recognition = Language
Karthikeyan=20 Bhargavan and Carl A. Gunter
Dynamic=20 Event Generation for Runtime Checking using the JDI(1)
Mark = Br=C3=B6rkens and Michael M=C3=B6ller
Collecting=20 Statistics over Runtime Executions
Bernd Finkbeiner, = Sriram=20 Sankaranarayanan and Henny Sipma
jContractor:=20 Bytecode Instrumentation Techniques for Implementing Design by = Contract in=20 Java
Parker Abercrombie and Murat Karaorman
Computational=20 Analysis of Run-time Monitoring - Fundamentals of = Java-MaC*
Moonjoo=20 Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky and Mahesh = Viswanathan
Monitoring,=20 Checking, and Steering of Real-Time Systems
Monjoo Kim, = Insup Lee,=20 Usa Sammapun, Jangwoo Shin and Oleg Sokolsky
Combining=20 Monitors for Runtime System Verification
Joshua Levy and = Hassen=20 Sa=C3=AF=C3=BDdi and Tom=C3=A1s E. Uribe
Tracing=20 the executions of concurrent programs
Elsa Gunter and Doron = Peled
Testing=20 Concurrent Java Programs using Randomized = Scheduling
Scott=20 D. Stoller
Reducing=20 the Overhead of Dynamic Analysis
Suan Hsi Yong and Susan=20 Horwitz
Translation=20 and Run-Time Validation of Optimized Code
Lenore Zuck, Amir = Pnueli,=20 Yi Fang, Benjamin Goldberg and Ying Hu