☰

Lui Sha

Affiliations: 
University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Lui Sha"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Ragunathan Rajkumar grad student UIUC
Rong Zheng grad student 2004 UIUC
Lynn Y. Zhang grad student 2005 UIUC
Hui Ding grad student 2006 UIUC
Sumant J. Kowshik grad student 2006 UIUC
Kihwal Lee grad student 2006 UIUC
Ajay S. Tirumala grad student 2006 UIUC
Tanya Crenshaw grad student 2008 UIUC
Qixin Wang grad student 2008 UIUC
Rodolfo Pellizzoni grad student 2010 UIUC
Min Y. Nam grad student 2012 UIUC
Abdullah Al-Nayeem grad student 2013 UIUC

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Mao Y, Gu Y, Sha L, et al. (2023) Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing. Ieee Transactions On Neural Networks and Learning Systems
Guo C, Fu Z, Zhang Z, et al. (2020) A framework for supporting the development of verifiably safe medical best practice guideline systems Journal of Systems Architecture. 104: 101693
Jiang Y, Song H, Yang Y, et al. (2019) Dependable Model-driven Development of CPS Acm Transactions On Cyber-Physical Systems. 3: 1-31
Cheng L, Tian K, Yao D, et al. (2019) Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems Ieee Transactions On Dependable and Secure Computing. 1-1
Guo C, Fu Z, Zhang Z, et al. (2019) Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts Ieee Internet of Things Journal. 6: 6276-6284
Yoon H, Wan W, Kim H, et al. (2019) Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift Ifac-Papersonline. 52: 423-428
Kim J, Abdelzaher TF, Sha L, et al. (2019) Decision-driven scheduling Real-Time Systems. 55: 514-551
Lee J, Marcus K, Abdelzaher T, et al. (2018) Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery Journal of Sensor and Actuator Networks. 7: 5
Wang X, Hovakimyan N, Sha L. (2018) RSimplex Acm Transactions On Cyber-Physical Systems. 2: 1-26
Jiang Y, Liu H, Song H, et al. (2018) Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller Ieee Transactions On Intelligent Transportation Systems. 19: 3320-3333
See more...