sstefano

JModelica.org

A minimal Docker image based on Debian Jessie providing php-fpm + phalconphp.

OpenModelica

Benchmark reproducing experiments from our paper "Linearising Discrete Time Hybrid Systems".

SyLVer is a software performing Bounded System Level Formal Verification of Cyber-Physical Systems