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, 83-112, 2018
832018
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
512015
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
302017
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
262018
The HARMONIA project: hardware monitoring for automotive systems-of-systems
T Nguyen, E Bartocci, D Ničković, R Grosu, S Jaksic, K Selyunin
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
152016
Weakness monitors for fail-aware systems
W Granig, S Jakšić, H Lewitschnig, C Mateis, D Ničković
Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020
52020
Safety and security in a smart production environment
R Kloibhofer, E Kristen, S Jakšić
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018
42018
Safety and Security of IoT-based Solutions for Autonomous Driving: Architectural Perspective
O Veledar, G Macher, E Armengaud, S Jaksic, C Schmittner, ...
6th International Symposium on Model-Based Safety and Assessment, 2019
22019
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
12022
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT
O Veledar, E Armengaud, LH Botler, V Damjanovic-Behrendt, C Derler, ...
Systems, Software and Services Process Improvement: 28th European Conference …, 2021
12021
Rule-Based Threat Analysis and Mitigation for the Automotive Domain
AM Shaaban, S Jaksic, O Veledar, T Mauthner, E Arnautovic, ...
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 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