-
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Lifted (family-based) static analysis by abstract interpretation is capa...
12/10/2020 ∙ by Aleksandar S. Dimovski, et al. ∙
0
∙
share
read it
-
Behavioral Specification Theories: an Algebraic Taxonomy
We develop a taxonomy of different behavioral specification theories and...
09/23/2020 ∙ by Uli Fahrenberg, et al. ∙
0
∙
share
read it
-
Automatic Verification of LLVM Code
In this work we present our work in developing a software verification t...
06/04/2020 ∙ by Axel Legay, et al. ∙
0
∙
share
read it
-
Featured Games
Feature-based SPL analysis and family-based model checking have seen rap...
05/12/2020 ∙ by Uli Fahrenberg, et al. ∙
0
∙
share
read it
-
Computing Branching Distances Using Quantitative Games
We lay out a general method for computing branching distances between la...
10/20/2019 ∙ by Uli Fahrenberg, et al. ∙
0
∙
share
read it
-
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Distributed learning across a coalition of organizations allows the memb...
06/18/2019 ∙ by Sebastien Lugan, et al. ∙
0
∙
share
read it
-
Sequential Relational Decomposition
The concept of decomposition in computer science and engineering is cons...
03/04/2019 ∙ by Dror Fried, et al. ∙
0
∙
share
read it
-
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...
02/14/2019 ∙ by Aleksandar S. Dimovski, et al. ∙
0
∙
share
read it
-
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Analysis of a probabilistic system often requires to learn the joint pro...
09/08/2018 ∙ by Fabrizio Biondi, et al. ∙
0
∙
share
read it
-
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Transaction-level modeling with SystemC has been very successful in desc...
12/04/2017 ∙ by Van Chan Ngo, et al. ∙
0
∙
share
read it
-
A framework for quantitative modeling and analysis of highly (re)configurable systems
This paper presents our approach to the quantitative modeling and analys...
07/26/2017 ∙ by Maurice H. ter Beek, et al. ∙
0
∙
share
read it
