default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 60

> 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 60, Number 1, February 2022

Special Issue on CAV 2017

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurDLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurDLS22
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania:
Static detection of uncoalesced accesses in GPU programs. 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/QuatmannJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/QuatmannJK22
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov automata with multiple objectives. 33-86
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KatzBDJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KatzBDJK22
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer:
Reluplex: a calculus for reasoning about deep neural networks. 87-116

Volume 60, Number 2, April 2022

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CabodiCPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CabodiCPP22
Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini:
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. 117-146
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HenryJM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HenryJM22
Léo Henry, Thierry Jéron, Nicolas Markey:
Control strategies for off-line testing of timed systems. 147-194
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TouiliY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TouiliY22
Tayssir Touili, Xin Ye:
LTL model checking of self modifying code. 195-227
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakrabortyFTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakrabortyFTV22
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. 228-258
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BloemCES22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BloemCES22
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Specifiable robustness in reactive synthesis. 259-276
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiTT22
Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-based Runtime Verification. 277-324
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KourtisDFL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KourtisDFL22
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa:
Correction: Parameterized verification of leader/follower systems via first-order temporal logic. 325-326

Volume 60, Number 3, June 2022

Special issue 'In Memory of Ed Clarke'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GaoGZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GaoGZ22
Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). 327-328
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RoyC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RoyC22
Pritam Roy, Sagar Chaki:
Achieving high coverage in hardware equivalence checking via concolic verification. 329-349
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/AsadiBHFS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AsadiBHFS22
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
SMT-based verification of program changes through summary repair. 350-380
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FleuryB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FleuryB22
Mathias Fleury, Armin Biere:
Mining definitions in Kissat with Kittens. 381-404
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HavelundP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HavelundP22
Klaus Havelund, Doron Peled:
On monitoring linear temporal properties. 405-425
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GaneshSJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GaneshSJ22
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha:
Machine learning and logic: a new frontier in artificial intelligence. 426-451
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGMRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGMRT22
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. 452-481

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.