
Uppaal
 Referenced in 639 articles
[sw04702]
 appropriate for systems that can be modeled as a collection of nondeterministic processes with ... particular, those where timing aspects are critical...

Creol
 Referenced in 25 articles
[sw09421]
 increasingly important for critical infrastructure in society. In standard objectoriented models, objects ... synchronize on method calls. These models may be criticized in the distributed setting for their ... much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling...

Kronos
 Referenced in 263 articles
[sw01270]
 systems are often part of complex safetycritical applications such as aircraft avionics, which ... realtime systems need to be rigorously modeled and specified in order to be able...

Edward
 Referenced in 14 articles
[sw21517]
 Edward: A Library for Probabilistic Modeling, Inference, and Criticism. Edward is a Python library ... probabilistic modeling, inference, and criticism. It is a testbed for fast experimentation and research with...

CONOPT
 Referenced in 165 articles
[sw02791]
 basis for discussions of the implementation of critical components in a GRG code: basis factorizations ... contains performance statistics for a range of models from different branches of engineering and economics...

faraway
 Referenced in 23 articles
[sw04357]
 mixed effects and nonparametric regression models. Linear models are central to the practice of statistics ... methodologies. Julian J. Faraway’s critically acclaimed Linear Models with R examined regression and analysis...

quantilogram
 Referenced in 25 articles
[sw25152]
 conduct inference, propose some model free upper bound critical values, and apply our methods...

ABAQUS/Standard
 Referenced in 191 articles
[sw07161]
 events where highly accurate stress solutions are critically important. Examples include sealing pressure ... simulation, it is possible to analyze a model both in the time and frequency domain...

SCADE
 Referenced in 20 articles
[sw00829]
 empowers users with a ModelBased Development Environment for critical embedded software. With native integration ... integrated design environment for critical applications spanning requirements management, modelbased design, simulation, verification, qualifiable/certified...

IPSSIS
 Referenced in 14 articles
[sw07158]
 that are dominated. In other words, these models do not solve for one optimal portfolio ... given his preference system. One criticism over these models, which has often been addressed both...

PLT Redex
 Referenced in 23 articles
[sw09921]
 automatic tool support is critical for rapid prototyping and modeling, and this book is addressed...

AGG
 Referenced in 49 articles
[sw04449]
 critical pair analysis of graph rules. Applications of AGG include graph and rulebased modeling...

CmapTools
 Referenced in 6 articles
[sw23977]
 users to construct, navigate, share and criticize knowledge models represented as concept maps. It allows...

McPAT
 Referenced in 6 articles
[sw27655]
 beyond. At the microarchitectural level, McPAT includes models for the fundamental components of a chip ... technology levels, McPAT supports criticalpath timing modeling, area modeling, and dynamic, shortcircuit...

ESyPred3D
 Referenced in 5 articles
[sw16876]
 generally accepted as the most critical step in homology modeling. Results: We present here ESyPred3D ... package MODELLER. ESyPred3D was tested on 13 targets in the CASP4 experiment (Critical Assessment...

UMLsec
 Referenced in 3 articles
[sw12754]
 provides automatic verification plugins of UML models for critical requirements. In particular, it includes automated ... analysis of UMLsec models for the security requirements included as stereotypes. The input ... within this tool architecture is on securitycritical systems...

ASTRODF
 Referenced in 11 articles
[sw26833]
 error (or variance) and structural error (or model bias) within ASTRODF. Such balancing ... inferred to be close to a critical point and lower when far away. We demonstrate ... firstorder critical points when using stochastic polynomial interpolation models. The question of using more...

OSiL
 Referenced in 10 articles
[sw07617]
 software, and data used to generate a model instance might reside on different machines using ... environment makes it critical to have an open standard for exchanging model instances.par In this...

PeakSeg
 Referenced in 2 articles
[sw32352]
 PeakSeg, a new constrained maximum likelihood segmentation model for peak detection with an efficient inference ... supervised learning of penalties for the critical model selection problem. We show that the supervised...

Data2Dynamics
 Referenced in 11 articles
[sw25272]
 tailored to parameter estimation in dynamical systems. Modeling of dynamical systems using ordinary differential equations ... most critical steps in this approach are to construct dynamical models of biochemical reaction networks...