
Uppaal
 Referenced in 634 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...

CONOPT
 Referenced in 163 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...

Edward
 Referenced in 12 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...

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

ABAQUS/Standard
 Referenced in 186 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...

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

OpenMC
 Referenced in 12 articles
[sw18083]
 focused on neutron criticality calculations. It is capable of simulating 3D models based on constructive...

Data2Dynamics
 Referenced in 10 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...