Formal Methods in System Design, Volume 36

Volume 36, Number 1, February 2010

• Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
  Performability assessment by model checking of Markov reward models. 1-36
  
• Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
  Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. 37-64
  
• Laura Bozzelli, Aniello Murano, Adriano Peron:
  Pushdown module checking. 65-95
  

Volume 36, Number 2, June 2010

• Edmund M. Clarke, Alexandre Donzé, Axel Legay:
  On simulation-based probabilistic model checking of mixed-analog circuits. 97-113
  
• Kevin D. Jones, Victor Konrad, Dejan Nickovic:
  Analog property checkers: a DDR2 case study. 114-130
  
• Sebastian Steinhorst, Lars Hedrich:
  Advanced methods for equivalence checking of analog circuits with strong nonlinearities. 131-147
  
• Wim H. Hesselink, Muhammad Ikram Lali:
  Simple concurrent garbage collection almost without synchronization. 148-166
  
• Simon Bliudze, Joseph Sifakis:
  Causal semantics for the algebra of connectors. 167-194
  

Volume 36, Number 3, September 2010

• Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
  2009 CAV award announcement. 195-197
  
• Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier:
  Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. 198-222
  
• Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening:
  Context-aware counter abstraction. 223-245
  
• Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  A game-based abstraction-refinement framework for Markov decision processes. 246-280
  

Last update Wed May 22 17:35:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page