Helmut Seidl -

Registered user since Sun 15 Jan 2017

Name: Helmut Seidl

Affiliation: Technische Universität München

Personal website: http://www2.in.tum.de/~seidl/

Contributions

SAS 2020	Author of Stratified Guarded First-order Transition Systems within the SAS-track Session Chair of 8 (part of SAS) Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track Committee Member in Program Committee within the SAS-track
VMCAI 2020	Author of How to Win First-Order Safety Games within the VMCAI 2020-track
FOSSACS 2019	Session Chair of Fixed-point Logics (part of FOSSACS 2019) Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track
VMCAI 2017	Author of Reachability for dynamic parametric processes within the VMCAI-track
CC 2017	Committee Member in Program Committee within the Research Papers-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track Session Chair of Session 6 (part of ESOP) Committee Member in Steering Committee Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track