default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 39

> Home > Journals > Formal Methods in System Design

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 39, Number 1, August 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Attie11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Attie11
Paul C. Attie:
On the refinement of liveness properties of distributed systems. 1-46
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SlothW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SlothW11
Christoffer Sloth, Rafael Wisniewski:
Verification of continuous dynamical systems by timed automata. 47-82
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DonaldsonKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DonaldsonKR11
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer:
Automatic analysis of DMA races using model checking and k-induction. 83-113

Volume 39, Number 2, October 2011

Special issue on Hardware Verification Workshop (HWVW '10)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BiereY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BiereY11
Armin Biere, Karen Yorav:
Preface. 115-116
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiHSZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiHSZ11
Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng:
Exploring structural symmetry automatically in symbolic trajectory evaluation. 117-143
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SethiMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SethiMM11
Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik:
Specification and encoding of transaction interaction properties. 144-164
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaarirBEIMPY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaarirBEIMPY11
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès:
Feasibility analysis for robustness quantification by symbolic model checking. 165-184
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KupferschmidLSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KupferschmidLSB11
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker:
Incremental preprocessing methods for use in BMC. 185-204
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CabodiNQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CabodiNQ11
Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
Benchmarking a model checker for algorithmic improvements and tuning for performance. 205-227

Volume 39, Number 3, December 2011

Special issue on Computer-Aided Verification (CAV'09)

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasuBPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasuBPS11
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority scheduling of distributed systems based on model checking. 229-245
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DilligDA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DilligDA11
Isil Dillig, Thomas Dillig, Alex Aiken:
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. 246-260
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FiliotJR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FiliotJR11
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Antichains and compositional algorithms for LTL synthesis. 261-296
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GuerraouiHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GuerraouiHS11
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Verification of STM on relaxed memory models. 297-331

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.