Ina Schaefer

Registered user since Thu 9 Jul 2015

Name: Ina Schaefer

Country: Germany

Affiliation: Technische Universität Braunschweig

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

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

Contributions

GPCE 2019General Chair in Organizing Committee within the GPCE 2019-track
ASE 2019Committee Member in Program Committee within the Research Papers-track
FASE 2019Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019Author of Tool Support for Correctness-by-Construction within the Posters-track
HILT 2018Panelist 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 2018Committee Member in Program Committee within the GPCE 2018-track
ICSE 2019Committee Member in Program Committee within the Technical Track-track
FOSD 2017Author 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 2017Committee 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 2016Author 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 2016Author of MADFAct—Constructing Dictionaries within the Parsing@SLE-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
GPCE 2016Program 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 2015Author of Name Resolution Strategies in Variability Realization Languages for Software Product Lines within the Parsing@SLE-track
SPLASH 2016GPCE Program Chair in Organizing Committee
GPCE 2015Author of Generative Software Product Line Development using Variability-Aware Design Patterns within the GPCE-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track