default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 48

> 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 48, Numbers 1-2, April 2016

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AltisenM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AltisenM16
Karine Altisen, Matthieu Moy:
Causality problem in real-time calculus. 1-45
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0002F16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0002F16
Andreas Bauer, Yliès Falcone:
Decentralised LTL monitoring. 46-93
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Attie16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Attie16
Paul C. Attie:
Synthesis of large dynamic concurrent programs from dynamic specifications. 94-147

Volume 48, Number 3, June 2016

Special issue: CAV 2014

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KwiatkowskaVBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KwiatkowskaVBB16
Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. 149-151
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FilliatreGP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FilliatreGP16
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich:
The spirit of ghost code. 152-174
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KomuravelliGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KomuravelliGC16
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki:
SMT-based model checking for recursive programs. 175-205
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiangRTTBD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiangRTTBD16
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters:
An efficient SMT solver for string constraints. 206-234
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SharmaA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SharmaA16
Rahul Sharma, Alex Aiken:
From invariant checking to invariant inference using randomized search. 235-256
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TiwariL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TiwariL16
Ashish Tiwari, Patrick Lincoln:
A search-based procedure for nonlinear real arithmetic. 257-273
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/WijsKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WijsKB16
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki:
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. 274-300

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.