Publications, Talks

Publications:

• My publication list contains my full list of publications and talks. 

• Selected:
  • Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, and Eva Maria Wagner: Synthesis of Recursive Programs in Saturation. IJCAR 2024. 
  • Márton Hajdú, Laura Kovács, Michael Rawson: Rewriting and Inductive Reasoning. LPAR 2024. 
  • Julian Müllner, Marcel Moosbrugger, and Laura Kovács. Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. POPL 2024 
  • Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel,  Sophie Rain, and Michael Rawson: CheckMate: Automated Game-Theoretic Security Reasoning. CCS 2023. 
  • Sophie Rain, Zeta Avarikioti, Laura Kovács, and Matteo Maffei: Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF 2023
  • Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci and Laura Kovács. This is the Moment for Probabilistic Loops. OOPSLA 2022
  • Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovács: Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021. 
  • Petra Hozzová, Laura Kovács and Andrei Voronkov: Integer Induction in Saturation. CADE 2021.
  • Andreas Humenberger, Nikolaj Bjørner, Laura Kovács: Algebra-based Loop Synthesis. iFM 2020. 
  • Pamina Georgiou, Bernhard Gleiss, Laura Kovács: Trace Logic for Inductive Loop Reasoning. FMCAD 2020.
  • Bernhard Gleiss, Laura Kovács, Jakob Rath: Subsumption Demodulation in First-Order Theorem Proving. IJCAR 2020.
  • Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov: Induction with Generalization in Superposition Reasoning. CICM 2020.
  • Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei: Verifying Relational Properties using Trace Logic. FMCAD 2019.
  • Laura Kovács, Simon Robillard, Andrei Voronkov: Coming to Terms with Quantified Reasoning. POPL 2017. 
  • Laura Kovács and Andrei Voronkov: First-Order Theorem Proving and Vampire. CAV 2013.
  • Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the Grey Area of Proofs.  POPL 2012.
  • Laura Kovács and Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009.
  • Laura Kovács and Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009.
  • Laura Kovács: Invariant Generation for P-solvable Loops with Assignments. CSR 2008. Best paper award.
  • Laura Kovács: Reasoning Algebraically About P-solvable Loops. TACAS 2008.