Home

2011
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
Craveiro, J., J. Rufino, and F. Singhoff, "Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
Craveiro, J., J. Rosa, and J. Rufino, "Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
2010
Craveiro, J., and J. Rufino, "Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Rosa, J., J. Craveiro, and J. Rufino, "Exploiting AIR composability towards spacecraft onboard software update", Actas do INForum-Simpósio de Informática, 2010.
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
2009
Rufino, J., J. Craveiro, T. Schoofs, C. Tatibana, and J. Windsor, "AIR Technology: a step towards ARINC 653 in space", Proc. DASIA, 2009.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, "Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
Craveiro, J., J. Rufino, T. Schoofs, and J. Windsor, "Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.