Skip to content

@oris-tool ORIS Tool

Change the repository type filter

All

    Repositories list

    14 repositories

    • sirio

      Public
      The Sirio library for the analysis of stochastic time Petri nets
      Java
      •
      GNU Affero General Public License v3.0
      •1•14•0•0•Updated Jul 5, 2025Jul 5, 2025

    • oris-tool.github.io

      Public
      The ORIS Website
      HTML
      •0•1•0•1•Updated Jul 5, 2025Jul 5, 2025

    • compositional-coordinated-provisioning-for-workflows

      Public
      0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • FMICS-2025-proactive-maintenance-rep-pkg

      Public
      Java
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Jun 7, 2025Jun 7, 2025

    • pyramis

      Public
      The PYRAMIS library for compositional analysis of hierarchical UML statecharts
      Java
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 7, 2025May 7, 2025

    • eulero_2.0

      Public
      Refactoring of Eulero library, in order to enable semantics customizations
      Java
      •
      GNU Affero General Public License v3.0
      •2•0•0•0•Updated Mar 23, 2025Mar 23, 2025

    • faultflow

      Public
      The FaultFlow library for dependability evaluation of component-based systems of systems
      Java
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Jan 8, 2025Jan 8, 2025

    • omnibus

      Public
      The OMNIBUS library for the analysis of multimodal urban intersections
      Java
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • WoSAR-2024-replica-pool-rep-pkg

      Public
      Java
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Aug 25, 2024Aug 25, 2024

    • sar

      Public
      Modeling and evaluation of Software Aging and Rejuvenation (SAR) models beyond the enabling restriction
      Python
      •0•0•0•0•Updated Jul 29, 2024Jul 29, 2024

    • omnibus-sumo-experimentation

      Public
      Using the SUMO traffic simulator to analyze urban intersections
      Java
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • eulero

      Public
      The Eulero library for quantitative modeling and evaluation of complex workflows
      Java
      •
      GNU Affero General Public License v3.0
      •2•1•0•0•Updated Oct 30, 2023Oct 30, 2023

    • sirio-examples

      Public
      A ready-to-use project for the Sirio API
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Nov 21, 2021Nov 21, 2021

    • 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 Transactions on Software Engineering, vol. 47, no. 6, pp. 1211-1225, June 2021.
      Java
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Oct 18, 2021Oct 18, 2021