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