Travelled to:1 × Canada
1 × Estonia
1 × Italy
1 × Switzerland
1 × The Netherlands
1 × USA
2 × Germany
Collaborated with:G.Saake C.Kästner J.Meinicke I.Schaefer S.Apel M.Al-Hajjaji M.Lochau N.Siegmund ∅ M.Hentschel R.Schröter S.Krieter L.Ochoa O.G.Rojas D.S.Batory M.Kowal S.Ananieva T.Leich S.Erdweg M.Kuhlemann C.Wong A.Knüppel S.Mennicke F.Benduhn A.v.Rhein M.Nieke J.Mauro C.Seidl I.C.Yu F.Franzke T.Runge L.Cleophas D.G.Kourie B.W.Watson J.Feigenspan F.Wielgorz S.Ruland L.Luthmann J.Bürdek S.Lity M.Ribeiro
Talks about:featur (13) product (8) line (8) model (7) softwar (5) test (4) configur (3) orient (3) tool (3) base (3)
Person: Thomas Thüm
DBLP: Th=uuml=m:Thomas
Contributed to:
2015
2014
2013
2012
20122011
2009
20162016
201720182019Wrote 18 papers:
- SLE-2015-OchoaRT #feature model #modelling #using
- Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
- SPLC-2014-Al-HajjajiTMLS #product line #similarity #testing
- Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
- SPLC-2014-SchroterSTS #interface #product line #programming
- Feature-context interfaces: tailored programming interfaces for software product lines (RS, NS, TT, GS), pp. 102–111.
- SPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving
- Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
- ISSTA-2013-Thum #contract #feature model #product line #verification
- Product-line verification with feature-oriented contracts (TT), pp. 374–377.
- 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-ThumSHA #deduction #product line #verification
- Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.
- SPLC-2011-ThumKES #feature model #modelling
- Abstract Features in Feature Modeling (TT, CK, SE, NS), pp. 191–200.
- ICSE-2009-KastnerTSFLWA #development #feature model #framework #named
- FeatureIDE: A tool framework for feature-oriented software development (CK, TT, GS, JF, TL, FW, SA), pp. 611–614.
- ICSE-2009-ThumBK #feature model #modelling #reasoning
- Reasoning about edits to feature models (TT, DSB, CK), pp. 254–264.
- ASE-2016-MeinickeWKTS #complexity #configuration management #interactive #on the
- On essential configuration complexity: measuring interactions in highly-configurable systems (JM, CPW, CK, TT, GS), pp. 483–494.
- GPCE-2016-Al-HajjajiKTLS #incremental #named #performance #product line #testing #using
- IncLing: efficient product-line testing using incremental pairwise sampling (MAH, SK, TT, ML, GS), pp. 144–155.
- GPCE-2016-Al-HajjajiMKSTL #configuration management #testing
- Tool demo: testing configurable systems with FeatureIDE (MAH, JM, SK, RS, TT, TL, GS), pp. 173–177.
- GPCE-2016-KowalAT #feature model #modelling
- Explaining anomalies in feature models (MK, SA, TT), pp. 132–143.
- 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.
- GPCE-2018-NiekeMSTYF #analysis #evolution
- Anomaly analyses for feature-model evolution (MN, JM, CS, TT, ICY, FF), pp. 188–201.
- GPCE-2018-RulandLBLTLR #effectiveness #product line #testing
- Measuring effectiveness of sample-based product-line testing (SR, LL, JB, SL, TT, ML, MR), pp. 119–133.
- FASE-2019-RungeSCTKW #tool support
- Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.