Stefan Jakšić

Citée par

	Toutes	Depuis 2019
Citations	293	220
indice h	6	6
indice i10	5	4

20152016201720182019202020212022202320241 10 15 41 48 38 28 42 40 24

Accès public

Tout afficher

6 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Dejan NickovicAustrian Institute of TechnologyAdresse e-mail validée de ait.ac.at
Radu GrosuProfessor of Computer ScienceAdresse e-mail validée de tuwien.ac.at
Ezio BartocciFaculty of Informatics, TU WienAdresse e-mail validée de tuwien.ac.at
Christoph SchmittnerScientist, AIT Austrian Instituit of TechnologyAdresse e-mail validée de ait.ac.at
Omar VeledarGraz University of Technology, Beevadoo e.U.Adresse e-mail validée de tugraz.at
Anand BalakrishnanPhD Candidate, University of Southern CaliforniaAdresse e-mail validée de usc.edu
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaAdresse e-mail validée de usc.edu
Edgar A. AguilarSportradarAdresse e-mail validée de sportradar.com
Mario DrobicsHead of Competence Unit, AIT Austrian Institute of Technology GmbHAdresse e-mail validée de ait.ac.at
Violeta Damjanovic-BehrendtSenior ResearcherAdresse e-mail validée de salzburgresearch.at
Dr. Eric Armengaud, MBAAVL List GmbHAdresse e-mail validée de avl.com
Georg MacherGraz University of TechnologyAdresse e-mail validée de tugraz.at
Cristinel MateisAdresse e-mail validée de logic.at
Peter PrillerPrincipal Technology Scout, AVL List GmbHAdresse e-mail validée de avl.com
Martin MatschnigAdresse e-mail validée de siemens.com
Stefan MarksteinerTechnology Scout Cyber Security, AVL List GmbHAdresse e-mail validée de avl.com
Sebastian RamacherScientist, AIT Austrian Institute of TechnologyAdresse e-mail validée de ait.ac.at
Abdelkader Magdy ShaabanScientist, AIT Austrian Institute of TechnologyAdresse e-mail validée de ait.ac.at

Suivre

Stefan Jakšić

Scientist, Austrian Institute of Technology

Adresse e-mail validée de ait.ac.at - Page d'accueil

Formal Methods Reinforcement Learning


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Quantitative monitoring of STL with edit distance S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković Formal methods in system design 53, 83-112, 2018	107	2018
From signal temporal logic to FPGA monitors S Jakšić, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Ničkovié 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015	63	2015
Runtime Monitoring with Recovery of the SENT Communication Protocol K Selyunin, S Jakšić, T Nguyen, C Reidl, U Hafner, E Bartocci, D Nickovic, ... Proceedings of the 29th international conference on Computer aided …, 2017	42	2017
An algebraic framework for runtime verification S Jakšić, E Bartocci, R Grosu, D Ničković IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018	38	2018
The HARMONIA project: hardware monitoring for automotive systems-of-systems T Nguyen, E Bartocci, D Ničković, R Grosu, S Jaksic, K Selyunin Leveraging Applications of Formal Methods, Verification and Validation …, 2016	15	2016
Model-free reinforcement learning for symbolic automata-encoded objectives A Balakrishnan, S Jaksic, E Aguilar, D Nickovic, J Deshmukh Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022	9	2022
Weakness monitors for fail-aware systems W Granig, S Jakšić, H Lewitschnig, C Mateis, D Ničković International Conference on Formal Modeling and Analysis of Timed Systems …, 2020	6	2020
Safety and security in a smart production environment R Kloibhofer, E Kristen, S Jakšić Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018	5	2018
Steering drivers of change: maximising benefits of trustworthy IoT O Veledar, E Armengaud, LH Botler, V Damjanovic-Behrendt, C Derler, ... Systems, Software and Services Process Improvement: 28th European Conference …, 2021	4	2021
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata A Balakrishnan, S Jakšić, EA Aguilar, D Ničković, JV Deshmukh 2023 62nd IEEE Conference on Decision and Control (CDC), 6834-6840, 2023	2	2023
Safety and Security of IoT-based Solutions for Autonomous Driving: Architectural Perspective O Veledar, G Macher, E Armengaud, S Jaksic, C Schmittner, ... Proc. 6th International Symposium on Model-Based Safety and Assessment …, 2019	2	2019
Mobility of the Future: Automotive Intelligence for Connected Shared Mobility E Schoitsch, S Jaksic, C Schmittner MESS22-MicroElectronic Systems Symposium, Vienna, 2022		2022
Rule-Based Threat Analysis and Mitigation for the Automotive Domain AM Shaaban, S Jaksic, O Veledar, T Mauthner, E Arnautovic, ... Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021		2021
Real-Time Monitoring for Correctness and Robustness S Jaksic		2018
Real-time monitoring for correctness and robustness S Jakšić TU Wien, 2018		2018
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems S Jaksic, K Selyunin signal processing 8, 10, 2016		2016

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–16

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs