• BARON

  • Referenced in 316 articles [sw00066]
  • derives its name from its combining constraint propagation, interval analysis, and duality in its reduce...
  • SLMC

  • Referenced in 71 articles [sw04604]
  • properties of software systems. However, when the analysis focuses on properties related to resource usage ... currently available tool that supports the combined analysis of behavioral and spatial properties of systems...
  • CPAchecker

  • Referenced in 50 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis and predicate analysis. (Competition contribution). CPAchecker ... sequential combination of two approaches. It starts with an explicit-state analysis...
  • UMFPACK

  • Referenced in 369 articles [sw00989]
  • sparse LU factorization is presented that combines a column pre-ordering strategy with a right ... numerical factorization. The pre-ordering and symbolic analysis phase computes an upper bound on fill...
  • PRISM

  • Referenced in 416 articles [sw01186]
  • decision processes and continuous-time Markov chains. Analysis is performed through model checking such systems ... based on sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM...
  • Aspic

  • Referenced in 23 articles [sw04954]
  • Combining widening and acceleration in linear relation analysis. Linear Relation Analysis...
  • TIGRA

  • Referenced in 40 articles [sw02333]
  • posed problems. A sophisticated numerical analysis of a combination of Tikhonov regularization and the gradient...
  • Atomizer

  • Referenced in 17 articles [sw08924]
  • analysis for detecting atomicity violations. This analysis combines ideas from both Lipton’s theory...
  • Mplus

  • Referenced in 339 articles [sw06511]
  • data and analysis results. Mplus allows the analysis of both cross-sectional and longitudinal data ... categorical (ordinal), unordered categorical (nominal), counts, or combinations of these variable types. In addition, Mplus...
  • RMetrics

  • Referenced in 29 articles [sw09991]
  • Rmetrics open source software combines exploratory data analysis, statistical modelling and rapid model prototyping...
  • SERBA

  • Referenced in 152 articles [sw01160]
  • with linear elements for 2-D elastostatics analysis SERBA is a FORTRAN77 program which applies ... linear continuous elements, and any kind of combination of boundary conditions in stresses and displacements...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol software package combines various ideas from interval analysis, automatic differentiation, and constraint propagation...
  • Mercury

  • Referenced in 67 articles [sw08333]
  • which combines the clarity and expressiveness of declarative programming with advanced static analysis and error...
  • SAFD

  • Referenced in 14 articles [sw14547]
  • fuzzy data in towards advanced data analysis by combining soft computing and statistics. SAFD: Statistical...
  • YOGI

  • Referenced in 12 articles [sw13094]
  • Yogi Project: Software Property Checking via Static Analysis and Testing. We present Yogi, a tool ... checks properties of C programs by combining static analysis and testing. Yogi implements the Dash...
  • EViews

  • Referenced in 38 articles [sw00254]
  • section, panel data analysis, time series estimation and forecasting). It combines spreadsheet and relational database...
  • SPOT

  • Referenced in 79 articles [sw06347]
  • tuning based on classical regression and analysis of variance techniques; tree-based models such ... random forest; Gaussian process models (Kriging), and combinations of di erent metamodeling approaches. This article...
  • Pueblo

  • Referenced in 29 articles [sw00743]
  • among PB constraints and combine it with generic implication graph analysis for conflict-induced learning...
  • 4eMka2

  • Referenced in 53 articles [sw16168]
  • approach in multiple criteria decision support, combining advantages of rough sets and dominance relation ... geology, pharmacology and many other connected with analysis of vast data sets. The main difference ... that it bases on rough set theory combined with dominance relation, which is quite ... preparation of the classified examples set and analysis of induced rules. It means that user...