Bernhard Kragl

According to our database, Bernhard Kragl authored at least 12 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

The Civl Verifier.

Bernhard Kragl, Shaz Qadeer

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact).

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Dataset, April, 2020

Verifikation Nebenläufiger Programme.

Bernhard Kragl

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

Inductive sequentialization of asynchronous programs.

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Monitoring Event Frequencies.

Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Refinement for Structured Concurrent Programs.

Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Synchronizing the Asynchronous.

Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Layered Concurrent Programs.

Bernhard Kragl, Shaz Qadeer

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Faster Algorithms for Weighted Recursive State Machines.

Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis

Proceedings of the Programming Languages and Systems, 2017

2014

Extensional Crisis and Proving Identity.

Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Tree Interpolation in Vampire.

Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013