default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 29

> 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 29, Number 1, July 2006

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FokkinkPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FokkinkPP06
Wan J. Fokkink, Jun Pang, Jaco van de Pol:
Cones and foci: A mechanical framework for protocol verification. 1-31
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KwiatkowskaNPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KwiatkowskaNPS06
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. 33-78
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HalbwachsMG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HalbwachsMG06
Nicolas Halbwachs, David Merchat, Laure Gonnord:
Some ways to reduce the space dimension in polyhedra computations. 79-95
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RasmussenLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RasmussenLS06
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani:
On using priced timed automata to achieve optimal scheduling. 97-114

Volume 29, Number 2, September 2006

Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrimL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrimL06
Lubos Brim, Martin Leucker:
Foreword. 115-116
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BarnatC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BarnatC06
Jiri Barnat, Ivana Cerná:
Distributed breadth-first search LTL model checking. 117-134
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/InggsB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/InggsB06
Cornelia P. Inggs, Howard Barringer:
CTL^* model checking on a shared-memory architecture. 135-155
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GrumbergHS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GrumbergHS06
Orna Grumberg, Tamir Heyman, Assaf Schuster:
A work-efficient distributed algorithm for reachability analysis. 157-175
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BellH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BellH06
Alexander Bell, Boudewijn R. Haverkort:
Distributed disk-based algorithms for model checking very large Markov chains. 177-196
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrabermanOS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrabermanOS06
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
Dealing with practical limitations of distributed timed model checking for timed automata. 197-214

Volume 29, Number 3, November 2006

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KristensenSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KristensenSV06
Lars Michael Kristensen, Karsten Schmidt, Antti Valmari:
Question-guided stubborn set methods for state properties. 215-251
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/OlveczkyMT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/OlveczkyMT06
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. 253-293
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChechikGDLE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChechikGDLE06
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking. 295-344

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.