Subject
Hardware and Architecture,Information Systems,Software
Reference86 articles.
1. Agrawal, A., Abraham, S., Burger, B., Christine, C., Fraser, L., Hoeksema, J., Hwang, S., Travnik, E., Kumar, S., Scheirer, W., Cleland-Huang, J., Vierhauser, M., Bauer, R., Cox, S., 2020. The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System. In: Proc. of the 2020 Conference on Human Factors in Computing Systems.
2. LSAR: Multi-UAV collaboration for search and rescue missions;Alotaibi;IEEE Access,2019
3. Alvear, O., Calafate, C.T., Hernández, E., Cano, J.-C., Manzoni, P., 2015. Mobile pollution data sensing using UAVs. In: Proc. of the 13th International Conference on Advances in Mobile Computing and Multimedia. pp. 393–397.
4. Introduction To Software Testing;Ammann,2008
5. Principles of model checking;Baier,2008
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploration of Failures in an sUAS Controller Software Product Line;28th ACM International Systems and Software Product Line Conference;2024-09-02
2. The IDEA of Us: An Identity-Aware Architecture for Autonomous Systems;ACM Transactions on Software Engineering and Methodology;2024-06-28
3. Coupled Requirements-Driven Testing of CPS: From Simulation to Reality;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24
4. HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles;Proceedings of the CHI Conference on Human Factors in Computing Systems;2024-05-11
5. Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations;2024 IEEE International Systems Conference (SysCon);2024-04-15