| 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 | 83 | 2018 |
| 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 | 51 | 2015 |
| 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 | 30 | 2017 |
| 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 | 26 | 2018 |
| 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 | 15 | 2016 |
| 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 | 5 | 2020 |
| 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 | 4 | 2018 |
| 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 | 2 | 2019 |
| 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 | 1 | 2022 |
| 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 | 1 | 2021 |
| 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 |
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
