Sibylle Schupp -

Registered user since Thu 25 Mar 2021

Name:Sibylle Schupp

Contributions

GPCE 2022	Committee Member in Program Committee within the GPCE -track
GPCE 2021	Committee Member in Program Committee within the GPCE-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019	Author of Static Analysis for Worst-Case Battery Utilization within the FormaliSE 2019-track
SLE 2016	Committee Member in Program Committee within the SLE-track