Volume 24, Number 1, January 2004

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

Volume 24, Number 2, March 2004

Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01)

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

Volume 24, Number 3, May 2004

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