Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Laura Kovács
@article{DBLP:journals/pacmpl/MullnerMK24,
author = {Julian M{\"{u}}llner and
Marcel Moosbrugger and
Laura Kov{\'{a}}cs},
title = {Strong Invariants Are Hard: On the Hardness of Strongest Polynomial
Invariants for (Probabilistic) Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {882--910},
year = {2024},
url = {https://doi.org/10.1145/3632872},
doi = {10.1145/3632872},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MullnerMK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HitarthKKV24,
author = {S. Hitarth and
George Kenison and
Laura Kov{\'{a}}cs and
Anton Varonka},
editor = {Olaf Beyersdorff and
Mamadou Moustapha Kant{\'{e}} and
Orna Kupferman and
Daniel Lokshtanov},
title = {Linear Loop Synthesis for Quadratic Invariants},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
series = {LIPIcs},
volume = {289},
pages = {41:1--41:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.STACS.2024.41},
doi = {10.4230/LIPICS.STACS.2024.41},
timestamp = {Mon, 11 Mar 2024 15:43:27 +0100},
biburl = {https://dblp.org/rec/conf/stacs/HitarthKKV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2024-1,
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3},
doi = {10.1007/978-3-031-57246-3},
isbn = {978-3-031-57245-6},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2024-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2024-2,
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4},
doi = {10.1007/978-3-031-57249-4},
isbn = {978-3-031-57248-7},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2024-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2024-3,
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2},
doi = {10.1007/978-3-031-57256-2},
isbn = {978-3-031-57255-5},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2024-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17832,
author = {Robin Coutelier and
Laura Kov{\'{a}}cs and
Michael Rawson and
Jakob Rath},
title = {SAT-Based Subsumption Resolution},
journal = {CoRR},
volume = {abs/2401.17832},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17832},
doi = {10.48550/ARXIV.2401.17832},
eprinttype = {arXiv},
eprint = {2401.17832},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10610,
author = {Clemens Eisenhofer and
Michael Rawson and
Laura Kov{\'{a}}cs},
title = {Spanning Matrices via Satisfiability Solving},
journal = {CoRR},
volume = {abs/2402.10610},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10610},
doi = {10.48550/ARXIV.2402.10610},
eprinttype = {arXiv},
eprint = {2402.10610},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17927,
author = {Thomas Hader and
Daniela Kaufmann and
Ahmed Irfan and
St{\'{e}}phane Graham{-}Lengrand and
Laura Kov{\'{a}}cs},
title = {MCSat-based Finite Field Reasoning in the Yices2 {SMT} Solver},
journal = {CoRR},
volume = {abs/2402.17927},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17927},
doi = {10.48550/ARXIV.2402.17927},
eprinttype = {arXiv},
eprint = {2402.17927},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18954,
author = {M{\'{a}}rton Hajd{\'{u}} and
Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Giles Reger and
Andrei Voronkov},
title = {Getting Saturated with Induction},
journal = {CoRR},
volume = {abs/2402.18954},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18954},
doi = {10.48550/ARXIV.2402.18954},
eprinttype = {arXiv},
eprint = {2402.18954},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18962,
author = {Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Chase Norman and
Andrei Voronkov},
title = {Program Synthesis in Saturation},
journal = {CoRR},
volume = {abs/2402.18962},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18962},
doi = {10.48550/ARXIV.2402.18962},
eprinttype = {arXiv},
eprint = {2402.18962},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-19199,
author = {M{\'{a}}rton Hajd{\'{u}} and
Laura Kov{\'{a}}cs and
Michael Rawson},
title = {Rewriting and Inductive Reasoning},
journal = {CoRR},
volume = {abs/2402.19199},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.19199},
doi = {10.48550/ARXIV.2402.19199},
eprinttype = {arXiv},
eprint = {2402.19199},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-19199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03712,
author = {Pamina Georgiou and
M{\'{a}}rton Hajd{\'{u}} and
Laura Kov{\'{a}}cs},
title = {Saturating Sorting without Sorts},
journal = {CoRR},
volume = {abs/2403.03712},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03712},
doi = {10.48550/ARXIV.2403.03712},
eprinttype = {arXiv},
eprint = {2403.03712},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-10310,
author = {Sophie Rain and
Lea Salome Brugger and
Anja Petkovic Komel and
Laura Kov{\'{a}}cs and
Michael Rawson},
title = {Scaling Game-Theoretic Security Reasoning},
journal = {CoRR},
volume = {abs/2403.10310},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.10310},
doi = {10.48550/ARXIV.2403.10310},
eprinttype = {arXiv},
eprint = {2403.10310},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-10310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/JaroschekKK23,
author = {Maximilian Jaroschek and
Manuel Kauers and
Laura Kov{\'{a}}cs},
title = {Lonely Points in Simplices},
journal = {Discret. Comput. Geom.},
volume = {69},
number = {1},
pages = {4--25},
year = {2023},
url = {https://doi.org/10.1007/s00454-022-00428-2},
doi = {10.1007/S00454-022-00428-2},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcg/JaroschekKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KovacsV23,
author = {Laura Kov{\'{a}}cs and
Anton Varonka},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {What Else is Undecidable About Loops?},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {176--193},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_11},
doi = {10.1007/978-3-031-28083-2\_11},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/KovacsV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arecca/EisenhoferK023,
author = {Clemens Eisenhofer and
Laura Kov{\'{a}}cs and
Michael Rawson},
editor = {Jens Otten and
Wolfgang Bibel},
title = {Embedding the Connection Calculus in Satisfiability Modulo Theories},
booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning
with Connection Calculi (AReCCa 2023) affiliated with the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3613},
pages = {54--63},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper4.pdf},
timestamp = {Sat, 27 Jan 2024 16:34:35 +0100},
biburl = {https://dblp.org/rec/conf/arecca/EisenhoferK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CoutelierKRR23,
author = {Robin Coutelier and
Laura Kov{\'{a}}cs and
Michael Rawson and
Jakob Rath},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {SAT-Based Subsumption Resolution},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {190--206},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_11},
doi = {10.1007/978-3-031-38499-8\_11},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CoutelierKRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HozzovaKNV23,
author = {Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Chase Norman and
Andrei Voronkov},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Program Synthesis in Saturation},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {307--324},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_18},
doi = {10.1007/978-3-031-38499-8\_18},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HozzovaKNV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BruggerKKR023,
author = {Lea Salome Brugger and
Laura Kov{\'{a}}cs and
Anja Petkovic Komel and
Sophie Rain and
Michael Rawson},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {CheckMate: Automated Game-Theoretic Security Reasoning},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1407--1421},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623183},
doi = {10.1145/3576915.3623183},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BruggerKKR023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RainAKM23,
author = {Sophie Rain and
Georgia Avarikioti and
Laura Kov{\'{a}}cs and
Matteo Maffei},
title = {Towards a Game-Theoretic Security Analysis of Off-Chain Protocols},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {107--122},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00003},
doi = {10.1109/CSF57540.2023.00003},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/RainAKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Kovacs23,
author = {Laura Kov{\'{a}}cs},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Symbolic Computation in Automated Program Reasoning},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {3--9},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_1},
doi = {10.1007/978-3-031-27481-7\_1},
timestamp = {Mon, 06 Mar 2023 14:12:36 +0100},
biburl = {https://dblp.org/rec/conf/fm/Kovacs23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MoosbruggerMK23,
author = {Marcel Moosbrugger and
Julian M{\"{u}}llner and
Laura Kov{\'{a}}cs},
editor = {Paula Herber and
Anton Wijs},
title = {Automated Sensitivity Analysis for Probabilistic Loops},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {21--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_2},
doi = {10.1007/978-3-031-47705-8\_2},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MoosbruggerMK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kovacs23,
author = {Laura Kov{\'{a}}cs},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {Algebra-Based Loop Analysis},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {41--42},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597150},
doi = {10.1145/3597066.3597150},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Kovacs23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KenisonKV23,
author = {George Kenison and
Laura Kov{\'{a}}cs and
Anton Varonka},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {From Polynomial Invariants to Linear Loops},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {398--406},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597109},
doi = {10.1145/3597066.3597109},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KenisonKV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/LandmanRKF23,
author = {Martina Landman and
Sophie Rain and
Laura Kov{\'{a}}cs and
Gerald Futschek},
editor = {Jean{-}Philippe Pellet and
Gabriel Parriaux},
title = {Reshaping Unplugged Computer Science Workshops for Primary School
Education},
booktitle = {Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics
Intelligence in Education - 16th International Conference on Informatics
in Schools: Situation, Evolution, and Perspectives, {ISSEP} 2023,
Lausanne, Switzerland, October 23-25, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14296},
pages = {139--151},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44900-0\_11},
doi = {10.1007/978-3-031-44900-0\_11},
timestamp = {Wed, 01 Nov 2023 08:59:01 +0100},
biburl = {https://dblp.org/rec/conf/issep/LandmanRKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BhayatKKS23,
author = {Ahmed Bhayat and
Konstantin Korovin and
Laura Kov{\'{a}}cs and
Johannes Schoisswohl},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {Refining Unification with Abstraction},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {36--47},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/h65j},
doi = {10.29007/H65J},
timestamp = {Wed, 12 Jul 2023 16:50:32 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BhayatKKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HaderRK23,
author = {Thomas Hader and
Daniela Kaufmann and
Laura Kov{\'{a}}cs},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {{SMT} Solving over Finite Field Arithmetic},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {238--256},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/4n6w},
doi = {10.29007/4N6W},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/HaderRK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kovacs23,
author = {Laura Kov{\'{a}}cs},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {4:1--4:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.4},
doi = {10.4230/LIPICS.MFCS.2023.4},
timestamp = {Mon, 28 Aug 2023 15:00:20 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kovacs23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/EisenhoferARK23,
author = {Clemens Eisenhofer and
Ruba Alassaf and
Michael Rawson and
Laura Kov{\'{a}}cs},
editor = {Revantha Ramanayake and
Josef Urban},
title = {Non-Classical Logics in Satisfiability Modulo Theories},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {24--36},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_2},
doi = {10.1007/978-3-031-43513-3\_2},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/EisenhoferARK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KorovinKRSV23,
author = {Konstantin Korovin and
Laura Kov{\'{a}}cs and
Giles Reger and
Johannes Schoisswohl and
Andrei Voronkov},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {{ALASCA:} Reasoning in Quantified Linear Arithmetic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {647--665},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_33},
doi = {10.1007/978-3-031-30823-9\_33},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KorovinKRSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BjornerEK23,
author = {Nikolaj S. Bj{\o}rner and
Clemens Eisenhofer and
Laura Kov{\'{a}}cs},
editor = {Cezara Dragoi and
Michael Emmi and
Jingbo Wang},
title = {Satisfiability Modulo Custom Theories in {Z3}},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International
Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13881},
pages = {91--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24950-1\_5},
doi = {10.1007/978-3-031-24950-1\_5},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BjornerEK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06323,
author = {George Kenison and
Laura Kov{\'{a}}cs and
Anton Varonka},
title = {From Polynomial Invariants to Linear Loops},
journal = {CoRR},
volume = {abs/2302.06323},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06323},
doi = {10.48550/ARXIV.2302.06323},
eprinttype = {arXiv},
eprint = {2302.06323},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00028,
author = {Thomas Hader and
Daniela Kaufmann and
Laura Kov{\'{a}}cs},
title = {{SMT} Solving over Finite Field Arithmetic},
journal = {CoRR},
volume = {abs/2305.00028},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.00028},
doi = {10.48550/ARXIV.2305.00028},
eprinttype = {arXiv},
eprint = {2305.00028},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-00028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-12173,
author = {Simon Jeanteur and
Laura Kov{\'{a}}cs and
Matteo Maffei and
Michael Rawson},
title = {CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker
Cryptographic Model},
journal = {CoRR},
volume = {abs/2305.12173},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.12173},
doi = {10.48550/ARXIV.2305.12173},
eprinttype = {arXiv},
eprint = {2305.12173},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-12173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15259,
author = {Marcel Moosbrugger and
Julian M{\"{u}}llner and
Laura Kov{\'{a}}cs},
title = {Automated Sensitivity Analysis for Probabilistic Loops},
journal = {CoRR},
volume = {abs/2305.15259},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15259},
doi = {10.48550/ARXIV.2305.15259},
eprinttype = {arXiv},
eprint = {2305.15259},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01597,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
title = {(Un)Solvable Loop Analysis},
journal = {CoRR},
volume = {abs/2306.01597},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01597},
doi = {10.48550/ARXIV.2306.01597},
eprinttype = {arXiv},
eprint = {2306.01597},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10902,
author = {Julian M{\"{u}}llner and
Marcel Moosbrugger and
Laura Kov{\'{a}}cs},
title = {Strong Invariants Are Hard: On the Hardness of Strongest Polynomial
Invariants for (Probabilistic) Programs},
journal = {CoRR},
volume = {abs/2307.10902},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10902},
doi = {10.48550/ARXIV.2307.10902},
eprinttype = {arXiv},
eprint = {2307.10902},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05120,
author = {S. Hitarth and
George Kenison and
Laura Kov{\'{a}}cs and
Anton Varonka},
title = {Linear Loop Synthesis for Quadratic Invariants},
journal = {CoRR},
volume = {abs/2310.05120},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.05120},
doi = {10.48550/ARXIV.2310.05120},
eprinttype = {arXiv},
eprint = {2310.05120},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-05120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HumenbergerABK22,
author = {Andreas Humenberger and
Daneshvar Amrollahi and
Nikolaj S. Bj{\o}rner and
Laura Kov{\'{a}}cs},
title = {Algebra-Based Reasoning for Loop Synthesis},
journal = {Formal Aspects Comput.},
volume = {34},
number = {1},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3527458},
doi = {10.1145/3527458},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/HumenbergerABK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MoosbruggerBKK22,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {The probabilistic termination tool amber},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {1},
pages = {90--109},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00424-z},
doi = {10.1007/S10703-023-00424-Z},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MoosbruggerBKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoosbruggerSBK22,
author = {Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {This is the moment for probabilistic loops},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1497--1525},
year = {2022},
url = {https://doi.org/10.1145/3563341},
doi = {10.1145/3563341},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoosbruggerSBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StankovicBK22,
author = {Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {Moment-based analysis of Bayesian network properties},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {113--133},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.021},
doi = {10.1016/J.TCS.2021.12.021},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StankovicBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HajduHKRV22,
author = {M{\'{a}}rton Hajd{\'{u}} and
Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Giles Reger and
Andrei Voronkov},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Getting Saturated with Induction},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {306--322},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_15},
doi = {10.1007/978-3-031-22337-2\_15},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HajduHKRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RathBK22,
author = {Jakob Rath and
Armin Biere and
Laura Kov{\'{a}}cs},
editor = {Alberto Griggio and
Neha Rungta},
title = {First-Order Subsumption via {SAT} Solving},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {160--169},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_22},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_22},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/RathBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GeorgiouGBRKR22,
author = {Pamina Georgiou and
Bernhard Gleiss and
Ahmed Bhayat and
Michael Rawson and
Laura Kov{\'{a}}cs and
Giles Reger},
editor = {Alberto Griggio and
Neha Rungta},
title = {The Rapid Software Verification Framework},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {255--260},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_32},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_32},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GeorgiouGBRKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BhayatGEKR22,
author = {Ahmed Bhayat and
Pamina Georgiou and
Clemens Eisenhofer and
Laura Kov{\'{a}}cs and
Giles Reger},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {Lemmaless Induction in Trace Logic},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {191--208},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_14},
doi = {10.1007/978-3-031-16681-5\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BhayatGEKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HajduKRV22,
author = {M{\'{a}}rton Hajd{\'{u}} and
Laura Kov{\'{a}}cs and
Michael Rawson and
Andrei Voronkov},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {The Vampire Approach to Induction (short paper)},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/HajduKRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KarimiMSKBB22,
author = {Ahmad Karimi and
Marcel Moosbrugger and
Miroslav Stankovic and
Laura Kov{\'{a}}cs and
Ezio Bartocci and
Efstathia Bura},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Distribution Estimation for Probabilistic Loops},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {26--42},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_2},
doi = {10.1007/978-3-031-16336-4\_2},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/KarimiMSKBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmrollahiBKKMS22,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
editor = {Gagandeep Singh and
Caterina Urban},
title = {Solving Invariant Generation for Unsolvable Loops},
booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
New Zealand, December 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13790},
pages = {19--43},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22308-2\_3},
doi = {10.1007/978-3-031-22308-2\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AmrollahiBKKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/BjornerEK22,
author = {Nikolaj S. Bj{\o}rner and
Clemens Eisenhofer and
Laura Kov{\'{a}}cs},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {User-Propagators for Custom Theories in {SMT} Solving},
booktitle = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
pages = {71--79},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/extended6630.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/BjornerEK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/HaderK22,
author = {Thomas Hader and
Laura Kov{\'{a}}cs},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {An {SMT} Approach for Solving Polynomials over Finite Fields},
booktitle = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
pages = {90--98},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/extended3245.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/HaderK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2022,
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6},
doi = {10.1007/978-3-031-10769-6},
isbn = {978-3-031-10768-9},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2022,
editor = {Laura Kov{\'{a}}cs and
Karl Meinke},
title = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13361},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09827-7},
doi = {10.1007/978-3-031-09827-7},
isbn = {978-3-031-09826-0},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07185,
author = {Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {This is the Moment for Probabilistic Loops},
journal = {CoRR},
volume = {abs/2204.07185},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07185},
doi = {10.48550/ARXIV.2204.07185},
eprinttype = {arXiv},
eprint = {2204.07185},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06943,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
title = {Solving Invariant Generation for Unsolvable Loops},
journal = {CoRR},
volume = {abs/2206.06943},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06943},
doi = {10.48550/ARXIV.2206.06943},
eprinttype = {arXiv},
eprint = {2206.06943},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11495,
author = {Andreas Humenberger and
Daneshvar Amrollahi and
Nikolaj S. Bj{\o}rner and
Laura Kov{\'{a}}cs},
title = {Algebra-Based Reasoning for Loop Synthesis},
journal = {CoRR},
volume = {abs/2206.11495},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11495},
doi = {10.48550/ARXIV.2206.11495},
eprinttype = {arXiv},
eprint = {2206.11495},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HozzovaKV21,
author = {Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Integer Induction in Saturation},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {361--377},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_21},
doi = {10.1007/978-3-030-79876-5\_21},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HozzovaKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EladRIKS21,
author = {Neta Elad and
Sophie Rain and
Neil Immerman and
Laura Kov{\'{a}}cs and
Mooly Sagiv},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Summing up Smart Transitions},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {317--340},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_15},
doi = {10.1007/978-3-030-81685-8\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EladRIKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoosbruggerBKK21,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
editor = {Nobuko Yoshida},
title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {491--518},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_18},
doi = {10.1007/978-3-030-72019-3\_18},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/MoosbruggerBKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MoosbruggerBKK21,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {The Probabilistic Termination Tool Amber},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {667--675},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_36},
doi = {10.1007/978-3-030-90870-6\_36},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MoosbruggerBKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HajduHKV21,
author = {M{\'{a}}rton Hajd{\'{u}} and
Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Induction with Recursive Definitions in Superposition},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_34},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_34},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HajduHKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HajduHKSV21,
author = {M{\'{a}}rton Hajd{\'{u}} and
Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Johannes Schoisswohl and
Andrei Voronkov},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Inductive Benchmarks for Automated Reasoning},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {124--129},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_9},
doi = {10.1007/978-3-030-81097-9\_9},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HajduHKSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HozzovaKR21,
author = {Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Jakob Rath},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Automated Generation of Exam Sheets for Automated Deduction},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {185--196},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_15},
doi = {10.1007/978-3-030-81097-9\_15},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HozzovaKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HumenbergerK21,
author = {Andreas Humenberger and
Laura Kov{\'{a}}cs},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {17--28},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_2},
doi = {10.1007/978-3-030-67067-2\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HumenbergerK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2107-07669,
author = {Johannes Schoisswohl and
Laura Kov{\'{a}}cs},
editor = {Elaine Pimentel and
Enrico Tassi},
title = {Automating Induction by Reflection},
booktitle = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
series = {{EPTCS}},
volume = {337},
pages = {39--54},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.337.4},
doi = {10.4204/EPTCS.337.4},
timestamp = {Mon, 26 Jun 2023 20:50:02 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-07669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03599,
author = {Andreas Humenberger and
Laura Kov{\'{a}}cs},
title = {Algebra-based Synthesis of Loops and their Invariants (Invited Paper)},
journal = {CoRR},
volume = {abs/2103.03599},
year = {2021},
url = {https://arxiv.org/abs/2103.03599},
eprinttype = {arXiv},
eprint = {2103.03599},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03607,
author = {Laura Kov{\'{a}}cs and
Hanna Lachnitt and
Stefan Szeider},
title = {Formalizing Graph Trail Properties in Isabelle/HOL},
journal = {CoRR},
volume = {abs/2103.03607},
year = {2021},
url = {https://arxiv.org/abs/2103.03607},
eprinttype = {arXiv},
eprint = {2103.03607},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03908,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {{MORA} - Automatic Generation of Moment-Based Invariants},
journal = {CoRR},
volume = {abs/2103.03908},
year = {2021},
url = {https://arxiv.org/abs/2103.03908},
eprinttype = {arXiv},
eprint = {2103.03908},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07663,
author = {Neta Elad and
Sophie Rain and
Neil Immerman and
Laura Kov{\'{a}}cs and
Mooly Sagiv},
title = {Summing Up Smart Transitions},
journal = {CoRR},
volume = {abs/2105.07663},
year = {2021},
url = {https://arxiv.org/abs/2105.07663},
eprinttype = {arXiv},
eprint = {2105.07663},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-07663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-05066,
author = {Johannes Schoisswohl and
Laura Kov{\'{a}}cs},
title = {Automating Induction by Reflection},
journal = {CoRR},
volume = {abs/2106.05066},
year = {2021},
url = {https://arxiv.org/abs/2106.05066},
eprinttype = {arXiv},
eprint = {2106.05066},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-05066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-13072,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {The Probabilistic Termination Tool Amber},
journal = {CoRR},
volume = {abs/2107.13072},
year = {2021},
url = {https://arxiv.org/abs/2107.13072},
eprinttype = {arXiv},
eprint = {2107.13072},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-07429,
author = {Sophie Rain and
Zeta Avarikioti and
Laura Kov{\'{a}}cs and
Matteo Maffei},
title = {Towards a Game-Theoretic Security Analysis of Off-Chain Protocols},
journal = {CoRR},
volume = {abs/2109.07429},
year = {2021},
url = {https://arxiv.org/abs/2109.07429},
eprinttype = {arXiv},
eprint = {2109.07429},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GleissKR20,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Jakob Rath},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Subsumption Demodulation in First-Order Theorem Proving},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {297--315},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_17},
doi = {10.1007/978-3-030-51074-9\_17},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GleissKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GeorgiouGK20,
author = {Pamina Georgiou and
Bernhard Gleiss and
Laura Kov{\'{a}}cs},
title = {Trace Logic for Inductive Loop Reasoning},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {255--263},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_33},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GeorgiouGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BartocciKS20,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {Analysis of Bayesian Networks via Prob-Solvable Loops},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {221--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_12},
doi = {10.1007/978-3-030-64276-1\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BartocciKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HumenbergerBK20,
author = {Andreas Humenberger and
Nikolaj S. Bj{\o}rner and
Laura Kov{\'{a}}cs},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Algebra-Based Loop Synthesis},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {440--459},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_24},
doi = {10.1007/978-3-030-63461-2\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HumenbergerBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HajduHKSV20,
author = {M{\'{a}}rton Hajd{\'{u}} and
Petra Hozzov{\'{a}} and
Laura Kov{\'{a}}cs and
Johannes Schoisswohl and
Andrei Voronkov},
editor = {Christoph Benzm{\"{u}}ller and
Bruce R. Miller},
title = {Induction with Generalization in Superposition Reasoning},
booktitle = {Intelligent Computer Mathematics - 13th International Conference,
{CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12236},
pages = {123--137},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53518-6\_8},
doi = {10.1007/978-3-030-53518-6\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HajduHKSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KovacsLS20,
author = {Laura Kov{\'{a}}cs and
Hanna Lachnitt and
Stefan Szeider},
editor = {Christoph Benzm{\"{u}}ller and
Bruce R. Miller},
title = {Formalizing Graph Trail Properties in Isabelle/HOL},
booktitle = {Intelligent Computer Mathematics - 13th International Conference,
{CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12236},
pages = {190--205},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53518-6\_12},
doi = {10.1007/978-3-030-53518-6\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KovacsLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciKS20,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Armin Biere and
David Parker},
title = {Mora - Automatic Generation of Moment-Based Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {492--498},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_28},
doi = {10.1007/978-3-030-45190-5\_28},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2020,
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-160-3},
isbn = {978-3-95977-160-3},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2020,
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
publisher = {EasyChair},
year = {2020},
url = {https://easychair.org/publications/volume/LPAR23},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04100,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Lena Schnedlitz},
title = {Interactive Visualization of Saturation Attempts in Vampire},
journal = {CoRR},
volume = {abs/2001.04100},
year = {2020},
url = {https://arxiv.org/abs/2001.04100},
eprinttype = {arXiv},
eprint = {2001.04100},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-10213,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Jakob Rath},
title = {Subsumption Demodulation in First-Order Theorem Proving},
journal = {CoRR},
volume = {abs/2001.10213},
year = {2020},
url = {https://arxiv.org/abs/2001.10213},
eprinttype = {arXiv},
eprint = {2001.10213},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11787,
author = {Andreas Humenberger and
Laura Kov{\'{a}}cs},
title = {Algebra-based Loop Synthesis},
journal = {CoRR},
volume = {abs/2004.11787},
year = {2020},
url = {https://arxiv.org/abs/2004.11787},
eprinttype = {arXiv},
eprint = {2004.11787},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09450,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {Analysis of Bayesian Networks via Prob-Solvable Loops},
journal = {CoRR},
volume = {abs/2007.09450},
year = {2020},
url = {https://arxiv.org/abs/2007.09450},
eprinttype = {arXiv},
eprint = {2007.09450},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01387,
author = {Pamina Georgiou and
Bernhard Gleiss and
Laura Kov{\'{a}}cs},
title = {Trace Logic for Inductive Loop Reasoning},
journal = {CoRR},
volume = {abs/2008.01387},
year = {2020},
url = {https://arxiv.org/abs/2008.01387},
eprinttype = {arXiv},
eprint = {2008.01387},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03444,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
journal = {CoRR},
volume = {abs/2010.03444},
year = {2020},
url = {https://arxiv.org/abs/2010.03444},
eprinttype = {arXiv},
eprint = {2010.03444},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SchreckIK19,
author = {Pascal Schreck and
Tetsuo Ida and
Laura Kov{\'{a}}cs},
title = {Foreword - Formalization of geometry, automated and interactive geometric
reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {85},
number = {2-4},
pages = {71--72},
year = {2019},
url = {https://doi.org/10.1007/s10472-019-9617-2},
doi = {10.1007/S10472-019-9617-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/SchreckIK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/DavenportKZ19,
author = {James H. Davenport and
Laura Kov{\'{a}}cs and
Daniela Zaharie},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {13},
number = {4},
pages = {459--460},
year = {2019},
url = {https://doi.org/10.1007/s11786-019-00411-w},
doi = {10.1007/S11786-019-00411-W},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/DavenportKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BartocciKS19,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Automatic Generation of Moment-Based Invariants for Prob-Solvable
Loops},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {255--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_15},
doi = {10.1007/978-3-030-31784-3\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BartocciKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BartheEGGKM19,
author = {Gilles Barthe and
Renate Eilers and
Pamina Georgiou and
Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Matteo Maffei},
editor = {Clark W. Barrett and
Jin Yang},
title = {Verifying Relational Properties using Trace Logic},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {170--178},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894277},
doi = {10.23919/FMCAD.2019.8894277},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BartheEGGKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GleissKS19,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Lena Schnedlitz},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Interactive Visualization of Saturation Attempts in Vampire},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {504--513},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_28},
doi = {10.1007/978-3-030-34968-4\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GleissKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovasznaiGK19,
author = {Gergely Kov{\'{a}}sznai and
Kriszti{\'{a}}n Gajd{\'{a}}r and
Laura Kov{\'{a}}cs},
title = {Portfolio {SAT} and {SMT} Solving of Cardinality Constraints in Sensor
Network Optimization},
booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2019, Timisoara, Romania, September
4-7, 2019},
pages = {85--91},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SYNASC49474.2019.00021},
doi = {10.1109/SYNASC49474.2019.00021},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/KovasznaiGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DamestaniK019,
author = {David Damestani and
Laura Kov{\'{a}}cs and
Martin Suda},
title = {Superposition Reasoning about Quantified Bitvector Formulas},
booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2019, Timisoara, Romania, September
4-7, 2019},
pages = {95--99},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SYNASC49474.2019.00022},
doi = {10.1109/SYNASC49474.2019.00022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/DamestaniK019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vampire/2019,
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
series = {EPiC Series in Computing},
volume = {71},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/volume/Vampire\_2019},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vampire/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02835,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {Automatic Generation of Moment-Based Invariants for Prob-Solvable
Loops},
journal = {CoRR},
volume = {abs/1905.02835},
year = {2019},
url = {http://arxiv.org/abs/1905.02835},
eprinttype = {arXiv},
eprint = {1905.02835},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08747,
author = {Maximilian Jaroschek and
Manuel Kauers and
Laura Kov{\'{a}}cs},
title = {Lonely Points in Simplices},
journal = {CoRR},
volume = {abs/1905.08747},
year = {2019},
url = {http://arxiv.org/abs/1905.08747},
eprinttype = {arXiv},
eprint = {1905.08747},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09899,
author = {Gilles Barthe and
Renate Eilers and
Pamina Georgiou and
Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Matteo Maffei},
title = {Verifying Relational Properties using Trace Logic},
journal = {CoRR},
volume = {abs/1906.09899},
year = {2019},
url = {http://arxiv.org/abs/1906.09899},
eprinttype = {arXiv},
eprint = {1906.09899},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09899.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KotelnikovKV18,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {A FOOLish Encoding of the Next State Relations of Imperative Programs},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {405--421},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_27},
doi = {10.1007/978-3-319-94205-6\_27},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KotelnikovKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GleissKR18,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Simon Robillard},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Loop Analysis by Quantification over Iterations},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {381--399},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/269p},
doi = {10.29007/269P},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GleissKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HumenbergerJK18,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
title = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11006},
pages = {111--117},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96812-4\_10},
doi = {10.1007/978-3-319-96812-4\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HumenbergerJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HumenbergerJK18,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
editor = {Isil Dillig and
Jens Palsberg},
title = {Invariant Generation for Multi-Path Loops with Polynomial Assignments},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {226--246},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_11},
doi = {10.1007/978-3-319-73721-8\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HumenbergerJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-03967,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
title = {Invariant Generation for Multi-Path Loops with Polynomial Assignments},
journal = {CoRR},
volume = {abs/1801.03967},
year = {2018},
url = {http://arxiv.org/abs/1801.03967},
eprinttype = {arXiv},
eprint = {1801.03967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-03967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05394,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
title = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
journal = {CoRR},
volume = {abs/1808.05394},
year = {2018},
url = {http://arxiv.org/abs/1808.05394},
eprinttype = {arXiv},
eprint = {1808.05394},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KnoopKZ17,
author = {Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
title = {Replacing conjectures by positive knowledge: Inferring proven precise
worst-case execution time bounds using symbolic execution},
journal = {J. Symb. Comput.},
volume = {80},
pages = {101--124},
year = {2017},
url = {https://doi.org/10.1016/j.jsc.2016.07.023},
doi = {10.1016/J.JSC.2016.07.023},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/KnoopKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GleissK017,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Martin Suda},
editor = {Leonardo de Moura},
title = {Splitting Proofs for Interpolation},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {291--309},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_18},
doi = {10.1007/978-3-319-63046-5\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GleissK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kovacs17,
author = {Laura Kov{\'{a}}cs},
editor = {Valentin Goranko and
Mads Dam},
title = {First-Order Interpolation and Grey Areas of Proofs (Invited Talk)},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.3},
doi = {10.4230/LIPICS.CSL.2017.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Kovacs17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ClaessenKKL17,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {115--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_8},
doi = {10.1007/978-3-319-70389-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ClaessenKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HumenbergerJK17,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
Sequences},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {221--228},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087623},
doi = {10.1145/3087604.3087623},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HumenbergerJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KovacsV17,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Thomas Eiter and
David Sands},
title = {First-Order Interpolation and Interpolating Proof Systems},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {49--64},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1qb8},
doi = {10.29007/1QB8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KovacsV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KovacsRV17,
author = {Laura Kov{\'{a}}cs and
Simon Robillard and
Andrei Voronkov},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Coming to terms with quantified reasoning},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {260--270},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009887},
doi = {10.1145/3009837.3009887},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KovacsRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2016vampire,
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
Portugal, July 2, 2016},
series = {EPiC Series in Computing},
volume = {44},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/Vampire\_2016},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2016vampire.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kovacs17,
author = {Laura Kov{\'{a}}cs},
title = {Symbolic Computation and Automated Reasoning for Program Analysis},
journal = {CoRR},
volume = {abs/1704.03202},
year = {2017},
url = {http://arxiv.org/abs/1704.03202},
eprinttype = {arXiv},
eprint = {1704.03202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kovacs17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HumenbergerJK17,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
title = {Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
Sequences},
journal = {CoRR},
volume = {abs/1705.02863},
year = {2017},
url = {http://arxiv.org/abs/1705.02863},
eprinttype = {arXiv},
eprint = {1705.02863},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HumenbergerJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02503,
author = {Bernhard Gleiss and
Laura Kov{\'{a}}cs and
Martin Suda},
title = {Splitting Proofs for Interpolation},
journal = {CoRR},
volume = {abs/1711.02503},
year = {2017},
url = {http://arxiv.org/abs/1711.02503},
eprinttype = {arXiv},
eprint = {1711.02503},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06501,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
journal = {CoRR},
volume = {abs/1711.06501},
year = {2017},
url = {http://arxiv.org/abs/1711.06501},
eprinttype = {arXiv},
eprint = {1711.06501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenKR16,
author = {Yuting Chen and
Laura Kov{\'{a}}cs and
Simon Robillard},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Theory-Specific Reasoning about Loops with Arrays using Vampire},
booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
Portugal, July 2, 2016},
series = {EPiC Series in Computing},
volume = {44},
pages = {16--32},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/qk21},
doi = {10.29007/QK21},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChenKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KotelnikovKRV16,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Giles Reger and
Andrei Voronkov},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {The vampire and the {FOOL}},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {37--48},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854071},
doi = {10.1145/2854065.2854071},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/KotelnikovKRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KotelnikovK0V16,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Martin Suda and
Andrei Voronkov},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {A Clausal Normal Form Translation for {FOOL}},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {53--71},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/ltkk},
doi = {10.29007/LTKK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KotelnikovK0V16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Kovacs16,
author = {Laura Kov{\'{a}}cs},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Symbolic Computation and Automated Reasoning for Program Analysis},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {20--27},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_2},
doi = {10.1007/978-3-319-33693-0\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Kovacs16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014-15vampire,
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
year = {2016},
url = {https://easychair.org/publications/volume/Vampire\_2014\_and\_2015},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2014-15vampire.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KovacsRV16,
author = {Laura Kov{\'{a}}cs and
Simon Robillard and
Andrei Voronkov},
title = {Coming to Terms with Quantified Reasoning},
journal = {CoRR},
volume = {abs/1611.02908},
year = {2016},
url = {http://arxiv.org/abs/1611.02908},
eprinttype = {arXiv},
eprint = {1611.02908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KovacsRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BouhoulaBKK15,
author = {Adel Bouhoula and
Bruno Buchberger and
Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Special issue on symbolic computation in software science},
journal = {J. Symb. Comput.},
volume = {69},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.jsc.2014.09.027},
doi = {10.1016/J.JSC.2014.09.027},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BouhoulaBKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsR15,
author = {Laura Kov{\'{a}}cs and
Simon Robillard},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Reasoning About Loops Using Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {52--62},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/tcvj},
doi = {10.29007/TCVJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KovacsR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CernyHKRZ15,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Laura Kov{\'{a}}cs and
Arjun Radhakrishna and
Jakob Zwirchmayr},
editor = {Jan Vitek},
title = {Segment Abstraction for Worst-Case Execution Time Analysis},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {105--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_5},
doi = {10.1007/978-3-662-46669-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CernyHKRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AhrendtKR15,
author = {Wolfgang Ahrendt and
Laura Kov{\'{a}}cs and
Simon Robillard},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Reasoning About Loops Using Vampire in KeY},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {434--443},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_30},
doi = {10.1007/978-3-662-48899-7\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AhrendtKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KotelnikovKV15,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {A First Class Boolean Sort in First-Order Theorem Proving and {TPTP}},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_5},
doi = {10.1007/978-3-319-20615-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KotelnikovKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2015,
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7425657/proceeding},
isbn = {978-1-5090-0461-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotelnikovKV15,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {A First Class Boolean Sort in First-Order Theorem Proving and {TPTP}},
journal = {CoRR},
volume = {abs/1505.01682},
year = {2015},
url = {http://arxiv.org/abs/1505.01682},
eprinttype = {arXiv},
eprint = {1505.01682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KotelnikovKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotelnikovKRV15,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Giles Reger and
Andrei Voronkov},
title = {The Vampire and the {FOOL}},
journal = {CoRR},
volume = {abs/1510.04821},
year = {2015},
url = {http://arxiv.org/abs/1510.04821},
eprinttype = {arXiv},
eprint = {1510.04821},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KotelnikovKRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Kovacs14,
author = {Laura Kov{\'{a}}cs},
title = {Symbol Elimination for Automated Generation of Program Properties},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.974},
doi = {10.14279/TUJ.ECEASST.70.974},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Kovacs14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GuptaKKV14,
author = {Ashutosh Gupta and
Laura Kov{\'{a}}cs and
Bernhard Kragl and
Andrei Voronkov},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Extensional Crisis and Proving Identity},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {185--200},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_14},
doi = {10.1007/978-3-319-11936-6\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/GuptaKKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {{SAT} solving experiments in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {29--32},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/5l47},
doi = {10.29007/5L47},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/DraganK14,
author = {Ioan Dragan and
Laura Kov{\'{a}}cs},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Lingva: Generating and Proving Program Properties Using Symbol Elimination},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {67--75},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_6},
doi = {10.1007/978-3-662-46823-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/DraganK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShoaeiKL14,
author = {Mohammad Reza Shoaei and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
editor = {Eran Yahav},
title = {Supervisory Control of Discrete-Event Systems via {IC3}},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {252--266},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_19},
doi = {10.1007/978-3-319-13338-6\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ShoaeiKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Alexander F. Gelbukh and
F{\'{e}}lix Castro{-}Espinoza and
Sof{\'{\i}}a N. Galicia{-}Haro},
title = {Experimenting with {SAT} Solvers in Vampire},
booktitle = {Human-Inspired Computing and Its Applications - 13th Mexican International
Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
Mexico, November 16-22, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8856},
pages = {431--442},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13647-9\_39},
doi = {10.1007/978-3-319-13647-9\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KovacsPST13,
author = {Laura Kov{\'{a}}cs and
Rosario Pugliese and
Josep Silva and
Francesco Tiezzi},
title = {Special issue on Automated Specification and Verification of Web Systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {8},
pages = {241--242},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.05.007},
doi = {10.1016/J.JLAP.2013.05.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KovacsPST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BiereKKZ13,
author = {Armin Biere and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {SmacC: {A} Retargetable Symbolic Execution Engine},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {482--486},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_40},
doi = {10.1007/978-3-319-02444-8\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BiereKKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KovacsV13,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Natasha Sharygina and
Helmut Veith},
title = {First-Order Theorem Proving and Vampire},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {1--35},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_1},
doi = {10.1007/978-3-642-39799-8\_1},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/KovacsV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlancGKK13,
author = {R{\'{e}}gis Blanc and
Ashutosh Gupta and
Laura Kov{\'{a}}cs and
Bernhard Kragl},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Tree Interpolation in Vampire},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {173--181},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_13},
doi = {10.1007/978-3-642-45221-5\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlancGKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KovacsMV13,
author = {Laura Kov{\'{a}}cs and
Andrei Mantsivoda and
Andrei Voronkov},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {The Inverse Method for Many-Valued Logics},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
International Conference on Artificial Intelligence, {MICAI} 2013,
Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8265},
pages = {12--23},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45114-0\_2},
doi = {10.1007/978-3-642-45114-0\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/KovacsMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KovacsRS13,
author = {Laura Kov{\'{a}}cs and
Simone Fulvio Rollini and
Natasha Sharygina},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {A Parametric Interpolation Framework for First-Order Theories},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
International Conference on Artificial Intelligence, {MICAI} 2013,
Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8265},
pages = {24--40},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45114-0\_3},
doi = {10.1007/978-3-642-45114-0\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/KovacsRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/KnoopKZ13,
author = {Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Michel Auguin and
Robert de Simone and
Robert I. Davis and
Emmanuel Grolleau},
title = {{WCET} squeezing: on-demand feasibility refinement for proven precise
WCET-bounds},
booktitle = {21st International Conference on Real-Time Networks and Systems, {RTNS}
2013, Sophia Antipolis, France, October 17-18, 2013},
pages = {161--170},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516821.2516847},
doi = {10.1145/2516821.2516847},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/KnoopKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DraganKKV13,
author = {Ioan Dragan and
Konstantin Korovin and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Bound Propagation for Arithmetic Reasoning in Vampire},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.30},
doi = {10.1109/SYNASC.2013.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DraganKKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BiereKKZ13,
author = {Armin Biere and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Claire Maiza},
title = {The Auspicious Couple: Symbolic Execution and {WCET} Analysis},
booktitle = {13th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2013, July 9, 2013, Paris, France},
series = {OASIcs},
volume = {30},
pages = {53--63},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.WCET.2013.53},
doi = {10.4230/OASICS.WCET.2013.53},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/BiereKKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2013,
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/SCSS\_2013},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2010,
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/WWV\_2010},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KovacsK12,
author = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Special issue on Automated Specification and Verification of Web Systems},
journal = {J. Appl. Log.},
volume = {10},
number = {1},
pages = {1},
year = {2012},
url = {https://doi.org/10.1016/j.jal.2011.11.001},
doi = {10.1016/J.JAL.2011.11.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/KovacsK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BjornerK12,
author = {Nikolaj S. Bj{\o}rner and
Laura Kov{\'{a}}cs},
title = {Foreword},
journal = {J. Symb. Comput.},
volume = {47},
number = {12},
pages = {1413--1415},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.047},
doi = {10.1016/J.JSC.2011.12.047},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BjornerK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoderHKV12,
author = {Krystof Hoder and
Andreas Holzer and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Vinter: {A} Vampire-Based Tool for Interpolation},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {148--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_11},
doi = {10.1007/978-3-642-35182-2\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HoderHKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KnoopKZ12,
author = {Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {r-TuBound: Loop Bounds for {WCET} Analysis (Tool Paper)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {435--444},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_34},
doi = {10.1007/978-3-642-28717-6\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KnoopKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoderKV12,
author = {Krystof Hoder and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {John Field and
Michael Hicks},
title = {Playing in the grey area of proofs},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {259--272},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103689},
doi = {10.1145/2103656.2103689},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HoderKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BonenfantCMKKZ12,
author = {Armelle Bonenfant and
Hugues Cass{\'{e}} and
Marianne De Michiel and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Liliana Cucu{-}Grosjean and
Nicolas Navet and
Christine Rochange and
James H. Anderson},
title = {{FFX:} a portable {WCET} annotation language},
booktitle = {20th International Conference on Real-Time and Network Systems, {RTNS}
'12, Pont a Mousson, France - November 08 - 09, 2012},
pages = {91--100},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2392987.2392999},
doi = {10.1145/2392987.2392999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/BonenfantCMKKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsPK12,
author = {Laura Kov{\'{a}}cs and
B{\'{e}}la Pal{\'{a}}ncz and
Levente Kov{\'{a}}cs},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Solving Robust Glucose-Insulin Control by Dixon Resultant Computations},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {53--61},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.54},
doi = {10.1109/SYNASC.2012.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/KovacsPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010wing,
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/WING\_2010},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2010wing.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BjornerCKM12,
author = {Nikolaj S. Bj{\o}rner and
Krishnendu Chatterjee and
Laura Kov{\'{a}}cs and
Rupak Majumdar},
title = {Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar
12461)},
journal = {Dagstuhl Reports},
volume = {2},
number = {11},
pages = {45--65},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.11.45},
doi = {10.4230/DAGREP.2.11.45},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BjornerCKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsMV11,
author = {Laura Kov{\'{a}}cs and
Georg Moser and
Andrei Voronkov},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {On Transfinite Knuth-Bendix Orders},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {384--399},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_29},
doi = {10.1007/978-3-642-22438-6\_29},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KovacsMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KnoopKZ11,
author = {Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Symbolic Loop Bound Computation for {WCET} Analysis},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
1, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {227--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_20},
doi = {10.1007/978-3-642-29709-0\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/KnoopKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/HoderKV11,
author = {Krystof Hoder and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Ildar Z. Batyrshin and
Grigori Sidorov},
title = {Case Studies on Invariant Generation Using a Saturation Theorem Prover},
booktitle = {Advances in Artificial Intelligence - 10th Mexican International Conference
on Artificial Intelligence, {MICAI} 2011, Puebla, Mexico, November
26 - December 4, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7094},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25324-9\_1},
doi = {10.1007/978-3-642-25324-9\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/HoderKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Kovacs11,
author = {Laura Kov{\'{a}}cs},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Symbol Elimination in Program Analysis},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {12},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.60},
doi = {10.1109/SYNASC.2011.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Kovacs11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoderKV11,
author = {Krystof Hoder and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Invariant Generation in Vampire},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {60--64},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_7},
doi = {10.1007/978-3-642-19835-9\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoderKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-2085,
editor = {Laura Kov{\'{a}}cs and
Rosario Pugliese and
Francesco Tiezzi},
title = {Proceedings 7th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
June 2011},
series = {{EPTCS}},
volume = {61},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.61},
doi = {10.4204/EPTCS.61},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-2085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GieseIK10,
author = {Martin Giese and
Andrew Ireland and
Laura Kov{\'{a}}cs},
title = {Introduction},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1097--1100},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.002},
doi = {10.1016/J.JSC.2010.06.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GieseIK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HoderKV10,
author = {Krystof Hoder and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Interpolation and Symbol Elimination in Vampire},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {188--195},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_16},
doi = {10.1007/978-3-642-14203-1\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HoderKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlancHHK10,
author = {R{\'{e}}gis Blanc and
Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {{ABC:} Algebraic Bound Computation for Loops},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {103--118},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_7},
doi = {10.1007/978-3-642-17511-4\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlancHHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHKR10,
author = {Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs and
Andrey Rybalchenko},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Aligators for Arrays (Tool Paper)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {348--356},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_25},
doi = {10.1007/978-3-642-16242-8\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HenzingerHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HenzingerHKV10,
author = {Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Invariant and Type Inference for Matrices},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {163--179},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_14},
doi = {10.1007/978-3-642-11319-2\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HenzingerHKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsV09,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Renate A. Schmidt},
title = {Interpolation and Symbol Elimination},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {199--213},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_17},
doi = {10.1007/978-3-642-02959-2\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KovacsV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kovacs09,
author = {Laura Kov{\'{a}}cs},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {A Complete Invariant Generation Approach for P-solvable Loops},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {242--256},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_21},
doi = {10.1007/978-3-642-11486-1\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Kovacs09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KovacsV09,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Finding Loop Invariants for Programs over Arrays Using a Theorem Prover},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {470--485},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_33},
doi = {10.1007/978-3-642-00593-0\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/KovacsV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsV09,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Finding Loop Invariants for Programs over Arrays Using a Theorem Prover},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.66},
doi = {10.1109/SYNASC.2009.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/KovacsV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kovacs08,
author = {Laura Kov{\'{a}}cs},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Aligator: {A} Mathematica Package for Invariant Generation (System
Description)},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {275--282},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_22},
doi = {10.1007/978-3-540-71070-7\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kovacs08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Kovacs08,
author = {Laura Kov{\'{a}}cs},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {Invariant Generation for P-Solvable Loops with Assignments},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {349--359},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_35},
doi = {10.1007/978-3-540-79709-8\_35},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/Kovacs08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHK08,
author = {Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Valigator: {A} Verification Tool with Bound and Invariant Generation},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {333--342},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_24},
doi = {10.1007/978-3-540-89439-1\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HenzingerHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Kovacs08,
author = {Laura Kov{\'{a}}cs},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Reasoning Algebraically About P-Solvable Loops},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {249--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_18},
doi = {10.1007/978-3-540-78800-3\_18},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Kovacs08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BuchbergerCJKKNPPRR06,
author = {Bruno Buchberger and
Adrian Craciun and
Tudor Jebelean and
Laura Kov{\'{a}}cs and
Temur Kutsia and
Koji Nakagawa and
Florina Piroi and
Nikolaj Popov and
Judit Robu and
Markus Rosenkranz and
Wolfgang Windsteiger},
title = {Theorema: Towards computer-aided mathematical theory exploration},
journal = {J. Appl. Log.},
volume = {4},
number = {4},
pages = {470--504},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.10.006},
doi = {10.1016/J.JAL.2005.10.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/BuchbergerCJKKNPPRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KovacsPJ06,
author = {Laura Kov{\'{a}}cs and
Nikolaj Popov and
Tudor Jebelean},
title = {Combining Logic and Algebraic Techniques for Program Verification
in Theorema},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.46},
doi = {10.1109/ISOLA.2006.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KovacsPJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsJ05,
author = {Laura Ildik{\'{o}} Kov{\'{a}}cs and
Tudor Jebelean},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {An Algorithm for Automated Generation of Invariants for Loops with
Conditionals},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {245--249},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.19},
doi = {10.1109/SYNASC.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/KovacsJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JebeleanKP04,
author = {Tudor Jebelean and
Laura Kov{\'{a}}cs and
Nikolaj Popov},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Experimental Program Verification in the Theorema System},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {92--99},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/JebeleanKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
