Statistics
Publications
2
Citations
112
H-Index
2
Active since
2015
Affiliations
Stefan Jakšić is an author at Infineon Technologies (Austria) specializing in hardware modeling for digital systems, engineering, and reconfigurable computing.
Publications per year
2015–2018
2
2
From signal temporal logic to FPGA monitors
Stefan Jakšić, Ezio Bartocci, Radu Grosu et al. · 2015 · 56 citations
Quantitative monitoring of STL with edit distance
Stefan Jakšić, Ezio Bartocci, Radu Grosu et al. · Formal Methods in System Design · 2018 · 56 citations · Full text
1–2 of 2