Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Self-healing by property-guided structural adaptation., , , and . ICPS, page 199-205. IEEE, (2018)The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems., , , , , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 371-379. (2016)Monitoring of MTL specifications with IBM's spiking-neuron model., , , , and . DATE, page 924-929. IEEE, (2016)Computing with Biophysical and Hardware-Efficient Neural Models., , , , and . IWANN (1), volume 10305 of Lecture Notes in Computer Science, page 535-547. Springer, (2017)Neural Programming: Towards adaptive control in Cyber-Physical Systems., , , , , and . CDC, page 6978-6985. IEEE, (2015)Runtime Monitoring with Recovery of the SENT Communication Protocol., , , , , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 336-355. Springer, (2017)Deep Neural Programs for Adaptive Control in Cyber-Physical Systems., , , and . CoRR, (2015)Applying Runtime Monitoring for Automotive Electronic Development., , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 462-469. Springer, (2016)