DagSemProc.06161.9.pdf
- Filesize: 254 kB
- 13 pages
Document
Static Analysis of a Model of the LDL Degradation Pathway
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-09-07
Cite AsGet BibTex
Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson. Static Analysis of a Model of the LDL Degradation Pathway. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06161.9
https://doi.org/10.4230/DagSemProc.06161.9
Abstract
BioAmbients is a derivative of mobile ambients that has
shown promise of describing interesting features of the behaviour of biological
systems. As for other ambient calculi static program analysis
can be used to compute safe approximations of the behaviour of system
models. We use these tools to model and analyse the production
of cholesterol in living cells and show that we are able to pinpoint the
difference in behaviour between models of healthy systems and models
of mutated systems giving rise to known diseases.
Keywords
- Static analysis
- Systems Biology
- BioAmbients
- LDL Degradation Pathway
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads