Travelled to:
1 × Canada
1 × Czech Republic
1 × Estonia
1 × France
1 × Japan
1 × South Africa
1 × South Korea
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Germany
2 × Switzerland
3 × Italy
5 × USA
Collaborated with:
S.Lity M.Lochau F.Damiani C.Seidl M.Kowal T.Thüm D.Lüddecke H.Baller M.Tribastone L.Bettini A.Poetzsch-Heffter R.Hähnle D.Clarke S.Apel R.Lachmann A.Haber B.Rumpe S.Schuster N.Bergmann T.Winkelmann U.Aßmann R.Bubel L.Padovani M.Helvensteijn A.Podelski S.Wagner J.Schneider S.Peldszus M.Dukaczewski M.Hentschel U.Goltz J.Kamischke M.Tschaikowski M.Kuhlemann G.Saake H.Rendel F.v.d.Linden V.Bono N.Tanzarella A.Knüppel S.Mennicke J.Meinicke S.Lischke S.Beddig S.Schulze T.Runge L.Cleophas D.G.Kourie B.W.Watson K.Hölldobler C.Kolassa M.Look K.Müller N.Diakov E.B.Johnsen J.Schäfer R.Schlatte P.Y.H.Wong
Talks about:
softwar (14) model (14) product (11) delta (10) line (10) orient (9) test (8) base (8) variabl (5) system (4)
♀ Person: Ina Schaefer
DBLP: Schaefer:Ina
Facilitated 8 volumes:
Contributed to:
Wrote 28 papers:
- GPCE-2015-SeidlSS #design pattern #development #generative #product line #using #variability
- Generative software product line development using variability-aware design patterns (CS, SS, IS), pp. 151–160.
- MoDELS-2015-LuddeckeSSS #modelling #network #using
- Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
- SANER-2015-LityBS #incremental #product line #slicing #towards
- Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
- SPLC-2015-LachmannLLBSS #integration #product line #testing
- Delta-oriented test case prioritization for integration testing of software product lines (RL, SL, SL, SB, SS, IS), pp. 81–90.
- FASE-2014-KowalST #analysis #performance
- Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
- ICST-2014-BallerLLS #incremental #multi #optimisation #product line #testing
- Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
- MoDELS-2014-LuddeckeBS #modelling #ontology
- Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
- SFM-2014-LochauPKS #modelling #testing
- Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
- SPLC-2014-DamianiSW #multi #product line
- Delta-oriented multi software product lines (FD, IS, TW), pp. 232–236.
- SPLC-2014-SeidlSA #product line #variability
- Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
- CADE-2013-HahnleSB #reuse #verification
- Reuse in Software Verification by Abstract Method Calls (RH, IS, RB), pp. 300–314.
- PLEASE-2013-DukaczewskiSLL #testing
- Requirements-based delta-oriented SPL testing (MD, IS, RL, ML), pp. 49–52.
- SPLC-2013-HaberHKLRMS #modelling
- Engineering delta modeling languages (AH, KH, CK, ML, BR, KM, IS), pp. 22–31.
- FASE-2012-ThumSKAS #contract #design #feature model #programming
- Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.
- GPCE-2012-DamianiPS #formal method #product line
- A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
- GPCE-2012-ThumSHA #deduction #product line #verification
- Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.
- PLEASE-2012-LityLSG #modelling #testing
- Delta-oriented model-based SPL regression testing (SL, ML, IS, UG), pp. 53–56.
- TAP-2012-LochauSKL #incremental #modelling #product line #testing
- Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
- SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
- Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
- SPLC-2011-HaberRRSL #architecture #modelling #variability
- Hierarchical Variability Modeling for Software Architectures (AH, HR, BR, IS, FvdL), pp. 150–159.
- GPCE-2010-ClarkeHS #modelling
- Abstract delta modeling (DC, MH, IS), pp. 13–22.
- SAC-2010-BettiniDS #implementation #product line #using
- Implementing software product lines using traits (LB, FD, IS), pp. 2096–2102.
- SPLC-2010-SchaeferBBDT #product line #programming
- Delta-Oriented Programming of Software Product Lines (IS, LB, VB, FD, NT), pp. 77–91.
- SEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
- Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
- ESOP-2005-PodelskiSW #recursion #source code #summary
- Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.
- ASE-2015-KowalTTS #modelling #parametricity #performance #scalability #variability
- Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.
- ESEC-FSE-2017-KnuppelTMMS #feature model #modelling #product line #question #research
- Is there a mismatch between real-world feature models and product-line research? (AK, TT, SM, JM, IS), pp. 291–302.
- FASE-2019-RungeSCTKW #tool support
- Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.