research
∙
12/21/2021
Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version)
In this work, we show how the use of verification and analysis technique...
share
research
∙
12/10/2020
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Lifted (family-based) static analysis by abstract interpretation is capa...
research
∙
11/26/2019
Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation
The excessively increased volume of data in modern data management syste...
research
∙
02/14/2019
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
Variability models allow effective building of many custom model variant...
research
∙
09/17/2018
Verification of High-Level Transformations with Inductive Refinement Types
High-level transformation languages like Rascal include expressive featu...
research
∙
02/14/2018
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Variational systems allow effective building of many custom variants by ...
research
∙
09/07/2017