M. Aoki
1968
Control of large-scale dynamic systems by aggregation
IEEE Trans. Autom. Control
13
3
246–253
10.1109/TAC.1968.1098900
Apache Commons Mathematics Library, http://commons.apache.org/proper/commons-math/
P. Auger
R. Bravo de la Parra
J. C. Poggiale
E. Sánchez
T. Nguyen-Huu
2008
Aggregation of Variables and Applications to Population Dynamics
209–263
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-540-78273-5_5
C. Baier
B. Engelen
M. E. Majster-Cederbaum
2000
Deciding Bisimilarity and Similarity for Probabilistic Processes
J. Comput. Syst. Sci.
60
1
187–231
10.1006/jcss.1999.1683
C.W. Barrett
R. Sebastiani
S.A. Seshia
C. Tinelli
2009
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Satisfiability Modulo Theories
IOS Press
10.3233/978-1-58603-929-5-825
M. H. ter Beek
A. Legay
A. Lluch-Lafuente
A. Vandin
2015
Statistical analysis of probabilistic models of software product lines with quantitative constraints
SPLC 2015
ACM
11–15
10.1145/2791060.2791087
M. H. ter Beek
A. Legay
A. Lluch-Lafuente
A. Vandin
2016
Statistical Model Checking for Product Lines
ISoLA 2016
LNCS
9952
114–133
10.1007/978-3-319-47166-2_8
L. Belzner
R. De Nicola
A. Vandin
M. Wirsing
2014
Reasoning (on) Service Component Ensembles in Rewriting Logic
Specification, Algebra, and Software
LNCS
8373
Springer
188–211
10.1007/978-3-642-54624-2
M. L. Blinov
J. R. Faeder
B. Goldstein
W. S. Hlavacek
2004
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains
Bioinformatics
20
17
3289–3291
10.1093/bioinformatics/bth378
N. M. Borisov
N. I. Markevich
J. B. Hoek
B. N. Kholodenko
2005
Signaling through Receptors and Scaffolds: Independent Interactions Reduce Combinatorial Complexity
Biophysical Journal
89
2
951 – 966
10.1529/biophysj.105.060533
F. van Breugel
J. Worrell
2006
Approximating and computing behavioural distances in probabilistic transition systems
TCS
360
1–3
373–385
10.1016/j.tcs.2006.05.021
L. Calzone
F. Fages
S. Soliman
2006
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
Bioinformatics
22
14
1805–1807
10.1093/bioinformatics/btl172
L. Cardelli
2008
On process rate semantics
TCS
391
3
190–215
10.1016/j.tcs.2007.11.012
L. Cardelli
2014
Morphisms of reaction networks that couple structure to function
BMC Systems Biology
8
1
10.1186/1752-0509-8-84
L. Cardelli
A. Csikász-Nagy
N. Dalchau
M. Tribastone
M. Tschaikowski
2016
Noise Reduction in Complex Biological Switches
Scientific Reports
6
20214
10.1038/srep20214
L. Cardelli
R. D. Hernansaiz-Ballesteros
N. Dalchau
A. Csikász-Nagy
2017
Efficient Switches in Biology and Computer Science
PLOS Computational Biology
13
1
1–16
10.1371/journal.pcbi.1005100
L. Cardelli
M. Tribastone
M. Tschaikowski
A. Vandin
2015
Forward and Backward Bisimulations for Chemical Reaction Networks
CONCUR
226–239
10.4230/LIPIcs.CONCUR.2015.226
L. Cardelli
M. Tribastone
M. Tschaikowski
A. Vandin
2016
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
LICS 2016
485–494
10.1145/2933575.2935318
L. Cardelli
M. Tribastone
M. Tschaikowski
A. Vandin
2016
Efficient Syntax-Driven Lumping of Differential Equations
TACAS 2016
93–111
10.1007/978-3-662-49674-9_6
L. Cardelli
M. Tribastone
M. Tschaikowski
A. Vandin
2016
Symbolic computation of differential equivalences
POPL 2016
137–150
10.1145/2837614.2837649
L. Cardelli
M. Tribastone
M. Tschaikowski
A. Vandin
2017
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
TACAS 2017
310–328
10.1007/978-3-662-54580-5_19
F. Ciocchetta
J. Hillston
2009
Bio-PEPA: A framework for the modelling and analysis of biological systems
TCS
410
33-34
3065–3084
10.1016/j.tcs.2009.02.037
V. Danos
C. Laneve
2004
Formal molecular biology
TCS
325
1
69–110
10.1016/j.tcs.2004.03.065
L. De Moura
N. Bjørner
2008
Z3: An Efficient SMT Solver
TACAS
337–340
10.1007/978-3-540-78800-3_24
C. Dehnert
J.-P. Katoen
D. Parker
2013
SMT-Based Bisimulation Minimisation of Markov Models
VMCAI'13
LNCS
7737
Springer
28–47
10.1007/978-3-642-35873-9_5
S. Derisavi
H. Hermanns
W.H. Sanders
2003
Optimal state-space lumping in Markov chains
Information Processing Letters
87
6
309–315
10.1016/S0020-0190(03)00343-0
J. Desharnais
V. Gupta
R. Jagadeesan
P. Panangaden
2004
Metrics for labelled Markov processes
Theor. Comput. Sci.
318
3
323–354
10.1016/j.tcs.2003.09.013
J. Feret
V. Danos
J. Krivine
R. Harmer
W. Fontana
2009
Internal coarse-graining of molecular systems
PNAS
106
16
6453–6458
10.1073/pnas.0809908106
J. Feret
T. Henzinger
H. Koeppl
T. Petrov
2012
Lumpability abstractions of rule-based systems
TCS
431
0
137–164
10.1016/j.tcs.2011.12.059
E. Florian
C. C. Friedel
R. Zimmer
2008
FERN - a Java framework for stochastic simulation and evaluation of reaction networks
BMC Bioinformatics
9
1
356
10.1186/1471-2105-9-356
Microsoft GEC, http://research.microsoft.com/en-us/projects/gec/
D. T. Gillespie
1977
Exact Stochastic Simulation of Coupled Chemical Reactions
Journal of Physical Chemistry
81
25
2340–2361
10.1021/j100540a008
S. Gilmore
M. Tribastone
A. Vandin
2014
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
IFM 2014
71–86
10.1007/978-3-319-10181-1_5
V. Gupta
R. Jagadeesan
P. Panangaden
2006
Approximate reasoning for real-time probabilistic processes
LMCS
2
1
10.2168/LMCS-2(1:4)2006
R. A. Hayden
J. T. Bradley
2010
A fluid analysis framework for a Markovian process algebra
TCS
411
22-24
2260–2297
10.1016/j.tcs.2010.02.001
J. Hillston
M. Tribastone
S. Gilmore
2011
Stochastic Process Algebras: From Individuals to Populations
The Computer Journal
10.1093/comjnl/bxr094
G. Iacobelli
M. Tribastone
2013
Lumpability of fluid models with heterogeneous agent types
DSN
1–11
10.1109/DSN.2013.6575346
G. Iacobelli
M. Tribastone
A. Vandin
2015
Differential Bisimulation for a Markovian Process Algebra
MFCS 2015
293–306
10.1007/978-3-662-48057-1_23
N. Israeli
N. Goldenfeld
2006
Coarse-graining of cellular automata, emergence, and the predictability of complex systems
Phys. Rev. E
73
026203
10.1103/PhysRevE.73.026203
Y. Iwasa
V. Andreasen
S. Levin
1987
Aggregation in model ecosystems. I. Perfect aggregation
Ecological Modelling
37
3-4
287–302
10.1016/0304-3800(87)90030-5
M.Z. Kwiatkowska
G. Norman
D. Parker
2011
PRISM 4.0: Verification of Probabilistic Real-Time Systems
CAV
585–591
10.1007/978-3-642-22110-1_47
M. Kwiatkowski
I. Stark
2008
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
CMSB
103–122
10.1007/978-3-540-88562-7_11
K.G. Larsen
R. Mardare
P. Panangaden
2012
Taking It to the Limit: Approximate Reasoning for Markov Processes
MFCS
681–692
10.1007/978-3-642-32589-2_59
K.G. Larsen
A. Skou
1991
Bisimulation through probabilistic testing
Information and Computation
94
1
1–28
10.1016/0890-5401(91)90030-6
A. Legay
B. Delahaye
S. Bensalem
2010
Statistical model checking: An overview
RV 2010
Springer
122–135
10.1007/978-3-642-16612-9_11
G. Li
H. Rabitz
1989
A general analysis of exact lumping in chemical kinetics
Chemical Engineering Science
44
6
1413–1430
10.1016/0009-2509(89)85014-6
J. D. Murray
2002
Mathematical Biology I: An Introduction, 3rd edition.
Springer
10.1007/b98868
M. Nagasaki
S. Onami
S. Miyano
H. Kitano
1999
Bio-calculus: Its Concept and Molecular Interaction
Genome Informatics
10
133–143
10.11234/gi1990.10.133
M. S. Okino
M. L. Mavrovouniotis
1998
Simplification of Mathematical Models of Chemical Reaction Systems
Chemical Reviews
2
98
391–408
10.1021/cr950223l
R. Paige
R. Tarjan
1987
Three Partition Refinement Algorithms
SIAM Journal on Computing
16
6
973–989
10.1137/0216062
G. J. Pappas
2003
Bisimilar linear systems
Automatica
39
12
2035–2047
10.1016/j.automatica.2003.07.003
M. Pedersen
G. D. Plotkin
2010
A Language for Biochemical Systems: Design and Formal Specification
Trans. Comp. Systems Biology XII
Springer
77–145
10.1007/978-3-642-11712-1_3
D. Pianini
S. Sebastio
A. Vandin
2014
Distributed statistical analysis of complex systems modeled through a chemical metaphor
HPCS 2014
IEEE
416–423
10.1109/HPCSim.2014.6903715
A. Di Pierro
C. Hankin
H. Wiklicky
2003
Quantitative Relations and Approximate Process Equivalences
CONCUR
498–512
10.1007/978-3-540-45187-7_33
S. Sebastio
A. Vandin
2013
MultiVeStA: Statistical model checking for discrete event simulators
Valuetools 2013
ACM
310–315
10.4108/icst.valuetools.2013.254377
S. Tognazzi
M. Tribastone
M. Tschaikowski
A. Vandin
2017
EGAC: A Genetic Algorithm to Compare Chemical Reaction Networks
GECCO 2017 (to appear)
10.1145/3071178.3071265
J. Toth
G. Li
H. Rabitz
A.S. Tomlin
1997
The Effect of Lumping and Expanding on Kinetic Differential Equations
SIAM JAM
57
6
1531–1556
10.1137/S0036139995293294
M. Tribastone
2013
A Fluid Model for Layered Queueing Networks
IEEE Transactions on Software Engineering
39
6
744–756
10.1109/TSE.2012.66
M. Tribastone
S. Gilmore
J. Hillston
2012
Scalable Differential Analysis of Process Algebra Models
IEEE Trans. Software Eng.
38
1
205–219
10.1109/TSE.2010.82
M. Tschaikowski
M. Tribastone
2012
Exact fluid lumpability for Markovian process algebra
CONCUR
LNCS
380–394
10.1007/978-3-642-32940-1_27
M. Tschaikowski
M. Tribastone
2014
Exact fluid lumpability in Markovian process algebra
TCS
538
140–166
10.1016/j.tcs.2013.07.029
M. Tschaikowski
M. Tribastone
2016
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
IEEE Trans. Automat. Contr.
61
4
1099–1104
10.1109/TAC.2015.2457172
T. Turanyi
A. Tomlin
2014
Analysis of Kinetic Reaction Mechanisms
Springer
10.1007/978-3-662-44562-4
A. Valmari
G. Franceschinis
2010
Simple O(mologn) Time Markov Chain Lumping
TACAS
38–52
10.1007/978-3-642-12002-2_4
A. Vandin
M. Tribastone
2016
Quantitative Abstractions for Collective Adaptive Systems
SFM 2016, Bertinoro Summer School
202–232
10.1007/978-3-319-34096-8_7