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

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)

Quantitative Monitoring of STL with Edit Distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (RV, 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)

Safety and Security in a Smart Production Environment. - Reinhard Kloibhofer; Erwin Kristen; Stefan Jaksic (SAFECOMP Workshops, 2018)

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

An Algebraic Framework for Runtime Verification. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Weakness Monitors for Fail-Aware Systems. - Wolfgang Granig; Stefan Jaksic; Horst Lewitschnig; Cristinel Mateis; Dejan Nickovic (FORMATS, 2020)

Steering Drivers of Change: Maximising Benefits of Trustworthy IoT. - Omar Veledar; Eric Armengaud; Leo Happ Botler; Violeta Damjanovic-Behrendt; Christian Derler; Stefan Jaksic; Lukas Krammer; Christian Lettner; Georg Macher; Stefan Marksteiner; Andreas Martin; Martin Matschnig; et al. (EuroSPI, 2021)

Rule-Based Threat Analysis and Mitigation for the Automotive Domain. - Abdelkader Magdy Shaaban; Stefan Jaksic; Omar Veledar; Thomas Mauthner; Edin Arnautovic; Christoph Schmittner (SAFECOMP Workshops, 2021)

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (HSCC, 2022)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (CoRR, 2022)

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy V. Deshmukh (CDC, 2023)