International Conference ABZ 2021 virtually hosted by SP
Our institute is honoured to host the 8th International Conference on Rigorous State Based Methods (ABZ 2021) from June 9 to 11, accompanied by…
News
"Feature Trace Recording" accepted at ESEC/FSE'21
Feature Trace Recording by Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young and Lukas Linsbauer is accepted…
Thomas Thüm will give a Keynote at SPLC'21
Thomas Thüm will give a keynote for the 25th ACM International Systems and Software Product Line Conference (#SPLC2021) which is held from september 6…
Thomas Thüm joined the editorial board of TOSEM
Thomas Thüm joined the editorial board of the journal ACM Transactions on Software Engineering and Methodology (TOSEM), one of the top-ranked journals…
Congratulations to Dr. Daniel Gall for his successful defense of his doctoral thesis
We congratulate Dr. Daniel Gall on the successful defense of his dissertation "Analysis of Cognitive Models in Constraint Handling Rules"!
Congratulations to Dr. Katharina Juhnke for her successful defense of her doctoral thesis
We congratulate Dr. Katharina Juhnke on the successful defense of her dissertation "Improving the Quality of Automotive Test Case Specifications"!
Thomas Thüm Started as a New Professor at Our Institute
In January 2020, Thomas Thüm started as a professor at our institute. His teaching and research is devoted to the Construction and Analysis of Secure…
Dr. Alexander Raschke receives the ZLE Special Award for his outstanding commitment to teaching in the online summer semester 2020
SE Projects Winter Term 2020/2021
This time, you can choose from 20 different projects!
Lehrangebot im Wintersemester 2019
Model-driven Software Engineering, Funktionale Programmierung, Principles of Program Analysis, (Pro)Seminare, spannende Projekte u.v.m.