• Horus

  • Referenced in 15 articles [sw21811]
  • model providing (among others) unreliable or reliable FIFO, causal, or total group multicasts ... approach permits experimentation with new communication properties and incremental extension of the system, and enables...
  • rt-muse

  • Referenced in 0 articles [sw24727]
  • publicly available tool that analyzes timing properties extracted from the execution ... threads which are enqueued behind SCHED_FIFO threads with the same priority...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • Graphs

  • Referenced in 109 articles [sw12277]
  • Shortest-path queries in static networks. We consider...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation...
  • FAST

  • Referenced in 41 articles [sw21268]
  • FAST: Fast Acceleration of Symbolic Transition Systems. fast...