19 citations · 30 across the 16 of their papers we have counts for
5 papers · 1 filter
Reducing Boolean Networks with Backward Boolean Equivalence
Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone +2
Boolean Networks (BNs) are established models to qualitatively describe biological systems. The analysis of BNs might be infeasible for medium to large BNs due to the state-space e…
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…
Automated and Distributed Statistical Analysis of Economic Agent-Based Models
Andrea Vandin, Daniele Giachini, Francesco Lamperti +1
We propose a novel approach to the statistical analysis of stochastic simulation models and, especially, agent-based models (ABMs). Our main goal is to provide fully automated, mod…
Quantitative Security Risk Modeling and Analysis with RisQFLan
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we presen…
Exact maximal reduction of stochastic reaction networks by species lumping
Luca Cardelli, Isabel Cristina Perez-Verona, Mirco Tribastone +3
Motivation: Stochastic reaction networks are a widespread model to describe biological systems where the presence of noise is relevant, such as in cell regulatory processes. Unfort…