The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 113, number:

  1. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:1-2 [Journal]
  2. Doron Drusinsky
    Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:3-21 [Journal]
  3. Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:23-43 [Journal]
  4. Konstantine Arkoudas, Martin C. Rinard
    Deductive Runtime Certification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:45-63 [Journal]
  5. Doron Peled, Hongyang Qu
    Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:65-83 [Journal]
  6. Viktor Schuppan, Marcel Baur, Armin Biere
    JVM Independent Replay in Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:85-104 [Journal]
  7. Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
    Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:105-121 [Journal]
  8. Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky
    Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:123-143 [Journal]
  9. Prasanna Thati, Grigore Rosu
    Monitoring Algorithms for Metric Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:145-162 [Journal]
  10. Serdar Tasiran, Shaz Qadeer
    Runtime Refinement Checking of Concurrent Data Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:163-179 [Journal]
  11. Murat Karaorman, Jay Freeman
    jMonitor: Java Runtime Event Specification and Monitoring Library. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:181-200 [Journal]
  12. Volker Stolz, Frank Huch
    Runtime Verification of Concurrent Haskell Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:201-216 [Journal]
  13. Lars-Åke Fredlund
    Guaranteeing Correctness Properties of a Java Card Applet. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:217-233 [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