CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
From MaRDI portal
Publication:548484
DOI10.1016/J.TCS.2010.05.009zbMATH Open1231.68163OpenAlexW1966021826WikidataQ59843858 ScholiaQ59843858MaRDI QIDQ548484FDOQ548484
Authors: Radu Mateescu, P. T. Monteiro, Estelle Dumas, Hidde de Jong 
Publication date: 28 June 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00610831/file/Mateescu-Monteiro-Dumas-deJong-11.pdf
Recommendations
- Model Checking Software
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Model Checking Gene Regulatory Networks
- Controllability of Conjunctive Boolean Networks With Application to Gene Regulation
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- The formulation of the control of an expression pattern in a gene network by propositional calculus
- Model Checking Liveness Properties of Genetic Regulatory Networks
Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- NuSMV: A new symbolic model checker
- Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Derivatives of Regular Expressions
- Title not available (Why is that?)
- Propositional dynamic logic of regular programs
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
- Modeling and querying biomolecular interaction networks
- Temporal logic can be more expressive
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Title not available (Why is that?)
- Modeling the onset of virulence in a pectinolytic bacterium
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Propositional dynamic logic of looping and converse is elementarily decidable
- Verification, Model Checking, and Abstract Interpretation
- Results on the propositional \(\mu\)-calculus
- “Sometimes” and “not never” revisited
- Multistationarity, the basis of cell differentiation and memory. I: Structural conditions of multistationarity and other nontrivial behavior
- Modalities for model checking: Branching time logic strikes back
- Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Model checking of RegCTL
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus
- Tools and Algorithms for the Construction and Analysis of Systems
- LSCs: Breathing life into message sequence charts
- Compiling communicating processes into delay-insensitive VLSI circuits
- Verification of infinite-state dynamic systems using approximate quotient transition systems
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- Biology and control theory: Current challenges
- Counterexample-guided predicate abstraction of hybrid systems
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Title not available (Why is that?)
- Title not available (Why is that?)
- Efficient local correctness checking for single and alternating boolean equation systems
- Model Checking Software
- Model Checking Software
Cited In (7)
- GR(1)*: GR(1) specifications extended with existential guarantees
- Model Checking of Biological Systems
- Title not available (Why is that?)
- Model checking interval temporal logics with regular expressions
- On the Model Checking Problem for Some Extension of CTL*
- STL*: extending signal temporal logic with signal-value freezing operator
- Computation Tree Regular Logic for Genetic Regulatory Networks
Uses Software
This page was built for publication: CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548484)
