Model Checking of Biological Systems (Q5300885): Difference between revisions

@@ Property / describes a project that uses @@
+Breach
@@ Property / describes a project that uses: Breach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BIOCHAM
@@ Property / describes a project that uses: BIOCHAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiVinE
@@ Property / describes a project that uses: DiVinE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MARCIE
@@ Property / describes a project that uses: MARCIE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SABRE
@@ Property / describes a project that uses: SABRE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-38874-3_3
+Normal rank
@@ Property / OpenAlex ID @@
+W183719528
@@ Property / OpenAlex ID: W183719528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4233972
@@ Property / cites work: Q4233972 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Query-based verification of qualitative trends and oscillations in biochemical systems
+Normal rank
@@ Property / cites work @@
+Foundational aspects of multiscale modeling of biological systems with process algebras
+Normal rank
@@ Property / cites work @@
+Q4531762
@@ Property / cites work: Q4531762 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting synchronisation of biological oscillators by model checking
+Normal rank
@@ Property / cites work @@
+Model Checking Genetic Regulatory Networks with Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+On Timed Models of Gene Networks
@@ Property / cites work: On Timed Models of Gene Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754085
@@ Property / cites work: Q2754085 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Controlling a Class of Nonlinear Systems on Rectangles
+Normal rank
@@ Property / cites work @@
+Fluid Model Checking
@@ Property / cites work: Fluid Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868578
@@ Property / cites work: Q4868578 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Hybrid Automata in Systems Biology: How Far Can We Go?
+Normal rank
@@ Property / cites work @@
+Q4426370
@@ Property / cites work: Q4426370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4657065
@@ Property / cites work: Q4657065 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Q4037099
@@ Property / cites work: Q4037099 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computing reachable states for nonlinear biological models
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Differential equation approximations for Markov chains
+Normal rank
@@ Property / cites work @@
+Finite state Markovian decision processes
@@ Property / cites work: Finite state Markovian decision processes / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic modelling of gene regulatory networks
@@ Property / cites work: Stochastic modelling of gene regulatory networks / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse problems in systems biology
@@ Property / cites work: Inverse problems in systems biology / rank @@
+Normal rank
@@ Property / cites work @@
+On temporal logic constraint solving for analyzing numerical data time series
+Normal rank
@@ Property / cites work @@
+HYPE Applied to the Modelling of Hybrid Biological Systems
+Normal rank
@@ Property / cites work @@
+Q4530809
@@ Property / cites work: Q4530809 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A control problem for affine dynamical systems on a full-dimensional polytope.
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+Q4472254
@@ Property / cites work: Q4472254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+A Stack-Slicing Algorithm for Multi-Core Model Checking
+Normal rank
@@ Property / cites work @@
+Q2848152
@@ Property / cites work: Q2848152 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative simulation of genetic regulatory networks using piecewise-linear models
+Normal rank
@@ Property / cites work @@
+Topological sorting of large networks
@@ Property / cites work: Topological sorting of large networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848145
@@ Property / cites work: Q2848145 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531753
@@ Property / cites work: Q4531753 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Continuous Systems by Timed Automata
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
+Normal rank
@@ Property / cites work @@
+CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472942
@@ Property / cites work: Q5472942 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-first search is inherently sequential
@@ Property / cites work: Depth-first search is inherently sequential / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems for studying biochemical processes
+Normal rank
@@ Property / cites work @@
+Parallelizing the \(\text{Mur}\varphi\) verifier
@@ Property / cites work: Parallelizing the \(\text{Mur}\varphi\) verifier / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank