Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 55, number: 2

1. Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
   Jass - Java with Assertions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
2. Jeremy W. Nimmer, Michael D. Ernst
   Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
3. David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández
   Collecting and Analyzing Data from Distributed Control Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
4. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
   Java-MaC: a Run-time Assurance Tool for Java Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
5. Klaus Havelund, Grigore Rosu
   Monitoring Java Programs with Java PathExplorer. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
6. Klaus Havelund, Grigore Rosu
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
7. Marc Geilen
   On the Construction of Monitors for Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
8. Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
   DynaMICs: Comprehensive Support for Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
9. Bernd Finkbeiner, Henny Sipma
   Checking Finite Traces using Alternating Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
10. Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer
    Dynamic Assertions Using TXP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
    
11. Mireille Ducassé, Erwan Jahier
    Efficient Automated Trace Analysis: Examples with Morphine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
    
12. Stavros Tripakis, Sergio Yovine
    Timing Analysis and Code Generation of Vehicle Control Software using Taxys. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]