19 citations · 28 across the 5 of their papers we have counts for
8 papers
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…
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…
Language-based Abstractions for Dynamical Systems
Andrea Vandin
Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. The number of equations required to describe a…
Syntactic Markovian Bisimulation for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially larg…