News

Efficient Slicing of Feature Models via Projected d-DNNF Compilation accepted at ASE conference

Our work "Efficient Slicing of Feature Models via Projected d-DNNF Compilation" by Chico Sundermann, Jacob Loth, and Thomas Thüm has been accepted at…

veröffentlicht am: 11. August 2024

Reusing d-DNNFs for Efficient Feature-Model Counting accepted at TOSEM Journal

Our work "Reusing d-DNNFs for Efficient Feature-Model Counting" by Chico Sundermann, Heiko Raab, Tobias Hess, Thomas Thüm and Ina Schaefer has been…

veröffentlicht am: 31. Juli 2024

Congratulations to Dr. Thomas Witte for his successful defense of his doctoral thesis

We congratulate Dr. Thomas Witte on the successful defense of his dissertation "What you change is what you get – Using Provenance Tracking at…

veröffentlicht am: 03. Juli 2024

"EditQL: A Textual Query Language for Evolving Models" accepted at MODELS'24

Our paper "EditQL: A Textual Query Language for Evolving Models" by Jakob Pietron, Benedikt Jutz, Alexander Raschke, and Matthias Tichy got accepted…

veröffentlicht am: 03. Juli 2024

Award for the Best Master’s Degree

Florian Sihler received the award for the best master's degree in the field of computer science at Ulm University.

veröffentlicht am: 14. Mai 2024

YoungRSE Award at deRSE24

Florian Sihler received the YoungRSE Award at deRSE24.

veröffentlicht am: 14. Mai 2024

New Interim Professor Dr. Stefan Winter

Starting from April, Dr.-Ing. Stefan Winter has joined the SP institute as an interim professor and is temporarily filling the position of Thomas…

veröffentlicht am: 19. April 2024

Congratulations to Dr. Raffaela Groner for her successful defense of her doctoral thesis.

We congratulate Dr. Raffaela Groner on the successful defense of her dissertation "User-centered performance engineering of model transformations!"

veröffentlicht am: 23. Februar 2024

"On the Anatomy of Real-World R Code for Static Analysis" accepted at MSR'24

Our paper "On the Anatomy of Real-World R Code for Static Analysis" by Florian Sihler, Lukas Pietzschmann, Raphael Straub, Matthias Tichy, Andor…

veröffentlicht am: 22. Februar 2024

Demo/Tool Paper Award at SPLC'23

We have received the demonstrations and tools paper award at SPLC'23 for our work: "UVLS: A Language Server Protocol For UVL"

veröffentlicht am: 07. September 2023