Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, and Radu Grosu. Runtime Monitoring with Recovery of the SENT Communication Protocol. In Proc. of the 29th International Conference on Computer Aided Verification, (CAV 2017), Heidelberg, Germany, July 24-28, pages 336–355, 2017. link
Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, and Radu Grosu. Computing with Biophysical and Hardware-efficient Neural Models. In Proc. of the 14th International Work-Conference on Artificial Neural Networks, (IWANN 2017), Cadiz, Spain, June 14-16, pages 535–547, 2017. link
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, and Konstantin Selyunin. The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. In Proc. of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Corfu, Greece, October 10-14, pages 371–379, 2016. link
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, and Radu Grosu. Applying Runtime Monitoring for Automotive Electronic Development. In Proc. of the International Conference on Runtime Verification, (RV 2016), Madrid, Spain, September 23-30, 2016, pages 462–469, 2016. link
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, and Radu Grosu. Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model. In Proc. of the 19th Design, Automation and Test in Europe Conference and Exhibition, (DATE 2016), Dresden, Germany, March 14-18, pages 924–929, 2016. link
Konstantin Selyunin, Thang Nguyen, Andrei Daniel Basa, Ezio Bartocci, Dejan Nickovic, and Radu Grosu. Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties. In Electronic Proc. of the 13th Design and Verification Conference and Exhibition (DVCon 2016), San Jose, CA, USA, February 28- March 3, pages 1–8, 2016. paper, slides
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, and Radu Grosu. Neural Programming: Towards adaptive control in Cyber-Physical Systems. In Proc. of the 54th IEEE Conference on Decision and Control, (CDC 2015), Osaka, Japan, December 15-18, 2015, pages 6978–6985, 2015. link