74 citations · 212 across the 19 of their papers we have counts for
6 papers · 1 filter
Symbolic Semantics for Probabilistic Programs (extended version)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva +2
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work…
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Variability models allow effective building of many custom model variants for various configurations. Lifted model checking for a variability model is capable of verifying all its…
Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski +1
High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backt…
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala +3
Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires mo…
Effective Analysis of C Programs by Rewriting Variability
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski +2
Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by sw…
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes…