Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
Automatica
2023
147
110696
Expanded Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite
AIAA SCITECH 2023 Forum
American Institute of Aeronautics and Astronautics
2023
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
ACM Transactions on Cyber-Physical Systems
2023
7
1
1-25
Supporting single and multi-core resource access protocols on object-oriented RTOSes
Design Automation for Embedded Systems
2023
27
1-2
31-50
Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach
IEEE Transactions on Automatic Control
2023
1-16
X-Stream: Accelerating streaming segments on MPSoCs for real-time applications
Journal of Systems Architecture
2023
138
102857
MemPol: Policing Core Memory Bandwidth from Outside of the Cores
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)
IEEE
2023
Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)
IEEE
2023
Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs
ACM Transactions on Embedded Computing Systems
2023
22
3
1-26
Minimizing Cache Usage for Real-time Systems
The 31st International Conference on Real-Time Networks and Systems
ACM
2023