default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 47

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on 12 of 12 records

view refined list in

export refined list as

showing all 12 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 47, Number 1, August 2015

Special issue on CAV 2013

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RummerHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RummerHK15
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
On recursion-free Horn clauses and Craig interpolation. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/EssenJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/EssenJ15
Christian von Essen, Barbara Jobstmann:
Program repair without regret. 26-50
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/VizelNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VizelNR15
Yakir Vizel, Alexander Nadel, Vadim Ryvchin:
Efficient generation of small interpolants in CNF. 51-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KroeningLW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KroeningLW15
Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Under-approximating loops in C programs for fast counterexample detection. 75-92
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DAntoniV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DAntoniV15
Loris D'Antoni, Margus Veanes:
Extended symbolic finite automata and transducers. 93-119
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0001LMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0001LMN15
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider:
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. 120-157
no results

Volume 47, Number 2, October 2015

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HeinenJKN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HeinenJKN15
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll:
Juggrnaut: using graph grammars for abstracting unbounded heap structures. 159-203
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ElenbogenKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ElenbogenKS15
Dima Elenbogen, Shmuel Katz, Ofer Strichman:
Proving mutual termination. 204-229
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChatterjeeCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChatterjeeCD15
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca:
CEGAR for compositional analysis of qualitative properties in Markov decision processes. 230-264
no results

Volume 47, Number 3, December 2015

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MhamdiHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MhamdiHT15
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Evaluation of anonymity and confidentiality protocols using theorem proving. 265-286
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiGS15
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). 287-301
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GoubaultP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GoubaultP15
Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. 302-360
no results

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.