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
Name:
Tobias Runge
Affiliation:
TU Braunschweig
Contributions
2022
APLAS
Author of Model-based Fault Classification for Automotive Software within the APLAS-track
2020
GPCE
Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track
FormaliSE
Author of Lattice-Based Information Flow Control-by-Construction for Security-by-Design within the FormaliSE 2020-track
2019
ETAPS
Author of Tool Support for Correctness-by-Construction within the Posters-track
FASE
Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
2018
HILT
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
2016
Parsing@SLE
Author of MADFAct—Constructing Dictionaries within the Parsing@SLE-track
Share
x
Mon 5 May 23:29
