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