research
∙
08/31/2023
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version)
Data analysis has high value both for commercial and research purposes. ...
share
research
∙
07/19/2023
Symbolic Semantics for Probabilistic Programs (extended version)
We present a new symbolic execution semantics of probabilistic programs ...
research
∙
03/16/2023
MROS: A framework for robot self-adaptation
Self-adaptation can be used in robotics to increase system robustness an...
research
∙
02/10/2023
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Software bots fulfill an important role in collective software developme...
research
∙
02/09/2023
Timed I/O Automata: It is never too late to complete your timed specification theory
A specification theory combines notions of specifications and implementa...
research
∙
08/26/2022
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores
Analysis of genetic data opens up many opportunities for medical and sci...
research
∙
08/08/2022
Behavior Trees and State Machines in Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
research
∙
05/10/2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
The semantics of probabilistic languages has been extensively studied, b...
research
∙
11/17/2020
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis
Disclosure of data analytics has important scientific and commercial jus...
research
∙
10/19/2020
MROS: Runtime Adaptation For Robot Control Architectures
Known attempts to build autonomous robots rely on complex control archit...
research
∙
10/13/2020
Behavior Trees in Action: A Study of Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
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
∙
07/23/2018