Static analysis of a Model of the LDL degradation pathway

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    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 behavior of modelled systems. 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.
    Original languageEnglish
    Title of host publicationThird International Workshop on Computational Methods in Systems Biology (CMSB'05)
    PublisherUniversity of Edinburgh
    Publication date2005
    Publication statusPublished - 2005

    Cite this