From signal temporal logic to FPGA monitors. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Reinhard Kloibhofer; Thang Nguyen 007; Dejan Nickovic (MEMOCODE, 2015)

UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. - Martin Barnasconi; Manfred Dietrich; Karsten Einwich; Thilo Vörtler; Jean-Paul Chaput; Marie-Minerve Louërat; François Pêcheux; Zhi Wang 005; Philippe Cuenot; Ingmar Neumann; Thang Nguyen 007; Ronan Lucas; et al. (IEEE Des. Test, 2015)

Monitoring of MTL specifications with IBM's spiking-neuron model. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu (DATE, 2016)

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. - Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Stefan Jaksic; Konstantin Selyunin (ISoLA (2), 2016)

Applying Runtime Monitoring for Automotive Electronic Development. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Radu Grosu (RV, 2016)

Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. - Thang Nguyen 007; Dejan Nickovic (Sci. Comput. Program., 2016)

Runtime Monitoring with Recovery of the SENT Communication Protocol. - Konstantin Selyunin; Stefan Jaksic; Thang Nguyen 007; Christian Reidl; Udo Hafner; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CAV (1), 2017)

Quantitative monitoring of STL with edit distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Thang Nguyen 007; Dejan Nickovic (Formal Methods Syst. Des., 2018)