Document Open Access Logo

Static Analysis of a Model of the LDL Degradation Pathway

Authors Henrik Pilegaard, Hanne Riis-Nielson, Flemming Nielson



PDF
Thumbnail PDF

File

DagSemProc.06161.9.pdf
  • Filesize: 254 kB
  • 13 pages

Document Identifiers

Author Details

Henrik Pilegaard
Hanne Riis-Nielson
Flemming Nielson

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail