Bernhard Kragl

13 papers A* 2A 1B 5Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2021 B conf
The Civl Verifier.
FMCAD
Bernhard Kragl, Shaz Qadeer
2021 A* conf
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
SOSP
James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield
2020 A* conf
Inductive sequentialization of asynchronous programs.
PLDI
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
2020 B conf
Monitoring Event Frequencies.
CSL
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
2020 — conf
Refinement for Structured Concurrent Programs.
CAV (1)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
2020 — ch.
Verifikation Nebenläufiger Programme.
Ausgezeichnete Informatikdissertationen
Bernhard Kragl
2019 J jnl
Monitoring Event Frequencies.
CoRR
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
2018 — conf
Layered Concurrent Programs.
CAV (1)
Bernhard Kragl, Shaz Qadeer
2018 B conf
Synchronizing the Asynchronous.
CONCUR
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
2017 A conf
Faster Algorithms for Weighted Recursive State Machines.
ESOP
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
2017 J jnl
Faster Algorithms for Weighted Recursive State Machines.
CoRR
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
2014 B conf
Extensional Crisis and Proving Identity.
ATVA
Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov
2013 B conf
Tree Interpolation in Vampire.
LPAR
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl