314
Publications
5,360
Citations
37
h-index
119
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (238)
- Preprint (52)
- Book Chapter (16)
- Editorial (3)
- Book (2)
Filter by Open Access Type
- Open Access (115)
- Closed Access (199)
Filter by Authors
- Qi Zhu (314)
- Chao Huang (38)
- Yixuan Wang (30)
- Zhilu Wang (29)
- Alberto Sangiovanni‐Vincentelli (28)
Filter by Topics
- Real-Time Systems Scheduling (62)
- Embedded Systems Design Techniques (57)
- Formal Methods in Verification (40)
- Adversarial Robustness in Machine Learning (31)
- Autonomous Vehicle Technology and Safety (27)