research
∙
06/30/2022
Minimization of Dynamical Systems over Monoids
Quantitative notions of bisimulation are well-known tools for the minimi...
share
research
∙
06/01/2022
Formal Analysis of Lending Pools in Decentralized Finance
Decentralised Finance (DeFi) applications constitute an entire financial...
research
∙
06/25/2021
Reducing Boolean Networks with Backward Boolean Equivalence
Boolean Networks (BNs) are established models to qualitatively describe ...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
02/10/2021
Automated and Distributed Statistical Analysis of Economic Agent-Based Models
We propose a novel approach to the statistical analysis of simulation mo...
research
∙
01/21/2021
Quantitative Security Risk Modeling and Analysis with RisQFLan
Domain-specific quantitative modeling and analysis approaches are fundam...
research
∙
01/09/2021
Exact maximal reduction of stochastic reaction networks by species lumping
Motivation: Stochastic reaction networks are a widespread model to descr...
research
∙
06/12/2020
Improved estimations of stochastic chemical kinetics by finite state expansion
Quantitative mechanistic models based on reaction networks with stochast...
research
∙
07/26/2017
A framework for quantitative modeling and analysis of highly (re)configurable systems
This paper presents our approach to the quantitative modeling and analys...
research
∙
07/13/2017