On-chip support for software verification and debug in multi-core embedded systems. - Padraig Fogarty; Ciaran MacNamee; Donal Heffernan (IET Softw., 2013)

Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties. - Donal Heffernan; Ciaran MacNamee; Padraig Fogarty (IET Softw., 2014)