Bernhard Gleiss

16 papers A 2B 5Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2022 B conf
The Rapid Software Verification Framework.
FMCAD
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
2020 J jnl
Interactive Visualization of Saturation Attempts in Vampire.
CoRR
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
2020 — conf
Layered Clause Selection for Saturation-Based Theorem Proving.
PAAR+SC²@IJCAR
Bernhard Gleiss, Martin Suda
2020 — conf
Layered Clause Selection for Theory Reasoning - (Short Paper).
IJCAR (1)
Bernhard Gleiss, Martin Suda
2020 J jnl
Layered Clause Selection for Theory Reasoning.
CoRR
Bernhard Gleiss, Martin Suda
2020 — conf
Subsumption Demodulation in First-Order Theorem Proving.
IJCAR (1)
Bernhard Gleiss, Laura Kovács, Jakob Rath
2020 J jnl
Subsumption Demodulation in First-Order Theorem Proving.
CoRR
Bernhard Gleiss, Laura Kovács, Jakob Rath
2020 B conf
Trace Logic for Inductive Loop Reasoning.
FMCAD
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
2020 J jnl
Trace Logic for Inductive Loop Reasoning.
CoRR
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
2019 B conf
Interactive Visualization of Saturation Attempts in Vampire.
IFM
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
2019 B conf
Verifying Relational Properties using Trace Logic.
FMCAD
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
2019 J jnl
Verifying Relational Properties using Trace Logic.
CoRR
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
2018 A conf
Local Soundness for QBF Calculi.
SAT
Martin Suda, Bernhard Gleiss
2018 B conf
Loop Analysis by Quantification over Iterations.
LPAR
Bernhard Gleiss, Laura Kovács, Simon Robillard
2017 A conf
Splitting Proofs for Interpolation.
CADE
Bernhard Gleiss, Laura Kovács, Martin Suda
2017 J jnl
Splitting Proofs for Interpolation.
CoRR
Bernhard Gleiss, Laura Kovács, Martin Suda