Prefix title Titel (vorangestellt)
Univ.Prof.in Dr.in techn.
 
Full name Familienname, Vorname
Kovacs, Laura
 
Postfix title Titel (nachgestellt)
MSc
 

Results 1-20 of 135 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovacs, Laura With a Timisoara Background in the Scientific World of Computer Science andPräsentation Presentation2016
2Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-boundsKonferenzbeitrag Inproceedings 2013
3Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing by On-demand Feasibility RefinementPräsentation Presentation2013
4Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinausPräsentation Presentation2014
5Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
6Kovacs, Laura Verifying Relational Properties using Trace LogicPräsentation Presentation2019
7Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
8Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Kenneth, McMillan ; Middeldorp, Aart ; Voronkov, Andrei Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
9Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Trace Reasoning for Formal Verification using the First-Order Superposition CalculusPräsentation Presentation2019
10Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
1133_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
12Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Avigad, Jeremy ; Chlipala, Adam The vampire and the FOOLKonferenzbeitrag Inproceedings 2016
13Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei ; Castro, Felix ; Gelbukh, Alexander ; Gonzalez, Miguel The Inverse Method for Many-Valued LogicsKonferenzbeitrag Inproceedings2013
14Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Five P's of Inferring Proven Precise Worst-Case Execution Time BoundsPräsentation Presentation2014
15Kovacs, Adalbert ; Kovacs, Laura ; Kovacs, Levente The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro lesKonferenzbeitrag Inproceedings 2012
16Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob ; Maiza, Claire The Auspicious Couple: Symbolic Execution and WCET AnalysisKonferenzbeitrag Inproceedings 2013
17Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Symbolic Loop Bound Computation for WCET AnalysisKonferenzbeitrag Inproceedings 2012
18Kovacs, Laura Symbolic Computation and Automated Reasoning for Program AnalysisPräsentation Presentation2019
19Kovács, Laura ; Abraham, Erika ; Huisman, Marieke Symbolic Computation and Automated Reasoning for Program AnalysisKonferenzbeitrag Inproceedings2016
20Kovacs, Laura Symbol Elimination in Program AnalysisPräsentation Presentation2012

Results 1-20 of 33 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas ; Kovacs, Laura ; Zaharie, Daniela vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
2Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
3Eisenhofer Clemens - 2022 - User Propagators for Satisfiability Modulo Custom...pdf.jpgEisenhofer, Clemens User Propagators for Satisfiability Modulo Custom TheoriesThesis Hochschulschrift 2022
4Rath Jakob - 2019 - Subsumption demodulation in first-order theorem proving.pdf.jpgRath, Jakob Subsumption demodulation in first-order theorem provingThesis Hochschulschrift 2019
5Bouhoula, Adel ; Buchberger, Bruno ; Kovacs, Laura ; Kutsia, Temur Special issue on symbolic computation in software scienceBuch Book2015
6Giese, Martin ; Ireland, Andrew ; Kovacs, Laura Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsBuch Book2010
7Bjorner, Nikolaj ; Kovacs, Laura Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsBuch Book2012
8Kovacs, Laura ; Pugliese, Rosario ; Silva, Josep ; Tiezzi, Francesco Special issue on Automated Specification and Verification of Web SystemsBuch Book2013
9Kovacs, Laura ; Kutsia, Temur Special Issue on Automated Speci cation and Veri cation of Web SystemsBuch Book2012
10Kragl Bernhard - 2014 - Reasoning in first-order theories with extensionality.pdf.jpgKragl, Bernhard Reasoning in first-order theories with extensionalityThesis Hochschulschrift 2014
11Rebola Pardo, Adrian ; Weissenbacher, Georg ; Kovacs, Laura ; Albert, Elvira RAT EliminationKonferenzbeitrag Inproceedings 2020
12Kovacs, Laura ; Pugliese, Rosario ; Tiezzi, Francesco Proceedings of the 7th International Workshop on Automated Specification and Verification of Web SystemsKonferenzband Proceedings 2011
13Kovacs, Laura ; Kutsia, Temur Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV'10)Konferenzband Proceedings2010
14Konnov, Igor ; Kovacs, Laura Proceedings of the 31st International Conference on Concurrency Theory (CONCUR)Konferenzband Proceedings2020
15Albert, Elvira ; Kovacs, Laura Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)Konferenzband Proceedings 2020
16Hader Thomas - 2022 - Non-Linear SMT-Reasoning over Finite Fields.pdf.jpgHader, Thomas Non-linear SMT-reasoning over finite fieldsThesis Hochschulschrift 2022
17Lackner Andreas - 2022 - Non-Linear Reasoning in the Superposition Calculus.pdf.jpgLackner, Andreas Non-Linear reasoning in the superposition calculusThesis Hochschulschrift 2022
18Reger, Giles ; Suda, Martin ; Kovacs, Laura ; Voronkov, Andrei Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
19Gleiss Bernhard - 2016 - Interpolation and local proofs.pdf.jpgGleiss, Bernhard Interpolation and local proofsThesis Hochschulschrift 2016
20Lachnitt Hanna Elif - 2020 - Formalizing graph trail properties.pdf.jpgLachnitt, Hanna Elif Formalizing graph trail propertiesThesis Hochschulschrift 2020



Results 1-5 of 5 (Search time: 0.001 seconds).