default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 55

> 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 55, Number 1, December 2019

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MilicevicNKJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MilicevicNKJ19
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson:
Alloy*: a general-purpose higher-order relational constraint solver. 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JancikKAFHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JancikKAFHS19
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Exploiting partial variable assignment in interpolation-based model checking. 33-71
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SanchezSABBCFFK19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). 72

Volume 55, Number 2, December 2019

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ReynoldsKTBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ReynoldsKTBD19
Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters:
Refutation-based synthesis in SMT. 73-102
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BloemFGKPRR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BloemFGKPRR19
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck:
Synthesizing adaptive test strategies from temporal logic specifications. 103-135

Volume 55, Number 3, November 2020

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HolikIRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HolikIRV20
Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction refinement and antichains for trace inclusion of infinite state systems. 137-170
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/GainerLDHF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GainerLDHF20
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-scale verification of distributed synchronisation. 171-221

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.