Welcome!

Submission to the 20th International Conference on Software Engineering and Formal Methods (SEFM) accepted

The paper "Information Flow Control-by-Construction for an Object-Oriented Language" by Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, and Ina Schaefer has been accepted for publication at the 20th International Conference on Software Engineering and Formal Methods.
The paper deals with the constructive development of secure programs using correctness-by-construction. Here, the flow of information in object-oriented programs is explicitly investigated.
 

New tool paper at the 26th ACM International Systems and Software Product Line Conference

The paper entitled "Derivation of Subset Product Lines in FeatureIDE" by Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm and Ina Schaefer has been accepted at the 26th ACM International Systems and Software Product Line Conference. The paper is about novel functionality in the tool FeatureIDE that allows the derivation of a subset product line from an original product line based on a partial configuration. The tool functionality will be presented within a main conference session as well as at a demo booth.

 

Best Paper Award for Tobias Runge, Alex Potanin, Thomas Thüm, and Ina Schaefer

Tobias Runge, Alex Potanin, Thomas Thüm, and Ina Schaefer received a best paper award for their paper "Traits: Correctness-by-Construction for Free" at the FORTE 2022 conference in Lucca, Italy. The paper can be accessed at: https://link.springer.com/chapter/10.1007/978-3-031-08679-3_9

Successful submission to the Workshop on Reverse Variability Engineering (REVE)

The paper "Synchronizing software variants: A two-dimensional approach" by Christoph König, Kamil Rosiak, Lukas Linsbauer and Ina Schaefer has been accepted for publication at the International Workshop on Reverse Variability Engineering (REVE).