Embedded Linux in a partitioned architecture for aerospace applications. - João Craveiro; José Rufino; Carlos Almeida 002; Rui Covelo; Pedro Venda (AICCSA, 2009)

Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. - José Rufino; João Craveiro; Paulo Veríssimo (WADS, 2009)

Schedulability analysis in partitioned systems for aerospace avionics. - João Craveiro; José Rufino (ETFA, 2010)

Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. - José Rufino; João Craveiro; Paulo Veríssimo (SEUS, 2010)

Adaptability and survivability in spaceborne time- and space-partitioned systems. - Joaquim Rosa; João Craveiro; José Rufino (EUROCON, 2011)

AIR: Technology innovation for future spacecraft onboard computing systems. - José Rufino; João Craveiro; Tobias Schoofs; João Cristóvão; Sérgio Santos; C. Tatibana (EUROCON, 2011)

Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems. - João Craveiro; José Rufino; Frank Singhoff (SIGBED Rev., 2011)

Safety Kernel for Cooperative Sensor-Based Systems. - Pedro Nóbrega Da Costa; João Craveiro; António Casimiro; José Rufino (ASCoMS@SAFECOMP, 2013)