The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002