João Craveiro

Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems

José Rufino, João Craveiro, J. Rufino, .

Flexible Operating System Integration in Partitioned Aerospace Systems

João Craveiro, José Rufino, Tobias Schoofs, 2009 .

AIR Technology: a step towards ARINC 653 in space

José Rufino, João Craveiro, Tobias Schoofs, 2009 .

Real-time scheduling in multicore : time- and space-partitioned architectures

João Pedro Gonçalves Crespo Craveiro, João Craveiro, 2014 .