27 citations · 59 across the 21 of their papers we have counts for
3 papers · 1 filter
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…
A framework for quantitative modeling and analysis of highly (re)configurable systems
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optiona…