Follow
Simon Yu
Simon Yu
Doctoral Candidate in Electrical and Computer Engineering, University of Illinois Urbana-Champaign
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
On removing algorithmic priority inversion from mission-critical machine inference pipelines
S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, T Abdelzaher
2020 IEEE Real-Time Systems Symposium (RTSS), 319-332, 2020
502020
Real-time task scheduling for machine perception in intelligent cyber-physical systems
S Liu, S Yao, X Fu, H Shao, R Tabish, S Yu, A Bansal, H Yun, L Sha, ...
IEEE Transactions on Computers 71 (8), 1770-1783, 2021
292021
Hypercriticality
MY Vardi
Communications of the ACM 53 (7), 5-5, 2010
18*2010
Verifiable obstacle detection
A Bansal, H Kim, S Yu, B Li, N Hovakimyan, M Caccamo, L Sha
2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022
92022
On removing algorithmic priority inversion from mission-critical machine inference pipelines. In 2020 IEEE Real-Time Systems Symposium (RTSS)(2020)
S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, T Abdelzaher
IEEE, NY, 319-332, 0
7
Lidar cluster first and camera inference later: A new perspective towards autonomous driving
J Chen, S Yu, R Tabish, A Bansal, S Liu, T Abdelzaher, L Sha
arXiv preprint arXiv:2111.09799, 2021
62021
Flight testing automation to parameterize unmanned aircraft dynamics
OD Dantsker, S Yu, M Vahora, M Caccamo
AIAA Aviation 2019 Forum, 3230, 2019
62019
uavAP: A Modular Autopilot Framework for UAVs
M Theile, O Dantsker, R Nai, M Caccamo, S Yu
AIAA AVIATION 2020 FORUM, 3268, 2020
52020
Trajectory estimation for geo-fencing applications on small-size fixed-wing UAVs
M Theile, S Yu, OD Dantsker, M Caccamo
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
42019
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles
A Bansal, S Yu, H Kim, B Li, N Hovakimyan, M Caccamo, L Sha
arXiv preprint arXiv:2209.01710, 2022
32022
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
A Bansal, H Kim, S Yu, B Li, N Hovakimyan, M Caccamo, L Sha
Software Testing, Verification and Reliability, e1879, 2024
22024
Continued development and flight testing of a long-endurance solar-powered unmanned aircraft: Uiuc-tum solar flyer
OD Dantsker, M Theile, M Caccamo, S Yu, M Vahora, R Mancuso
AIAA Scitech 2020 Forum, 0781, 2020
22020
Kinematic Model for Fixed-Wing Aircraft with Constrained Roll-Rate
M Theile, S Yu
22018
Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines
S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, T Abdelzaher
Communications of the ACM 67 (2), 110-117, 2024
12024
Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning
W Chen, S Yu, H Shao, L Sha, H Zhao
arXiv preprint arXiv:2501.07021, 2025
2025
Flight maneuver automation for system analysis of small fixed-wing UAVs
S Yu
2019
Outstanding Paper Awards
P Ekberg, S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, ...
The system can't perform the operation now. Try again later.
Articles 1–17