Laura Kovács

Laura Kovács, Temur Kutsia: Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012)

Nikolaj Bjørner, Laura Kovács: Foreword. J. Symb. Comput. 47(12): 1413-1415 (2012)

Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov: Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156

Jens Knoop, Laura Kovács, Jakob Zwirchmayr: r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR 2012: 435-444

Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272

Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr: FFX: a portable WCET annotation language. RTNS 2012: 91-100

Laura Kovács, Béla Paláncz, Levente Kovács: Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. SYNASC 2012: 53-61

Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar: Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports 2(11): 45-65 (2012)

Laura Kovács, Georg Moser, Andrei Voronkov: On Transfinite Knuth-Bendix Orders. CADE 2011: 384-399

Jens Knoop, Laura Kovács, Jakob Zwirchmayr: Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference 2011: 227-242

Krystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15

Laura Kovács: Symbol Elimination in Program Analysis. SYNASC 2011: 12

Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64

Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. EPTCS 61, 2011

Martin Giese, Andrew Ireland, Laura Kovács: Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)

Krystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195

Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179

Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009: 199-213

Laura Kovács: A Complete Invariant Generation Approach for P-solvable Loops. Ershov Memorial Conference 2009: 242-256

Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485

Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. SYNASC 2009: 10

Laura Kovács: Aligator: A Mathematica Package for Invariant Generation (System Description). IJCAR 2008: 275-282

Laura Kovács: Invariant Generation for P-Solvable Loops with Assignments. CSR 2008: 349-359

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342

Laura Kovács: Reasoning Algebraically About P-Solvable Loops. TACAS 2008: 249-264

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)

Laura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74

Laura Ildikó Kovács, Tudor Jebelean: An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC 2005: 245-249

Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99