On the Design and Implementation of Real-Time Resource Access Protocols
2020 X Brazilian Symposium on Computing Systems Engineering (SBESC)
IEEE
2020
GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources
2020 IEEE Real-Time Systems Symposium (RTSS)
IEEE
2020
Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite
AIAA Scitech 2020 Forum
American Institute of Aeronautics and Astronautics
2020
Continued Development and Flight Testing of a Long-Endurance Solar-Powered Unmanned Aircraft: UIUC-TUM Solar Flyer
AIAA Scitech 2020 Forum
American Institute of Aeronautics and Astronautics
2020
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
ACM Transactions on Cyber-Physical Systems
2020
4
4
1-20
UAV Path Planning for Wireless Data Harvesting: A Deep Reinforcement Learning Approach
IEEE Global Communications Conference (GLOBECOM)
2020
UAV Coverage Path Planning under Varying Power Constraints using Deep Reinforcement Learning
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2020
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems
ACM Transactions on Cyber-Physical Systems
2020
Reconciling Predictability and Coherent Caching
2020 9th Mediterranean Conference on Embedded Computing (MECO)
IEEE
2020
SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors
2020 9th Mediterranean Conference on Embedded Computing (MECO)
IEEE
2020