• Sign in
  • Sign up
conf.researchr.org / Helmut Seidl
  • CC 2017 profile
  • ESOP 2015 profile
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
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

Share
xSun 11 Apr 18:16
using conf.researchr.org (v1.44.3)
Support page
Sign Up