Stefan Jakšić

Austrian Institute of Technology — Austria

Computer Science · Physical Sciences

5h-index219citations14works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Embedded Systems Design Techniques(5), Software Testing and Debugging Techniques(3), Machine Learning and Algorithms(3), IoT and Edge/Fog Computing(2)

Publications14 total

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata
2023· 3 cited
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
2022· 2 citedOpen Access
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
arXiv (Cornell University)·2022· 1 citedOpen Access
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT
Communications in computer and information science·2021· 3 cited
Rule-Based Threat Analysis and Mitigation for the Automotive Domain
Lecture notes in computer science·2021
Weakness Monitors for Fail-Aware Systems
Lecture notes in computer science·2020· 5 cited
Safety and Security of IoT-based Solutions for Autonomous Driving: Architectural Perspective
2019· 1 cited
An Algebraic Framework for Runtime Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2018· 2 citedOpen Access
Quantitative monitoring of STL with edit distance
Formal Methods in System Design·2018· 53 citedOpen Access
Safety and Security in a Smart Production Environment
Lecture notes in computer science·2018· 4 citedOpen Access
Runtime Monitoring with Recovery of the SENT Communication Protocol
Lecture notes in computer science·2017· 36 cited
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems
Lecture notes in computer science·2016· 13 cited
Quantitative Monitoring of STL with Edit Distance
Lecture notes in computer science·2016· 41 cited
From signal temporal logic to FPGA monitors
2015· 55 cited

Frequent Co-authors

Dejan Ničković(9), Ezio Bartocci(6), Radu Grosu(6), Thang Nguyen(3), Omar Veledar(3), Christoph Schmittner(3), Edgar A. Aguilar(3), Jyotirmoy V. Deshmukh(3), Reinhard Kloibhofer(2), Konstantin Selyunin(2), Eric Armengaud(2), Leo Botler(2), Violeta Damjanović(2), Georg Macher(2), Kay Römer(2), Mario Drobics(2), Anand Balakrishnan(2), Dejan Nickovie(1), Christian Reidl(1), Udo Hafner(1)