Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361): Difference between revisions

Latest revision as of 20:43, 9 December 2024

scientific article

Language	Label	Description	Also known as
English	Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement	scientific article

Statements

instance of

scholarly article

0 references

title

Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (English)

0 references

author

Sumit Kumar Jha

0 references

Christopher James Langmead

0 references

published in

Theoretical Computer Science

0 references

publication date

3 May 2011

0 references

zbMATH Keywords

systems biology

0 references

stochastic systems

0 references

parameter synthesis

0 references

model infeasibility

0 references

statistical model checking

0 references

describes a project that uses

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2011.01.012

0 references

cites work

The algorithmic analysis of hybrid systems

0 references

Error analysis of tau-leap simulation methods

0 references

Q2754104

0 references

Hybridization methods for the analysis of nonlinear systems

0 references

Symbolic model checking for probabilistic processes

0 references

Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.

0 references

Q4413225

0 references

Q2754081

0 references

Systematic Simulation Using Sensitivity Analysis

0 references

Hybrid Systems: Computation and Control

0 references

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata

0 references

Q4417994

0 references

Tools and Algorithms for the Construction and Analysis of Systems

0 references

Probabilistic model checking of complex biological pathways

0 references

Verification, Model Checking, and Abstract Interpretation

0 references

Q5726065

0 references

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

0 references

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

0 references

Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings

0 references

Q4953402

0 references

Proving Liveness Properties of Concurrent Programs

0 references

Computer Aided Verification

0 references

Computer Aided Verification

0 references

Q4418863

0 references

Q4953388

0 references

Sequential Tests of Statistical Hypotheses

0 references

Q5801671

0 references

Q4806205

0 references

Statistical probabilistic model checking with a focus on time-bounded properties

0 references

Identifiers

zbMATH Open document ID

1211.92021

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

10.1016/J.TCS.2011.01.012

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:533361

@@ Property / DOI @@
-.1016/j.tcs.2011.01.012
@@ Property / DOI: 10.1016/j.tcs.2011.01.012 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 92C40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+J20
@@ Property / Mathematics Subject Classification ID: 60J20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 62P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C20
@@ Property / Mathematics Subject Classification ID: 65C20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q99
@@ Property / Mathematics Subject Classification ID: 68Q99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5883072
@@ Property / zbMATH DE Number: 5883072 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+systems biology
@@ Property / zbMATH Keywords: systems biology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic systems
@@ Property / zbMATH Keywords: stochastic systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parameter synthesis
@@ Property / zbMATH Keywords: parameter synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model infeasibility
@@ Property / zbMATH Keywords: model infeasibility / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+statistical model checking
@@ Property / zbMATH Keywords: statistical model checking / 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 @@
+LiQuor
@@ Property / describes a project that uses: LiQuor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APMC
@@ Property / describes a project that uses: APMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / 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.1016/j.tcs.2011.01.012
+Normal rank
@@ Property / OpenAlex ID @@
+W1965702219
@@ Property / OpenAlex ID: W1965702219 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Error analysis of tau-leap simulation methods
@@ Property / cites work: Error analysis of tau-leap simulation methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754104
@@ Property / cites work: Q2754104 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4413225
@@ Property / cites work: Q4413225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic Simulation Using Sensitivity Analysis
@@ Property / cites work: Systematic Simulation Using Sensitivity Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Q4417994
@@ Property / cites work: Q4417994 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5726065
@@ Property / cites work: Q5726065 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953388
@@ Property / cites work: Q4953388 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential Tests of Statistical Hypotheses
@@ Property / cites work: Sequential Tests of Statistical Hypotheses / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801671
@@ Property / cites work: Q5801671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical probabilistic model checking with a focus on time-bounded properties
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.01.012
@@ Property / DOI: 10.1016/J.TCS.2011.01.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:533361