default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 46

> 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 46, Number 1, February 2015

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AartsJUV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AartsJUV15
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager:
Generating models of infinite-state communication protocols using regular inference with abstraction. 1-41
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BertrandSJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BertrandSJK15
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen:
A game approach to determinize timed automata. 42-80
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Ben-DavidCFR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Ben-DavidCFR15
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah:
Vacuity in practice: temporal antecedent failure. 81-104

Volume 46, Number 2, April 2015

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PrabhakarDM015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PrabhakarDM015
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid automata-based CEGAR for rectangular hybrid systems. 105-134
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CabodiLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CabodiLV15
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto:
Optimization techniques for craig interpolant compaction in unbounded model checking. 135-162
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RouxG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RouxG15
Pierre Roux, Pierre-Loïc Garoche:
Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. 163-196

Volume 46, Number 3, June 2015

Special issue on Runtime Verification 2013

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DemangeonHHNY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DemangeonHHNY15
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. 197-225
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FrancalanzaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FrancalanzaS15
Adrian Francalanza, Aldrin Seychell:
Synthesising correct concurrent runtime monitors. 226-261
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasinKMZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasinKMZ15
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring of temporal first-order properties with aggregations. 262-285
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0002KV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0002KV15
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
The ins and outs of first-order runtime verification. 286-316
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BerkovichBF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BerkovichBF15
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification with minimal intrusion through parallelism. 317-348

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.