• ABC

  • Referenced in 193 articles [sw10950]
  • optimization algorithm based on the intelligent behaviour of honey bee swarm. In this work...
  • HYPLAS

  • Referenced in 85 articles [sw17661]
  • finite element simulation of the nonlinear mechanical behaviour of solids...
  • STL

  • Referenced in 73 articles [sw11800]
  • scenarios that may cause undefined or weird behaviour at runtime. These scenarios are related...
  • SLICOT

  • Referenced in 71 articles [sw01095]
  • speed. Benchmarking gives also insight in the behaviour of the method and its implementation...
  • seL4

  • Referenced in 66 articles [sw15222]
  • high-level abstract specification of kernel behaviour. This encompasses traditional design and implementation safety properties...
  • TINA

  • Referenced in 40 articles [sw03280]
  • number of representations for the behaviour of Petri nets or Time Petri nets. Various techniques ... used to extract views of the behaviour of nets, preserving certain classes of properties ... provide a finite symbolic representation of their behaviour in terms of state classes...
  • CONTENT

  • Referenced in 30 articles [sw01058]
  • software package CONTENT. The qualitative behaviour of iterates of a map can be very complicated ... power of the software by studying the behaviour of an electromechanical device that exhibits ... complicated bifurcation behaviour, the so - called Sommerfeld’s efFect. In this example...
  • mCRL2

  • Referenced in 47 articles [sw01496]
  • used to specify and analyse the behaviour of distributed systems and protocols...
  • BKZ

  • Referenced in 44 articles [sw10242]
  • efficient simulation algorithm to model the behaviour of BKZ in high dimension with high blocksize...
  • FracPECE

  • Referenced in 38 articles [sw24209]
  • mathematical model for the description of the behaviour of viscoplastic materials. The model contains...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • formal method in which subtle properties of behaviour can be investigated. Alcoa’s input language ... state involves complex relational structure. State and behavioural properties are described declaratively, by conjoining constraints...
  • SIMEM3 Renault

  • Referenced in 36 articles [sw04243]
  • nonsmooth analysis. Several numerical results illustrate the behaviour of this algorithm...
  • Charon

  • Referenced in 20 articles [sw19755]
  • composition. For a hierarchical description of the behaviour of atomic components, it supports building complex ... functions, facilitate the description of complex discrete behaviour. The continuous behaviour can be specified using...
  • SHAZAM

  • Referenced in 31 articles [sw04924]
  • estimation of complex models of economic behaviour to Monte Carlo simulation studies for assessing...
  • COSTA

  • Referenced in 22 articles [sw00162]
  • upload their own bytecode programs. As the behaviour of COSTA can be customized using ... allowing a fine-grained control over the behaviour of the analyzer. Some of these options...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines...
  • reccv

  • Referenced in 30 articles [sw26388]
  • single criterion that can adequately summarise the behaviour of an estimator, we use various criteria...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • equalities corresponds to a different behaviour with respect to continuity. The operational semantics (based...
  • Idris

  • Referenced in 28 articles [sw20011]
  • that some aspects of a program’s behaviour can be specified precisely in the type...
  • mCRL

  • Referenced in 28 articles [sw29626]
  • fashion. It targets the specification of system behaviour in a process-algebraic style...