CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
From MaRDI portal
(Redirected from Publication:548484)
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
Cites work
- scientific article; zbMATH DE number 4056971 (Why is no real title available?)
- scientific article; zbMATH DE number 177521 (Why is no real title available?)
- scientific article; zbMATH DE number 2080056 (Why is no real title available?)
- scientific article; zbMATH DE number 1796144 (Why is no real title available?)
- scientific article; zbMATH DE number 4119650 (Why is no real title available?)
- scientific article; zbMATH DE number 2085344 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Biology and control theory: Current challenges
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
- Compiling communicating processes into delay-insensitive VLSI circuits
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Counterexample-guided predicate abstraction of hybrid systems
- Derivatives of Regular Expressions
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Efficient local correctness checking for single and alternating boolean equation systems
- Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
- LSCs: Breathing life into message sequence charts
- Modalities for model checking: Branching time logic strikes back
- Model Checking Software
- Model Checking Software
- Model checking of RegCTL
- Modeling and querying biomolecular interaction networks
- Modeling the onset of virulence in a pectinolytic bacterium
- Multistationarity, the basis of cell differentiation and memory. I: Structural conditions of multistationarity and other nontrivial behavior
- NuSMV: A new symbolic model checker
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Propositional dynamic logic of looping and converse is elementarily decidable
- Propositional dynamic logic of regular programs
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- Results on the propositional \(\mu\)-calculus
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Temporal logic can be more expressive
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification of infinite-state dynamic systems using approximate quotient transition systems
- Verification, Model Checking, and Abstract Interpretation
- “Sometimes” and “not never” revisited
Cited in
(7)- STL*: extending signal temporal logic with signal-value freezing operator
- GR(1)*: GR(1) specifications extended with existential guarantees
- Model checking of biological systems
- On the Model Checking Problem for Some Extension of CTL*
- Model checking interval temporal logics with regular expressions
- Computation Tree Regular Logic for Genetic Regulatory Networks
- scientific article; zbMATH DE number 1950548 (Why is no real title available?)
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)
