Scalasca is a performance toolset that has been specifically designed to analyze parallel
application execution behavior on large‐scale systems with many thousands of processors. It …

During the last decade, popular SMT solvers have been extended step-by-step with a wide
range of decision procedures for different theories. Some SMT solvers also support the user-…

The tool Flow* performs Taylor model-based flowpipe construction for non-linear (polynomial)
hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for …

We propose an approach for verifying non-linear hybrid systems using higher-order Taylor
models that are a combination of bounded degree polynomials over the initial conditions and …

We present PROPhESY, a tool for analyzing parametric Markov chains (MCs). It can
compute a rational function (ie, a fraction of two polynomials in the model parameters) for …

In this tool paper we introduce HyPro, our free and open-source C++ programming library,
which offers implementations for the most prominent state set representations used by …

We present a novel method for computing reachability probabilities of parametric discrete-time
Markov chains whose transition probabilities are fractions of polynomials over a set of …

We propose an approach for computing under- as well as over-approximations for the
reachable sets of continuous systems which are defined by non-linear Ordinary Differential …

We present a new algorithm for determining the satisfiability of conjunctions of non-linear
polynomial constraints over the reals, which can be used as a theory solver for satisfiability …

Background: Influenza and pneumococcal pneumonia are serious health problems among
elderly people and a major cause of death in long-term care facilities. We describe the results …