João Craveiro

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Safety Analysis

Complex Systems

Top Venues

ASCoMS@SAFECOMP

Publications

Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino
Safety Kernel for Cooperative Sensor-Based Systems. ASCoMS@SAFECOMP (2013)
João Craveiro, José Rufino, Frank Singhoff
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems. SIGBED Rev. 8 (3) (2011)
Joaquim Rosa, João Craveiro, José Rufino
Adaptability and survivability in spaceborne time- and space-partitioned systems. EUROCON (2011)
José Rufino, João Craveiro, Tobias Schoofs, João Cristóvão, Sérgio Santos, C. Tatibana
AIR: Technology innovation for future spacecraft onboard computing systems. EUROCON (2011)
José Rufino, João Craveiro, Paulo Veríssimo
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. SEUS (2010)
João Craveiro, José Rufino
Schedulability analysis in partitioned systems for aerospace avionics. ETFA (2010)
José Rufino, João Craveiro, Paulo Veríssimo
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. WADS (2009)
João Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda
Embedded Linux in a partitioned architecture for aerospace applications. AICCSA (2009)