Stefan Jaksic

14 papers B 2C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — conf
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.
CDC
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
2022 J jnl
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
CoRR
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2022 — conf
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
HSCC
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2021 — conf
Rule-Based Threat Analysis and Mitigation for the Automotive Domain.
SAFECOMP Workshops
Abdelkader Magdy Shaaban, Stefan Jaksic, Omar Veledar, Thomas Mauthner, Edin Arnautovic, Christoph Schmittner
2021 B conf
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT.
EuroSPI
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
2020 — conf
Weakness Monitors for Fail-Aware Systems.
FORMATS
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
2018 J jnl
An Algebraic Framework for Runtime Verification.
CoRR
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018 J jnl
An Algebraic Framework for Runtime Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018 J jnl
Quantitative monitoring of STL with edit distance.
Formal Methods Syst. Des.
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
2018 — conf
Safety and Security in a Smart Production Environment.
SAFECOMP Workshops
Reinhard Kloibhofer, Erwin Kristen, Stefan Jaksic
2017 — conf
Runtime Monitoring with Recovery of the SENT Communication Protocol.
CAV (1)
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016 B conf
Quantitative Monitoring of STL with Edit Distance.
RV
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2016 — conf
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
ISoLA (2)
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2015 C conf
From signal temporal logic to FPGA monitors.
MEMOCODE
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic