
Thomas Thüm
@thomasthuem
Professor for Construction and Analysis of Secure Software at the University of Ulm
ID: 982354567
https://www.uni-ulm.de/in/sp/team/thuem/ 01-12-2012 11:22:29
1,1K Tweet
505 Followers
121 Following


Right now at #FOSD2024: Norbert Siegmund illustrating that slide numbers are the most important part of slides… by starting with an (almost) empty title slide.


The GPCE conference is happening again at SPLASH Conference! Submit your work and join us in Pasadena in October! Conference website: 2024.splashcon.org/home/gpce-2024 Abstract submission: Thursday June 6 Paper submission: Thursday June 13




We showcased our novel UVL Feature-Model Generator (with support for _all_ UVL language levels) at #SPLC24! Paper: dl.acm.org/doi/pdf/10.114… Tool: github.com/SoftVarE-Group… Authors: Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm.


Sandra Greiner (@sandragreiner) presenting our foundational work on optimizing the accuracy of retroactive feature-tracing techniques with pinpointed proactive knowledge exploitation. Part of the VariantSync project. Authors ⬇️


👉 Chico Sundermann presenting the result of hundreds of hours of work: A comprehensive collection of feature-model instances from research and industry with the goal of improving the validity and relevance of future empirical works in product-line research. #SPLC24 Authors ⬇️


Tobias Heß (Tobias Heß) presenting a novel deterministic variable ordering algorithm based on the detection of XOR groups and the scalability improvements it yields when compiling binary decision diagrams from real-world feature models. #SPLC24

👉 Chico Sundermann is pulling double duty today and presents our collection and inspection of knowledge compilation targets and their capabilities when applied in the analysis of feature models. (journal-first paper), authors ⬇️


Congratulations again @sandragreiner @SchultheissAlex Paul Bittner Thomas Thüm Timo Kehrer ! 🤩🥳


Which language should I use to formalize my research on software variability? Find out in our recent OOPSLA paper, were we gather, unify, and compare formal languages: doi.org/10.1145/3689747 See you next week SPLASH Conference 🤗 for my talk with examples in C++ and 🍔


How to architect and design a modern university course on software product lines? Me, Thomas Thüm, and Timo Kehrer share our experiences in creating such a course in a recently accepted paper at VaMoS 2025 (@[email protected]) #VaMoS2025. Find out more on our website: github.com/SoftVarE-Group…

Exciting talk alert! “Teach Variability! A Modern University Course on Software Product Lines” by Elias Kuiter Thomas Thüm Timo Kehrerb now at VaMoS 2025 (@[email protected])



For #VaMoS2025 the Best Research Paper goes to... Elias Kuiter, Thomas Thüm and Timo Kehrer - Teach Variability! A Modern University Course on Software Product Lines Elias calls to further teach variability! cc Juliana A. Pereira Clément Quinton Thomas Thüm Elias Kuiter
