Journals in DBLP

Formal Methods in System Design
2005, volume: 27, number: 3

1. Klaus Havelund, Grigore Rosu
   Foreword. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:211-212 [Journal]
   
2. Karthikeyan Bhargavan, Carl A. Gunter
   Network Event Recognition. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:213-251 [Journal]
   
3. Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
   Collecting Statistics Over Runtime Executions. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:253-274 [Journal]
   
4. Murat Karaorman, Parker Abercrombie
   jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:275-312 [Journal]
   
5. Suan Hsi Yong, Susan Horwitz
   Using Static Analysis to Reduce Dynamic Analysis Overhead. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:313-334 [Journal]
   
6. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
   Translation and Run-Time Validation of Loop Transformations. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:335-360 [Journal]