Self-healing by property-guided structural adaptation.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
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
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
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