Formal Methods in System Design, Volume 28

Volume 28, Number 1, January 2006

• Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
  Compositional SCC Analysis for Language Emptiness. 5-36
  Electronic Edition (link) BibTeX
• Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
  An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. 37-56
  Electronic Edition (link) BibTeX
• Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar:
  Model Checking with Strong Fairness. 57-84
  Electronic Edition (link) BibTeX

Volume 28, Number 2, March 2006

• Sandeep K. Shukla, Michael Theobald:
  Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. 91-92
  Electronic Edition (link) BibTeX
• Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
  A Framework for Modeling the Distributed Deployment of Synchronous Designs. 93-110
  Electronic Edition (link) BibTeX
• Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
  Concurrency in Synchronous Systems. 111-130
  Electronic Edition (link) BibTeX
• Jean-Pierre Talpin, Paul Le Guernic:
  An algebraic theory for behavioral modeling and protocol synthesis in system design. 131-151
  Electronic Edition (link) BibTeX
• Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma:
  Reasoning about synchronization in GALS systems. 153-169
  Electronic Edition (link) BibTeX
• Uri Frank, Tsachy Kapschitz, Ran Ginosar:
  A predictive synchronizer for periodic clock domains. 171-186
  Electronic Edition (link) BibTeX

Volume 28, Number 3, May 2006

• Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
  Coverage metrics for temporal logic model checking^*. 189-212
  Electronic Edition (link) BibTeX
• Muffy Calder, Alice Miller:
  Feature interaction detection by pairwise analysis of LTL properties - A case study. 213-261
  Electronic Edition (link) BibTeX
• Scott D. Stoller, Ernie Cohen:
  Optimistic synchronization-based state-space reduction. 263-289
  Electronic Edition (link) BibTeX