Safety Guard-Reference-Cited by-同舟云学术

Safety Guard

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 54th Annual Design Automation Conference 2017
language:
Short-container-title:

Author:

Wu Meng¹,Zeng Haibo¹,Wang Chao²,Yu Huafeng³

Affiliation:

1. Virginia Tech, USA

2. University of Southern California, USA

3. Boeing Research & Technology, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3061639.3072957

Reference51 articles.

1. Algirdas A Avizienis. 1995. A Methodology of N-Version Programming. Software fault tolerance 3 (1995) 23--46. Algirdas A Avizienis. 1995. A Methodology of N-Version Programming. Software fault tolerance 3 (1995) 23--46.

2. Synthesis of Reactive(1) designs

3. Shield Synthesis:

4. Keynote Talk: Challenges in Automotive Cyber-physical Systems Design

5. Ruchir Chauhan. 2014. A Platform for False Data Injection in Frequency Modulated Continuous Wave Radar. Ph.D. Dissertation. Utah State University. Ruchir Chauhan. 2014. A Platform for False Data Injection in Frequency Modulated Continuous Wave Radar. Ph.D. Dissertation. Utah State University.

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

1. Stress Testing Control Loops in Cyber-physical Systems;ACM Transactions on Software Engineering and Methodology;2023-12-21

2. Graph embedding and geometric deep learning relevance to network biology and structural chemistry;Frontiers in Artificial Intelligence;2023-11-16

3. A Novel Multi-Attack IDS Framework for Intelligent Connected Terminals Based on Over-the-Air Signature Updates;Electronics;2023-05-17

4. A component framework for the runtime enforcement of safety properties;Journal of Systems and Software;2023-04

5. Security-Aware Design of Time-Critical Automotive Cyber-Physical Systems;Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems;2023