Ensuring the satisfaction of a temporal specification at run-time. - Grace Tsai; Matt Insall; Bruce M. McMillin (ICECCS, 1995)

Using speculative execution for fault tolerance in a real-time system. - Mohamed F. Younis; Grace Tsai; Thomas J. Marlowe; Alexander D. Stoyenko (ICECCS, 1995)

Toward Compiler Optimization of Distributed Real-Time Processes. - Mohamed F. Younis; Thomas J. Marlowe; Grace Tsai; Alexander D. Stoyenko (ICECCS, 1996)

Formal Verification of Compiler Transformations for Speculative Real-Time Execution. - Mohamed F. Younis; Grace Tsai; Thomas J. Marlowe; Alexander D. Stoyen (Autom., 1998)

Statically Safe Speculative Execution for Real-Time Systems. - Mohamed F. Younis; Thomas J. Marlowe; Alexander D. Stoyen; Grace Tsai (IEEE Trans. Software Eng., 1999)

Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. - Wolfgang A. Halang; Nihal Kececi; Grace Tsai (DIPES, 2002)

Using Program Transformations to Provide Safety Properties for Real-Time Systems. - Grace Tsai; Shuhua Wang (Real Time Syst., 2004)

Specification and Timing Analysis of Real-Time Systems. - Shuhua Wang; Grace Tsai (Real Time Syst., 2004)

Real-time indoor scene understanding using Bayesian filtering with motion cues. - Grace Tsai; Changhai Xu; Jingen Liu; Benjamin Kuipers (ICCV, 2011)

Dynamic visual understanding of the local environment for an indoor navigating robot. - Grace Tsai; Benjamin Kuipers (IROS, 2012)

Focusing Attention on Visual Features that Matter. - Grace Tsai; Benjamin Kuipers (BMVC, 2013)

Semantic Visual Understanding of Indoor Environments: From Structures to Opportunities for Action. - Grace Tsai; Collin Johnson; Benjamin Kuipers (CVPR Workshops, 2014)

Handling perceptual clutter for robot vision with partial model-based interpretations. - Grace Tsai; Benjamin Kuipers (IROS, 2014)

Learn-Memorize-Recall-Reduce A Robotic Cloud Computing Paradigm. - Shaoshan Liu; Bolin Ding; Jie Tang 003; Dawei Sun; Zhe Zhang 006; Grace Tsai; Jean-Luc Gaudiot (CoRR, 2017)

PIRVS: An Advanced Visual-Inertial SLAM System with Flexible Sensor Fusion and Hardware Co-Design. - Zhe Zhang 006; Shaoshan Liu; Grace Tsai; Hongbing Hu; Chen-Chi Chu; Feng Zheng (ICRA, 2018)

Trifo-VIO: Robust and Efficient Stereo Visual Inertial Odometry Using Points and Lines. - Feng Zheng; Grace Tsai; Zhe Zhang 006; Shaoshan Liu; Chen-Chi Chu; Hongbing Hu (IROS, 2018)

PI-VIO: Robust and Efficient Stereo Visual Inertial Odometry using Points and Lines. - Feng Zheng; Grace Tsai; Zhe Zhang 006; Shaoshan Liu; Chen-Chi Chu; Hongbing Hu (CoRR, 2018)

Panoptic Segmentation Forecasting. - Colin Graber; Grace Tsai; Michael Firman; Gabriel J. Brostow; Alexander G. Schwing (CVPR Workshops, 2021)

DDR5 DRAM Faults in the Field. - Majed Valad Beigi; Yi Cao; Grace Tsai; Sudhanva Gurumurthi; Vilas Sridharan (DSN-S, 2025)