Name Card

Full name Familienname, Vorname
Nguyen, Thang
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan Quantitative monitoring of STL with edit distanceArtikel Article 2018
2Selyunin, 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
3Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu Applying Runtime Monitoring for Automotive Electronic DevelopmentKonferenzbeitrag Inproceedings 2016
4Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016
5Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Monitoring of MTL Specifications With IBM's Spiking-Neuron ModelKonferenzbeitrag Inproceedings 2016
6Selyunin, 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
7Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Kloibhofer, Reinhard ; Nguyen, Thang ; Nickovic, Dejan From signal temporal logic to FPGA monitorsKonferenzbeitrag Inproceedings 2015