• Publications
  • Influence
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
TLDR
We present ERODE, a multi-platform tool for the solution and exact reduction of systems of ordinary differential equations ODEs with polynomial derivatives of degree at most two covering affine systems. Expand
  • 28
  • 3
  • PDF
Symbolic computation of differential equivalences
TLDR
We consider the problem of comparing and minimizing ODEs automatically. Expand
  • 30
  • 3
  • PDF
Forward and Backward Bisimulations for Chemical Reaction Networks
TLDR
We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Expand
  • 33
  • 2
  • PDF
Exact Fluid Lumpability for Markovian Process Algebra
TLDR
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs). Expand
  • 29
  • 2
Tackling continuous state-space explosion in a Markovian process algebra
TLDR
We find that fluid models with replicated copies of composite processes do not scale well with increasing population sizes, thus rendering intractable the analysis of the underlying system of ordinary differential equations (ODEs). Expand
  • 17
  • 2
Maximal aggregation of polynomial dynamical systems
TLDR
We present an algorithm for the simplification of polynomial ordinary differential equations by aggregating their variables. Expand
  • 22
  • 1
  • PDF
Syntactic Markovian Bisimulation for Chemical Reaction Networks
TLDR
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. Expand
  • 12
  • 1
  • PDF
Supporting Performance Awareness in Autonomous Ensembles
TLDR
This chapter provides an overview of five project contributions – performance monitoring based on the DiSL instrumentation framework, measurement evaluation using the SPL formalism, performance modeling with fluid semantics, adaptation with DEECo and design with IRM-SA. Expand
  • 4
  • 1
  • PDF
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)
TLDR
In software performance engineering, what-if scenarios, architecture optimization, capacity planning, run-time adaptation, and uncertainty management of realistic models typically require the evaluation of many instances. Expand
  • 26
  • PDF
Noise Reduction in Complex Biological Switches
TLDR
We show that more complex networks are better at coping with both intrinsic and extrinsic noise. Expand
  • 31
  • PDF