Robustification of Behavioral Designs against Environmental Deviations-Reference-Cited by-同舟云学术

Robustification of Behavioral Designs against Environmental Deviations

Published:2023-05 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
language:
Short-container-title:

Author:

Zhang Changjian¹,Saluja Tarang²,Meira-Góes Rômulo³,Bolton Matthew⁴,Garlan David¹,Kang Eunsuk¹

Affiliation:

1. Carnegie Mellon University,Pittsburgh,PA,USA

2. Swarthmore College,Swarthmore,PA,USA

3. The Pennsylvania State University, State College,PA,USA

4. University of Virginia,Charlottesville,VA,USA

Funder

National Science Foundation

NSA

Office of Naval Research

Publisher

IEEE

Link

Reference48 articles.

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

2. Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers;Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems;2024-04-14

3. Formal Mental Models for Human-Centered Cybersecurity;International Journal of Human–Computer Interaction;2024-03-06

5. Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01