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 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Socioeconomic and travel factors that affect perceptions of visually impaired persons regarding crosswalk tactile paving;Travel Behaviour and Society;2024-07

2. Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

3. Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems;IEEE Transactions on Dependable and Secure Computing;2024-01

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

5. Securing the Smart Grid: A Review on Digital Twins for Cyber Resilience;2023 IEEE International Conference on Energy Technologies for Future Grids (ETFG);2023-12-03