default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 36

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 36, Number 1, February 2010

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaierCHHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaierCHHK10
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performability assessment by model checking of Markov reward models. 1-36
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChenYGC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChenYGC10
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. 37-64
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BozzelliMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BozzelliMP10
Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown module checking. 65-95

Volume 36, Number 2, June 2010

Special Section on 'Analogue Verification'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ClarkeDL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ClarkeDL10
Edmund M. Clarke, Alexandre Donzé, Axel Legay:
On simulation-based probabilistic model checking of mixed-analog circuits. 97-113
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JonesKN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JonesKN10
Kevin D. Jones, Victor Konrad, Dejan Nickovic:
Analog property checkers: a DDR2 case study. 114-130
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SteinhorstH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SteinhorstH10
Sebastian Steinhorst, Lars Hedrich:
Advanced methods for equivalence checking of analog circuits with strong nonlinearities. 131-147
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HesselinkL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HesselinkL10
Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Simple concurrent garbage collection almost without synchronization. 148-166
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BliudzeS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BliudzeS10
Simon Bliudze, Joseph Sifakis:
Causal semantics for the algebra of connectors. 167-194

Volume 36, Number 3, September 2010

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BryantGSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BryantGSV10
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement. 195-197
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LampkaSOB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LampkaSOB10
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier:
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. 198-222
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaslerMWK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaslerMWK10
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening:
Context-aware counter abstraction. 223-245
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KattenbeltKNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KattenbeltKNP10
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A game-based abstraction-refinement framework for Markov decision processes. 246-280

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.