research
∙
09/13/2023
The Way We Were: Structural Operational Semantics Research in Perspective
This position paper on the (meta-)theory of Structural Operational Seman...
share
research
∙
07/11/2022
Adaptive Behavioral Model Learning for Software Product Lines
Behavioral models enable the analysis of the functionality of software p...
research
∙
06/22/2022
On Specifying for Trustworthiness
As autonomous systems are becoming part of our daily lives, ensuring the...
research
∙
03/10/2022
A Benchmark for Active Learning of Variability-Intensive Systems
Behavioral models are the key enablers for behavioral analysis of Softwa...
research
∙
12/07/2020