default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 49

> 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 49, Numbers 1-2, October 2016

Special issue on Runtime Verification 2014

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BefroueiWW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BefroueiWW16
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and mining of traces to explain concurrency bugs. 1-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/MitschP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MitschP16
Stefan Mitsch, André Platzer:
ModelPlex: verified runtime validation of verified cyber-physical system models. 33-74
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasinCEHKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasinCEHKM16
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel:
Scalable offline monitoring of temporal specifications. 75-108
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ColomboF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ColomboF16
Christian Colombo, Yliès Falcone:
Organising LTL monitors over distributed systems with a global clock. 109-158

Volume 49, Number 3, December 2016

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GhassemiF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GhassemiF16
Fatemeh Ghassemi, Wan J. Fokkink:
Model checking mobile ad hoc networks. 159-189
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGMT16
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. 190-218
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/EsparzaKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/EsparzaKS16
Javier Esparza, Jan Kretínský, Salomon Sickert:
From LTL to deterministic automata - A safraless compositional approach. 219-271
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JohnC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JohnC16
Ajith K. John, Supratik Chakraborty:
A layered algorithm for quantifier elimination from linear modular constraints. 272-323

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.