Projects

Ongoing projects
Acronym Project Start Date
ARVI Runtime Verification beyond Monitoring 17/12/2014
Closed projects
Acronym Project Start Date
READAPT Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications 01/06/2013
HIDENETS HIghly DEpendable ip-based NETworks and Services 02/01/2006