default search action
Formal Methods in System Design, Volume 34
Volume 34, Number 1, February 2009
- Véronique Cortier, Stéphanie Delaune:
Safely composing security protocols. 1-36 - Hana Chockler
, Ofer Strichman
Before and after vacuity. 37-58 - Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
Timed verification of the generic architecture of a memory circuit using parametric timed automata. 59-81
Volume 34, Number 2, April 2009
- Orna Kupferman, Nir Piterman
From liveness to promptness. 83-103 - Ariel Cohen, Kedar S. Namjoshi:
Local proofs for global safety properties. 104-125 - Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. 126-156 - Erion Plaku
Hybrid systems: from verification to falsification by combining motion planning and discrete search. 157-182 - Thao Dang, Tarik Nahhal:
Coverage-guided test generation for continuous and hybrid systems. 183-213
Volume 34, Number 3, June 2009
- Paul Gastin, Nathalie Sznajder, Marc Zeitoun
Distributed synthesis for well-connected architectures. 215-237 - Moez Krichen, Stavros Tripakis
Conformance testing for real-time systems. 238-304
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 2024-12-13 19:02 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: