Electronic Notes in Theoretical Computer Science, Volume 113

Volume 113, January 2005

• Klaus Havelund, Grigore Rosu:
  Preface. 1-2
  
• Doron Drusinsky:
  Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. 3-21
  
• Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis:
  Testing Conformance of Real-Time Applications by Automatic Generation of Observers. 23-43
  
• Konstantine Arkoudas, Martin C. Rinard:
  Deductive Runtime Certification. 45-63
  
• Doron Peled, Hongyang Qu:
  Enforcing Concurrent Temporal Behaviors. 65-83
  
• Viktor Schuppan, Marcel Baur, Armin Biere:
  JVM Independent Replay in Java. 85-104
  
• Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati:
  Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. 105-121
  
• Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky:
  Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. 123-143
  
• Prasanna Thati, Grigore Rosu:
  Monitoring Algorithms for Metric Temporal Logic Specifications. 145-162
  
• Serdar Tasiran, Shaz Qadeer:
  Runtime Refinement Checking of Concurrent Data Structures. 163-179
  
• Murat Karaorman, Jay Freeman:
  jMonitor: Java Runtime Event Specification and Monitoring Library. 181-200
  
• Volker Stolz, Frank Huch:
  Runtime Verification of Concurrent Haskell Programs. 201-216
  
• Lars-Åke Fredlund:
  Guaranteeing Correctness Properties of a Java Card Applet. 217-233