• LibBi

  • Referenced in 13 articles [sw19384]
  • focus is on sequential Monte Carlo (SMC) methods such as the particle filter for state ... particle Markov chain Monte Carlo (PMCMC) and SMC^2 methods for parameter estimation...
  • MultiVeStA

  • Referenced in 6 articles [sw08424]
  • quantitative analysis is Statistical Model Checking (SMC), where rigorous mathematical languages (typically logics) are used ... them with efficient distributed statistical analysis and SMC capabilities...
  • ABC-SysBio

  • Referenced in 6 articles [sw24739]
  • combines three algorithms: ABC rejection sampler, ABC SMC for parameter inference ... SMC for model selection. It is designed to work with models written in Systems Biology...
  • Trustedpals

  • Referenced in 5 articles [sw09013]
  • problem of Secure Multi-party Computation (SMC) in a model where individual processes contain ... efficient smart card based implementation of SMC for any number of participating entities in such ... module. We show that in this model SMC can be implemented by reducing...
  • Casaal

  • Referenced in 5 articles [sw10130]
  • WTAs, we apply statistical model checking (SMC) to estimate and test probabilities of satisfaction with ... formulas in WMTL ≤ , allowing for efficient SMC by run-time evaluation of a given formula ... Casaal. that we seamlessly connect to Uppaal-smc. in a tool chain. We demonstrate...
  • PLASMA-lab

  • Referenced in 3 articles [sw33109]
  • present PLASMA-lab, a statistical model checking (SMC) library that provides the functionality to create ... class to take advantage of our efficient SMC algorithms. PLASMA-lab may be instantiated from...
  • AutoMOTGen

  • Referenced in 3 articles [sw09718]
  • smc for generation of test data and proving the unreachability of some of the coverage...
  • SMC

  • Referenced in 1 article [sw24867]
  • package SMC: Sequential Monte Carlo (SMC) Algorithm. particle filtering, auxiliary particle filtering and sequential Monte...
  • SISTOS

  • Referenced in 1 article [sw14820]
  • complexity of the problem, sequential Monte Carlo (SMC) methods are used. We investigate SMC methods ... prove that the variance of the SMC method is bounded linearly in the number...
  • BayesianTools

  • Referenced in 0 articles [sw18813]
  • package BayesianTools. BayesianTools: General-Purpose MCMC and SMC Samplers and Tools for Bayesian Statistics. General ... purpose MCMC and SMC samplers, as well as plot and diagnostic functions for Bayesian statistics ... DREAM MCMCs, and a sequential Monte Carlo (SMC) particle filter...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • HyTech

  • Referenced in 327 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CODA

  • Referenced in 294 articles [sw04290]
  • R package coda: Output analysis and diagnostics for...
  • Simulink

  • Referenced in 755 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • PLINK

  • Referenced in 61 articles [sw04581]
  • PLINK is a free, open-source whole genome...
  • Uppaal

  • Referenced in 634 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...