Name Card

Full name Familienname, Vorname
Georgiou, Pamina
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (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
333_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
4Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
5Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Trace Reasoning for Formal Verification using the First-Order Superposition CalculusPräsentation Presentation2019
6Georgiou Pamina - 2019 - Trace Reasoning for formal verification guiding vampire...pdf.jpgGeorgiou, Pamina Trace Reasoning for formal verification : guiding vampire in inductionThesis Hochschulschrift 2019