Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Runge
conf.researchr.org general profile
ETAPS 2019 profile
ICSE 2020 profile
SPLASH 2016 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
Share
x
Sat 10 Jun 09:27