Follow
Laura Kovacs
Laura Kovacs
TU Wien, Vienna, Austria
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
First-Order Theorem Proving and Vampire
L Kovács, A Voronkov
International Conference on Computer Aided Verification, 1-35, 2013
7302013
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...
Journal of applied logic 4 (4), 470-504, 2006
2292006
Finding loop invariants for programs over arrays using a theorem prover
L Kovács, A Voronkov
International Conference on Fundamental Approaches to Software Engineering …, 2009
2102009
Reasoning algebraically about P-solvable loops
L Kovács
International Conference on Tools and Algorithms for the Construction and …, 2008
1122008
Interpolation and symbol elimination
L Kovács, A Voronkov
International Conference on Automated Deduction, 199-213, 2009
922009
ABC: algebraic bound computation for loops
R Blanc, TA Henzinger, T Hottelier, L Kovács
International Conference on Logic for Programming Artificial Intelligence …, 2010
762010
Coming to terms with quantified reasoning
L Kovács, S Robillard, A Voronkov
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
632017
Symbolic loop bound computation for WCET analysis
J Knoop, L Kovács, J Zwirchmayr
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
632011
Invariant generation for multi-path loops with polynomial assignments
A Humenberger, M Jaroschek, L Kovács
International Conference on Verification, Model Checking, and Abstract …, 2017
552017
An algorithm for automated generation of invariants for loops with conditionals
LI Kovács, T Jebelean
Seventh International Symposium on Symbolic and Numeric Algorithms for …, 2005
532005
Interpolation and symbol elimination in Vampire
K Hoder, L Kovács, A Voronkov
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
522010
WCET squeezing: On-demand feasibility refinement for proven precise WCET-bounds
J Knoop, L Kovács, J Zwirchmayr
Proceedings of the 21st International Conference on Real-Time Networks and …, 2013
492013
Invariant generation in vampire
K Hoder, L Kovács, A Voronkov
International Conference on Tools and Algorithms for the Construction and …, 2011
492011
Automated generation of non-linear loop invariants utilizing hypergeometric sequences
A Humenberger, M Jaroschek, L Kovács
Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017
442017
Automatic generation of moment-based invariants for prob-solvable loops
E Bartocci, L Kovács, M Stankovič
International Symposium on Automated Technology for Verification and …, 2019
432019
Playing in the grey area of proofs
K Hoder, L Kovács, A Voronkov
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
402012
WCET tool challenge 2011: Report
R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ...
11th International Workshop on Worst-Case Execution-Time Analysis, 2011
392011
Automated invariant generation by algebraic techniques for imperative program verification in theorema
L Kovacs
na, 2007
382007
Induction with generalization in superposition reasoning
M Hajdú, P Hozzová, L Kovács, J Schoisswohl, A Voronkov
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
372020
The auspicious couple: Symbolic execution and WCET analysis
A Biere, J Knoop, L Kovács, J Zwirchmayr
13th International Workshop on Worst-Case Execution Time Analysis (2013), 2013
372013
The system can't perform the operation now. Try again later.
Articles 1–20