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