Bernhard Gleiss

According to our database, Bernhard Gleiss authored at least 11 papers between 2017 and 2022.

Collaborative distances:

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

2022

The Rapid Software Verification Framework.

Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

Layered Clause Selection for Theory Reasoning.

Bernhard Gleiss, Martin Suda

CoRR, 2020

Trace Logic for Inductive Loop Reasoning.

Pamina Georgiou, Bernhard Gleiss, Laura Kovács

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Subsumption Demodulation in First-Order Theorem Proving.

Bernhard Gleiss, Laura Kovács, Jakob Rath

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Layered Clause Selection for Saturation-Based Theorem Proving.

Bernhard Gleiss, Martin Suda

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

Layered Clause Selection for Theory Reasoning - (Short Paper).

Bernhard Gleiss, Martin Suda

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Interactive Visualization of Saturation Attempts in Vampire.

Bernhard Gleiss, Laura Kovács, Lena Schnedlitz

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Verifying Relational Properties using Trace Logic.

Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Local Soundness for QBF Calculi.

Martin Suda, Bernhard Gleiss

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Loop Analysis by Quantification over Iterations.

Bernhard Gleiss, Laura Kovács, Simon Robillard

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Splitting Proofs for Interpolation.

Bernhard Gleiss, Laura Kovács, Martin Suda

Proceedings of the Automated Deduction - CADE 26, 2017