E-LIB Suche - Ergebnisse für: Nickovic, Dejan

1

Elements of Timed Pattern Matching:

Ulus, Dogan ; Ferrère, Thomas ; Asarin, Eugene..
ACM Transactions on Embedded Computing Systems. 23 (2024) 4 - p. 1-45 , 2024

Link: https://doi.org/10.1145/..

2

Information-flow interfaces:

Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A...
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

3

From TARA to Test: Automated Automotive Cybersecurity Test ..:

, In: Proceedings of the 7th ACM Computer Science in Cars Symposium,

Marksteiner, Stefan F ; Schmittner, Christoph ; Christl, Korbinian... - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

4

Continuous Engineering for Trustworthy Learning-Enabled Aut..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Bensalem, Saddek ; Katsaros, Panagiotis ; Ničković, Dejan... - p. 256-278 , 2023

Link: https://doi.org/10.1007/..

5

Provable Correct and Adaptive Simplex Architecture for Boun..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio... - p. 141-160 , 2023

Link: https://doi.org/10.1007/..

6

Mining Hyperproperties using Temporal Logics:

Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora.
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-26 , 2023

Link: https://doi.org/10.1145/..

7

RTAMT – Runtime Robustness Monitors with Application to CPS..:

Yamaguchi, Tomoya ; Hoxha, Bardh ; Ničković, Dejan
International Journal on Software Tools for Technology Transfer. 26 (2023) 1 - p. 79-99 , 2023

Link: https://doi.org/10.1007/..

8

Mining Specification Parameters for Multi-class Classificat..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Aguilar, Edgar A. ; Bartocci, Ezio ; Mateis, Cristinel.. - p. 86-105 , 2023

Link: https://doi.org/10.1007/..

9

Property-Based Mutation Testing:

, In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST),

Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan. - p. 222-233 , 2023

Link: https://doi.org/10.1109/..

10

Usage-and Risk-Aware Falsification Testing for Cyber-Physic..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Kiviriga, Andrej ; Larsen, Kim Guldstrand ; Nickovic, Dejan. - p. 141-157 , 2023

Link: https://doi.org/10.1007/..

11

Introduction to the Special Issue on Runtime Verification:

Deshmukh, Jyotirmoy ; Ničković, Dejan
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 427-429 , 2023

Link: https://doi.org/10.1007/..

12

Attribute Repair for Threat Prevention:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Tarrach, Thorsten ; Ebrahimi, Masoud ; König, Sandra... - p. 135-148 , 2023

Link: https://doi.org/10.1007/..

13

A Systematic Approach to Automotive Security:

, In: Formal Methods; Lecture Notes in Computer Science,

Ebrahimi, Masoud ; Marksteiner, Stefan ; Ničković, Dejan... - p. 598-609 , 2023

Link: https://doi.org/10.1007/..

14

TD-Magic: From Pictures of Timing Diagrams To Formal Specif..:

, In: 2023 60th ACM/IEEE Design Automation Conference (DAC),

He, Jie ; Nickovic, Dejan ; Bartocci, Ezio. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

15

Model-Free Reinforcement Learning for Spatiotemporal Tasks ..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Balakrishnan, Anand ; Jaksic, Stefan ; Aguilar, Edgar A... - p. 6834-6840 , 2023

Link: https://doi.org/10.1109/..