| * | 2009 |
|---|
| 10 | EE | Laura Kovács,
Andrei Voronkov:
Interpolation and Symbol Elimination.
CADE 2009: 199-213 |
| 9 | EE | Laura Kovács,
Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.
FASE 2009: 470-485 |
| 2008 |
|---|
| 8 | EE | Laura Kovács:
Invariant Generation for P-Solvable Loops with Assignments.
CSR 2008: 349-359 |
| 7 | EE | Laura Kovács:
Aligator: A Mathematica Package for Invariant Generation (System Description).
IJCAR 2008: 275-282 |
| 6 | EE | Thomas A. Henzinger,
Thibaud Hottelier,
Laura Kovács:
Valigator: A Verification Tool with Bound and Invariant Generation.
LPAR 2008: 333-342 |
| 5 | EE | Laura Kovács:
Reasoning Algebraically About P-Solvable Loops.
TACAS 2008: 249-264 |
| 2006 |
|---|
| 4 | EE | Laura Kovács,
Nikolaj Popov,
Tudor Jebelean:
Combining Logic and Algebraic Techniques for Program Verification in Theorema.
ISoLA 2006: 67-74 |
| 3 | EE | Bruno Buchberger,
Adrian Craciun,
Tudor Jebelean,
Laura Kovács,
Temur Kutsia,
Koji Nakagawa,
Florina Piroi,
Nikolaj Popov,
Judit Robu,
Markus Rosenkranz:
Theorema: Towards computer-aided mathematical theory exploration.
J. Applied Logic 4(4): 470-504 (2006) |
| 2005 |
|---|
| 2 | EE | Laura Ildikó Kovács,
Tudor Jebelean:
An Algorithm for Automated Generation of Invariants for Loops with Conditionals.
SYNASC 2005: 245-249 |
| 2004 |
|---|
| 1 | | Tudor Jebelean,
Laura Kovács,
Nikolaj Popov:
Experimental Program Verification in the Theorema System.
ISoLA (Preliminary proceedings) 2004: 92-99 |
