Formal Methods in System Design, Volume 34

Volume 34, Number 1, February 2009

• Véronique Cortier, Stéphanie Delaune:
  Safely composing security protocols. 1-36
  
• Hana Chockler, Ofer Strichman:
  Before and after vacuity. 37-58
  
• Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
  Timed verification of the generic architecture of a memory circuit using parametric timed automata. 59-81
  

Volume 34, Number 2, April 2009

• Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
  From liveness to promptness. 83-103
  
• Ariel Cohen, Kedar S. Namjoshi:
  Local proofs for global safety properties. 104-125
  
• Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
  Approximated parameterized verification of infinite-state processes with global conditions. 126-156
  
• Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
  Hybrid systems: from verification to falsification by combining motion planning and discrete search. 157-182
  
• Thao Dang, Tarik Nahhal:
  Coverage-guided test generation for continuous and hybrid systems. 183-213
  

Volume 34, Number 3, June 2009

• Paul Gastin, Nathalie Sznajder, Marc Zeitoun:
  Distributed synthesis for well-connected architectures. 215-237
  
• Moez Krichen, Stavros Tripakis:
  Conformance testing for real-time systems. 238-304