Publications
"A kernel-based architecture for safe cooperative vehicular functions",
Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
"Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed",
Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on: IEEE, pp. 167–176, 2014.

