Stefan Jaksic

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Approximate Matching

Subgraph Isomorphism

Reinforcement Learning

Top Venues

SAFECOMP Workshops

Publications

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. CDC (2023)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. CoRR (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC (2022)
Omar Veledar, Eric Armengaud, Leo Happ Botler, Violeta Damjanovic-Behrendt, Christian Derler, Stefan Jaksic, Lukas Krammer, Christian Lettner, Georg Macher, Stefan Marksteiner, Andreas Martin, Martin Matschnig, Peter Priller, Sebastian Ramacher, Kay Römer, Christoph Schmittner, Christina Tiefnig, Heribert Vallant, Heinz Weiskirchner, Mario Drobics
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT. EuroSPI (2021)
Abdelkader Magdy Shaaban, Stefan Jaksic, Omar Veledar, Thomas Mauthner, Edin Arnautovic, Christoph Schmittner
Rule-Based Threat Analysis and Mitigation for the Automotive Domain. SAFECOMP Workshops (2021)
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
Weakness Monitors for Fail-Aware Systems. FORMATS (2020)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
An Algebraic Framework for Runtime Verification. CoRR (2018)
Reinhard Kloibhofer, Erwin Kristen, Stefan Jaksic
Safety and Security in a Smart Production Environment. SAFECOMP Workshops (2018)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53 (1) (2018)
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) (2017)
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) (2016)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
Quantitative Monitoring of STL with Edit Distance. RV (2016)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
From signal temporal logic to FPGA monitors. MEMOCODE (2015)