Publications
"An architecture pattern enabling safety at lower cost and with higher performance",
Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
"Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal",
Dependable and Secure Computing, IEEE Transactions on, vol. 10, no. 5: IEEE, pp. 301–313, 2013.
"On the Performance of Byzantine Fault-Tolerant MapReduce",
IEEE Transactions on Dependable and Secure Computing, no. 5: IEEE, pp. 301–313, 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.
"On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds.",
SRDS, pp. 448–453, 2012.
"Making Hadoop MapReduce Byzantine Fault-Tolerant",
DSN, Fast abstract, 2010.

