Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Information Security as Strategic (In)effectivity

Security of information flow is commonly understood as preventing any information leakage, regardless of how grave or harmless consequences the leakage can have. In this work, we suggest that information security is not a goal in itself, but rather a means of preventing potential attackers from compromising the correct behavior of the system. To formalize this, we first show how two information flows can be compared by looking at the adversary's ability to harm the system. Then, we propose that the information flow in a system is effectively information-secure if it does not allow for more harm than its idealized variant based on the classical notion of noninterference

Fractional diffusions with time-varying coefficients

This paper is concerned with the fractionalized diffusion equations governing the law of the fractional Brownian motion $B_H(t)$. We obtain solutions of these equations which are probability laws extending that of $B_H(t)$. Our analysis is based on McBride fractional operators generalizing the hyper-Bessel operators $L$ and converting their fractional power $L^{\alpha}$ into Erd\'elyi--Kober fractional integrals. We study also probabilistic properties of the r.v.'s whose distributions satisfy space-time fractional equations involving Caputo and Riesz fractional derivatives. Some results emerging from the analysis of fractional equations with time-varying coefficients have the form of distributions of time-changed r.v.'s

One-Dimensional and Multi-Dimensional Integral Transforms of Buschman–Erdélyi Type with Legendre Functions in Kernels

This paper consists of two parts. In the first part we give a brief survey of results on Buschman–Erdélyi operators, which are transmutations for the Bessel singular operator. Main properties and applications of Buschman–Erdélyi operators are outlined. In the second part of the paper we consider multi-dimensional integral transforms of Buschman–Erdélyi type with Legendre functions in kernels. Complete proofs are given in this part, main tools are based on Mellin transform properties and usage of Fox H-functions