A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Journal of Computational Physics
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Communications of the ACM - Security in the Browser
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
QEST '09 Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems
Transactions on Computational Systems Biology XI
Sensitivity analysis of stochastic models of bistable biochemical reactions
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Transactions on Computational Systems Biology VII
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Equivalences for a biological process algebra
Theoretical Computer Science
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
In this work we present a Bio-PEPA model describing the Nuclear Factor κB (NF-κB) signalling pathway. In particular our model focuses on the dynamic response of NF-κB to an external stimulus. Each biochemical species in the pathway is represented by a specific Bio-PEPA component and the external stimulus is abstracted by time-dependent Bio-PEPA events describing the start and the end of the signal. The Bio-PEPA model is a formal intermediate representation of the pathway on which various kinds of analysis can be performed. Both stochastic and deterministic simulations are carried out to validate our model against the experimental data and in-silico experiments in the literature and to verify some properties, such as, the impact of the duration of the external stimulus and of the total NF-κB initial amount on the behaviour of some species of interest. Furthermore we use stochastic simulation to compare the behaviour of the single cell against the average behaviour of a population of cells. Finally, sensitivity analysis is considered to investigate the most influential parameters of the model. Importantly, the approach taken suggests that the sensitivity of some parameters alters with the time evolution of the pathway.