Follow
Stefan Jakšić
Stefan Jakšić
Verified email at ait.ac.at - Homepage
Title
Cited by
Cited by
Year
Quantitative monitoring of STL with edit distance
S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković
Formal methods in system design 53 (1), 83-112, 2018
782018
From signal temporal logic to FPGA monitors
S Jakšić, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Ničkoviť
2015 ACM/IEEE International Conference on Formal Methods and Models for†…, 2015
492015
Runtime Monitoring with Recovery of the SENT Communication Protocol
K Selyunin, S Jakšić, T Nguyen, C Reidl, U Hafner, E Bartocci, D Nickovic, ...
Proceedings of the 29th international conference on Computer aided†…, 2017
282017
An algebraic framework for runtime verification
S Jakšić, E Bartocci, R Grosu, D Ničković
IEEE Transactions on Computer-Aided Design of Integrated Circuits and†…, 2018
222018
The HARMONIA project: hardware monitoring for automotive systems-of-systems
T Nguyen, E Bartocci, D Ničković, R Grosu, S Jaksic, K Selyunin
International Symposium on Leveraging Applications of Formal Methods, 371-379, 2016
152016
Safety and security in a smart production environment
R Kloibhofer, E Kristen, S Jakšić
International Conference on Computer Safety, Reliability, and Security, 190-201, 2018
42018
Weakness monitors for fail-aware systems
W Granig, S Jakšić, H Lewitschnig, C Mateis, D Ničković
International Conference on Formal Modeling and Analysis of Timed Systems†…, 2020
22020
Safety and Security of IoT-based Solutions for Autonomous Driving: Architectural Perspective
O Veledar, G Macher, E Armengaud, S Jaksic, C Schmittner, ...
22019
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT
O Veledar, E Armengaud, LH Botler, V Damjanovic-Behrendt, C Derler, ...
European Conference on Software Process Improvement, 663-674, 2021
12021
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
A Balakrishnan, S Jaksic, E Aguilar, D Nickovic, J Deshmukh
25th ACM International Conference on Hybrid Systems: Computation and Control†…, 2022
2022
Rule-Based Threat Analysis and Mitigation for the Automotive Domain
AM Shaaban, S Jaksic, O Veledar, T Mauthner, E Arnautovic, ...
International Conference on Computer Safety, Reliability, and Security, 24-38, 2021
2021
Real-time monitoring for correctness and robustness
S Jakšić
TU Wien, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–12