Stefan Leue -

Registered user since Sun 30 Oct 2016

Name:Stefan Leue

Country:Germany

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

Contributions

SPIN 2021	Session Chair of Invited talk 3 (part of SPIN)
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)