An analysis for proving temporal properties of biological systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4279 LNCS, Issue , 2006, Pages 234-252

  Gori, Roberta ^a   Levi, Francesca ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MATHEMATICAL MODELS; SEMANTICS; SYSTEMS ANALYSIS; THEOREM PROVING;

ABSTRACT TRANSITION SYSTEMS; BIOLOGICAL SYSTEMS; MOBILE AMBIENTS; TEMPORAL PROPERTIES;

LARGE SCALE SYSTEMS;

EID: 33845977369     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11924661_15     Document Type: Conference Paper

References (35)

1. R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A.Troina, A Probabilistic Calculus for Molecular Systems. Proc. of Workshop CS & P, Humboldt University, vol 202-216, 2004.
2. L. Cardelli. Membrane Interactions. Proc. of BioCONCUR '03, ENTCS, 2003.
3. L. Caires, L. Cardelli. A Spatial Logic for Concurrency. Information and Computation, 186, 194-235, 2003.
4. L. Cardelli and A.D. Gordon. Mobile ambients. TCS 240, 177-213, 2000.
5. N. Chabrier, Marc Chiaverini, Vincent Danosand F. Fages. Modeling and querying biomolecular interaction networks. Theoretical Computer Science 325(1), 25-44, 2004.
6. M. Clarke, O. Grumberg and E. Long. Model Checking and Abstraction. TOPLAS, 16(5), 1512-1542, 1994.
7. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Proc. of POPL'77, 238-252, 1977.
8. P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. Proc. of POPL'79, 269-282, 1979.
9. P. Cousot and R. Cousot. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Proc. of PLILP'92, LNCS 631, 269-295, 1992.
10. D. Dams, R. Gerth and O. Grumberg. Abstract Interpretation of Reactive Systems. TOPLAS, 19(2), 253-291, 1997.
11. P. Degano, F. Levi and C. Bodei. Safe Ambients: Control Flow Analysis and Security. Proc. of ASIAN '00, LNCS 1961, 199-214, 2000.
12. D. Distefano. A Parametric Model for the Analysis of Mobile Ambients. Proc. of APLAS' 05, LNCS 3780, 401-417, Springer Verlag, 2005.
13. J. Feret. Occurrence Counting Analysis for the pi-calculus. ENTCS 39, 2001.
14. J. Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients. Proc. of SAS'01, LNCS 2126, 412-430, Springer Verlag, 2001.
15. J. Feret. Analysis of mobile systems by abstract interpretation. PhD Thesis, 2005.
16. R.Gori and F. Levi. A new occurrence Counting analysis for BioAmbients. Proc. of APLAS '05, LNCS 3780, 381-400, 2005.
17. R.Gori and F. Levi. An Analysis for proving Temporal Properties of Biological Systems (Extended Version). Available at http://www.di.unipi.it/ ~levifran/papers.html, 2006.
18. R. R. Hansen and J. G. Jensen and F. Nielson and H. R.Nielson. Abstract Interpretation of Mobile Ambients. Proc. of SAS'99, LNCS 1694, 135-148. Springer-Verlag, 1999.
19. N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard and M.J. Stern. Formal Modeling of C. elegans Development: A Scenario-Based Approach. Proc. of CMSB' 03, LNCS 2602, 4-20, 2003.
20. R. Hofestadt and S.Thelen. Quantitative modeling of biochemical networks. Silico Biology, volumel, 39-53, 1998.
21. F. Levi and S. Maffeis. On Abstract Interpretation of Mobile Ambients. Information and Computation 188, 179-240, 2004.
22. F. Levi and D. Sangiorgi. Mobile Safe Ambients. TOPLAS, 25(1), 1-69. ACM Press, 2003.
23. R. Mardare and C. Priami. Logical Analysis of Biological Systems. Fundamenta Informaticae, 64, 271-285, 2005.
24. R. Mardare, O. Vagin, P. Quaglia and C. Priami. Model Checking Biological Systems described using Ambient Calculus. Proc. of CMSB'04, LNCS 3082, 85-103, 2005.
25. H.Matsuno, A.Doi, M.Nagasaki and S.Miyano. Hybrid petri net representation of gene regulatory network. Pacific Symposium on Biocomputing (5), 338-349, 2000.
26. F. Nielson and H.R. Nielson. Shape analysis for mobile ambients. Proc. of POPL'00, 142-154, ACM Press, 2000.
27. F. Nielson, H.R. Nielson, R.R. Hansen. Validating firewalls using flow logics. TCS, 283(2), 381-418, 2002.
28. F. Nielson, H.R. Nielson and H. Pilegaard. Spatial Analysis of BioAmbients. Proc. of SAS'04, LNCS 3148, pp. 69-83, Springer-Verlag, 2004.
29. F. Nielson, H.R. Nielson, C. Priami and D. Schuch da Rosa. Control Flow Analysis for BioAmbients. Proc. of BioCONCUR'03, ENTCS, 2003.
30. F. Nielson, H.R. Nielson, C. Priami and D. Schuch da Rosa. Static Analysis for Systems Biology. Proc. of the winter International Symposium on Information and Communication Technologies, 1-6, 2004.
31. H. Pilegaard, F. Nielson and H.R. Nielson. Static Analysis of a Model of the LDL Degradation Pathway. Proc. of CMSB'05, 2005.
32. C.Priami and P. Quaglia. Beta binders for biological interactions. Proc. of CMSB'04, LNCS 3082,20-33,2005
33. C. Priami, A. Regev, W. Silverman and E. Shapiro. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80 (1), 25-31, 2001.
34. A. Regev, E. M. Panina, W. Silverman, L. Cardelli and E. Shapiro. BioAmbients: an Abstraction for Biological Compartments. TCS, 325, 141-167, 2004.
35. A. Regev, W. Silverman and E. Shapiro. Representation and Simulation of Bio-chemical Processes using the pi-calculus process algebra. Proc. of the Pacific Symposium on Biocomputing 2001, 6, 459-470, 2001.