Popular repositories Loading

1. sirio sirio Public

   The Sirio library for the analysis of stochastic time Petri nets

   Java 12 1

2. sirio-examples sirio-examples Public

   A ready-to-use project for the Sirio API

   3

3. oris-tool.github.io oris-tool.github.io Public

   The ORIS Website

   HTML 1

4. faultflow faultflow Public

   The FaultFlow library for dependability evaluation of component-based systems of systems

   Java 1

5. tool-paper-example tool-paper-example Public

   A ready-to-use project on the running example of "The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems", by M. Paolieri, M. Biagi, L. Carnevali, and E. Vicario, published on the IEEE Tra…

   Java

6. eulero eulero Public

   The Eulero library for quantitative modeling and evaluation of complex workflows

   Java 2