default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 39
Volume 39, Number 1, August 2011
- Paul C. Attie:
On the refinement of liveness properties of distributed systems. 1-46 - Christoffer Sloth
, Rafael Wisniewski:
Verification of continuous dynamical systems by timed automata. 47-82 - 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
- Armin Biere, Karen Yorav:
Preface. 115-116 - Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng:
Exploring structural symmetry automatically in symbolic trajectory evaluation. 117-143 - Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik:
Specification and encoding of transaction interaction properties. 144-164 - 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 - Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker:
Incremental preprocessing methods for use in BMC. 185-204 - 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
- Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority scheduling of distributed systems based on model checking. 229-245 - Isil Dillig, Thomas Dillig, Alex Aiken:
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. 246-260 - Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Antichains and compositional algorithms for LTL synthesis. 261-296 - 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.
last updated on 2025-12-04 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
