2 citations · 3 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles
Max Taylor, Haicheng Chen, Feng Qin +1
Control firmware in unmanned aerial vehicles (UAVs) uses sensors to model and manage flight operations, from takeoff to landing to flying between waypoints. However, sensors can fa…
cs.DC2021
Early Work on Efficient Patching for Coordinating Edge Applications
Naveen T. R. Babu, Christopher Stewart
Multiple applications running on Edge computers can be orchestrated to achieve the desired goal. Orchestration of applications is prominent when working with Internet of Things bas…