Electronic Notes in Theoretical Computer Science, Volume 113
Volume 113, January 2005
- 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
- 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
- Murat Karaorman, Jay Freeman: jMonitor: Java Runtime Event Specification and Monitoring Library. 181-200
- Lars-Åke Fredlund: Guaranteeing Correctness Properties of a Java Card Applet. 217-233
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team