• Sign in
  • Sign up
conf.researchr.org / Tobias Runge
  • ETAPS 2019 profile
  • ICSE 2020 profile
  • SPLASH 2016 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
No Photo

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
xFri 23 May 03:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up