A new occurrence counting analysis for bioambients

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

Volumn 3780 LNCS, Issue , 2005, Pages 381-400

  Gori, Roberta ^a   Levi, Francesca ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

Abstract interpretation; Mobile ambients and bioambients calculus; Static analysis

Indexed keywords

ABSTRACTING; APPROXIMATION THEORY; BIOMEDICAL ENGINEERING; INFORMATION ANALYSIS;

ABSTRACT INTERPRETATION; MOBILE AMBIENTS AND BIOAMBIENTS CALCULUS; STATIC ANALYSIS;

FORMAL LOGIC;

EID: 33646758898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575467_25     Document Type: Conference Paper

References (31)

1. T. Amtoft. Causal Type System for Ambient Movements. Submitted for publication, 2003.
2. T. Amtoft, A. J. Kfoury and S. M. Pericas-Geertsen. What are Polymorphically-Typed Ambients? Proceedings of ESOP'01, LNCS 2028, 206-220, Springer Verlag, 2001.
3. T. Amtoft, H. Makholm and J.B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. Proc. of TCS'04, 591-604, Kluwer, 2004.
4. R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A.Troina, A Probabilistic Calculus for Molecular Systems Proc. of Workshop CS & P, Informatik Berichte 170, Humboldt University press, vol 202-216, 2004.
5. C. Bodei, P. Degano, C. Priami and N. Zannone. An enhanced cfa for security policies. Proc. of WITS'03, 2003.
6. L. Cardelli. Membrane Interactions. Proc. of BioCONCUR '03, Electronic Notes in Computer Science, 2003.
7. L. Cardelli and A.D. Gordon. Mobile ambients. Theoretical Computer Science 240, 177-213, 2000.
8. N. Chabrier and F. Fages. Symbolic model-checking of biochemical networks. In Proceedings of the First International Workshop on Computational Methods in Systems Biology, 149-162, 2003.
9. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. Fourth ACM Symp. Principles of Programming Languages, pages 238-252, 1977.
10. P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269-282, 1979.
11. P. Cousot and R. Cousot. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. In M. Bruynooghe and M. Wirsing, editors, Proc. of PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 1992.
12. P. Degano, F. Levi and C. Bodei. Safe Ambients: Control Flow Analysis and Security. Proc. of ASIAN '00, LNCS 1961, 199-214, Springer Verlag, 2000.
13. J. Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients. Proc. of SAS'01, LNCS 2126, 412-430, Springer Verlag, 2001.
14. 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.
15. 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. 1st Int. Workshop on Computational Methods in Systems Biology (ICMSB 2003), LNCS 2602, Springer-Verlag, 4-20, 2003.
16. R. Hofestadt and S.Thelen. Quantitative modeling of biochemical networks Silico Biology, volume1, 39-53, 1998.
17. F. Levi and S. Maffeis. On Abstract Interpretation of Mobile Ambients. Information and Computation 188, 179-240, 2004.
18. F. Levi and D. Sangiorgi. Mobile Safe Ambients. TOPLAS, 25(1), 1-69. ACM Press, 2003.
19. R. Mardare and C. Priami. Logical Analysis of Biological Systems. Fundamenta Informaticae, 64, 271-285, 2005.
20. 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, 2004.
21. 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.
22. R. Milner, J. Parrow and D. Walker. A Calculus of Mobile Processes. Information and Computation, 100, 1-77, 1992.
23. F. Nielson, H.R. Nielson, R.R. Hansen. Validating firewalls using flow logics. Theoretical Computer Science, 283(2), 381-418, 2002.
24. F. Nielson, H.R. Nielson and H. Pilegaard. Spatial Analysis of Bio Ambients. Proc. of SAS'04, LNCS 3148, pp. 69-83, Springer-Verlag, 2004.
25. F. Nielson, H.R. Nielson, C. Priami and D. Schuch da Rosa. Control Flow Analysis for BioAmbients. BioCONCUR'03, Electronic Notes in Computer Science, 2003.
26. 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, Trinity College Dublin, 2004.
27. H. Pilegaard, F. Nielson and H.R. Nielson. Static Analysis of a Model of the LDL Degradation Pathway. Proc. of CMSB'05, to appear.
28. C.Priami and P. Quaglia. Beta binders for biological interactions. Proceedings of Computational Methods in System Biology, CMSB'04, LNBI, to appear.
29. 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.
30. A. Regev, E. M. Panina, W. Silverman, L. Cardelli and E. Shapiro. BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science, 325, 141-167, 2004.
31. A. Regev, W. Silverman and E. Shapiro. Representation and Simulation of Biochemical Processes using the pi-calculus process algebra. Proc. of the Pacific Symposium on Biocomputing 2001, 6, 459-470, 2001.