• D-Finder

  • Referenced in 14 articles [sw00200]
  • verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock...
  • HuMAnS

  • Referenced in 3 articles [sw15349]
  • Japan for applications on the Bip and the HRP-2 humanoid robots as well...
  • BIPS

  • Referenced in 1 article [sw18499]
  • BIPS: BIANA Interolog Prediction Server. A tool for protein–protein interaction inference. Protein–protein interactions ... Interactions and Network Analysis) Interolog Prediction Server (BIPS), which offers a web-based interface ... facilitate PPI predictions based on interolog information. BIPS benefits from the capabilities of the framework ... used to calculate similarities between sequences. BIPS is freely accessible at http://sbi.imim.es/BIPS.php....
  • VCS

  • Referenced in 1 article [sw29446]
  • presents the VCS verification tool for the BIP modeling language. The tool admits sophisticated interactions ... specified in BIP models. Particularly, private variables in components can be updated by user-defined ... interactions. On the verification back-end, the BIP models are formulated as transition systems. Several...
  • BicPAMS

  • Referenced in 2 articles [sw29990]
  • based biclustering (including BicPAM, BicNET, BicSPAM, BiC2PAM, BiP, DeBi and BiModule). As such, BicPAMS...
  • PRISM

  • Referenced in 401 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • mCRL2

  • Referenced in 52 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • An ML-like module system for the synchronous...
  • Haskell

  • Referenced in 842 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Reo

  • Referenced in 81 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • Scala

  • Referenced in 85 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • fminsearch

  • Referenced in 251 articles [sw07467]
  • Convergence properties of the Nelder--Mead simplex method...
  • UNITY

  • Referenced in 174 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • PRISM

  • Referenced in 33 articles [sw23359]
  • PRISM: A language for symbolic-statistical modeling. We...