Query-based verification of qualitative trends and oscillations in biochemical systems
From MaRDI portal
Publication:969178
DOI10.1016/J.TCS.2010.02.010zbMATH Open1209.68310OpenAlexW1996074994MaRDI QIDQ969178FDOQ969178
Authors: P. Ballarini, Maria Luisa Guerriero 
Publication date: 11 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.02.010
Recommendations
- Analysing biochemical oscillation through probabilistic model checking
- Verification of spatial and temporal modalities in biochemical systems
- Verification of dynamic behaviour in qualitative molecular networks describing gene regulation, signalling and whole-cell metabolism
- scientific article; zbMATH DE number 2073964
- scientific article; zbMATH DE number 1547748
- Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models
- Foundations of a query and simulation system for the modeling of biochemical and biological processes
- scientific article; zbMATH DE number 1235047
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
Cited In (7)
- Model Checking of Biological Systems
- Trend-based analysis of a population model of the AKAP scaffold protein
- Probabilistic verification of a biodiesel production system using statistical model checking
- Analyzing Oscillatory Behavior with Formal Methods
- STL*: extending signal temporal logic with signal-value freezing operator
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- A formal approach for tuning stochastic oscillators
Uses Software
This page was built for publication: Query-based verification of qualitative trends and oscillations in biochemical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969178)
