Bernhard Kragl

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 10

Top Topics

Complex Event Processing

Concurrent Programs

Designated Verifier

Top Venues

Publications

Bernhard Kragl, Shaz Qadeer
The Civl Verifier. FMCAD (2021)
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
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP (2021)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CSL (2020)
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
Inductive sequentialization of asynchronous programs. PLDI (2020)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
Refinement for Structured Concurrent Programs. CAV (1) (2020)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CoRR (2019)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
Synchronizing the Asynchronous. CONCUR (2018)
Bernhard Kragl, Shaz Qadeer
Layered Concurrent Programs. CAV (1) (2018)
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
Faster Algorithms for Weighted Recursive State Machines. CoRR (2017)
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
Faster Algorithms for Weighted Recursive State Machines. ESOP (2017)
Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov
Extensional Crisis and Proving Identity. ATVA (2014)
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
Tree Interpolation in Vampire. LPAR (2013)