Best Paper Award at ICPE2023
Our paper “Predicting the Performance of ATL Model Transformations” authored by Raffaela Groner, Peter Bellmann, Stefan Höppner, Patrick Thiam,…
News
7th International Joint Conference on Rules and Reasoning (RuleML+RR)
Thom Fruehwirth is PC member of the 7th International Joint Conference on Rules and Reasoning (RuleML+RR), Oslo, Norway, September…
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" accepted at EMSE Journal
Our work "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" by Chico Sundermann, Tobias HeĂź, Michael Nieke, Paul Maximilian…
Demo/Tool Best Paper Award at SPLC'22
We have received the demo/tool best paper award at SPLC'22 for the tool paper "Derivation of Subset Product Lines in FeatureIDE"
"Advantages and Disadvantages of (Dedicated) Model Transformation Languages A Qualitative Interview Study" accepted at EMSE journal
The paper "Advantages and Disadvantages of (Dedicated) Model Transformation Languages A Qualitative Interview Study" by Stefan Höppner, Yves Haas,…
Sebastian Krieter joined the institute
In April, Sebastian Krieter started as a new postdoctoral researcher at the SoftVarE working group at the SP institute.
Best Artifact Award at ESEC/FSE'21
We are grateful and very happy to have received the best artifact award at the ESEC/FSE'21 for the artifact of our paper Feature Trace Recording by…
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…