Fault-Tolerant Precision Time Protocol for Smart Grids. Proceedings of the 7th Simposio de Informatica (INFORUM).(2015).
An architecture pattern enabling safety at lower cost and with higher performance. Embedded Real Time Software and Systems Conference, Toulouse, France.(2014).
Evaluation of Safety Rules in a Safety Kernel-Based Architecture. Computer Safety, Reliability, and Security. 27–35.(2014).
A kernel-based architecture for safe cooperative vehicular functions. Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on. 228–237.(2014).
Replica placement to mitigate attacks on clouds. Journal of Internet Services and Applications. 5, 1–13.(2014).
Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on. 167–176.(2014).
Experiences with fault-injection in a Byzantine fault-tolerant protocol. Middleware 2013. 41–61.(2013).
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on. 31–40.(2013).
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. 1–12.(2013).
Middleware support for adaptive real-time applications in wireless sensor networks. Dependable Computing. 16–23.(2013).
Systems: Design and Experience. Balanced Automation Systems II: Implementation challenges for anthropocentric manufacturing. 175.(2013).
Towards Dependable Measurements in Coastal Sensors Networks. Dependable Computing. 190–193.(2013).
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 7, 18.(2012).
Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems. Stabilization, Safety, and Security of Distributed Systems. 232–235.(2012).
Introduction to ASCoMS 2012. Computer Safety, Reliability, and Security. 149–150.(2012).
Replication for dependability on virtualized cloud environments. Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science. 2.(2012).
Timeout-based adaptive consensus: improving performance through adaptation. Proceedings of the 27th Annual ACM Symposium on Applied Computing. 492–497.(2012).
Towards dependable and stable perception in smart environments with timing and value faults. Computer Safety, Reliability, and Security. 151–161.(2012).
TRONE: Trustworthy and resilient operations in a network environment. Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on. 1–6.(2012).
A trustworthy and resilient event broker for monitoring cloud infrastructures. Distributed Applications and Interoperable Systems. 87–95.(2012).