Name Card

Full name Familienname, Vorname
Selyunin, Konstantin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ratasich, Denise ; Preindl, Thomas ; Selyunin, Konstantin ; Grosu, Radu Self-healing by property-guided structural adaptationKonferenzbeitrag Inproceedings 2018
2Selyunin, Konstantin ; Hasani, Ramin ; Ratasich, Denise ; Bartocci, Ezio ; Grosu, Radu Computing with Biophysical and Hardware-efficient Neural ModelsKonferenzbeitrag Inproceedings2017
3Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Runtime Monitoring with Recovery of the SENT Communication ProtocolKonferenzbeitrag Inproceedings2017
4Selyunin Konstantin - 2017 - Neural models for monitoring and control with...pdf.jpgSelyunin, Konstantin Neural models for monitoring and control with applications in automotive domainThesis Hochschulschrift 2017
5Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu Applying Runtime Monitoring for Automotive Electronic DevelopmentKonferenzbeitrag Inproceedings 2016
6Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016
7Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Monitoring of MTL Specifications With IBM's Spiking-Neuron ModelKonferenzbeitrag Inproceedings 2016
8Selyunin, Konstantin ; Nguyen, Thang ; Basa, Andrei-Daniel ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical PropertiesKonferenzbeitrag Inproceedings 2016
9Selyunin, K. ; Ratasich, D. ; Bartocci, E. ; Islam, M.A. ; Smolka, S.A. ; Grosu, R. Neural Programming: Towards adaptive control in Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2015