Person
Dr. rer. nat., UniversitätsprofessorJürgen Giesl
Supervisor
Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)
Address
Building: Informatikzentrum (ehem. PH)
Room: 4212
Ahornstraße 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 21230
Fax
Fax:
+49 241 80 22217
Office Hours
- nach Vereinbarung
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book, Contribution to a conference proceedings] Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops In: Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.), 734-754, 2022 [DOI: 10.1007/978-3-031-10769-6_43] | Lommen, Nils (Corresponding author) Meyer, Fabian Niklas Giesl, Jürgen (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Improving Automatic Complexity Analysis of Integer Programs In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022 [DOI: 10.1007/978-3-031-08166-8_10] | Giesl, Jürgen (Corresponding author) Lommen, Nils Hark, Marcel Tobias Meyer, Fabian Niklas |
| [Contribution to a book, Contribution to a conference proceedings] Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 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 / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269, 2021 [DOI: 10.1007/978-3-030-72016-2_14] | Meyer, Fabian Niklas Hark, Marcel Tobias (Corresponding author) Giesl, Jürgen (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Termination of Polynomial Loops In: Static Analysis : 27th International Symposium, SAS 2020 : Virtual Event, November 18-20, 2020 : Proceedings / Pichardie, David, Sighireanu, Mihaela (Eds.), 89-112, 2020 [DOI: 10.1007/978-3-030-65474-0_5] | Frohn, Florian Hark, Marcel Tobias (Corresponding author) Giesl, Jürgen |
| [Contribution to a book, Contribution to a conference proceedings] Polynomial Loops: Beyond Termination In: Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297, 2020 [DOI: 10.29007/nxv1] | Hark, Marcel Tobias Frohn, Florian Giesl, Jürgen |
| [Conference Presentation, Journal Article] Aiming low is harder: induction for lower bounds in probabilistic program verification In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020 [DOI: 10.1145/3371105] | Hark, Marcel Tobias (Corresponding author) Kaminski, Benjamin Lucien Giesl, Jürgen Katoen, Joost-Pieter |
| [Contribution to a book, Contribution to a conference proceedings] Computing Expected Runtimes for Constant Probability Programs In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286, 2019 [DOI: 10.1007/978-3-030-29436-6_16] | Giesl, Jürgen Giesl, Peter Hark, Marcel Tobias (Corresponding author) |