Konstantin Selyunin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | 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 |
| 2017 | IWANN | Computing with Biophysical and Hardware-Efficient Neural Models. | Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu |
| 2016 | DATE | Monitoring of MTL specifications with IBM's spiking-neuron model. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2016 | ISoLA | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. | Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin |
| 2016 | RV | Applying Runtime Monitoring for Automotive Electronic Development. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu |