research
∙
07/16/2021
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Software Product Lines (SPLs) are families of related software products ...
share
research
∙
06/17/2021
Towards Assurance-Driven Architectural Decomposition of Software Systems
Computer systems are so complex, so they are usually designed and analyz...
research
∙
04/30/2021
Towards Certified Analysis of Software Product Line Safety Cases
Safety-critical software systems are in many cases designed and implemen...
research
∙
02/05/2021
Towards Modal Software Engineering
In this paper we introduce the notion of Modal Software Engineering: aut...
research
∙
10/01/2020
Automatic and Efficient Variability-Aware Lifting of Functional Programs
A software analysis is a computer program that takes some representation...
research
∙
12/09/2019
Variability-aware Datalog
Variability-aware computing is the efficient application of programs to ...
research
∙
07/04/2019