START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)-Reference-Cited by-同舟云学术

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)

Published:2022-10 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
language:
Short-container-title:

Author:

Leach Kevin¹,Timperley Christopher S.²,Angstadt Kevin³,Nguyen-Tuong Anh⁴,Hiser Jason⁴,Paulos Aaron⁵,Pal Partha⁵,Hurley Patrick⁶,Thomas Carl⁷,Davidson Jack W.⁴,Forrest Stephanie⁸,Goues Claire Le²,Weimer Westley⁹

Affiliation:

1. Vanderbilt University,Nashville,USA

2. Carnegie Mellon University,Pittsburgh,USA

3. St. Lawrence University,Canton,USA

4. University of Virginia,Charlottesville,USA

5. Raytheon BBN,Boston,USA

6. Griffiss Institute,Rome,USA

7. Air Force Research Laboratory,Rome,USA

8. Arizona State University,Phoenix,USA

9. University of Michigan,Ann Arbor,USA

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9978763/9978935/09978971.pdf?arnumber=9978971

Reference86 articles.

1. StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks;cowan;USENIX Security Symposium,1998

2. Symlnfer: inferring program invariants using symbolic states;nguyen;Automated Software Engineering,2017

3. Detecting Attacks Against Robotic Vehicles

4. Angelix

5. Driverless vehicle security: Challenges and future research opportunities

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated system-level testing of unmanned aerial systems;Automated Software Engineering;2024-08-01

2. Specifying and Monitoring Safe Driving Properties with Scene Graphs;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

3. Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13