Bernhard Gleiss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2017–2022
Best venue rank
A
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FMCAD | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2020 | CADE | Layered Clause Selection for Theory Reasoning - (Short Paper). | Bernhard Gleiss, Martin Suda |
| 2020 | CADE | Layered Clause Selection for Saturation-Based Theorem Proving. | Bernhard Gleiss, Martin Suda |
| 2020 | CADE | Subsumption Demodulation in First-Order Theorem Proving. | Bernhard Gleiss, Laura Kovcs, Jakob Rath |
| 2020 | FMCAD | Trace Logic for Inductive Loop Reasoning. | Pamina Georgiou, Bernhard Gleiss, Laura Kovcs |
| 2019 | FMCAD | Verifying Relational Properties using Trace Logic. | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovcs, Matteo Maffei |
| 2019 | IFM | Interactive Visualization of Saturation Attempts in Vampire. | Bernhard Gleiss, Laura Kovcs, Lena Schnedlitz |
| 2018 | LPAR | Loop Analysis by Quantification over Iterations. | Bernhard Gleiss, Laura Kovcs, Simon Robillard |
| 2018 | SAT | Local Soundness for QBF Calculi. | Martin Suda, Bernhard Gleiss |
| 2017 | CADE | Splitting Proofs for Interpolation. | Bernhard Gleiss, Laura Kovcs, Martin Suda |