Tobias Runge -

Not registered as user yet

Name:Tobias Runge

Affiliation:TU Braunschweig

Contributions

APLAS 2022	Author of Model-based Fault Classification for Automotive Software within the APLAS-track
GPCE 2020	Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track
FormaliSE 2020	Author of Lattice-Based Information Flow Control-by-Construction for Security-by-Design within the FormaliSE 2020-track
ETAPS 2019	Author of Tool Support for Correctness-by-Construction within the Posters-track
FASE 2019	Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
HILT 2018	Speaker of Tool support for Confidentiality by Construction within the HILT 2018-track Panelist of Panel on Language-based Security within the HILT 2018-track
Parsing@SLE 2016	Author of MADFAct—Constructing Dictionaries within the Parsing@SLE-track