research
∙
09/08/2022
Bounded Satisfiability Checking of Metric First-order Temporal Logic
Legal properties involve reasoning about data values and time. Metric fi...
share
research
∙
02/08/2022
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Machine Vision Components (MVC) are becoming safety-critical. Assuring t...
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 ...
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
∙
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