Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 89, number: 2

1. Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
   Run-Time Validation of Speculative Optimizations using CVC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
2. Li Tan, Jesung Kim, Insup Lee
   Testing and Monitoring Model-based Generated Program. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
3. Oleg Sokolsky, Mahesh Viswanathan
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
4. Koushik Sen, Grigore Rosu
   Generating Optimal Monitors for Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
5. Alper Sen, Vijay K. Garg
   Partial Order Trace Analyzer (POTA) for Distributed Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
6. Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic
   Formalizing Java-MaC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
7. Nicholas Nethercote, Julian Seward
   Valgrind: A Program Supervision Framework. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
8. Nicholas Nethercote, Alan Mycroft
   Redux: A Dynamic Dataflow Tracer. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
9. Oscar Mondragon, Ann Q. Gates, Steve Roach
   Prospec: Support for Elicitation and Formal Specification of Software Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
   
10. Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen
    Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
    
11. Michelle L. Crane, Jürgen Dingel
    Runtime Conformance Checking of Objects Using Alloy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
    
12. Feng Chen, Grigore Rosu
    Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
    
13. Aloysius K. Mok
    Event-Based Real-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
    
14. Liqiang Wang, Scott D. Stoller
    Run-Time Analysis for Atomicity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]