Results 1 to 8 of 8
Sort by:

  • 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...