"An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
"The karyon project: Predictable and safe coordination in cooperative vehicular systems", Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on: IEEE, pp. 1–12, 2013.
"Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
"Generic-Events Architecture: Integrating real-world aspects in event-based systems", Architecting dependable systems IV: Springer Berlin Heidelberg, pp. 287–315, 2007.
"CHR: a distributed hash table for wireless ad hoc networks", Distributed Computing Systems Workshops, 2005. 25th IEEE International Conference on: IEEE, pp. 407–413, 2005.
"An architectural framework and a middleware for cooperating smart components", Proceedings of the 1st Conference on Computing Frontiers: ACM, pp. 28–39, 2004.
"An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Preliminary definition of CORTEX programming model, : Department of Informatics, University of Lisbon, 2003.
Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.