default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 32
Volume 32, Number 1, February 2008
- Rajeev Alur, George J. Pappas
:
Introduction. 1 - Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Optimal infinite scheduling for multi-priced timed automata. 3-23 - Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constructing invariants for hybrid systems. 25-55 - Ashish Tiwari:
Abstractions for hybrid systems. 57-83
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 - Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
Verification of parametric concurrent systems with prioritised FIFO resource management. 129-172
Volume 32, Number 3, June 2008
- Dimitra Giannakopoulou, Corina S. Pasareanu:
Special issue on learning techniques for compositional reasoning. 173-174 - 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 - Wonhong Nam, P. Madhusudan, Rajeev Alur:
Automatic symbolic compositional verification by learning assumptions. 207-234 - Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Verification of evolving software via component substitutability analysis. 235-266 - Sagar Chaki, Ofer Strichman:
Three optimizations for Assume-Guarantee reasoning with L*. 267-284 - Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu:
Automated assumption generation for compositional verification. 285-301
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
