Docente
João Pedro Craveiro

Resume

João Craveiro tem uma licenciatura, mestrado e doutoramento em (Engenharia) Informática pela Faculdade de Ciências, Universidade de Lisboa. É atualmente Professor Auxiliar na Universidade Lusófona (2013–2017, 2023—...). Foi Monitor no Departamento de Informática do Faculdade de Ciências. É desde 2015 gestor de produtos tecnológicos — atualmente na empresa Remote, e anteriormente em empresas como Farfetch, Onfido, e Premium Minds.

Graus

• Doutoramento
  Informática
• Mestrado
  Engenharia Informática
• Licenciatura
  Engenharia Informática

Publicações

Artigo em revista

• 2011-09, Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems, ACM SIGBED Review
• 2011, Safe Online Reconfiguration of Time- and Space-Partitioned Systems, 2011 9th Ieee International Conference on Industrial Informatics (Indin)
• 2011, Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems, ACM SIGBED Review
• 2009, Flexible Operating System Integration in Partitioned Aerospace Systems
• 2009, Embedded Linux in a partitioned architecture for aerospace applications
• 2009, AIR Technology: a step towards ARINC 653 in space
• 2008, Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems

Tese / Dissertação

• 2014, Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures
• 2014, Doutoramento, Real-time scheduling in multicore : time- and space-partitioned architectures
• 2013, Mestrado, Safety Kernel for cooperative sensor-based systems
• 2012, Mestrado, Design and implementation of a modular scheduling simulator for aerospace applications
• 2009, Mestrado, Integration of generic operating systems in partitioned architectures
• 2009, Mestrado, INTEGRATION OF GENERIC OPERATING SYSTEMS IN PARTITIONED ARCHITECTURES

Livro

• 2022, The Platform Business Strategy: a Practical Guide for Busy Product Leaders, Craveiro, João

Capítulo de livro

• 2010, Building a time- and space-partitioned architecture for the next generation of space vehicle avionics, 6399 LNCS
• 2010, Architecting robustness and timeliness in a new generation of aerospace systems, 6420 LNCS

Relatório

• 2012, Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors

Artigo em conferência

• 2011, Adaptability and survivability in spaceborne time- and space-Partitioned systems
• 2011, AIR: Technology innovation for future spacecraft onboard computing systems
• 2010, Schedulability Analysis in Partitioned Systems for Aerospace Avionics