Abstract | ||
---|---|---|
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of bi- ological systems. As for other ambient calculi static program analysis can be used to compute safe approximations of the behaviour of sys- tem 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 dierence in behaviour between models of healthy systems and models of mutated systems giving rise to known diseases. |
Year | Venue | Keywords |
---|---|---|
2006 | Simulation and Verification of Dynamic Systems | static analysis,static program analysis |
Field | DocType | Citations |
Static program analysis,Biological system,Simulation,Computer science,Static analysis,Degradation (geology) | Conference | 12 |
PageRank | References | Authors |
0.62 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
henrik pilegaard | 1 | 100 | 7.73 |
Hanne Riis Nielson | 2 | 1719 | 153.77 |
flemming nielson | 3 | 1769 | 172.05 |