Konstantin Selyunin

According to our database, Konstantin Selyunin authored at least 8 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Self-healing by property-guided structural adaptation.

Denise Ratasich, Thomas Preindl, Konstantin Selyunin, Radu Grosu

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

Computing with Biophysical and Hardware-Efficient Neural Models.

Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu

Proceedings of the Advances in Computational Intelligence, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Applying Runtime Monitoring for Automotive Electronic Development.

Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.

Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin

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.

Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

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

Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu

CoRR, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.

Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Proceedings of the 54th IEEE Conference on Decision and Control, 2015