Publications
"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.

