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
• 
  Roderick Bloem, Harold N. Gabow, Fabio Somenzi: An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. 37-56
• 
  Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. 57-84

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
• 
  Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. 93-110
• 
  Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. 111-130
• 
  Jean-Pierre Talpin, Paul Le Guernic: An algebraic theory for behavioral modeling and protocol synthesis in system design. 131-151
• 
  Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma: Reasoning about synchronization in GALS systems. 153-169
• 
  Uri Frank, Tsachy Kapschitz, Ran Ginosar: A predictive synchronizer for periodic clock domains. 171-186

Volume 28, Number 3, May 2006

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

last updated on Thu May 23 04:12:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page