License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06161.9
URN: urn:nbn:de:0030-drops-7230
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/723/
|
Go to the corresponding Portal |
Pilegaard, Henrik ;
Riis-Nielson, Hanne ;
Nielson, Flemming
Static Analysis of a Model of the LDL Degradation Pathway
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.
BibTeX - Entry
@InProceedings{pilegaard_et_al:DagSemProc.06161.9,
author = {Pilegaard, Henrik and Riis-Nielson, Hanne and Nielson, Flemming},
title = {{Static Analysis of a Model of the LDL Degradation Pathway}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/723},
URN = {urn:nbn:de:0030-drops-7230},
doi = {10.4230/DagSemProc.06161.9},
annote = {Keywords: Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway}
}
|
Keywords: |
|
Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway |
|
Collection: |
|
06161 - Simulation and Verification of Dynamic Systems |
|
Issue Date: |
|
2006 |
|
Date of publication: |
|
07.09.2006 |
