License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-7230
URL: http://drops.dagstuhl.de/opus/volltexte/2006/723/

Pilegaard, Henrik ; Riis-Nielson, Hanne ; Nielson, Flemming

Static Analysis of a Model of the LDL Degradation Pathway

pdf-format:
Dokument 1.pdf (255 KB)


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:DSP:2006:723,
  author =	{Henrik Pilegaard and Hanne Riis-Nielson and Flemming Nielson},
  title =	{Static Analysis of a Model of the LDL Degradation Pathway},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  year =	{2006},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  number =	{06161},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/723},
  annote =	{Keywords: Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway}
}

Keywords: Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway
Seminar: 06161 - Simulation and Verification of Dynamic Systems
Issue date: 2006
Date of publication: 07.09.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI