Personal Information
Organization / Workplace
Italy Italy
Occupation
Assegnista di Ricerca presso ISTI-CNR
Industry
Technology / Software / Internet
About
Disclaimer: the published videos are rehearsals for conferences and have not been elaborated nor were meant to be published, the audio and video are rough and may contain imperfections, there is no pointer and audio/video may be out of synch.
I decided to publish these videos afterwards as further material to complement the published papers.
My research focuses on specification and verification of applications, evaluation of resilient and energy saving systems.
Tags
vecos 2018
serene 2015 san mobius stochastic
See more
Presentations
(5)Personal Information
Organization / Workplace
Italy Italy
Occupation
Assegnista di Ricerca presso ISTI-CNR
Industry
Technology / Software / Internet
About
Disclaimer: the published videos are rehearsals for conferences and have not been elaborated nor were meant to be published, the audio and video are rough and may contain imperfections, there is no pointer and audio/video may be out of synch.
I decided to publish these videos afterwards as further material to complement the published papers.
My research focuses on specification and verification of applications, evaluation of resilient and energy saving systems.
Tags
vecos 2018
serene 2015 san mobius stochastic
See more