Approximating probabilistic behaviors of biological systems using abstract interpretation

DOI10.1016/J.ENTCS.2009.02.011MaRDI QIDQ5404082zbMATH OpenOpenAlexFDO

Authors Alessio Coletta, Roberta Gori, Francesca Levi

Publication date 21 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.02.011

zbMATH Keywords

abstract interpretationstochastic \(\pi\)-calculusprobabilistic temporal properties

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42)

Recommendations

• An analysis for proving probabilistic termination of biological systems
• Compositional abstraction for stochastic systems
• Probabilistic model checking of biological systems with uncertain kinetic rates
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• Sliding Window Abstraction for Infinite Markov Chains

Cites work

• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 1832232 (Why is no real title available?)
• scientific article; zbMATH DE number 1884411 (Why is no real title available?)
• scientific article; zbMATH DE number 2090703 (Why is no real title available?)
• Abstract interpretation of programs as Markov decision processes
• An Analysis for Proving Temporal Properties of Biological Systems
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Computational Methods in Systems Biology
• Magnifying-Lens Abstraction for Markov Decision Processes
• Model Checking Software
• Modeling and querying biomolecular interaction networks
• On abstract interpretation of mobile ambients
• On finite-state approximants for probabilistic computation tree logic
• On process rate semantics
• Pathway analysis for BioAmbients
• Programming Languages and Systems
• Static Analysis
• Static analysis for the \(\pi\)-calculus with applications to security
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Validating firewalls using flow logics

Cited in

(5)

• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• Toward a probabilistic biology
• An analysis for proving probabilistic termination of biological systems
• Abstract interpretation and types for systems biology
• Probabilistic model checking of biological systems with uncertain kinetic rates

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Approximating probabilistic behaviors of biological systems using abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404082)