TU Wien Informatics

Roles

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2022

  • Distribution Estimation for Probabilistic Loops / A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura / accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022)
  • Moment-based analysis of Bayesian network properties / S. Stankovic, E. Bartocci, L. Kovacs / Theoretical Computer Science, 903 (2022), 113 - 133

2021

  • Induction with Recursive Definitions in Superposition / M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov / Talk: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, New Haven, Connecticut, USA; 2021-10-19 - 2021-10-22; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)", R. Piskac, M. Wahlen (ed.); TU Wien Academic Press, 2 (2021), ISBN: 978-3-85448-046-4; 1 - 10
  • Automated Generation of Exam Sheets for Automated Deduction / P. Hozzova, L. Kovacs, J. Rath / Talk: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Timisoara, Romania; 2021-07-26 - 2021-07-31; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)", Springer LNCS, 12833 (2021), 185 - 196
  • Inductive Benchmarks for Automated Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Timisoara, Romania; 2021-07-26 - 2021-07-31; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)", F. Kamareddine, C. Sacerdoti Coen (ed.); Springer LNCS, 12833 (2021), 124 - 129
  • Summing Up Smart Transitions / N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs / Talk: 33rd International Conference on Computer Aided Verification (CAV), Los Angeles, US; 2021-07-20 - 2021-07-23; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)", A. Silva, R. Leino (ed.); Springer LNCS, 12759 (2021), 317 - 340
  • Automating Induction by Reflection / J. Schoisswohl, L. Kovacs / Talk: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Pittsburgh, USA; 2021-07-16; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)", E. Pimentel, E. Tassi (ed.); EPTCS, 337 (2021), 39 - 54
  • Integer Induction in Saturation / P. Hozzova, L. Kovacs, A. Voronkov / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proceedings of the 28th International Conference on Automated Deduction (CADE-28)", A. Platzer, G. Sutcliffe (ed.); Springer LNCS, 12669 (2021), 361 - 377
  • Automated Termination Analysis of Polynomial Probabilistic Programs / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518
  • Algebra-Based Synthesis of Loops and Their Invariants / A. Humenberger, L. Kovacs / Talk: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Copenhagen, Denmark (invited); 2021-01-17 - 2021-01-19; in: "Proceedings of the 22n International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)", F. Henglein, S. Shoham, Y. Vizel (ed.); Springer LNCS, 12597 (2021), 17 - 28

2020

  • ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs / E. Bartocci, L. Kovacs, E. Bura / Talk: Vienna Science, Research and Technology Fund - ProbInG, online; 2020-12-14 - 2020-12-15
  • Analysis of Bayesian Networks via Prob-Solvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; 2020-11-30 - 2020-12-04; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing", Springer, 12545 (2020), ISBN: 978-3-030-64275-4; 221 - 241
  • Algebra-Based Loop Synthesis / A. Humenberger, N. Bjorner, L. Kovacs / Talk: Proceedings of the 16th International Conference on Integrated Formal Methods (iFM), Lugano, Switzerland; 2020-11-16 - 2020-11-20; in: "Proceedings of the 16th International Conference on Integrated Formal Methods", B. Dongol, E. Troubitsyna (ed.); Lecture Notes in Computer Science, Springer, 12546 (2020), ISBN: 978-0-9835678-9-9; 440 - 459
  • Trace Logic for Inductive Loop Reasoning / P. Georgiou, B. Gleiss, L. Kovacs / Talk: 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD), Haifa, Israel; 2020-09-21 - 2020-09-24; in: "Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020", A. Ivrii, O. Strichman (ed.); IEEE, (2020), ISBN: 978-3-85448-042-6; 255 - 263
  • Induction with Generalization in Superposition Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Italy; 2020-07-26 - 2020-07-31; in: "Proceedings of the 13th International Conference on Intelligent Computer Mathematics", Lecture Notes in Computer Science, Springer, 12236 (2020), ISBN: 978-0-9835678-9-9; 123 - 137
  • Formalizing Graph Trail Properties in Isabelle/HOL / L. Kovacs, Hanna Lachnitt, S. Szeider / Talk: International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Forli, Italy; 2020-07-26 - 2020-07-31; in: "CICM 2020: Intelligent Computer Mathematics", LNCS, 12236 (2020), ISBN: 978-3-030-53518-6; 190 - 205
  • Subsumption Demodulation in First-Order Theorem Proving / B. Gleiss, L. Kovacs, J. Rath / Talk: 10th International Joint Conference on Automated Reasoning (IJCAR), Paris; 2020-07-01 - 2020-07-04; in: "Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR)", N. Peltier, V. Sofronie-Stokkermans (ed.); Lecture Notes in Computer Science, Springer, 12166 (2020), ISBN: 978-3-030-51073-2; 297 - 315
  • Mora - Automatic Generation of Moment-Based Invariants / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; 2020-04-25 - 2020-04-30; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 12078 (2020), ISBN: 978-3-030-45189-9; 492 - 498
  • Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) / E Albert, L. Kovacs / EasyChair EPiC Series in Computing, Alicante, Spain, 2020, ISSN: 2398-7340; 516 pages
  • Proceedings of the 31st International Conference on Concurrency Theory (CONCUR) / I. Konnov, L. Kovacs / Dagstuhl Publishing LIPICS, Vienna, Austria, 2020, ISBN: 978-3-95977-160-3; 984 pages

2019

2018

  • Symbol Elimination in Program Analysis / L. Kovacs / Keynote Lecture: 2nd Facebook Testing and Veri cation Symposium (FaceTAV), London, UK (invited); 2018-11-28 - 2018-11-29
  • Loop Analysis by Quantification over Iterations / B. Gleiss, L. Kovacs, S. Robillard / Talk: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 2018-11-16 - 2018-11-21; in: "Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)", G. Barthe, G. Sutcliffe, M. Veanes (ed.); EasyChair EPiC Series in Computing, 57 (2018), 381 - 399
  • Symbol Elimination for Program Analysis / L. Kovacs / Keynote Lecture: Highlights of Logic, Games and Automata, Berlin, Germany (invited); 2018-09-18 - 2018-09-21
  • First-Order Interpolation in the Grey Area of Proofs / L. Kovacs / Keynote Lecture: Summer School on Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics (SYSMICS), Les Diablerets, Switzerland (invited); 2018-08-22 - 2018-08-26
  • A FOOLish Encoding of the Next State Relations of Imperative Programs. / E. Kotelnikov, L. Kovacs, A. Voronkov / Talk: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018, Oxford; 2018-08-14 - 2018-08-17; in: "Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR) 2018", LNCS, 10900 (2018), 405 - 421
  • Aligator.jl - A Julia Package for Loop Invariant Generation / A. Humenberger, M. Jaroschek, L. Kovacs / Talk: 11th International Conference on Intelligent Computer Mathematics (CICM), Hagenberg; 2018-08-13 - 2018-08-17; in: "Proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM)", F. Rabe et al. (ed.); LNCS, 11006 (2018), 111 - 117
  • First-Order Interpolation / L. Kovacs / Keynote Lecture: SAT/SMT/AR Summer School 2018, Manchester (invited); 2018-07-03 - 2018-07-06
  • Automated Reasoning for Systems Engineering / L. Kovacs / Keynote Lecture: Foundations of Information and Knowledge Systems (FOIKS) 2018, Budapest, Hungary (invited); 2018-05-14 - 2018-05-18; in: "Foundations of Information and Knowledge Systems (FOIKS) 2018", LNCS, 10833 (2018), 1
  • Automated Reasoning for Rigorous Systems Engineering / L. Kovacs / Keynote Lecture: RiSE/SHINE Media Seminar 2018, Vienna (invited); 2018-05-07
  • First-Order Theorem Proving in Rigorous Systems Engineering / L. Kovacs, A. Voronkov / Keynote Lecture: RiSE/SHiNE Winter School 2018, Wien (invited); 2018-02-05 - 2018-02-09
  • Automated Reasoning for Systems Engineering / L. Kovacs / Keynote Lecture: 2018 IEEE International Conference on Future IoT Technologies (Future IoT 2018), Eger, Hungary (invited); 2018-01-18 - 2018-01-19
  • Invariant Generation for Multi-Path Loops with Polynomial Assignments / A. Humenberger, M. Jaroschek, L. Kovacs / Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; 2018-01-07 - 2018-01-09; in: "Verification, Model Checking, and Abstract Interpretation - 19th International Conference", Springer, (2018), ISBN: 978-3-319-73720-1; 226 - 246
  • Vampire 2017. Proceedings of the 4th Vampire Workshop / L. Kovacs, A. Voronkov / in series "Vampire 2017. Proceedings of the 4th Vampire Workshop", series editor: A. Voronkov; issued by: EasyChair; EasyChair EPiC Series in Computing, EasyChair, 2018

2017

  • A Supervisory Control Algorithm Based on Property-Directed Reachability / K. Claessen, J. Kilhamn, L. Kovacs, B. Lennartson / Talk: 13th International Haifa Verification Conference (HVC 2017), Haifa, Israel; 2017-11-13 - 2017-11-15; in: "13th International Haifa Verification Conference (HVC)", O. Strichman, R. Tzoref-Brill (ed.); Lecture Notes in Computer Science / Springer, 10629 / Cham (2017), ISBN: 978-3-319-70388-6; 115 - 130
  • Symbol Elimination for Program Analysis / L. Kovacs / Keynote Lecture: ETH Workshop on Software Correctness and Reliability, Zürich, Switzerland (invited); 2017-10-13 - 2017-10-14
  • First-Order Interpolation and Grey Areas of Proofs / L. Kovacs / Keynote Lecture: 26th EACSL Annual Conference on Computer Science Logic (CSL), Stockholm, Sweden (invited); 2017-08-20 - 2017-08-24; in: "Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL)", V. Goranko, M. Dam (ed.); LIPIcs, 82 (2017), ISBN: 978-3-95977-045-3; 3:1
  • Splitting Proofs for Interpolation / B. Gleiss, L. Kovacs, M. Suda / Talk: CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden; 2017-08-06 - 2017-08-11; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings", Springer, Lecture Notes in Computer Science / 10395 (2017), ISBN: 978-3-319-63046-5; 291 - 309
  • Polynomial Invariant Generation for Multi-Path Loops / A. Humenberger, M. Jaroschek, L. Kovacs / Talk: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Kaiserslautern, Germany; 2017-07-29
  • Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences / A. Humenberger, M. Jaroschek, L. Kovacs / Talk: International Symposium on Symbolic and Algebraic Computation (ISSAC), Kaiserslautern; 2017-07-23 - 2017-07-28; in: "ISSAC '17 Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation", ACM, (2017), ISBN: 978-1-4503-5064-8; 221 - 228
  • Algebraic Reasoning for Program Analysis / L. Kovacs / Keynote Lecture: 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS), Ljubljana, Slovenia (invited); 2017-06-12 - 2017-06-16
  • Coming to Terms with Quantified Reasoning / L. Kovacs, S. Robillard, A. Voronkov / Talk: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France; 2017-01-18 - 2017-01-20; in: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)", G. Castagna, A. Gordon (ed.); ACM, (2017), ISBN: 978-1-4503-4660-3; 260 - 270
  • Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Journal of Symbolic Computation, 80 (2017), 101 - 124
  • First-Order Interpolation and Interpolating Proof Systems / L. Kovacs, A. Voronkov / in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair EPiC Series in Computing, Volume 46, 2017, 49 - 64

2016

  • With a Timisoara Background in the Scientific World of Computer Science and / L. Kovacs / Keynote Lecture: Timisoara Hungarian Science Festival, Timisoara, Romania (invited); 2016-11-26
  • A Clausal Normal Form Translation for FOOL / E. Kotelnikov, L. Kovacs, M. Suda, A. Voronkov / Talk: GCAI 2016 / 2nd Global Conference on Artificial Intelligence, Berlin, Germany; 2016-09-29 - 2016-10-02; in: "GCAI 2016. 2nd Global Conference on Artificial Intelligence", EasyChair, EPiC Series in Computing / 41 / Berlin (2016), 53 - 71
  • Automated Reasoning for Systems Engineering / L. Kovacs / Keynote Lecture: Austrian Computer Science Day 2018, Salzburg (invited); 2016-06-15
  • Enjoying Research at the Intersection of Math and Computer Science / L. Kovacs / Keynote Lecture: Women in Science Workshop Series (WISE), Gothenburg, Schweden (invited); 2016-06-08
  • Symbolic Computation and Automated Reasoning for Program Analysis / L. Kovacs / Keynote Lecture: 12th International Conference on Integrated Formal Methods (iFM), Bertinoro, Italy (invited); 2016-06-01 - 2016-06-05; in: "Proceedings of the 12th International Conference on Integrated Formal Methods (iFM)", E. Abraham, M. Huisman (ed.); Springer / LNCS, 9681 (2016), ISBN: 978-3-319-33692-3; 20 - 27
  • First-Order Theorem Proving and Vampire / L. Kovacs / Keynote Lecture: Spring School on Logic and Verification - LoVE, Vienna, Austria (invited); 2016-04-15 - 2016-04-17
  • The Vampire and the FOOL / E. Kotelnikov, L. Kovacs, G. Reger, A. Voronkov / Talk: 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), Saint Petersburg, Florida, USA; 2016-01-20 - 2016-01-22; in: "Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)", J. Avigad, A. Chlipala (ed.); ACM, (2016), ISBN: 978-1-4503-4127-1; 37 - 48
  • Proceedings of the 1st and 2nd Vampire Workshops / L. Kovacs, A. Voronkov / in series "Proceedings of the 1st and 2nd Vampire Workshops", series editor: L. Kovacs, A. Voronkov; issued by: EasyChair; EasyChair EPiC Series in Computing, 2016

2015

  • Reasoning About Loops Using Vampire in KeY / W. Ahrendt, L. Kovacs, S. Robillard / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 - 2015-11-28; in: "Proc. of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20)", M. Davis, A. Fehnker, A. McIver, A. Voronkov (ed.); LNCS, 9450 (2015), ISBN: 978-3-662-48898-0; 434 - 443
  • Symbol Elimination for Program Analysis / L. Kovacs / Talk: Dagstuhl Seminar 15471 on "Symbolic Computation and Satisfiability Checking", Dagstuhl, Germany (invited); 2015-11-16 - 2015-11-20
  • A First Class Boolean Sort in First-Order Theorem Proving and TPTP / E. Kotelnikov, L. Kovacs, A. Voronkov / Talk: International Conference on Intelligent Computer Mathematics (CICM), Washington, DC, USA; 2015-07-13 - 2015-07-17; in: "Proc. of the International Conference on Intelligent Computer Mathematics", M. Kerber et al. (ed.); LNCS, 9150 (2015), ISBN: 978-3-319-20614-1; 71 - 86
  • Symbol Elimination for Program Analysis / L. Kovacs / Talk: Theoretical Computer Science Seminar Series of the KTH Royal Institute of Technology,, Stockholm, Sweden (invited); 2015-05-18
  • First-Order Theorem Proving and Program Analysis / L. Kovacs / Talk: LCCC-ACCESS workshop on Model-Based Engineering, Lund, Sweden (invited); 2015-05-04 - 2015-05-06; in: "Proc. of the LCCC-ACCESS workshop on Model-Based Engineering", J. Baras et al. (ed.); (2015), ISSN: 0280-5316; 192 - 217
  • Segment Abstraction for Worst-Case Execution Time Analysis / P. Cerny, T. Henzinger, L. Kovacs, A. Radhakrishna, J. Zwirchmayr / Talk: European Symposium on Programming (ESOP), Londok, UK; 2015-04-11 - 2015-04-18; in: "Proc. of the 24th European Symposium on Programming (ESOP)", J. Vitek (ed.); LNCS, 9032 (2015), ISBN: 978-3-662-46668-1; 105 - 131
  • Special Issue on Symbolic Computation in Software Science / A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia / in series "Journal of Symbolic Computation", series editor: H. Hong; Elsevier, 2015, ISSN: 0747-7171, 158 pages
  • Foreword to the Special Issue on Symbolic Computation in Software Science / A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia / Journal of Symbolic Computation, 69 (2015), 1 - 2

2014

2013

2012

2011

  • Case Studies on Invariant Generation Using a Saturation Theorem Prover / K. Hoder, L. Kovacs, A. Voronkov / Talk: 10th Mexican International Conference on Artificial Intelligence (MICAI), Puebla, Mexico; 2011-11-26 - 2011-12-04; in: "Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI)", I. Batyrshin, G. Sidorov (ed.); Springer, LNAI 7094 (2011), ISBN: 978-3-642-25323-2; 1 - 15
  • First-order theorem proving and Vampire / L. Kovacs, A. Voronkov / Talk: 10th Mexican International Conference on Artificial Intelligence (MICAI), Puebla, Mexico; 2011-11-26 - 2011-12-04
  • Aligator: Experiments and Limitations / L. Kovacs, A. Kovacs / Talk: 22nd International DAAAM Symposium: "Intelligent Manufactoring and Symposium: Power of Knowledge and Creativity", Vienna, Austria; 2011-11-23 - 2011-11-26; in: "Proc. of the 22nd International DAAAM Symposium: "Intelligent Manufactoring and Automation: Power of Knowledge and Creativity"", DAAAM International, Volume 22, No. 1 (2011), ISBN: 978-3-901509-83-4; 1145 - 1146
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract) / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: MEMICS 2011 (Mathematical and Engineering Methods in Computer Science), My Hotel, Lednice, Czech Republic; 2011-10-14 - 2011-10-16; in: "MEMICS Proceedings", (2011), 119
  • First-order theorem proving and Vampire / L. Kovacs / Talk: RiSE-PUMA Workshop, Traunkirchen, Austria; 2011-10-01 - 2011-10-07
  • Symbol Elimination in Program Analysis / L. Kovacs / Keynote Lecture: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania; 2011-09-26 - 2011-09-29; in: "Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)", D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.); IEEE Computer Society, IEEE Computer Society Order Number P4630, BMS Part Number: CFP11387-PRT (2012), ISBN: 978-0-7695-4630-8; 12 - 13
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation) / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Schloss Raesfeld, Münsterland, Deutschland; 2011-09-26 - 2011-09-28; in: "Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)", Westfälische Wilhelms-Universität Münster, 132 (2011), 200
  • Invariant Generation using Theorem Proving / L. Kovacs, A. Voronkov / Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania (invited); 2011-09-26 - 2011-09-29
  • Program Assertion Synthesis using Symbolic Computation / L. Kovacs / Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania (invited); 2011-09-26 - 2011-09-29
  • Symbol Elimination in Program Analysis / L. Kovacs / Talk: Helsinki Institute for Information Technology (HIIT), Helsinki, Finnland (invited); 2011-09-23
  • On Transfinite Knuth-Bendix Orders / L. Kovacs, G. Moser, A. Voronkov / Talk: 23rd International Conference on Automated Deduction (CADE-23), Wroclaw, Poland; 2011-07-31 - 2011-08-05; in: "Proc. of the 23rd International Conference on Automated Deduction (CADE-23)", N. Bjorner, V. Sofronie-Stokkermans (ed.); Springer, LNAI 6803 (2011), ISBN: 978-3-642-22437-9; 384 - 399
  • First-order theorem proving and Vampire / K. Hoder, L. Kovacs, A. Voronkov / Talk: 23rd International Conference on Automated Deduction (CADE-23), Wroclaw, Poland; 2011-07-31 - 2011-08-05
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal; 2011-07-05; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis", C. Healy (ed.); Österreichische Computer Gesellschaft - OCG, (2011), 93 - 103
  • Symbolic Loop Bound Computation for WCET Analysis / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011), Akademgorodok, Novosibirsk, Russland; 2011-06-27 - 2011-07-01; in: "Ershov Informatic Conference, PSI Series, 8th Edition", Springer-Verlag, Lecture Notes in Computer Science, 7162 (2012), 224 - 239
  • Interpolation and Symbol Elimination / L. Kovacs / Talk: TU Graz, Graz, Austria (invited); 2011-05-31
  • RiSE: Rigorous Systems Engineering / L. Kovacs / Talk: Research Seminar for Master Students, West University of Timisoara, Timisoara, Romania (invited); 2011-05-25 - 2011-05-27
  • Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2011-05-02 - 2011-05-04; in: "28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, (2011)
  • Experiments with Invariant Generation Using a Saturation Theorem Prover / L. Kovacs / Talk: AdaCore Paris, Paris, France (invited); 2011-04-18
  • Invariant Generation in Vampire / K. Hoder, L. Kovacs, A. Voronkov / Talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken; 2011-03-26 - 2011-04-03; in: "Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)", Springer, LNCS 6605 (2011), ISBN: 978-3-642-19834-2; 60 - 64
  • Experiments with Invariant Generation Using a Saturation Theorem Prover / L. Kovacs / Talk: "Deduction at Scale" Seminar, Ringberg Castle, Germany (invited); 2011-03-07 - 2011-03-11
  • Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV) / L. Kovacs, R. Pugliese, F. Tiezzi / EPTCS Vol. 61, 2011
  • Analyzing the Fluid Motion Through Network Profiles Using the Boundary Element Method / A. Kovacs, L. Kovacs / in: "Proc. of the 22nd International DAAAM Symposium: "Intelligent Manufactoring and Automation: Power of Knowledge and Creativity"", DAAAM International, Volume 22, Nr. 1, Vienna, Austria, 2011, ISBN: 978-3-901509-83-4, 1147 - 1148

2010

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.