"Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
"hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
"Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
"Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
"AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
"Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
"Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
"Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
"Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
"Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
"Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
"Exploiting AIR composability towards spacecraft onboard software update", Actas do INForum-Simpósio de Informática, 2010.
"Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
"AIR Technology: a step towards ARINC 653 in space", Proc. DASIA, 2009.
"Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
"Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
"Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.