| First-Order Theorem Proving and Vampire L Kovács, A Voronkov International Conference on Computer Aided Verification, 1-35, 2013 | 694 | 2013 |
| 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 | 223 | 2006 |
| 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 | 203 | 2009 |
| Reasoning algebraically about P-solvable loops L Kovács International Conference on Tools and Algorithms for the Construction and …, 2008 | 102 | 2008 |
| Interpolation and symbol elimination L Kovács, A Voronkov International Conference on Automated Deduction, 199-213, 2009 | 89 | 2009 |
| ABC: algebraic bound computation for loops R Blanc, TA Henzinger, T Hottelier, L Kovács International Conference on Logic for Programming Artificial Intelligence …, 2010 | 76 | 2010 |
| Symbolic loop bound computation for WCET analysis J Knoop, L Kovács, J Zwirchmayr International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 62 | 2011 |
| 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 | 58 | 2017 |
| 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 | 55 | 2005 |
| Interpolation and symbol elimination in Vampire K Hoder, L Kovács, A Voronkov Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 52 | 2010 |
| 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 | 51 | 2013 |
| 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 | 48 | 2017 |
| Invariant generation in vampire K Hoder, L Kovács, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2011 | 47 | 2011 |
| 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 | 39 | 2017 |
| 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 | 39 | 2013 |
| 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 | 39 | 2012 |
| 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 | 38 | 2011 |
| Automated invariant generation by algebraic techniques for imperative program verification in theorema L Kovacs na, 2007 | 36 | 2007 |
| Automated generation of loop invariants by recurrence solving in theorema L Kovacs, T Jebelean Proceedings of the 6th International Symposium on Symbolic and Numeric …, 2004 | 35 | 2004 |
| The Vampire and the FOOL E Kotelnikov, L Kovács, G Reger, A Voronkov Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 34 | 2016 |
