Pages that link to "Item:Q5703764"

The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703764):

Displaying 19 items.

• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
• A quantitative study of pure parallel processes (Q907263) (← links)
• On minimising the maximum expected verification time (Q1675917) (← links)
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
• A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space (Q2120961) (← links)
• Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
• Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
• A maximal entropy stochastic process for a timed automaton (Q2347798) (← links)
• Probabilistic verification and approximation (Q2478551) (← links)
• Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
• Formal Verification Based on Guided Random Walks (Q3605460) (← links)
• Beyond series-parallel concurrent systems: the case of arch processes (Q4993536) (← links)
• Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
• (Q5074777) (← links)
• (Q5111650) (← links)
• Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
• Meanings of Model Checking (Q5187832) (← links)
• Monte Carlo Methods for Process Algebra (Q5262967) (← links)
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (Q5458325) (← links)