
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...

ABCSysBio
 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 Multiparty 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 runtime evaluation of a given formula ... Casaal. that we seamlessly connect to Uppaalsmc. in a tool chain. We demonstrate...

PLASMAlab
 Referenced in 3 articles
[sw33109]
 present PLASMAlab, a statistical model checking (SMC) library that provides the functionality to create ... class to take advantage of our efficient SMC algorithms. PLASMAlab 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: GeneralPurpose 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 highlevel 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 opensource 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, opensource whole genome...

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