More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 28

> 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 28, Number 1, January 2006

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WangBHRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WangBHRS06
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness. 5-36
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BloemGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BloemGS06
Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. 37-56
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KestenPRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KestenPRS06
Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar:
Model Checking with Strong Fairness. 57-84

Volume 28, Number 2, March 2006

Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous (GALS) Systems

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ShuklaT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ShuklaT06
Sandeep K. Shukla, Michael Theobald:
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. 91-92
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CarloniS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CarloniS06
Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A Framework for Modeling the Distributed Deployment of Synchronous Designs. 93-110
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Potop-ButucaruCB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Potop-ButucaruCB06
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. 111-130
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TalpinG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TalpinG06
Jean-Pierre Talpin, Paul Le Guernic:
An algebraic theory for behavioral modeling and protocol synthesis in system design. 131-151
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakrabortyMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakrabortyMS06
Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma:
Reasoning about synchronization in GALS systems. 153-169
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FrankKG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FrankKG06
Uri Frank, Tsachy Kapschitz, Ran Ginosar:
A predictive synchronizer for periodic clock domains. 171-186

Volume 28, Number 3, May 2006

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChocklerKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChocklerKV06
Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for temporal logic model checking^*. 189-212
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CalderM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CalderM06
Muffy Calder, Alice Miller:
Feature interaction detection by pairwise analysis of LTL properties - A case study. 213-261
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StollerC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StollerC06
Scott D. Stoller, Ernie Cohen:
Optimistic synchronization-based state-space reduction. 263-289

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.