
NuSMV
 Referenced in 260 articles
[sw04131]
 research areas. NuSMV2, combines BDDbased model checking component that exploits the CUDD library developed ... Colorado University and SATbased model checking component that includes an RBCbased Bounded Model...

ANFIS
 Referenced in 217 articles
[sw08730]
 architecture is employed to model nonlinear functions, identify nonlinear components online in a control ... neural networks and earlier work on fuzzy modeling are listed and discussed. Other extensions...

Bandera
 Referenced in 127 articles
[sw07663]
 Using the Bandera tool set to modelcheck properties of concurrent Java software. The Bandera ... analysis, transformation, and visualization components designed to facilitate experimentation with modelchecking Java source code ... input language of one of several existing modelchecking tools (including Spin, dSpin ... extensible abstract interpretation components are applied to customize the program model to the property being...

Kronos
 Referenced in 242 articles
[sw01270]
 realtime systems need to be rigorously modeled and specified in order to be able ... desired requirements. In KRONOS, components of realtime systems are modeled by timed automata...

HyTech
 Referenced in 283 articles
[sw04125]
 discrete and continuous components, and temporal requirements are verified by symbolic model checking...

CommonKADS
 Referenced in 26 articles
[sw01531]
 flexible reuse, these models can be broken down into reusable components, containing artificial problem solving ... domain models. A library of these models and components has been constructed as part ... most comprehensive collection available of modelling components for contructing `second generation’ KBS. The components problem...

COMET
 Referenced in 63 articles
[sw03051]
 book presents the architecture and modeling and search components of constraintbased local search...

SAS/STAT
 Referenced in 196 articles
[sw18788]
 SAS/STAT software, a component of the SAS System, provides comprehensive statistical tools for a wide ... nonparametric analysis. A few examples include mixed models, generalized linear models, correspondence analysis, and structural...

STAMP
 Referenced in 25 articles
[sw09536]
 software system for time series models with unobserbed components such as trend, seasonal, cycle ... userfriendly environment for the analysis, modelling and forecasting of time series. Estimation and signal ... Structural time series models are formulated directly in terms of components of interest and also ... often referred to as unobserved component time series models. Such models find application in many...

PICCOLA
 Referenced in 17 articles
[sw06408]
 supported by consciously applying the paradigm ’Applications = Components + Scripts’. In this chapter we introduce PICCOLA ... language’ that embodies this paradigm. Piccola models components and compositional abstractions by means of communicating ... robustness are obtained by modelling both interfaces of components and the contexts in which they...

CellML
 Referenced in 16 articles
[sw05635]
 existing models.CellML models are represented as a collection of discrete components linked by connections ... form a network. A component is a functional unit that may correspond to a physical ... similar tasks, or a convenient modelling abstraction. Components may contain variables, mathematical relationships that specify ... adding context information to a model, and component grouping. These assist in the creation...

RINLA
 Referenced in 16 articles
[sw08014]
 scope of latent Gaussian models, where independent components of the latent field can have ... distribution. The proposed methodology is an essential component of a bigger project that aims ... Gaussian assumptions of some of the model components in a straightforward and intuitive...

TimeNET
 Referenced in 25 articles
[sw00965]
 specialized analysis and simulation components are used for the automated model evaluation. The implementation ... analysis and simulation components is based on recent research results. Both the general structure ... TimeNET are described. An example illustrates the modeling and evaluation process using TimeNET...

rCOS
 Referenced in 14 articles
[sw01502]
 rCOS: Theory and tool for componentbased model driven development. We present the roadmap ... theory and its tool support for componentbased model driven software development (CBMDD). First...

Pyomo
 Referenced in 14 articles
[sw04910]
 detailed reference of Pyomo’s modeling components is illustrated with extensive examples, including a discussion ... chapters cover advanced topics such as nonlinear models, stochastic models, and scripting examples...

GLPK
 Referenced in 129 articles
[sw04560]
 callable library. GLPK supports the GNU MathProg modeling language, which is a subset ... GLPK package includes the following main components: primal and dual simplex methods, primaldual interior...

PcGets
 Referenced in 35 articles
[sw01937]
 methods are useful components of the modern applied econometric automated modeling tool chest...

SmartPLS
 Referenced in 13 articles
[sw10491]
 structural equation modeling : SmartPLS 3 includes stateoftheart options for analyses such ... IPMA), multigroup analysis (MGA), hierarchical component models secondorder models), nonlinear relationships (e.g., quadratic...

Mixmod
 Referenced in 23 articles
[sw06991]
 different Gaussian models can be distinguished according to different assumptions regarding the component variance matrix ... choosing a parsimonious model (the number of mixture components, for instance) are included, their suitability...

SCIRun2
 Referenced in 7 articles
[sw12920]
 data redistribution subsystem. A meta component model based on CCA is used to accommodate multiple ... component models such as CCA, CORBA and Dataflow. A group of monitoring components built...