Login / Signup
Tommaso Di Tusa
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Deep Learning
Automated Verification
Asynchronous Circuits
Model Checking
Top Venues
IEEE BigData
</>
Publications
</>
Giovanni Capobianco
,
Umberto Di Giacomo
,
Tommaso Di Tusa
,
Francesco Mercaldo
,
Antonella Santone
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking.
IEEE BigData
(2019)