Skip to content

Stefan Jaksic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

6

Active years

2015–2021

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2021EuroSPISteering 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 Rmer, Christoph Schmittner, Christina Tiefnig, Heribert Vallant, Heinz Weiskirchner, Mario Drobics
2021SAFECOMPRule-Based Threat Analysis and Mitigation for the Automotive Domain.Abdelkader Magdy Shaaban, Stefan Jaksic, Omar Veledar, Thomas Mauthner, Edin Arnautovic, Christoph Schmittner
2018SAFECOMPSafety and Security in a Smart Production Environment.Reinhard Kloibhofer, Erwin Kristen, Stefan Jaksic
2017CAVRuntime Monitoring with Recovery of the SENT Communication Protocol.Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016ISoLAThe HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2016RVQuantitative Monitoring of STL with Edit Distance.Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2015MEMOCODEFrom signal temporal logic to FPGA monitors.Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic