Publications, Talks

Publications:

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

• New:
  • Sophie Rain, Zeta Avarikioti, Laura Kovács, and Matteo Maffei. 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
  • Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács and Mooly Sagiv: Summing Up Smart Transitions. CAV 2021. 
  • Petra Hozzová, Laura Kovács and Andrei Voronkov: Integer Induction in Saturation. CADE 2021.
  • Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovács: Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021. 
  • Ezio Bartocci, Laura Kovács, Miroslav Stankovic: Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020.

• Selected:
  • Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov: Induction with Generalization in Superposition Reasoning. CICM 2020.
  • 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.
  • Ezio Bartocci, Laura Kovács, Miroslav Stankovic: Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019.
  • Andreas Humenberger, Maximillian Jaroschek, Laura Kovács: Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. ISSAC 2017.
  • 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.