The journal article "Immutability and Encapsulation for Sound OO Information Flow Control" by Tobias Runge, Marco Servetto, Alex Potanin, and Ina Schaefer has been accepted for publication in Transactions on Programming Languages and Systems (TOPLAS). The paper deals with a new type system that demonstrates the advantages of type modifiers for secure information flow control.
The Research Group for Test, Validation and Analysis of Software-Intensive Systems is looking for a full-time academic staff member (PostDoc) for 01.01.2023. Further information on the job advertisement can be found under Open Positions as well as in the Personnel Service advertisement.
Prof. Dr.-Ing. Ina Schaefer was awarded the Most Influential Paper Award at SPLC 2022 for the paper "Delta-Oriented Programming of Software Product Lines". The paper was written in cooperation with Lorenzo Bettini, Viviana Bono, Ferruccio Damiani and Nico Tanzarella and was presented at SPLC 2010 in South Korea. With the incremental application of variable delta modules to a common core module, Delta-Oriented Programming offers a flexible development approach for software product lines that combines established single-application engineering methods with techniques from the product line spectrum. The publication is available at the following link: http://dx.doi.org/10.1007/978-3-642-15579-6_6
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.
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 awarded with the Demo/Tools Best Paper Award 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.
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
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).