Repositories list

• jsstl-examples

  Public
  Java

  •1•0•1•3•Updated Oct 13, 2020Oct 13, 2020

• jsstl

  Public
  jSSTL : java Signal Spatio Temporal Logic

  Java

  •

  Apache License 2.0

  •1•2•0•3•Updated Oct 13, 2020Oct 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.

  0•0•0•0•Updated May 10, 2019May 10, 2019

• CARMA

  Public
  Java

  •

  Eclipse Public License 1.0

  •1•7•0•0•Updated Dec 3, 2018Dec 3, 2018

• mela

  Public
  MELA: Modelling in Ecology with Location Attributes

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 25, 2018Aug 25, 2018

• quanticol.github.io

  Public
  CSS

  •

  MIT License

  •0•0•0•0•Updated Jul 14, 2018Jul 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…

  Java

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Apr 16, 2017Apr 16, 2017

• CGP

  Public
  Java

  •0•0•0•0•Updated Mar 28, 2017Mar 28, 2017