AIR Technology: a step towards ARINC 653 in space J Rufino, J Craveiro, T Schoofs, C Tatibana, J Windsor Proc. Data Systems in Aerospace (DASIA 2009), 2009 | 36 | 2009 |
Architecting robustness and timeliness in a new generation of aerospace systems J Rufino, J Craveiro, P Verissimo Architecting Dependable Systems VII (LNCS 6420), 146-170, 2010 | 35 | 2010 |
Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems J Craveiro, J Rufino, F Singhoff ACM SIGBED Review, special issue of the 23rd Euromicro Conference on Real …, 2011 | 25 | 2011 |
Robust partitioning and composability in ARINC 653 conformant real-time operating systems J Rufino, J Craveiro 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008 | 16 | 2008 |
Integration of generic operating systems in partitioned architectures JP Craveiro University of Lisbon, 2009 | 14 | 2009 |
Embedded Linux in a partitioned architecture for aerospace applications J Craveiro, J Rufino, C Almeida, R Covelo, P Venda IEEE/ACS International Conference on Computer Systems and Applications …, 2009 | 14 | 2009 |
Adaptability support in time-and space-partitioned aerospace systems J Craveiro, J Rufino ADAPTIVE 2010, The Second International Conference on Adaptive and Self …, 2010 | 13 | 2010 |
Building a time-and space-partitioned architecture for the next generation of space vehicle avionics J Rufino, J Craveiro, P Verissimo IFIP International Workshop on Software Technolgies for Embedded and …, 2010 | 12 | 2010 |
Schedulability analysis in partitioned systems for aerospace avionics J Craveiro, J Rufino IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2010), 2010 | 11 | 2010 |
Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures JP Craveiro Universidade de Lisboa, 2013 | 10 | 2013 |
hsSim: an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator JP Craveiro, RO Silveira, J Rufino 3rd International Workshop on Analysis Tools and Methodologies for Embedded …, 2012 | 10 | 2012 |
Safe online reconfiguration of time-and space-partitioned systems J Rosa, J Craveiro, J Rufino Industrial Informatics (INDIN), 2011 9th IEEE International Conference on …, 2011 | 10 | 2011 |
Exploiting AIR composability towards spacecraft onboard software update J Rosa, J Craveiro, J Rufino Actas do INForum-Simpósio de Informática, 2010 | 9 | 2010 |
Safety Kernel for Cooperative Sensor-Based Systems PN Da Costa, J Craveiro, A Casimiro, J Rufino Proceedings of Workshop ASCoMS (Architecting Safety in Collaborative Mobile …, 2013 | 8 | 2013 |
Flexible operating system integration in partitioned aerospace systems J Craveiro, J Rufino, T Schoofs, J Windsor Actas do INForum-Simpósio de Informática, 49-60, 2009 | 8 | 2009 |
Social, Disconnected or In between: Mobile Data reveals urban mood E Kanjo, N El Mawass, JP Craveiro, FMV Ramos Mobile Phone Data for Development, NetMob 2013, 51:1-51:8, 2013 | 4 | 2013 |
Heterogeneous multiprocessor compositional real-time scheduling JP Craveiro, J Rufino 3rd International Real-Time Scheduling Open Problems Seminar (RTSOPS 2012), 2012 | 3 | 2012 |
AIR: Technology innovation for future spacecraft onboard computing systems J Rufino, J Craveiro, T Schoofs, J Cristóvão, S Santos, C Tatibana EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE, 1-2, 2011 | 3 | 2011 |
Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems J Carraca, R Pinto, J Craveiro, J Rufino INFORUM 2014 - Simpósio de Informática, 2014 | 2 | 2014 |
Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors JP Craveiro, J Rufino DI-FCUL Technical Report, 1-22, 2012 | 2 | 2012 |