• Sign in
  • Sign up
conf.researchr.org / Stefan Leue
  • ETAPS 2019 profile
  • ISSTA 2017 profile
  • ISSTA 2019 profile
Stefan Leue

Registered user since Sun 30 Oct 2016

Name: Stefan Leue

Country: Germany

Personal website: http://se.uni-konstanz.de/members/leue

Research interests: formal methods, model checking, timed systems, system safety, automotive software, machine learning, intelligent systems

Contributions

SPIN 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
CREST 2019Committee Member in Invited Speakers within the CREST-track
Author of Analysis, Repair and Causality for Timed Diagnostic Traces within the CREST-track
InterAVT 2019Committee Member in Program Committee within the InterAVT-track
SPIN 2017Committee Member in Program Committee
Committee Member in Steering Committee
Session Chair of Session 8: Program Synthesis (part of SPIN Full Paper)

Share
xSat 14 Dec 14:16
using conf.researchr.org (v1.21.5)
Support page
Sign Up