Formal Methods in System Design, Volume 24

Volume 24, Number 1, January 2004

• Ofer Strichman:
  Accelerating Bounded Model Checking of Safety Properties. 5-24
  Electronic Edition (link) BibTeX
• Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén:
  SAT-Solving the Coverability Problem for Petri Nets. 25-43
  Electronic Edition (link) BibTeX
• Leila Silva, Augusto Sampaio, Edna Barros:
  A Constructive Approach to Hardware/Software Partitioning. 45-90
  Electronic Edition (link) BibTeX

Volume 24, Number 2, March 2004

• Klaus Havelund, Grigore Rosu:
  Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). 99-100
  Electronic Edition (link) BibTeX
• Bernd Finkbeiner, Henny Sipma:
  Checking Finite Traces Using Alternating Automata. 101-127
  Electronic Edition (link) BibTeX
• Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
  Java-MaC: A Run-Time Assurance Approach for Java Programs. 129-155
  Electronic Edition (link) BibTeX
• David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández:
  A Suite of Tools for Debugging Distributed Autonomous Systems. 157-188
  Electronic Edition (link) BibTeX
• Klaus Havelund, Grigore Rosu:
  An Overview of the Runtime Verification Tool Java PathExplorer. 189-215
  Electronic Edition (link) BibTeX

Volume 24, Number 3, May 2004

• Thomas Stauner:
  Properties of Hybrid Systems-A Computer Science Perspective. 223-259
  Electronic Edition (link) BibTeX
• Rajeev Alur, Sampath Kannan, Salvatore La Torre:
  Polyhedral Flows in Hybrid Automata. 261-280
  Electronic Edition (link) BibTeX
• Patricia Bouyer:
  Forward Analysis of Updatable Timed Automata. 281-320
  Electronic Edition (link) BibTeX