2018
Self-healing by property-guided structural adaptation.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017
Computing with Biophysical and Hardware-Efficient Neural Models.
Proceedings of the Advances in Computational Intelligence, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Applying Runtime Monitoring for Automotive Electronic Development.
Proceedings of the Runtime Verification - 16th International Conference, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems.
CoRR, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015