Ina Schaefer

Identifiers

• name variant Ina Schaefer 0.60 · backfill

Papers (8)

1. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY cs.PL · 2018 · author #4
2. Delta Modeling for Software Architectures cs.SE · 2014 · author #4
3. Hierarchical Variability Modeling for Software Architectures cs.SE · 2014 · author #4
4. Delta-oriented Architectural Variability Using MontiCore cs.SE · 2014 · author #5
5. Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models cs.SE · 2014 · author #5
6. Evolving Delta-oriented Software Product Line Architectures cs.SE · 2014 · author #4
7. Engineering Delta Modeling Languages cs.SE · 2014 · author #7
8. First-Class Variability Modeling in Matlab/Simulink cs.SE · 2014 · author #6

Mentions

• 1409.2358 #4 · backfill · confidence 0.70 Ina Schaefer
• 1409.2318 #4 · backfill · confidence 0.70 Ina Schaefer
• 1409.2317 #5 · backfill · confidence 0.70 Ina Schaefer
• 1409.2315 #5 · backfill · confidence 0.70 Ina Schaefer
• 1409.2311 #4 · backfill · confidence 0.70 Ina Schaefer
• 1408.5756 #7 · backfill · confidence 0.70 Ina Schaefer
• 1408.5751 #6 · backfill · confidence 0.70 Ina Schaefer

Frequent Coauthors

• Arne Haber 7 shared papers
• Bernhard Rumpe 7 shared papers
• Holger Rendel 3 shared papers
• Carsten Kolassa 2 shared papers
• Holger Renel 2 shared papers
• Thomas Kutz 2 shared papers
• Alexander Kn\"uppel 1 shared papers
• Carsten Pardylla 1 shared papers
• Frank van der Linden 1 shared papers
• Katrin H\"olldobler 1 shared papers
• Klaus M\"uller 1 shared papers
• Markus Look 1 shared papers
• Pedram Mir Seyed Nazari 1 shared papers
• Peter Manhart 1 shared papers
• Thomas Th\"um 1 shared papers