Affiliation:
1. Michigan State University
Funder
Air Force Research Laboratory
NSF
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Security Requirements Assurance: An Assurance Case Perspective;2023 IEEE 8th International Conference On Software Engineering and Computer Systems (ICSECS);2023-08-25
3. MROS: A framework for robot self-adaptation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
5. Adaptively Managing Reliability of Machine Learning Perception under Changing Operating Conditions;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05