Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine. 9, 6–7.(2017).
Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems.(2017).
Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe International Conference on Reliable Software Technologies. 53–69.(2017).
SSIV 2017 Welcome. Dependable Systems and Networks Workshop (DSN-W), 2017 47th Annual IEEE/IFIP International Conference on. 1–1.(2017).
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors. 17, 2010.(2017).
Introduction to SSIV 2016. Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. 161–161.(2016).
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).