Rodosvisor - An ARINC 653 quasi-compliant hypervisor: CPU, memory and I/O virtualization. - Adriano Tavares; Adriano Didimo; T. Lobo; Paulo Cardoso; Jorge Cabral 001; Sergio Montenegro 001 (ETFA, 2012)

LP805X: A customizable and low power 8051 soft core for FPGA applications. - T. Lobo; Sandro Pinto 001; Vitor Alberto Silva; Sofia O. Lopes; Jorge Cabral 001; Adriano Tavares; Sarat Yoowattana; Warisa Sritriratanarak; Mongkol Ekpanyapong (ISIE, 2013)