Name Card

Full name Familienname, Vorname
Gleiss, Bernhard
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-15 of 15 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
2Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
3Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Subsumption Demodulation in First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2020
4Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
5Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
6Gleiss Bernhard - 2020 - Automated software verification using...pdf.jpgGleiss, Bernhard Automated software verification using superposition-based theorem provingThesis Hochschulschrift 2020
733_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
8Gleiss, Bernhard ; Kovács, Laura ; Schnedlitz, Lena Interactive Visualization of Saturation Attempts in VampireKonferenzbeitrag Inproceedings 2019
9Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
10Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Trace Reasoning for Formal Verification using the First-Order Superposition CalculusPräsentation Presentation2019
11Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Forward Subsumption Demodulation - Fast Conditional Rewriting in VampirePräsentation Presentation2019
12Suda, Martin ; Gleiss, Bernhard Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018
13Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
14Gleiss, Bernhard ; Kovács, Laura ; Suda, Martin Splitting Proofs for InterpolationKonferenzbeitrag Inproceedings 2017
15Gleiss Bernhard - 2016 - Interpolation and local proofs.pdf.jpgGleiss, Bernhard Interpolation and local proofsThesis Hochschulschrift 2016