Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFormal Methods in System Design, Volume 29
Volume 29, Number 1, July 2006
Wan Fokkink, Jun Pang, Jaco van de Pol:
Cones and foci: A mechanical framework for protocol verification. 1-31Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. 33-78Nicolas Halbwachs, David Merchat, Laure Gonnord:
Some ways to reduce the space dimension in polyhedra computations. 79-95Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani:
On using priced timed automata to achieve optimal scheduling. 97-114
Volume 29, Number 2, September 2006
Lubos Brim, Martin Leucker:
Foreword. 115-116Jiri Barnat, Ivana Cerná:
Distributed breadth-first search LTL model checking. 117-134Cornelia P. Inggs, Howard Barringer:
CTL* model checking on a shared-memory architecture. 135-155Orna Grumberg, Tamir Heyman, Assaf Schuster:
A work-efficient distributed algorithm for reachability analysis. 157-175Alexander Bell, Boudewijn R. Haverkort:
Distributed disk-based algorithms for model checking very large Markov chains. 177-196Ví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
Lars Michael Kristensen, Karsten Schmidt, Antti Valmari:
Question-guided stubborn set methods for state properties. 215-251Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. 253-293Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking. 295-344
last updated on 2019-10-18 22:56 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
