• CANDYS/QA

  • Referenced in 9 articles [sw01219]
  • software system for qualitative analysis of nonlinear dynamical systems Numerical methods are often needed ... this paper the software system CANDYS/QA for numerical quantitative analysis is presented. A wide class...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • PMaude, and for statistically analyzing various quantitative aspects of such models based on the samples ... probabilistic system is necessary for a form of statistical analysis that we also discuss. Specifically ... introduce a query language called Quantitative Temporal Expressions (or QuaTEx in short), to query various...
  • PVeStA

  • Referenced in 18 articles [sw08423]
  • quantitative analysis tool. Statistical model checking is an attractive formal analysis method for probabilistic systems ... such scalability of analysis available to tools like Maude, where probabilistic systems can be specified ... statistical model checking of probabilistic real-time systems specified as either: (i) discrete or continuous ... either: (i) PCTL/CSL, or (ii) the QuaTEx quantitative temporal logic. As our experiments show...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • techniques for analyzing real-time and embedded systems, but to support them. Hence, it provides ... perform specific analysis. Especially, MARTE focuses on performance and schedulability analysis. But, it defines also ... general framework for quantitative analysis which intends to refine/specialize any other kind of analysis...
  • QUAIL

  • Referenced in 3 articles [sw19647]
  • Security Analyzer. Quantitative security analysis evaluates and compares how effectively a system protects its secret ... arbitrary-precision quantitative analysis of the security of a system depending on private information. QUAIL...
  • QVAS

  • Referenced in 1 article [sw18585]
  • quantitative vascular analysis system for evaluation of atherosclerotic lesions by MRI. An analysis package called ... QVAS (Quantitative Vascular Analysis System) is presented for the evaluation of atherosclerotic arterial lesions visualized ... tissue classes within the lesion, quantitative analysis of lesion features, and three dimensional display...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic ... facility to perform a qualitative or quantitative analysis for omega-regular linear time properties...
  • TSMV

  • Referenced in 2 articles [sw13326]
  • symbolic model checker for quantitative analysis of systems. TSMV is an extension of NuSMV...
  • CellProfiler

  • Referenced in 17 articles [sw18751]
  • free, open-source system designed for flexible, high-throughput cell image analysis, CellProfiler. CellProfiler ... address a variety of biological questions quantitatively, including standard assays (for example, cell count, size...
  • MultiVeStA

  • Referenced in 6 articles [sw08424]
  • Simulators. The modeling, analysis and performance evaluation of large-scale systems are difficult tasks ... performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique ... used by computer scientists working on quantitative analysis is Statistical Model Checking (SMC), where rigorous ... languages (typically logics) are used to express systems properties of interest. Such properties can then...
  • BEARTEX

  • Referenced in 2 articles [sw09010]
  • BEARTEX: a Windows-based program system for quantitative texture analysis. BEARTEX is a general...
  • VESTA

  • Referenced in 25 articles [sw08425]
  • tool for statistical analysis of probabilistic systems. It supports statistical model-checking ... expressions written in a query language called Quantitative Temporal Expressions (or QUATEX in short...
  • DeepStellar

  • Referenced in 1 article [sw41843]
  • DeepStellar: model-based quantitative analysis of stateful deep learning systems. Deep Learning (DL) has achieved ... been made on the analysis of feed-forward DL systems, little study has been done ... first step towards the quantitative analysis of RNN-based DL systems. We model ... five coverage criteria which enable the quantitative analysis of RNNs. We further propose two algorithms...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool...
  • CAVE

  • Referenced in 3 articles [sw09282]
  • detection and quantitative analysis of internal cavities in a system of overlapping balls: Application ... arbitrary system of balls. The volume, the surface area and other quantitative characteristics...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts...
  • PROC QTL

  • Referenced in 1 article [sw17248]
  • Procedure for Mapping Quantitative Trait Loci. Statistical analysis system (SAS) is the most comprehensive statistical ... offers data analysis for almost all experiments under various statistical models. Each analysis is performed ... analysis of variances. PROC QTL is a user-defined SAS procedure for mapping quantitative trait...
  • Oris

  • Referenced in 2 articles [sw07669]
  • verification and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various ... Petri Nets, which enable schedulability analysis of real-time systems running under priority preemptive scheduling ... integrated approach to qualitative verification and quantitative evaluation. In this paper, we present the current...
  • Jani

  • Referenced in 2 articles [sw36938]
  • JANI: Quantitative model and tool interaction. The formal analysis of critical systems is supported ... inherent extensibility. Jani initially targets quantitative model checking, a field that is at a decisive...
  • OR/SM

  • Referenced in 3 articles [sw02709]
  • analysis software system and optimization solver; and (3) an interactive link to QS (quantitative systems...