Thomas Thüm

Registered user since Thu 12 Mar 2015

Name: Thomas Thüm

Bio: Professor for Construction and Analysis of Secure Software at the University of Ulm

Country: Germany

Affiliation: University of Ulm

Personal website: https://www.uni-ulm.de/in/sp/team/thuem/

Twitter: https://twitter.com/ThomasThuem

GitHub: https://github.com/tthuem

Contributions

GPCE 2021 Committee Member in Program Committee within the GPCE-track
FormaliSE 2021 Author of GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers within the FormaliSE 2021-track
FormaliSE 2020 Author of Lattice-Based Information Flow Control-by-Construction for Security-by-Design within the FormaliSE 2020-track
ICSE 2021 Author of Bridging the Gap Between Clone-and-Own and Software Product Lines within the NIER - New Ideas and Emerging Results-track
FASE 2019 Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
ETAPS 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track
ICSE 2020 Programme Committee in Program Committee within the Software Engineering in Practice-track
GPCE 2018 Author of Measuring Effectiveness of Sample-based Product-Line Testing within the GPCE 2018-track
Author of Anomaly Analyses for Feature-Model Evolution within the GPCE 2018-track
SPLASH 2018 Author of Anomaly Analyses for Feature-Model Evolution within the Posters-track
ICSE 2019 Committee Member in Program Committee within the Workshops-track
FOSD 2017 Committee Member in Program Committee within the FOSD 2017-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
LASSY 2017 Committee Member in Program Committee within the LASSY 2017-track
FOSD 2016 Author of Implicit Constraints in Partial Feature Models within the FOSD-track
GPCE 2016 Author of IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling within the GPCE-track
Author of Explaining Anomalies in Feature Models within the GPCE-track
Author of Tool Demo: Testing Configurable Systems with FeatureIDE within the GPCE-track
* ICSE 2018 * Author of Propagating Configuration Decisions with Modal Implication Graphs within the Technical Papers -track
ETX 2015 Committee Member in Program Committee
Committee Member in Program Committee within the ETX-track
SLE 2015 Author of Using Decision Rules for Solving Conflicts in Extended Feature Models within the SLE-track
SPLASH 2015 Committee Member in Program Committee within the Workshops-track
ETX Committee Member in Program Committee within the ETX-track
Committee Member in Program Committee