Formal Methods in System Design, Volume 32

Volume 32, Number 1, February 2008

• Rajeev Alur, George J. Pappas:
  Introduction. 1
  Electronic Edition (link) BibTeX
• Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
  Optimal infinite scheduling for multi-priced timed automata. 3-23
  Electronic Edition (link) BibTeX
• Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
  Constructing invariants for hybrid systems. 25-55
  Electronic Edition (link) BibTeX
• Ashish Tiwari:
  Abstractions for hybrid systems. 57-83
  Electronic Edition (link) BibTeX

Volume 32, Number 2, April 2008

• Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig:
  A congruence relation for sPBC. 85-128
  Electronic Edition (link) BibTeX
• Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
  Verification of parametric concurrent systems with prioritised FIFO resource management. 129-172
  Electronic Edition (link) BibTeX

Volume 32, Number 3, June 2008

• Dimitra Giannakopoulou, Corina S. Pasareanu:
  Special issue on learning techniques for compositional reasoning. 173-174
  Electronic Edition (link) BibTeX
• Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer:
  Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. 175-205
  Electronic Edition (link) BibTeX
• Wonhong Nam, P. Madhusudan, Rajeev Alur:
  Automatic symbolic compositional verification by learning assumptions. 207-234
  Electronic Edition (link) BibTeX
• Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
  Verification of evolving software via component substitutability analysis. 235-266
  Electronic Edition (link) BibTeX
• Sagar Chaki, Ofer Strichman:
  Three optimizations for Assume-Guarantee reasoning with L^*. 267-284
  Electronic Edition (link) BibTeX
• Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu:
  Automated assumption generation for compositional verification. 285-301
  Electronic Edition (link) BibTeX