default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 63

> 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 63, Number 1, October 2024

Special issue on 'CAV 2020 - 2021'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlbarghouthiLSU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlbarghouthiLSU24
Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. 1-4
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BendikM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BendikM24
Jaroslav Bendík, Kuldeep S. Meel:
Hashing-based approximate counting of minimal unsatisfiable subsets. 5-39
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChatterjeeKMWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChatterjeeKMWW24
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler:
Stochastic games with lexicographic objectives. 40-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KrishnanCSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KrishnanCSG24
Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel:
Global guidance for local generalization in model checking. 81-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/ArmstrongCSPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ArmstrongCSPS24
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell:
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version). 110-133
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CogumbreiroLLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CogumbreiroLLZ24
Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli:
Memory access protocols: certified data-race freedom for GPU kernels. 134-171
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FarzanN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FarzanN24
Azadeh Farzan, Victor Nicolet:
Partial bounding for recursive function synthesis. 172-205
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GirolFB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GirolFB24
Guillaume Girol, Benjamin Farinier, Sébastien Bardin:
Introducing robust reachability. 206-234
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/LefaucheuxOPW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LefaucheuxOPW24
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous invariants for linear systems. 235-271

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.