"NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
"Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
"Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
"Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
"Towards integration of adaptability and non-intrusive runtime verification in avionic systems", ACM SIGBED Review, vol. 13, no. 1: ACM, pp. 60–65, 2016.
"A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
"An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
"A kernel-based architecture for safe cooperative vehicular functions", Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
"LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
"Mechanisms to enforce dependability and timeliness in wireless communications", Wireless for Space and Extreme Environments (WiSEE), 2014 IEEE International Conference on: IEEE, pp. 1–6, 2014.
"Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications", Local Computer Networks (LCN), 2013 IEEE 38th Conference on: IEEE, pp. 532–540, 2013.
"Improving ns-2 network simulator for ieee 802.15. 4 standard operation", 5th Simpósio de Informática (INFORUM), 2013.
"Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
"Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
"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.
"An approach to enhance the timeliness of wireless communications", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 277–282, 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.
"High availability in controller area networks", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 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.
"Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
"Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard", Analysis, Architectures and Modelling of Embedded Systems: Springer, pp. 290–301, 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.
An IMA development environment, : Eurospace Data Systems in Aerospace Conference (DASIA 2009), 2009.
Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15. 4?, : INForum-Simpósio de Informática 2009, 2009.
"AMOBA-ARINC 653 simulator for modular based space applications", emergency, vol. 10, pp. 2, 2008.
FPGA-based Engineering of Bus Media Redundancy in CAN, : 12th International CAN Conference-(iCC 2008), 2008.
"A portable ARINC 653 standard interface", Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th: IEEE, pp. 1–E, 2008.
"Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
"Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
"ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
"A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
"Control of inaccessibility in CANELy", Proceedings of the 6th. International Workshop on Factory Communication Systems, pp. 35–44, 2006.
"Enforcing dependability and timeliness in Controller Area Networks", IEEE Industrial Electronics, IECON 2006-32nd Annual Conference on: IEEE, pp. 3755–3760, 2006.
"Integrating inaccessibility control and timer management in canely", Emerging Technologies and Factory Automation, 2006. ETFA'06. IEEE Conference on: IEEE, pp. 348–355, 2006.
"Interconnected embedded systems: Challenges and main problems to solve", In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, 2006.
Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
"VITRAL-A text mode window manager for real-time embedded kernels.", ETFA, pp. 1254–1260, 2006.
"CANELy Prototype Board Schematic Specification", FCUL/IST, Tech. Rep. DARIO RT-05-04, 2005.
"Control of Event Handling Timeliness in RTEMS.", IASTED PDCS, pp. 277–282, 2005.
"VITRAL: A text mode windows manager for RTEMS", Terceiras Jornadas de Engenharia de Electrónica e Telecomunicaçoes e de Computadores, 2005.
"Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
Control of Inaccessibility in CANELy, , 2001.
"A Columbus' egg idea for CAN media redundancy", Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on: IEEE, pp. 286–293, 1999.
"Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
"Embedded platforms for distributed real-time computing: Challenges and results", Object-Oriented Real-Time Distributed Computing, 1999.(ISORC'99) Proceedings. 2nd IEEE International Symposium on: IEEE, pp. 147–152, 1999.
DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
"Fault-tolerant broadcasts in CAN", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 150–159, 1998.
"Fault-tolerant clock synchronization in CAN", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 420–429, 1998.
"Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
"Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
"Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
"How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
"An overview of the controller area network", Proceedings of the CiA Forum CAN for Newcomers, 1997.
Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
"A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
"A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
"Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
"A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
"A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
"The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
"Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.