Algorithms for Interface Synthesis. - Dirk Beyer 001; Thomas A. Henzinger; Vasu Singh (CAV, 2007)

Completeness and Nondeterminism in Model Checking Transactional Memories. - Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh (CONCUR, 2008)

Model checking transactional memories. - Rachid Guerraoui; Thomas A. Henzinger; Barbara Jobstmann; Vasu Singh (PLDI, 2008)

Permissiveness in Transactional Memories. - Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh (DISC, 2008)

Software Transactional Memory on Relaxed Memory Models. - Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh (CAV, 2009)

Preventing versus curing: avoiding conflicts in transactional memories. - Aleksandar Dragojevic; Rachid Guerraoui; Anmol V. Singh; Vasu Singh (PODC, 2009)

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (IEEE CLOUD, 2010)

Verifying Local Transformations on Relaxed Memory Models. - Sebastian Burckhardt; Madanlal Musuvathi; Vasu Singh (CC, 2010)

A marketplace for cloud resources. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (EMSOFT, 2010)

Runtime Verification for Software Transactional Memories. - Vasu Singh (RV, 2010)

Transactions in the jungle. - Rachid Guerraoui; Thomas A. Henzinger; Michal Kapalka; Vasu Singh (SPAA, 2010)

Model checking transactional memories. - Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh (Distributed Comput., 2010)

Formalizing and verifying transactional memories. - Vasu Singh (2010)

Scheduling large jobs by abstraction refinement. - Thomas A. Henzinger; Vasu Singh; Thomas Wies; Damien Zufferey (EuroSys, 2011)

Static Scheduling in Clouds. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (HotCloud, 2011)

Quantitative Evaluation of BFT Protocols. - Raluca Halalai; Thomas A. Henzinger; Vasu Singh (QEST, 2011)

Verification of STM on relaxed memory models. - Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh (Formal Methods Syst. Des., 2011)

Practical Solutions for Machine Learning Safety in Autonomous Vehicles. - Sina Mohseni; Mandar Pitale; Vasu Singh; Zhangyang Wang (SafeAI@AAAI, 2020)

Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles. - Vasu Singh; Siva Kumar Sastry Hari; Timothy Tsai 002; Mandar Pitale (CVPR Workshops, 2021)

Impact of Automotive System Safety Design on Machine Learning Based Perception Systems. - Vasu Singh; Mandar Pitale (ICPS, 2021)

Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems. - Michal Filipiuk; Vasu Singh (SafeAI@AAAI, 2022)

Zhuyi: perception processing rate estimation for safety in autonomous vehicles. - Yu-Shun Hsiao; Siva Kumar Sastry Hari; Michal Filipiuk; Timothy Tsai 002; Michael B. Sullivan 001; Vijay Janapa Reddi; Vasu Singh; Stephen W. Keckler (DAC, 2022)

Exploring Diversity in Neural Architectures for Safety. - Michal Filipiuk; Vasu Singh (AISafety@IJCAI, 2022)

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures. - Haoxuan Liu; Vasu Singh; Michal Filipiuk; Siva Kumar Sastry Hari (IEEE Open J. Comput. Soc., 2025)

HySafe-AI: Hybrid Safety Architectural Analysis Framework for AI Systems: A Case Study. - Mandar Pitale; Jelena Frtunikj; Abhinaw Priyadershi; Vasu Singh; Maria Spence (CoRR, 2025)