The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 144, number: 4

  1. Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:1- [Journal]
  2. Feng Chen, Marcelo d'Amorim, Grigore Rosu
    Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:3-20 [Journal]
  3. Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
    Steering of Discrete Event Systems: Control Theory Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:21-39 [Journal]
  4. Tayfun Elmas, Serdar Tasiran
    VyrdMC: Driving Runtime Refinement Checking with Model Checkers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:41-56 [Journal]
  5. Yaniv Eytani
    Concurrent Java Test Generation as a Search Problem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:57-72 [Journal]
  6. Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck
    Monitoring Interfaces for Faults. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:73-89 [Journal]
  7. Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
    Run-Time Checking of Dynamic Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:91-108 [Journal]
  8. Volker Stolz, Eric Bodden
    Temporal Assertions using AspectJ. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:109-124 [Journal]
  9. Y. Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
    Model-based Runtime Verification Framework for Self-optimizing Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:125-145 [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