Davide Basile
5 SlideShares 1 Suivi
Personal Information
Entreprise/Lieu de travail
Italy Italy
Profession
Assegnista di Ricerca presso ISTI-CNR
Secteur d’activité
Technology / Software / Internet
À propos
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.
Coordonnées
Mots-clés
vecos 2018 serene 2015 san mobius stochastic
Tout plus

Présentations

(5)
Tout voir

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System

il y a 8 ans • 417 Vues

Energy-saving Buildings Assessment through Stochastic Hybrid Model-based Evaluation

il y a 7 ans • 168 Vues

Specification and Verification of Contract-based Applications

il y a 7 ans • 158 Vues

Tuning energy consumption strategies in the railway domain: a model-based approach

il y a 7 ans • 232 Vues

Vecos 2018

il y a 5 ans • 35 Vues
Personal Information
Entreprise/Lieu de travail
Italy Italy
Profession
Assegnista di Ricerca presso ISTI-CNR
Secteur d’activité
Technology / Software / Internet
À propos
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.
Mots-clés
vecos 2018 serene 2015 san mobius stochastic
Tout plus