Journals in DBLP

Formal Methods in System Design
2004, volume: 24, number: 2

1. Klaus Havelund, Grigore Rosu
   Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:99-100 [Journal]
   
2. Bernd Finkbeiner, Henny Sipma
   Checking Finite Traces Using Alternating Automata. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:101-127 [Journal]
   
3. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
   Java-MaC: A Run-Time Assurance Approach for Java Programs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:129-155 [Journal]
   
4. David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández
   A Suite of Tools for Debugging Distributed Autonomous Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:157-188 [Journal]
   
5. Klaus Havelund, Grigore Rosu
   An Overview of the Runtime Verification Tool Java PathExplorer. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:189-215 [Journal]