CSSskins/SMW_custom.cssJSskins/SMW_tooltip.js

João Pedro Craveiro

From Navigators

Revision as of 12:34, 25 October 2012 by Jcraveiro (Talk | contribs)
Jump to: navigation, search

phdstdwarning.png"phdstd" is not in the list of possible values (Faculty, Post-doc researcher, PhD student, Hired researcher, MSc student, Undergraduate, Past member, External author, Management, Honorary Member) for this property.

João Pedro Craveiro

 

Projects

Past projects

  • READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
  • SAPIENT (Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems)
  • KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
  • AIR-II (ARINC 653 In Space RTOS - Industrial Initiative)
  • AIR (ARINC 653 Interface in RTEMS)
  • DARIO (Distributed Agency for Reliable Input/Output)


Student supervision

Concluded

Publications

  • Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

More publications

BibTeX

Navigators - João Pedro Craveiro
Personal tools
Navigators toolbox