Pamina Georgiou

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Inductive Reasoning

Derivation Rules

Top Venues

Publications

Pamina Georgiou, Márton Hajdú, Laura Kovács
Saturating Sorting without Sorts. LPAR (2024)
Pamina Georgiou, Márton Hajdú, Laura Kovács
Saturating Sorting without Sorts. CoRR (2024)
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
The Rapid Software Verification Framework. FMCAD (2022)
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Lemmaless Induction in Trace Logic. CICM (2022)
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
Trace Logic for Inductive Loop Reasoning. CoRR (2020)
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
Trace Logic for Inductive Loop Reasoning. FMCAD (2020)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. CoRR (2019)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. FMCAD (2019)