E-LIB Suche - Ergebnisse für: Bansal, Ayoosh

1

Perception simplex: Verifiable collision avoidance in auton..:

Bansal, Ayoosh ; Kim, Hunmin ; Yu, Simon...
Software Testing, Verification and Reliability. , 2024

Link: https://doi.org/10.1002/..

2

Taming Algorithmic Priority Inversion in Mission-Critical P..:

Liu, Shengzhong ; Yao, Shuochao ; Fu, Xinzhe...
Communications of the ACM. 67 (2024) 2 - p. 110-117 , 2024

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

3

System Auditing for Real-Time Systems:

Bansal, Ayoosh ; Kandikuppa, Anant ; Hasan, Monowar...
ACM Transactions on Privacy and Security. 26 (2023) 4 - p. 1-37 , 2023

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

4

SchedGuard++: Protecting against Schedule Leaks Using Linux..:

Chen, Jiyang ; Kloda, Tomasz ; Tabish, Rohan...
ACM Transactions on Cyber-Physical Systems. 7 (2023) 1 - p. 1-25 , 2023

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

5

Verifiable Obstacle Detection:

, In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE),

Bansal, Ayoosh ; Kim, Hunmin ; Yu, Simon... - p. 61-72 , 2022

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

6

Towards Efficient Auditing for Real-Time Systems:

, In: Computer Security – ESORICS 2022; Lecture Notes in Computer Science,

Bansal, Ayoosh ; Kandikuppa, Anant ; Chen, Chien-Ying... - p. 614-634 , 2022

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

7

Real-Time Task Scheduling for Machine Perception in In Inte..:

Liu, Shengzhong ; Yao, Shuochao ; Fu, Xinzhe...
IEEE Transactions on Computers. , 2021

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

8

Reconciling Predictability and Coherent Caching:

, In: 2020 9th Mediterranean Conference on Embedded Computing (MECO),

Bansal, Ayoosh ; Singh, Jayati ; Hao, Yifan... - p. 1-6 , 2020

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

9

Synergistic Perception and Control Simplex for Verifiable S..:

Bansal, Ayoosh ; Zhao, Yang ; Zhu, James...
http://arxiv.org/abs/2312.02937. , 2023

Link: http://arxiv.org/abs/231..

10

Ellipsis: Towards Efficient System Auditing for Real-Time S..:

Bansal, Ayoosh ; Kandikuppa, Anant ; Chen, Chien-Ying...
http://arxiv.org/abs/2208.02699. , 2022

Link: http://arxiv.org/abs/220..

11

Synergistic Redundancy: Towards Verifiable Safety for Auton..:

Bansal, Ayoosh ; Yu, Simon ; Kim, Hunmin...
http://arxiv.org/abs/2209.01710. , 2022

Link: http://arxiv.org/abs/220..

12

Verifiable Obstacle Detection:

Bansal, Ayoosh ; Kim, Hunmin ; Yu, Simon...
http://arxiv.org/abs/2208.14403. , 2022

Link: http://arxiv.org/abs/220..

13

SchedGuard: Protecting against Schedule Leaks Using Linux C..:

Chen, Jiyang ; Kloda, Tomasz ; Bansal, Ayoosh...
http://arxiv.org/abs/2104.04528. , 2021

Link: http://arxiv.org/abs/210..

14

LiDAR Cluster First and Camera Inference Later: A New Persp..:

Chen, Jiyang ; Yu, Simon ; Tabish, Rohan...
http://arxiv.org/abs/2111.09799. , 2021

Link: http://arxiv.org/abs/211..

15

Risk Ranked Recall: Collision Safety Metric for Object Dete..:

Bansal, Ayoosh ; Singh, Jayati ; Verucchi, Micaela..
http://arxiv.org/abs/2106.04146. , 2021

Link: http://arxiv.org/abs/210..