Jürgen Giesl -

Registered user since Sat 22 Jul 2017

Name:Jürgen Giesl

Country:Germany

Affiliation:RWTH Aachen University

Personal website: https://verify.rwth-aachen.de/giesl/

Research interests:Program Analysis, Verification, Rewriting, Automated Deduction

Contributions

2024

FLOPS

Author of A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting within the FLOPS 2024-track

2023

Static Analysis Symposium

Author of ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses within the SAS 2023-track

2020

Static Analysis Symposium

Author of Termination of Polynomial Loops within the SAS-track

POPL

Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track

2017

FSCD

Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track