Projects

Ongoing projects
Acronym Project Start Date
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems 01/01/2017
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