João Craveiro

According to our database, João Craveiro authored at least 8 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Safety Kernel for Cooperative Sensor-Based Systems.

Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino

Proceedings of the SAFECOMP 2013, 2013

2011

Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems.

João Craveiro, José Rufino, Frank Singhoff

SIGBED Rev., 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

Proceedings of EUROCON 2011, 2011

Adaptability and survivability in spaceborne time- and space-partitioned systems.

Joaquim Rosa, João Craveiro, José Rufino

Proceedings of EUROCON 2011, 2011

2010

Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics.

José Rufino, João Craveiro, Paulo Veríssimo

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Schedulability analysis in partitioned systems for aerospace avionics.

João Craveiro, José Rufino

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Architecting Robustness and Timeliness in a New Generation of Aerospace Systems.

José Rufino, João Craveiro, Paulo Veríssimo

Proceedings of the Architecting Dependable Systems VII, 2009

Embedded Linux in a partitioned architecture for aerospace applications.

João Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009