Stefan Jaksic

According to our database, Stefan Jaksic authored at least 13 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

CoRR, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Rule-Based Threat Analysis and Mitigation for the Automotive Domain.

Abdelkader Magdy Shaaban, Stefan Jaksic, Omar Veledar, Thomas Mauthner, Edin Arnautovic, Christoph Schmittner

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Steering Drivers of Change: Maximising Benefits of Trustworthy IoT.

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

Proceedings of the Systems, Software and Services Process Improvement, 2021

2020

Weakness Monitors for Fail-Aware Systems.

Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2018

An Algebraic Framework for Runtime Verification.

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Quantitative monitoring of STL with edit distance.

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic

Formal Methods Syst. Des., 2018

Safety and Security in a Smart Production Environment.

Reinhard Kloibhofer, Erwin Kristen, Stefan Jaksic

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Quantitative Monitoring of STL with Edit Distance.

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic

Proceedings of the Runtime Verification - 16th International Conference, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.

Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

From signal temporal logic to FPGA monitors.

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015