• Uppaal

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

  • Referenced in 25 articles [sw09421]
  • increasingly important for critical infrastructure in society. In standard object-oriented 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 safety-critical applications such as aircraft avionics, which ... real-time 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 Model-Based Development Environment for critical embedded software. With native integration ... integrated design environment for critical applications spanning requirements management, model-based 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 rule-based 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 critical-path timing modeling, area modeling, and dynamic, short-circuit...
  • 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 security-critical systems...
  • ASTRO-DF

  • Referenced in 11 articles [sw26833]
  • error (or variance) and structural error (or model bias) within ASTRO-DF. Such balancing ... inferred to be close to a critical point and lower when far away. We demonstrate ... first-order 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...