Tree Interpolation in Vampire. - Régis Blanc; Ashutosh Gupta; Laura Kovács; Bernhard Kragl (LPAR, 2013)

Extensional Crisis and Proving Identity. - Ashutosh Gupta; Laura Kovács; Bernhard Kragl; Andrei Voronkov (ATVA, 2014)

Faster Algorithms for Weighted Recursive State Machines. - Krishnendu Chatterjee; Bernhard Kragl; Samarth Mishra; Andreas Pavlogiannis (ESOP, 2017)

Layered Concurrent Programs. - Bernhard Kragl; Shaz Qadeer (CAV (1), 2018)

Synchronizing the Asynchronous. - Bernhard Kragl; Shaz Qadeer; Thomas A. Henzinger (CONCUR, 2018)

Refinement for Structured Concurrent Programs. - Bernhard Kragl; Shaz Qadeer; Thomas A. Henzinger (CAV (1), 2020)

Monitoring Event Frequencies. - Thomas Ferrère; Thomas A. Henzinger; Bernhard Kragl (CSL, 2020)

Inductive sequentialization of asynchronous programs. - Bernhard Kragl; Constantin Enea; Thomas A. Henzinger; Suha Orhun Mutluergil; Shaz Qadeer (PLDI, 2020)

Verifikation Nebenläufiger Programme. - Bernhard Kragl (Ausgezeichnete Informatikdissertationen, 2020)

Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact). - Bernhard Kragl; Constantin Enea; Thomas A. Henzinger; Suha Orhun Mutluergil; Shaz Qadeer (Zenodo, 2020)

The Civl Verifier. - Bernhard Kragl; Shaz Qadeer (FMCAD, 2021)

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. - 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 (SOSP, 2021)