default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 60
Volume 60, Number 1, February 2022
- Rajeev Alur, Joseph Devietti
, Omar S. Navarro Leija, Nimit Singhania:
Static detection of uncoalesced accesses in GPU programs. 1-32 - Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov automata with multiple objectives. 33-86 - 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
- Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini:
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. 117-146 - Léo Henry, Thierry Jéron, Nicolas Markey:
Control strategies for off-line testing of timed systems. 147-194 - Tayssir Touili, Xin Ye:
LTL model checking of self modifying code. 195-227 - Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. 228-258 - Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Specifiable robustness in reactive synthesis. 259-276 - Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-based Runtime Verification. 277-324 - 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
- Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). 327-328 - Pritam Roy, Sagar Chaki:
Achieving high coverage in hardware equivalence checking via concolic verification. 329-349 - Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
SMT-based verification of program changes through summary repair. 350-380 - Mathias Fleury, Armin Biere:
Mining definitions in Kissat with Kittens. 381-404 - Klaus Havelund, Doron Peled:
On monitoring linear temporal properties. 405-425 - Vijay Ganesh, Sanjit A. Seshia, Somesh Jha:
Machine learning and logic: a new frontier in artificial intelligence. 426-451 - 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.
last updated on 2025-12-04 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
