• Sign in
  • Sign up
conf.researchr.org / Ina Schaefer
  • HILT'22 - Supporting a Rigorous Approach to Software Development profile
  • ICSE 2020 profile
  • MODELS 2023 profile
  • SPLASH 2011 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

Name:Ina Schaefer
Affiliation:TU Braunschweig

Contributions

2023

MODELS

  • Author of Consistency in the View-Based Development of Cyber-Physical Systems (Convide) within the Posters-track

2020

GPCE

  • Committee Member in Steering Committee within the GPCE-track

FormaliSE

  • Author of Lattice-Based Information Flow Control-by-Construction for Security-by-Design within the FormaliSE 2020-track

2011

GPCE

  • Committee Member in Program Committee within the GPCE 2011-track
Share
xSat 24 May 15:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up