
NuSMV
 Referenced in 265 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 221 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 129 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 245 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 288 articles
[sw04125]
 discrete and continuous components, and temporal requirements are verified by symbolic model checking...

SAS/STAT
 Referenced in 236 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...

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 66 articles
[sw03051]
 book presents the architecture and modeling and search components of constraintbased local search...

STAMP
 Referenced in 32 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...

RINLA
 Referenced in 23 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...

CellML
 Referenced in 18 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...

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

GLPK
 Referenced in 141 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...

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

SmartPLS
 Referenced in 14 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...

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

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

Mixmod
 Referenced in 24 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...

Scicos
 Referenced in 17 articles
[sw01941]
 dynamics of hybrid dynamical systems and compile models into executable code. Scicos is used ... systems. New extensions allow generation of component based modeling of electrical and hydraulic circuits using...