default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 32

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on 12 of 12 records

view refined list in

export refined list as

showing all 12 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 32, Number 1, February 2008

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurP08
Rajeev Alur, George J. Pappas:
Introduction. 1
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouyerBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouyerBL08
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Optimal infinite scheduling for multi-priced timed automata. 3-23
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SankaranarayananSM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SankaranarayananSM08
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constructing invariants for hybrid systems. 25-55
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Tiwari08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Tiwari08
Ashish Tiwari:
Abstractions for hybrid systems. 57-83
no results

Volume 32, Number 2, April 2008

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MaciaRCF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MaciaRCF08
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig:
A congruence relation for sPBC. 85-128
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouajjaniHV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouajjaniHV08
Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
Verification of parametric concurrent systems with prioritised FIFO resource management. 129-172
no results

Volume 32, Number 3, June 2008

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GiannakopoulouP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GiannakopoulouP08
Dimitra Giannakopoulou, Corina S. Pasareanu:
Special issue on learning techniques for compositional reasoning. 173-174
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PasareanuGBCB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PasareanuGBCB08
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
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/NamMA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/NamMA08
Wonhong Nam, P. Madhusudan, Rajeev Alur:
Automatic symbolic compositional verification by learning assumptions. 207-234
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiCSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiCSS08
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Verification of evolving software via component substitutability analysis. 235-266
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiS08
Sagar Chaki, Ofer Strichman:
Three optimizations for Assume-Guarantee reasoning with L^*. 267-284
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GuptaMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GuptaMF08
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu:
Automated assumption generation for compositional verification. 285-301
no results

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.