Skip to content
@Quanticol

Quanticol

Popular repositories Loading

  1. CARMA CARMA Public

    Java 7 1

  2. jsstl jsstl Public

    jSSTL : java Signal Spatio Temporal Logic

    Java 2 1

  3. jSAM jSAM Public

    jSAM is an Eclipse plugin integrating a set of tools for stochastic analysis of concurrent and distributed systems specified using process algebras. jSAM provides tools that can be used for interac…

    Java

  4. CGP CGP Public

    Java

  5. quanticol.github.io quanticol.github.io Public

    CSS

  6. strel strel Public

    STREL is a novel spatio-temporal logic that enable the specification of spatio-temporal requirements and to monitor them over the execution of mobile and spatially distributed CPS. This package pro…

Repositories

Showing 8 of 8 repositories
  • jsstl-examples Public
    Quanticol/jsstl-examples’s past year of commit activity
    Java 0 1 1 3 Updated Oct 13, 2020
  • jsstl Public

    jSSTL : java Signal Spatio Temporal Logic

    Quanticol/jsstl’s past year of commit activity
    Java 2 Apache-2.0 1 0 3 Updated Oct 13, 2020
  • strel Public

    STREL is a novel spatio-temporal logic that enable the specification of spatio-temporal requirements and to monitor them over the execution of mobile and spatially distributed CPS. This package provides a set of API and tools that can be used to monitor CPS following the STREL approach.

    Quanticol/strel’s past year of commit activity
    0 0 0 0 Updated May 10, 2019
  • CARMA Public
    Quanticol/CARMA’s past year of commit activity
    Java 7 EPL-1.0 1 0 0 Updated Dec 3, 2018
  • mela Public

    MELA: Modelling in Ecology with Location Attributes

    Quanticol/mela’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Aug 25, 2018
  • quanticol.github.io Public
    Quanticol/quanticol.github.io’s past year of commit activity
    CSS 0 MIT 0 0 0 Updated Jul 14, 2018
  • jSAM Public

    jSAM is an Eclipse plugin integrating a set of tools for stochastic analysis of concurrent and distributed systems specified using process algebras. jSAM provides tools that can be used for interactively executing specifications and for simulating their stochastic behaviors. Moreover, jSAM integrates a statistical model-checking that permits ver…

    Quanticol/jSAM’s past year of commit activity
    Java 0 EPL-1.0 0 0 0 Updated Apr 16, 2017
  • CGP Public
    Quanticol/CGP’s past year of commit activity
    Java 0 0 0 0 Updated Mar 28, 2017

Top languages

Loading…

Most used topics

Loading…