Pamina Georgiou

According to our database, Pamina Georgiou authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

2024

Saturating Sorting without Sorts.

Pamina Georgiou, Márton Hajdú, Laura Kovács

CoRR, 2024

2022

Lemmaless Induction in Trace Logic.

Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 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

Trace Logic for Inductive Loop Reasoning.

Pamina Georgiou, Bernhard Gleiss, Laura Kovács

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

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