Volume 35, Number 1, August 2009

• 
  Aarti Gupta, Sharad Malik: Preface. 1
• 
  The CAV award. 2-3
• 
  Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi: The 2008 CAV Award citation. 4-5
• 
  Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. 6-39
• 
  Cindy Eisner, Amir Nahir, Karen Yorav: Functional verification of power gated designs by compositional reasoning. 40-55
• 
  Per Bjesse: Word level bitwidth reduction for unbounded hardware model checking. 56-72
• 
  Akash Lal, Thomas W. Reps: Reducing concurrent analysis under a context bound to sequential analysis. 73-97
• 
  André Platzer, Edmund M. Clarke: Computing differential invariants of hybrid systems as fixedpoints. 98-120

Volume 35, Number 2, October 2009

• 
  Laura Bozzelli, Salvatore La Torre: Decision problems for lower/upper bound parametric timed automata. 121-151
• 
  Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. 152-189
• 
  Alain Girault, Éric Rutten: Automating the addition of fault tolerance with discrete controller synthesis. 190-225

Volume 35, Number 3, December 2009

• 
  Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang: Foreword: Special issue on numerical software verification. 227-228
• 
  Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Why does Astrée scale up? 229-264
• 
  Matthieu Martel: Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. 265-278
• 
  Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. 279-323
• 
  Tuba Yavuz-Kahveci, Tevfik Bultan: Action Language verifier: an infinite-state model checker for reactive software specifications. 325-367
• 
  Byron Cook, Andreas Podelski, Andrey Rybalchenko: Summarization for termination: no return! 369-387
• 
  Mirko Conrad: Testing-based translation validation of generated code in the context of IEC 61508. 389-401

last updated on Wed May 22 05:36:58 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page