Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 70, number: 4

1. Parker Abercrombie, Murat Karaorman
   jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
2. Suan Hsi Yong, Susan Horwitz
   Reducing the Overhead of Dynamic Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
3. Scott D. Stoller
   Testing Concurrent Java Programs using Randomized Scheduling. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
4. Joshua Levy, Hassen Saïdi, Tomás E. Uribe
   Combining Monitors for Runtime System Verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
5. Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky
   Monitoring, Checking, and Steering of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
6. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
   Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
7. Klaus Havelund, Grigore Rosu
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
8. Elsa L. Gunter, Doron Peled
   Tracing the executions of concurrent programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
9. Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
   Collecting Statistics over Runtime Executions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
10. Mark Brörkens, Michael Möller
    Dynamic Event Generation for Runtime Checking using the JDI. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
    
11. Karthikeyan Bhargavan, Carl A. Gunter
    Requirements for a Practical Network Event Recognition Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
    
12. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
    Translation and Run-Time Validation of Optimized Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]