Publikationsliste für
Laura Kovacs
als Autorin / Autor bzw. wesentlich beteiligte Person
168 Datensätze (2010 - 2022)
Bücher und Buch-Herausgaben
E Albert, L. Kovacs (Hrg.):
"Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)";
EasyChair EPiC Series in Computing,
Alicante, Spain,
2020,
ISSN: 2398-7340;
516 S.
N. Bjorner, L. Kovacs (Hrg.):
"Proceedings of the 3rd International Workshop on Invariant Generation 2010";
Eigenverlag,
2010.
N. Bjorner, L. Kovacs:
"Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
in Buchreihe "Journal of Symbolic Computation",
Buchreihen-Herausgeber: H. Hong et al.;
Springer,
2012,
ISSN: 0747-7171.
A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Special Issue on Symbolic Computation in Software Science";
in Buchreihe "Journal of Symbolic Computation",
Buchreihen-Herausgeber: H. Hong;
Elsevier,
2015,
ISSN: 0747-7171,
158 S.
Zusätzliche Informationen
M. Giese, A. Ireland, L. Kovacs:
"Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
in Buchreihe "Journal of Symbolic Computation",
Buchreihen-Herausgeber: H. Hong;
Elsevier,
2010,
ISSN: 0747-7171.
I. Konnov, L. Kovacs (Hrg.):
"Proceedings of the 31st International Conference on Concurrency Theory (CONCUR)";
Dagstuhl Publishing LIPICS,
Vienna, Austria,
2020,
ISBN: 978-3-95977-160-3;
984 S.
L. Kovacs, T. Kutsia:
"5th International Symposium on Symbolic Computation in Software Science";
in Buchreihe "EasyChair EPIC Series volume 15",
Buchreihen-Herausgeber: A. Voronkov;
EasyChair,
2013.
L. Kovacs, T. Kutsia:
"6th International Workshop on Automated Specification and Verification of Web Systems (WWV)";
in Buchreihe "EasyChair EPIC Series volume 18",
Buchreihen-Herausgeber: A. Voronkov;
EasyChair,
2013.
L. Kovacs, T. Kutsia (Hrg.):
"Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV´10)";
Eigenverlag,
TU Wien,
2010,
83 S.
L. Kovacs, T. Kutsia:
"Special Issue on Automated Speci cation and Veri cation of Web Systems";
in Buchreihe "Journal of Applied Logic",
Buchreihen-Herausgeber: J. Siekmann et al.;
Elsevier B.V.,
2012,
ISSN: 1570-8683,
162 S.
L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Special issue on Automated Specification and Verification of Web Systems";
in Buchreihe "Journal of Logic and Algebraic Programming",
Buchreihen-Herausgeber: R. De Nicola;
Elsevier,
2013,
ISSN: 1567-8326.
L. Kovacs, R. Pugliese, F. Tiezzi (Hrg.):
"Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV)";
EPTCS Vol. 61,
2011.
Zusätzliche Informationen
L. Kovacs, A. Voronkov:
"Proceedings of the 1st and 2nd Vampire Workshops";
in Buchreihe "Proceedings of the 1st and 2nd Vampire Workshops",
Buchreihen-Herausgeber: L. Kovacs, A. Voronkov;
herausgegeben von: EasyChair;
EasyChair EPiC Series in Computing,
2016.
L. Kovacs, A. Voronkov:
"Vampire 2017. Proceedings of the 4th Vampire Workshop";
in Buchreihe "Vampire 2017. Proceedings of the 4th Vampire Workshop",
Buchreihen-Herausgeber: A. Voronkov;
herausgegeben von: EasyChair;
EasyChair EPiC Series in Computing,
EasyChair,
2018.
Zeitschriftenartikel
N. Bjorner, L. Kovacs:
"Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation,
12
(2012),
47;
S. 1413
- 1415.
A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Foreword to the Special Issue on Symbolic Computation in Software Science";
Journal of Symbolic Computation,
69
(2015),
S. 1
- 2.
M. Giese, A. Ireland, L. Kovacs:
"Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation,
45
(2010),
11;
S. 1097
- 1100.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution";
Journal of Symbolic Computation,
80
(2017),
S. 101
- 124.
L. Kovacs:
"Symbol Elimination for Automated Generation of Program Properties";
ECEASST (eingeladen),
ECEASST
(2014),
70;
S. 1
- 2.
L. Kovacs, T. Kutsia:
"Special issue on Automated Specification and Verification of Web Systems";
Journal of Applied Logic,
10
(2012),
1;
S. 1
- 2.
Zusätzliche Informationen
L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Editorial to the Special issue on Automated Specification and Verification of Web Systems";
Journal of Logic and Algebraic Programming,
82
(2013),
8;
S. 241
- 242.
S. Stankovic, E. Bartocci, L. Kovacs:
"Moment-based analysis of Bayesian network properties";
Theoretical Computer Science,
903
(2022),
S. 113
- 133.
Zusätzliche Informationen
Editorials in wiss. Zeitschriften
J. Davenport, L. Kovacs, D. Zaharie:
"Foreword";
Mathematics in Computer Science,
13
(2019),
4;
S. 459
- 460.
Zusätzliche Informationen
P. Schreck, T. Ida, L. Kovacs:
"Foreword - Formalization of geometry, automated and interactive geometric reasoning";
Annals of Mathematics and Artificial Intelligence,
85
(2019),
2-4;
S. 71
- 72.
Zusätzliche Informationen
Beiträge in Tagungsbänden
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"SmacC: A Retargetable Symbolic Execution Engine";
in: "AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013",
herausgegeben von: Dang Van Hung and Mizuhito Ogawa;
Springer LNCS 8172,
2013.
Zusätzliche Informationen
R. Blanc, A. Gupta, L. Kovacs, B. Kragl:
"Tree Interpolation in Vampire";
in: "Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19)",
M. Kenneth, A. Middeldorp, A. Voronkov (Hrg.);
Springer LNCS 8312,
2013,
ISBN: 978-3-642-45220-8,
S. 173
- 181.
Zusätzliche Informationen
R. Blanc, T. Henzinger, T. Hottelier, L. Kovacs:
"ABC: Algebraic Bound Computation for Loops";
in: "Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)",
Springer LNAI 6355,
Springer,
2010,
ISBN: 978-3-642-17510-7,
S. 103
- 118.
I. Dragan, L. Kovacs:
"Lingva: Generating and Proving Program Properties using Symbol Elimination";
in: "9th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2014)",
Springer LNCS,
St. Petersburg, Russia,
2014.
Zusätzliche Informationen
T. Henzinger, T. Hottelier, L. Kovacs, A. Rybalchenko:
"Aligators for Arrays (Tool Paper)";
in: "Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)",
Springer LNCS 6397,
Springer,
2010,
ISBN: 978-3-642-16241-1,
S. 348
- 356.
K. Hoder, L. Kovacs, A. Voronkov:
"Interpolation and Symbol Elimination in Vampire";
in: "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)",
Springer LNCS 6173,
2010,
ISBN: 978-3-642-14202-4,
S. 188
- 195.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds";
in: "21st International Conference on Real-Time Networks and Systems",
Acm Dl,
2013.
Zusätzliche Informationen
A. Kovacs, L. Kovacs:
"A Hodographic Approximation Method for Analyzing the Fluid Motion Through Network Pro files";
in: "Annals of DAAAM for 2012 & Proceedings of the 23rd International DAAAM Symposium",
herausgegeben von: Branko Katalinic;
DAAAM International, Vienna, Austria,
Vienna,
2012,
ISBN: 978-3-901509-91-9,
4 S.
A. Kovacs, L. Kovacs:
"Analyzing the Fluid Motion Through Network Profiles Using the Boundary Element Method";
in: "Proc. of the 22nd International DAAAM Symposium: "Intelligent Manufactoring and Automation: Power of Knowledge and Creativity"",
DAAAM International, Volume 22, Nr. 1,
Vienna, Austria,
2011,
ISBN: 978-3-901509-83-4,
S. 1147
- 1148.
Zusätzliche Informationen
L. Kovacs, A. Mantsivoda, A. Voronkov:
"The Inverse Method for Many-Valued Logics";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)",
F. Castro, A. Gelbukh, M. Gonzalez (Hrg.);
Springer LNCS 8265,
2013,
ISBN: 978-3-642-45113-3,
S. 12
- 23.
Zusätzliche Informationen
L. Kovacs, N. Sharygina, S. Rollini:
"A Parametric Interpolation Framework for First-Order Theories.";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)",
F. Castro, A. Gelbukh, M. Gonzalez (Hrg.);
Springer LNCS 8265,
2013,
ISBN: 978-3-642-45113-3,
S. 24
- 40.
Zusätzliche Informationen
L. Kovacs, A. Voronkov:
"First-Order Interpolation and Interpolating Proof Systems";
in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning",
EasyChair EPiC Series in Computing,
Volume 46,
2017,
S. 49
- 64.
L. Kovacs, A. Voronkov:
"First-Order Theorem Proving and Vampire";
in: "Proceedings of the 25th International Conference on Computer Aided Verification",
N. Sharygina, H. Veith (Hrg.);
Springer LNCS 8044,
2013, (eingeladen),
ISBN: 978-3-642-39798-1,
S. 1
- 35.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
W. Ahrendt, L. Kovacs, S. Robillard:
"Reasoning About Loops Using Vampire in KeY";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Suva, Fiji;
24.11.2015
- 28.11.2015; in: "Proc. of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20)",
M. Davis, A. Fehnker, A. McIver, A. Voronkov (Hrg.);
LNCS,
9450
(2015),
ISBN: 978-3-662-48898-0;
S. 434
- 443.
G. Barthe, R. Eilers, P. Georgiou, B. Gleiss, L. Kovacs, M. Maffei:
"Verifying Relational Properties using Trace Logic";
Vortrag: International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019,
San Jose, US;
22.10.2019
- 25.10.2019; in: "Proceedings of Formal Methods in Computer Aided Design (FMCAD)",
B. Clark, J. Yang (Hrg.);
IEEE,
https://ieeexplore.ieee.org/xpl/conhome/8891869/proceeding
(2019),
ISBN: 978-0-9835678-9-9;
S. 170
- 178.
Zusätzliche Informationen
E. Bartocci, L. Kovacs, S. Stankovic:
"Analysis of Bayesian Networks via Prob-Solvable Loops";
Vortrag: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing,
Macau S.A.R., China;
30.11.2020
- 04.12.2020; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing",
Springer,
12545
(2020),
ISBN: 978-3-030-64275-4;
S. 221
- 241.
Zusätzliche Informationen
E. Bartocci, L. Kovacs, S. Stankovic:
"Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops";
Vortrag: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis,
Taipei, Taiwan;
28.10.2019
- 31.10.2019; in: "Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis",
11781
(2019),
S. 255
- 276.
Zusätzliche Informationen
E. Bartocci, L. Kovacs, S. Stankovic:
"Mora - Automatic Generation of Moment-Based Invariants";
Vortrag: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
Dublin, Ireland;
25.04.2020
- 30.04.2020; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
Springer,
12078
(2020),
ISBN: 978-3-030-45189-9;
S. 492
- 498.
Zusätzliche Informationen
A. Biere, I. Dragan, L. Kovacs, A. Voronkov:
"Experimenting with SAT Solvers in Vampire";
Vortrag: Lecture Notes in Computer Science,
Mexico;
16.11.2014
- 22.11.2014; in: "Human-Inspired Computing and Its Applications - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014",
Mexico
(2014),
ISSN: 0302-9743;
S. 431
- 442.
Zusätzliche Informationen
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Auspicious Couple: Symbolic Execution and WCET Analysis";
Vortrag: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013),
Paris;
09.07.2013; in: "Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)",
C Maiza (Hrg.);
(2013),
ISBN: 978-3-939897-54-5;
S. 51
- 60.
P. Cerny, T. Henzinger, L. Kovacs, A. Radhakrishna, J. Zwirchmayr:
"Segment Abstraction for Worst-Case Execution Time Analysis";
Vortrag: European Symposium on Programming (ESOP),
Londok, UK;
11.04.2015
- 18.04.2015; in: "Proc. of the 24th European Symposium on Programming (ESOP)",
J. Vitek (Hrg.);
LNCS,
9032
(2015),
ISBN: 978-3-662-46668-1;
S. 105
- 131.
K. Claessen, J. Kilhamn, L. Kovacs, B. Lennartson:
"A Supervisory Control Algorithm Based on Property-Directed Reachability";
Vortrag: 13th International Haifa Verification Conference (HVC 2017),
Haifa, Israel;
13.11.2017
- 15.11.2017; in: "13th International Haifa Verification Conference (HVC)",
O. Strichman, R. Tzoref-Brill (Hrg.);
Lecture Notes in Computer Science / Springer,
10629 / Cham
(2017),
ISBN: 978-3-319-70388-6;
S. 115
- 130.
D. Damestani, L. Kovacs, M. Suda:
"Superposition Reasoning about Quantified Bitvector Formulas";
Vortrag: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) 2019,
Timisoara, Romania;
04.09.2019
- 07.09.2019; in: "Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019",
H. Hong, D. Zaharie (Hrg.);
IEEE,
(2019),
ISBN: 978-1-7281-5724-5;
S. 95
- 99.
I. Dragan, K. Korovin, L. Kovacs, A. Voronkov:
"Bound Propagation for Arithmetic Reasoning in Vampire";
Vortrag: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013,
Timisoara, Romania;
23.09.2013
- 26.09.2013; in: "Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",
(2013).
N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs:
"Summing Up Smart Transitions";
Vortrag: 33rd International Conference on Computer Aided Verification (CAV),
Los Angeles, US;
20.07.2021
- 23.07.2021; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)",
A. Silva, R. Leino (Hrg.);
Springer LNCS,
12759
(2021),
S. 317
- 340.
Zusätzliche Informationen
P. Georgiou, B. Gleiss, L. Kovacs:
"Trace Logic for Inductive Loop Reasoning";
Vortrag: 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Haifa, Israel;
21.09.2020
- 24.09.2020; in: "Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020",
A. Ivrii, O. Strichman (Hrg.);
IEEE,
(2020),
ISBN: 978-3-85448-042-6;
S. 255
- 263.
Zusätzliche Informationen
B. Gleiss, L. Kovacs, J. Rath:
"Subsumption Demodulation in First-Order Theorem Proving";
Vortrag: 10th International Joint Conference on Automated Reasoning (IJCAR),
Paris;
01.07.2020
- 04.07.2020; in: "Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR)",
N. Peltier, V. Sofronie-Stokkermans (Hrg.);
Lecture Notes in Computer Science, Springer,
12166
(2020),
ISBN: 978-3-030-51073-2;
S. 297
- 315.
Zusätzliche Informationen
B. Gleiss, L. Kovacs, S. Robillard:
"Loop Analysis by Quantification over Iterations";
Vortrag: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Awassa, Ethiopia;
16.11.2018
- 21.11.2018; in: "Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)",
G. Barthe, G. Sutcliffe, M. Veanes (Hrg.);
EasyChair EPiC Series in Computing,
57
(2018),
S. 381
- 399.
Zusätzliche Informationen
B. Gleiss, L. Kovacs, L. Schnedlitz:
"Interactive Visualization of Saturation Attempts in Vampire";
Vortrag: 15th International Conference on Integrated Formal Methods (iFM) 2019,
Bergen, Norway;
02.12.2019
- 06.12.2019; in: "Proceedings of the 15th International Conference on Integrated Formal Methods (iFM) 2019",
W. Ahrendt, S. Lizeth (Hrg.);
Lecture Notes in Computer Science, Springer,
11918
(2019),
S. 504
- 513.
Zusätzliche Informationen
B. Gleiss, L. Kovacs, M. Suda:
"Splitting Proofs for Interpolation";
Vortrag: CADE 26 - 26th International Conference on Automated Deduction,
Gothenburg, Sweden;
06.08.2017
- 11.08.2017; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings",
Springer,
Lecture Notes in Computer Science / 10395
(2017),
ISBN: 978-3-319-63046-5;
S. 291
- 309.
Zusätzliche Informationen
A. Gupta, L. Kovacs, B. Kragl, A. Voronkov:
"Extensional Crisis and Proving Identity";
Vortrag: Automated Technology for Verification and Analysis (ATVA),
Sydney, Australia;
03.11.2014
- 07.11.2014; in: "Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA)",
F. Cassez, J. Raskin (Hrg.);
Lecture Notes in Computer Science, Springer Verlag,
8837
(2014),
ISBN: 978-3-319-11935-9;
S. 185
- 200.
M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov:
"Induction with Generalization in Superposition Reasoning";
Vortrag: Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM),
Bertinoro, Italy;
26.07.2020
- 31.07.2020; in: "Proceedings of the 13th International Conference on Intelligent Computer Mathematics",
Lecture Notes in Computer Science, Springer,
12236
(2020),
ISBN: 978-0-9835678-9-9;
S. 123
- 137.
Zusätzliche Informationen
M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov:
"Inductive Benchmarks for Automated Reasoning";
Vortrag: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM),
Timisoara, Romania;
26.07.2021
- 31.07.2021; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)",
F. Kamareddine, C. Sacerdoti Coen (Hrg.);
Springer LNCS,
12833
(2021),
S. 124
- 129.
Zusätzliche Informationen
M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov:
"Induction with Recursive Definitions in Superposition";
Vortrag: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021,
New Haven, Connecticut, USA;
19.10.2021
- 22.10.2021; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)",
R. Piskac, M. Wahlen (Hrg.);
TU Wien Academic Press,
2
(2021),
ISBN: 978-3-85448-046-4;
S. 1
- 10.
Zusätzliche Informationen
K. Hoder, A. Holzer, L. Kovacs, A. Voronkov:
"Vinter: A Vampire-Based Tool for Interpolation";
Vortrag: Asian Symposium on Programming Languages and Systems (APLAS),
Kyoto, Japan;
11.12.2012
- 13.12.2012; in: "APLAS",
Springer / LNCS,
7705
(2012),
ISBN: 978-3-642-35181-5;
S. 148
- 156.
K. Hoder, L. Kovacs, A. Voronkov:
"Case Studies on Invariant Generation Using a Saturation Theorem Prover";
Vortrag: 10th Mexican International Conference on Artificial Intelligence (MICAI),
Puebla, Mexico;
26.11.2011
- 04.12.2011; in: "Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI)",
I. Batyrshin, G. Sidorov (Hrg.);
Springer,
LNAI 7094
(2011),
ISBN: 978-3-642-25323-2;
S. 1
- 15.
Zusätzliche Informationen
K. Hoder, L. Kovacs, A. Voronkov:
"Invariant Generation in Vampire";
Vortrag: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Saarbrücken;
26.03.2011
- 03.04.2011; in: "Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
Springer,
LNCS 6605
(2011),
ISBN: 978-3-642-19834-2;
S. 60
- 64.
Zusätzliche Informationen
K. Hoder, L. Kovacs, A. Voronkov:
"Playing in the grey area of proofs";
Vortrag: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL),
Philadelphia, US;
22.01.2012
- 28.01.2012; in: "Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
J. Field, M. Hicks (Hrg.);
ACM,
(2012),
ISBN: 978-1-4503-1083-3;
S. 259
- 272.
Zusätzliche Informationen
P. Hozzova, L. Kovacs, J. Rath:
"Automated Generation of Exam Sheets for Automated Deduction";
Vortrag: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM),
Timisoara, Romania;
26.07.2021
- 31.07.2021; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)",
Springer LNCS,
12833
(2021),
S. 185
- 196.
Zusätzliche Informationen
P. Hozzova, L. Kovacs, A. Voronkov:
"Integer Induction in Saturation";
Vortrag: 28th International Conference on Automated Deduction (CADE 28),
Virtual Event;
12.07.2021
- 15.07.2021; in: "Proceedings of the 28th International Conference on Automated Deduction (CADE-28)",
A. Platzer, G. Sutcliffe (Hrg.);
Springer LNCS,
12669
(2021),
S. 361
- 377.
Zusätzliche Informationen
A. Humenberger, N. Bjorner, L. Kovacs:
"Algebra-Based Loop Synthesis";
Vortrag: Proceedings of the 16th International Conference on Integrated Formal Methods (iFM),
Lugano, Switzerland;
16.11.2020
- 20.11.2020; in: "Proceedings of the 16th International Conference on Integrated Formal Methods",
B. Dongol, E. Troubitsyna (Hrg.);
Lecture Notes in Computer Science, Springer,
12546
(2020),
ISBN: 978-0-9835678-9-9;
S. 440
- 459.
A. Humenberger, M. Jaroschek, L. Kovacs:
"Aligator.jl - A Julia Package for Loop Invariant Generation";
Vortrag: 11th International Conference on Intelligent Computer Mathematics (CICM),
Hagenberg;
13.08.2018
- 17.08.2018; in: "Proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM)",
F. Rabe et al. (Hrg.);
LNCS,
11006
(2018),
S. 111
- 117.
Zusätzliche Informationen
A. Humenberger, M. Jaroschek, L. Kovacs:
"Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences";
Vortrag: International Symposium on Symbolic and Algebraic Computation (ISSAC),
Kaiserslautern;
23.07.2017
- 28.07.2017; in: "ISSAC '17 Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation",
ACM,
(2017),
ISBN: 978-1-4503-5064-8;
S. 221
- 228.
Zusätzliche Informationen
A. Humenberger, M. Jaroschek, L. Kovacs:
"Invariant Generation for Multi-Path Loops with Polynomial Assignments";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "Verification, Model Checking, and Abstract Interpretation - 19th International Conference",
Springer,
(2018),
ISBN: 978-3-319-73720-1;
S. 226
- 246.
Zusätzliche Informationen
A. Humenberger, L. Kovacs:
"Algebra-Based Synthesis of Loops and Their Invariants";
Vortrag: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Copenhagen, Denmark (eingeladen);
17.01.2021
- 19.01.2021; in: "Proceedings of the 22n International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
F. Henglein, S. Shoham, Y. Vizel (Hrg.);
Springer LNCS,
12597
(2021),
S. 17
- 28.
A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura:
"Distribution Estimation for Probabilistic Loops";
als Vortrag angenommen für: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems,
Warsaw, Poland;
12.09.2022
- 16.09.2022; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems",
(2022).
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds";
Vortrag: 11th International Workshop on Worst-Case Execution-Time Analysis,
Porto, Portugal;
05.07.2011; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis",
C. Healy (Hrg.);
Österreichische Computer Gesellschaft - OCG,
(2011),
S. 93
- 103.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation)";
Vortrag: 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Schloss Raesfeld, Münsterland, Deutschland;
26.09.2011
- 28.09.2011; in: "Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)",
Westfälische Wilhelms-Universität Münster,
132
(2011),
S. 200.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)";
Vortrag: MEMICS 2011 (Mathematical and Engineering Methods in Computer Science),
My Hotel, Lednice, Czech Republic;
14.10.2011
- 16.10.2011; in: "MEMICS Proceedings",
(2011),
S. 119.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis";
Vortrag: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
02.05.2011
- 04.05.2011; in: "28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
(2011).
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Symbolic Loop Bound Computation for WCET Analysis";
Vortrag: 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011),
Akademgorodok, Novosibirsk, Russland;
27.06.2011
- 01.07.2011; in: "Ershov Informatic Conference, PSI Series, 8th Edition",
Springer-Verlag, Lecture Notes in Computer Science,
7162
(2012),
S. 224
- 239.
Zusätzliche Informationen
E. Kotelnikov, L. Kovacs, G. Reger, A. Voronkov:
"The Vampire and the FOOL";
Vortrag: 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP),
Saint Petersburg, Florida, USA;
20.01.2016
- 22.01.2016; in: "Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)",
J. Avigad, A. Chlipala (Hrg.);
ACM,
(2016),
ISBN: 978-1-4503-4127-1;
S. 37
- 48.
Zusätzliche Informationen
E. Kotelnikov, L. Kovacs, M. Suda, A. Voronkov:
"A Clausal Normal Form Translation for FOOL";
Vortrag: GCAI 2016 / 2nd Global Conference on Artificial Intelligence,
Berlin, Germany;
29.09.2016
- 02.10.2016; in: "GCAI 2016. 2nd Global Conference on Artificial Intelligence",
EasyChair,
EPiC Series in Computing / 41 / Berlin
(2016),
S. 53
- 71.
Zusätzliche Informationen
E. Kotelnikov, L. Kovacs, A. Voronkov:
"A First Class Boolean Sort in First-Order Theorem Proving and TPTP";
Vortrag: International Conference on Intelligent Computer Mathematics (CICM),
Washington, DC, USA;
13.07.2015
- 17.07.2015; in: "Proc. of the International Conference on Intelligent Computer Mathematics",
M. Kerber et al. (Hrg.);
LNCS,
9150
(2015),
ISBN: 978-3-319-20614-1;
S. 71
- 86.
E. Kotelnikov, L. Kovacs, A. Voronkov:
"A FOOLish Encoding of the Next State Relations of Imperative Programs.";
Vortrag: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018,
Oxford;
14.08.2018
- 17.08.2018; in: "Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR) 2018",
LNCS,
10900
(2018),
S. 405
- 421.
A. Kovacs, L. Kovacs, L. Kovacs:
"The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro les";
Vortrag: 13th International Conference on Mathematics and its Applications,
Timisoara, Romania;
01.11.2012
- 03.11.2012; in: "Proceedings of 13th International Conference on Mathematics and its Applications.",
Scientific Bulletin of Politehnica University Timisoara, Romania,
(2012),
ISSN: 1224-6069;
S. 241
- 248.
L. Kovacs:
"Automated Reasoning for Systems Engineering";
Hauptvortrag: Foundations of Information and Knowledge Systems (FOIKS) 2018,
Budapest, Hungary (eingeladen);
14.05.2018
- 18.05.2018; in: "Foundations of Information and Knowledge Systems (FOIKS) 2018",
LNCS,
10833
(2018),
S. 1.
L. Kovacs:
"First-Order Interpolation and Grey Areas of Proofs";
Hauptvortrag: 26th EACSL Annual Conference on Computer Science Logic (CSL),
Stockholm, Sweden (eingeladen);
20.08.2017
- 24.08.2017; in: "Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL)",
V. Goranko, M. Dam (Hrg.);
LIPIcs,
82
(2017),
ISBN: 978-3-95977-045-3;
S. 3:1.
L. Kovacs:
"First-Order Theorem Proving and Program Analysis";
Vortrag: LCCC-ACCESS workshop on Model-Based Engineering,
Lund, Sweden (eingeladen);
04.05.2015
- 06.05.2015; in: "Proc. of the LCCC-ACCESS workshop on Model-Based Engineering",
J. Baras et al. (Hrg.);
(2015),
ISSN: 0280-5316;
S. 192
- 217.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Hauptvortrag: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania;
26.09.2011
- 29.09.2011; in: "Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",
D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (Hrg.);
IEEE Computer Society,
IEEE Computer Society Order Number P4630, BMS Part Number: CFP11387-PRT
(2012),
ISBN: 978-0-7695-4630-8;
S. 12
- 13.
Zusätzliche Informationen
L. Kovacs:
"Symbolic Computation and Automated Reasoning for Program Analysis";
Hauptvortrag: 12th International Conference on Integrated Formal Methods (iFM),
Bertinoro, Italy (eingeladen);
01.06.2016
- 05.06.2016; in: "Proceedings of the 12th International Conference on Integrated Formal Methods (iFM)",
E. Abraham, M. Huisman (Hrg.);
Springer / LNCS,
9681
(2016),
ISBN: 978-3-319-33692-3;
S. 20
- 27.
Zusätzliche Informationen
L. Kovacs, A. Kovacs:
"Aligator: Experiments and Limitations";
Vortrag: 22nd International DAAAM Symposium: "Intelligent Manufactoring and Symposium: Power of Knowledge and Creativity",
Vienna, Austria;
23.11.2011
- 26.11.2011; in: "Proc. of the 22nd International DAAAM Symposium: "Intelligent Manufactoring and Automation: Power of Knowledge and Creativity"",
DAAAM International,
Volume 22, No. 1
(2011),
ISBN: 978-3-901509-83-4;
S. 1145
- 1146.
Zusätzliche Informationen
L. Kovacs, A. Kovacs:
"Examples of Symbol Elimination in Program Verification";
Vortrag: 13th International Conference on Mathematics and its Applications,
Timisoara, Romania;
01.11.2012
- 03.11.2012; in: "Proceedings of 13th International Conference on Mathematics and its Applications",
Scientific Bulletin of Politehnica University Timisoara, Romania,
(2012),
ISSN: 1224-6069;
S. 145
- 150.
L. Kovacs, Hanna Lachnitt, S. Szeider:
"Formalizing Graph Trail Properties in Isabelle/HOL";
Vortrag: International Conference on Intelligent Computer Mathematics (CICM),
Bertinoro, Forli, Italy;
26.07.2020
- 31.07.2020; in: "CICM 2020: Intelligent Computer Mathematics",
LNCS,
12236
(2020),
ISBN: 978-3-030-53518-6;
S. 190
- 205.
Zusätzliche Informationen
L. Kovacs, G. Moser, A. Voronkov:
"On Transfinite Knuth-Bendix Orders";
Vortrag: 23rd International Conference on Automated Deduction (CADE-23),
Wroclaw, Poland;
31.07.2011
- 05.08.2011; in: "Proc. of the 23rd International Conference on Automated Deduction (CADE-23)",
N. Bjorner, V. Sofronie-Stokkermans (Hrg.);
Springer,
LNAI 6803
(2011),
ISBN: 978-3-642-22437-9;
S. 384
- 399.
Zusätzliche Informationen
L. Kovacs, B. Palancz, L. Kovacs:
"Solving Robust Glucose-Insulin Control by Dixon Resultant Computations";
Vortrag: 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012),
Timisoara, Romania;
26.09.2012
- 29.09.2012; in: "Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012)",
IEEE Proceedings,
(2012).
L. Kovacs, S. Robillard, A. Voronkov:
"Coming to Terms with Quantified Reasoning";
Vortrag: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL),
Paris, France;
18.01.2017
- 20.01.2017; in: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)",
G. Castagna, A. Gordon (Hrg.);
ACM,
(2017),
ISBN: 978-1-4503-4660-3;
S. 260
- 270.
Zusätzliche Informationen
G. Kovasznai, K. Gajdar, L. Kovacs:
"Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization";
Vortrag: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) 2019,
Timisoara, Romania;
04.09.2019
- 07.09.2019; in: "Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019",
H. Hong, D. Zaharie (Hrg.);
IEEE,
(2019),
ISBN: 978-1-7281-5724-5;
S. 85
- 91.
M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs:
"Automated Termination Analysis of Polynomial Probabilistic Programs";
Vortrag: 30th European Symposium on Programming (ESOP 2021),
Luxembourg (online);
27.03.2021
- 01.04.2021; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming",
Springer,
12648
(2021),
S. 491
- 518.
Zusätzliche Informationen
M. Reza Shoaei, L. Kovacs, B. Lennartson:
"Supervisory Control of Discrete-Event Systems via {IC3}";
Vortrag: Haifa Verification Conference HVC 2014,
Haifa, Isral;
18.11.2014
- 20.11.2014; in: "Proceedings of the-10th International Haifa Verification Conference - Conference on Hardware and Software: Verification and Testing (HVC)",
E. Yahav (Hrg.);
Springer Lecture Notes in Computer Science,
8855
(2014),
ISBN: 978-3-319-13337-9;
S. 252
- 266.
J. Schoisswohl, L. Kovacs:
"Automating Induction by Reflection";
Vortrag: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP),
Pittsburgh, USA;
16.07.2021; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)",
E. Pimentel, E. Tassi (Hrg.);
EPTCS,
337
(2021),
S. 39
- 54.
Zusätzliche Informationen
J. Zwirchmayr, J. Knoop, L. Kovacs:
"r-TuBound: Loop Bounds for WCET Analysis";
Vortrag: Logic for Programming, Artificial Intelligence, and Reasoning 18 (LPAR-18),
Merida, Venezuela;
11.03.2012
- 15.03.2012; in: "Logic For Programming, Artificial Intelligence, and Reasoning",
N. Bjorner, A. Voronkov (Hrg.);
Lecture Notes in Computer Science, Springer,
LNCS / 7180 / Heidelberg
(2012),
ISBN: 978-3-642-28716-9;
S. 435
- 444.
J. Zwirchmayr, L. Kovacs, J. Knoop, A. Bonenfant, H. Cassé, C. Rochange:
"FFX: A Portable WCET Annotation Language";
Vortrag: International Conference on Real-Time and Network Systems (RTNS),
Abbaye des Premontres, Pont a Mousson, France;
08.11.2012
- 09.11.2012; in: "20th International Conference on Real-Time and Network Systems",
ACM,
New York
(2012),
ISBN: 978-1-4503-1409-1;
S. 91
- 100.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
E. Bartocci, L. Kovacs, E. Bura:
"ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs";
Vortrag: Vienna Science, Research and Technology Fund - ProbInG,
online;
14.12.2020
- 15.12.2020.
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis";
Vortrag: 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Vadstena, Schweden (eingeladen);
20.05.2012
- 25.05.2012.
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis via Flow Facts in XML";
Vortrag: 29th Annual Workshop of the GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef, Deutschland;
02.05.2012
- 04.05.2012.
P. Georgiou, B. Gleiss, L. Kovacs, M. Maffei:
"Trace Reasoning for Formal Verification using the First-Order Superposition Calculus";
Poster: FMCAD 2019 Student Forum,
San Jose, US;
22.10.2019
- 25.10.2019.
B. Gleiss, L. Kovacs, J. Rath:
"Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire";
Vortrag: Vampire 2019 - The Sixth Vampire Workshop,
Lisbon, Portugal;
07.07.2019.
K. Hoder, L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Vortrag: 23rd International Conference on Automated Deduction (CADE-23),
Wroclaw, Poland;
31.07.2011
- 05.08.2011.
A. Humenberger, M. Jaroschek, L. Kovacs:
"Polynomial Invariant Generation for Multi-Path Loops";
Vortrag: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2),
Kaiserslautern, Germany;
29.07.2017.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution";
Vortrag: 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe),
Vienna (eingeladen);
23.01.2014
- 24.01.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution";
Vortrag: 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013),
Peking (eingeladen);
23.10.2013
- 25.10.2013.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds";
Vortrag: 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Stellenbosch (eingeladen);
02.11.2014
- 07.11.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus";
Hauptvortrag: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack,
Christian-Albrechts-Universität zu Kiel, Deutschland (eingeladen);
09.05.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing by On-demand Feasibility Refinement";
Vortrag: 53rd Meeting of the IFIP Working Group 2.4 'Software Implementation Technology',
Mysore (eingeladen);
17.03.2013
- 22.03.2013.
L. Kovacs:
"60 Shades of Grey in Vampire";
Vortrag: ANDREI-60: Automating New-Era Deductive Reasoning Event in Iberia,
Tbilisi, Georgia;
19.05.2019
- 23.05.2019.
L. Kovacs:
"Algebraic Reasoning for Program Analysis";
Hauptvortrag: 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS),
Ljubljana, Slovenia (eingeladen);
12.06.2017
- 16.06.2017.
L. Kovacs:
"Aligators and Arrays";
Hauptvortrag: IST/TU Rigorous System Engineering,
IST Austria;
28.10.2010.
L. Kovacs:
"APRe, Vampire, Welcome in Vienna!";
Vortrag: APRe 2019 Workshop, TU Wien,
TU Wien, Vienna;
05.11.2019
- 06.11.2019.
L. Kovacs:
"Automated Reasoning for Rigorous Systems Engineering";
Hauptvortrag: RiSE/SHINE Media Seminar 2018,
Vienna (eingeladen);
07.05.2018.
L. Kovacs:
"Automated Reasoning for Systems Engineering";
Hauptvortrag: Austrian Computer Science Day 2018,
Salzburg (eingeladen);
15.06.2016.
L. Kovacs:
"Automated Reasoning for Systems Engineering";
Hauptvortrag: 2018 IEEE International Conference on Future IoT Technologies (Future IoT 2018),
Eger, Hungary (eingeladen);
18.01.2018
- 19.01.2018.
L. Kovacs:
"Automated Theorem Proving - An Introduction";
Vortrag: ARiSE/VCLA Winter School on Verification,
Wien;
06.02.2012
- 10.02.2012.
L. Kovacs:
"Automated Theorem Proving - with some Applications to Verification";
Vortrag: ARiSE/VCLA Winter School on Verification,
Wien;
06.02.2012
- 10.02.2012.
L. Kovacs:
"Enjoying Research at the Intersection of Math and Computer Science";
Hauptvortrag: Women in Science Workshop Series (WISE),
Gothenburg, Schweden (eingeladen);
08.06.2016.
L. Kovacs:
"Experiments with Invariant Generation Using a Saturation Theorem Prover";
Vortrag: "Deduction at Scale" Seminar,
Ringberg Castle, Germany (eingeladen);
07.03.2011
- 11.03.2011.
Zusätzliche Informationen
L. Kovacs:
"Experiments with Invariant Generation Using a Saturation Theorem Prover";
Vortrag: AdaCore Paris,
Paris, France (eingeladen);
18.04.2011.
L. Kovacs:
"First Order Interpolation";
Hauptvortrag: SAT/SMT/AR Summer School 2019,
Lisbon, Portugal (eingeladen);
03.07.2019
- 06.07.2019.
L. Kovacs:
"First-Order Interpolation";
Hauptvortrag: SAT/SMT/AR Summer School 2018,
Manchester (eingeladen);
03.07.2018
- 06.07.2018.
L. Kovacs:
"First-Order Interpolation";
Vortrag: PhD Research Seminar in Logic and Computation, Faculty of Informatics, West University of Timisoara,
Timisoara, Romania (eingeladen);
29.11.2019.
L. Kovacs:
"First-Order Interpolation in the Grey Area of Proofs";
Hauptvortrag: Summer School on Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics (SYSMICS),
Les Diablerets, Switzerland (eingeladen);
22.08.2018
- 26.08.2018.
L. Kovacs:
"First-order theorem proving and Vampire";
Vortrag: RiSE-PUMA Workshop,
Traunkirchen, Austria;
01.10.2011
- 07.10.2011.
L. Kovacs:
"First-Order Theorem Proving and Vampire";
Hauptvortrag: Spring School on Logic and Verification - LoVE,
Vienna, Austria (eingeladen);
15.04.2016
- 17.04.2016.
L. Kovacs:
"Formal Methods for Program Verification";
Vortrag: SAAB/Chalmers joint research seminar,
SAAB Kallebäck, Schweden (eingeladen);
06.11.2013.
L. Kovacs:
"Formal Methods in Software Design and Verification";
Vortrag: SAAB Technical Seminar,
Linköping, Schweden (eingeladen);
12.11.2013.
L. Kovacs:
"Formal Methods in the Digital World (in Hungarian)";
Hauptvortrag: JegKepzes Series of Presentations- Hungarian Scientists from the Bartok Bela Highschool,
Timisoara, Romania (eingeladen);
27.11.2019.
L. Kovacs:
"Interpolation and Symbol Elimination";
Vortrag: RiSE Workshop,
Technical University of Graz;
22.02.2010
- 23.02.2010.
L. Kovacs:
"Interpolation and Symbol Elimination";
Vortrag: Dagstuhl Seminar 10161 on "Decision Procedures in Software, Hardware and Bioware",
Schloss Dagstuhl, Germany;
18.04.2010
- 23.04.2010.
L. Kovacs:
"Interpolation and Symbol Elimination";
Vortrag: TU Graz,
Graz, Austria (eingeladen);
31.05.2011.
L. Kovacs:
"Interpolation in the Grey Area of Proofs";
Vortrag: Helmut Veith Memorial Workshop 2019,
Turracher Höhe;
17.03.2019
- 20.03.2019.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Vortrag: Research Seminar at Microsoft Research Cambridge,
Cambridge, UK (eingeladen);
19.09.2012.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Vortrag: Research Seminar at VERIMAG Grenoble,
Grenoble, France (eingeladen);
05.04.2012.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Vortrag: Rigorous System Engineering Seminar IST/TU Wien,
Vienna (eingeladen);
08.03.2012.
L. Kovacs:
"Program Assertion Synthesis using Symbolic Computation";
Vortrag: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (eingeladen);
26.09.2011
- 29.09.2011.
L. Kovacs:
"Quantified Invariant Generation using Symbolic Computation and Theorem Proving";
Hauptvortrag: International Workshop on Symbolic Computation and Software Verification (SCSV),
Tsukuba University, Japan (eingeladen);
08.04.2010
- 09.04.2010.
L. Kovacs:
"RiSE: Rigorous Systems Engineering";
Vortrag: Research Seminar for Master Students, West University of Timisoara,
Timisoara, Romania (eingeladen);
25.05.2011
- 27.05.2011.
L. Kovacs:
"Symbol Elimination and Interpolation";
Hauptvortrag: University of Verona,
University of Verona, Italy (eingeladen);
21.09.2010.
L. Kovacs:
"Symbol Elimination and Interpolation for Software Verification";
Hauptvortrag: Intel Haifa,
Haifa, Israel (eingeladen);
17.12.2010
- 23.12.2010.
L. Kovacs:
"Symbol Elimination and Vampire";
Vortrag: Dagstuhl Seminar 19062 - Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving,
Schloss Dagstuhl, Germany;
03.02.2019
- 06.02.2019.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Vortrag: Theoretical Computer Science Seminar Series of the KTH Royal Institute of Technology,,
Stockholm, Sweden (eingeladen);
18.05.2015.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Vortrag: Dagstuhl Seminar 15471 on "Symbolic Computation and Satisfiability Checking",
Dagstuhl, Germany (eingeladen);
16.11.2015
- 20.11.2015.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Hauptvortrag: ETH Workshop on Software Correctness and Reliability,
Zürich, Switzerland (eingeladen);
13.10.2017
- 14.10.2017.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Hauptvortrag: Highlights of Logic, Games and Automata,
Berlin, Germany (eingeladen);
18.09.2018
- 21.09.2018.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Vortrag: Helsinki Institute for Information Technology (HIIT),
Helsinki, Finnland (eingeladen);
23.09.2011.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Hauptvortrag: International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS),
Beijing, China (eingeladen);
10.10.2012
- 12.10.2012.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Hauptvortrag: 2nd Facebook Testing and Veri cation Symposium (FaceTAV),
London, UK (eingeladen);
28.11.2018
- 29.11.2018.
L. Kovacs:
"Symbolic Computation and Automated Reasoning for Program Analysis";
Hauptvortrag: 23rd IEEE International Conference on Intelligent Engineering Systems (INES) 2019,
Gödöllõ, Hungary (eingeladen);
25.04.2019
- 27.04.2019.
L. Kovacs:
"Verifying Relational Properties using Trace Logic";
Vortrag: First International Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory,
Funchal, Portugal;
23.10.2019
- 25.10.2019.
L. Kovacs:
"With a Timisoara Background in the Scientific World of Computer Science and";
Hauptvortrag: Timisoara Hungarian Science Festival,
Timisoara, Romania (eingeladen);
26.11.2016.
L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Vortrag: 10th Mexican International Conference on Artificial Intelligence (MICAI),
Puebla, Mexico;
26.11.2011
- 04.12.2011.
L. Kovacs, A. Voronkov:
"First-Order Theorem Proving in Rigorous Systems Engineering";
Hauptvortrag: RiSE/SHiNE Winter School 2018,
Wien (eingeladen);
05.02.2018
- 09.02.2018.
L. Kovacs, A. Voronkov:
"Invariant Generation using Theorem Proving";
Vortrag: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (eingeladen);
26.09.2011
- 29.09.2011.
Habilitationsschriften
L. Kovacs:
"Symbol Elimination in Program Analysis";
Technische Universität Wien/Fakultät für Informatik,
2012.
Dissertationen (eigene und begutachtete)
B. Gleiss:
"Automated Software Verification using Superposition-based Theorem Proving";
Betreuer/in(nen), Begutachter/in(nen): L. Kovacs, S. Schulz;
Institut for Logic and Computation, E192.04,
2020;
Rigorosum: 07.12.2020.
J. Zwirchmayr:
"Symbolic Methods for the Timing Analysis of Programs";
Betreuer/in(nen), Begutachter/in(nen): L. Kovacs, J. Knoop;
Institut für Computersprachen - E185-1,
2013;
Rigorosum: 04.10.2013.
Diplom- und Master-Arbeiten (eigene und betreute)
P. Georgiou:
"Trace Reasoning in Formal Verification - Guiding Vampire in Induction";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2019;
Abschlussprüfung: 22.11.2019.
M. Hajdu:
"Automating inductive reasoning with recursive functions";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04, FORSYTE division,
2021;
Abschlussprüfung: 25.03.2021.
Zusätzliche Informationen
C. Hochrainer:
"Automated Reasoning over Arrays in the Superposition Calculus";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2020;
Abschlussprüfung: 21.07.2020.
I. Jucu:
"An Evaluation of Symbol Elimination for Generating First-Order Loop Invariants";
Betreuer/in(nen): L. Kovacs;
Institut für Computersprachen - E185-1,
2013;
Abschlussprüfung: 19.11.2013.
H. Lachnitt:
"Formalizing Graph Trail Properties";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2020;
Abschlussprüfung: 04.06.2020.
M. Moosbrugger:
"Automating Termination Analysis of Probabilistic Programs";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2020;
Abschlussprüfung: 23.06.2020.
S. Rain:
"First-Order Reasoning with Aggregates";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2020;
Abschlussprüfung: 18.06.2020.
J. Rath:
"Subsumption Demodulation in First-Order Theorem Proving";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04,
2019;
Abschlussprüfung: 07.10.2019.
J. Schoisswohl:
"Automated induction by reflection";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04, FORSYTE division,
2021;
Abschlussprüfung: 11.01.2021.
Zusätzliche Informationen