Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] Klaus Havelund , Grigore Rosu Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]