• Publications
  • Influence
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
The popular model checker PRISM has been successfully used for the modeling and analysis of complex probabilistic systems. As one way to tackle the challenging state explosion problem, PRISM supportsExpand
  • 21
  • 6
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat
Feature-based formalisms provide an elegant way to specify families of systems that share a base functionality and differ in certain features. They can also facilitate an all-in-one analysis, whereExpand
  • 24
  • 4
ProFeat: feature-oriented engineering for family-based probabilistic model checking
The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities that can be activated or deactivated to enhance orExpand
  • 24
  • 2
Advances in Symbolic Probabilistic Model Checking with PRISM
For modeling and reasoning about complex systems, symbolic methods provide a prominent way to tackle the state explosion problem. It is well known that for symbolic approaches based on binaryExpand
  • 16
  • 2
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
We present an extension of the popular probabilistic model checker \(\textsc {Prism}\) with multi-actions that enables the modeling of complex coordination between stochastic components in anExpand
  • 4
  • 1
Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems
Software systems in domains like Smart Cities, the Internet of Things or autonomous cars are coined by a high degree of distribution across several independent computing devices and the requirementExpand
  • 6
Modeling Role-Based Systems with Exogenous Coordination
The concept of roles is a promising approach to cope with context dependency and adaptivity of modern software systems. While roles have been investigated in conceptual modeling, programmingExpand
  • 2