Ina Schaefer

Registered user since Thu 9 Jul 2015

Name: Ina Schaefer

Country: Germany

Affiliation: TU Braunschweig

Personal website: https://www.tu-braunschweig.de/isf/team/schaefer

Research interests: Formal Methods, Software Product Line Engineering, Software Evolution

Contributions

GPCE 2021 Vice-Chair in Steering Committee within the GPCE-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
HILT 2020 Committee Member in Program Committee within the HILT 2020-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
GPCE 2020 Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track
ICSE 2021 Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
GPCE 2019 General Chair in Organizing Committee within the GPCE 2019-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
FASE 2019 Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track
HILT 2018 Panelist of Panel on Language-based Security within the HILT 2018-track
Speaker of Tool support for Confidentiality by Construction within the HILT 2018-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
ICSE 2019 Committee Member in Program Committee within the Technical Track-track
FOSD 2017 Author of Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures within the FOSD 2017-track
Author of Towards a Development Process for Maturing Delta-Oriented Software Product Lines within the FOSD 2017-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
Session Chair of Variability (part of GPCE 2017)
Committee Member in Steering Committee within the GPCE 2017-track
FOSD 2016 Author of Higher-Order Delta Modeling for Software Product Line Evolution within the FOSD-track
Committee Member in Program Committee within the FOSD-track
Author of Name Resolution Strategies in Variability Realization Languages for Software Product Lines within the FOSD-track
Author of Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines within the FOSD-track
Author of Implicit Constraints in Partial Feature Models within the FOSD-track
Author of Variability Mining of State Charts within the FOSD-track
Parsing@SLE 2016 Author of MADFAct—Constructing Dictionaries within the Parsing@SLE-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
GPCE 2016 Program Chair in Program Committee within the GPCE-track
Session Chair of Keynote (part of GPCE)
Program Chair in Organizing Committee
* ICSE 2018 * Committee Member in Program committee within the SEIP - Software Engineering in Practice-track
Committee Member in Program committee within the Technical Papers -track
Parsing@SLE 2015 Author of Name Resolution Strategies in Variability Realization Languages for Software Product Lines within the Parsing@SLE-track
SPLASH 2016 GPCE Program Chair in Organizing Committee
GPCE 2015 Author of Generative Software Product Line Development using Variability-Aware Design Patterns within the GPCE-track
SPLASH 2013 Committee Member in Program Committee within the GPCE-track