Stefano Minopoli
Postdoctoral Researcher


VERIMAG Laboratory

University Joseph Fourier

Grenoble (France)

 

stefano.minopoli@imag.fr
stefano.minopoli@gmail.com





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!)