Download the ERODE app for your platform
Download and unzip the sample project
In ERODE, right click the Project Explorer, and select Import . Choose Existing Projects into Workspace and click Next
Click Browse... and locate the Examples folder. Tick Copy projects into workspace and hit Finish
Reduction techniques for ordinary differential equations with arbitrary nonlinearities: Theoretical Computer Science , 2020 (invited article for special issue in honor of Maurice Nivat, extension of POPL'16 paper )Application of ERODE to compare chemical reaction networks using genetic algorithms: Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective , Theoretical Computer Science , 2019 (extension of LICS'16 paper)Application of ERODE reduction methods to the BioModels database: A large-scale assessment of exact model reduction in the BioModels repository , CMSB'19 Formal under-approximation of uncertain ODE systems: UTOPIC: Under-Approximation Through Optimal Control , QEST'19 Tutorial papers on some reduction techniques behind ERODE: Speeding Up Stochastic And Deterministic Simulation By Aggregation: An Advanced Tutorial , Winter Simulation Conference 2018 (invited tutorial) Approximate reduction techniques based on ε-forward and ε-backward equivalence: Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis , QEST'18 Model reduction for linear differential-algebraic equations: Backward Invariance for Linear Differential Algebraic Equations , CDC'18 Application of ERODE's reduction methods to network science: Differential Equivalence Yields Network Centrality , ISOLA'18 Exact reduction of stochastic reaction networks: Syntactic Markovian Bisimulation for Chemical Reaction Networks , KimFest , Kim Larsen’s Festschrift, 2017Exact reduction of polynomial differential equations: Maximal aggregation of polynomial dynamical systems . Proceedings of the National Academy of Sciences (2017). [PNAS page ] Application of ERODE to compare chemical reaction networks using genetic algorithms: EGAC: A Genetic Algorithm to Compare Chemical Reaction Networks , GECCO'17 ERODE main tool paper: ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations , TACAS'17 A. Vandin and Mirco Tribastone.Quantitative Abstractions for Collective Adaptive Systems , 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM'16
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Efficient syntax-driven lumping of differential equations , TACAS'16 . The methods in this paper are supersed by the PNAS'17 article.
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic Computation of Differential Equivalences , POPL'16 .
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective , LICS'16
Bisimulation relations for chemical reaction networks: Forward and Backward Bisimulations for Chemical Reaction Networks , CONCUR'15 . The methods in this paper are supersed by the PNAS'17 article.
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips and Neil Dalchau, Fast enumeration of non-isomorphic chemical reaction networks , CMSB'19
Jacek Chodak, Monika Heiner, Spike - Reproducible Simulation Experiments with Configuration File Branching CMSB'19
Jacek Chodak, Monika Heiner, Spike – a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets , AWPN’18
Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý, KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models , CMSB'17