Konstantin Selyunin

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 6

Top Topics

Adaptive Control

Software Implementation

Monotonicity Property

Top Venues

Publications

Denise Ratasich, Thomas Preindl, Konstantin Selyunin, Radu Grosu
Self-healing by property-guided structural adaptation. ICPS (2018)
Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
Computing with Biophysical and Hardware-Efficient Neural Models. IWANN (1) (2017)
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) (2017)
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Monitoring of MTL specifications with IBM's spiking-neuron model. DATE (2016)
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) (2016)
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
Applying Runtime Monitoring for Automotive Electronic Development. RV (2016)
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC (2015)
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. CoRR (2015)