Stefano Minopoli
Postdoctoral Researcher

VERIMAG Laboratory

University Joseph Fourier

Grenoble (France)

Latest News:
* 02/06/2016: SL2SX Source Code now public available: Click here to get the code
"SL2SX Translator From Simulink to SpaceEx Verification Tool" (toolpaper) accepted at HSCC 2016
* "From Simulation Models to HA Using Urgency and Relaxation" (regular paper) accepted at HSCC 2016

 (Find the Bug!)