A new scalable fault tolerant routing algorithm for networks-on-chip. - Hamed Sajjadi Kia; Cristinel Ababei; Sudarshan Srinivasan; Shaista Jabeen (MWSCAS, 2015)

A Formal Verification Methodology for FPGA-Based Stepper Motor Control. - Shaista Jabeen; Sudarshan K. Srinivasan; Sana Shuja; Mohana Asha Latha Dubasi (IEEE Embed. Syst. Lett., 2015)

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. - Sana Shuja; Sudarshan K. Srinivasan; Shaista Jabeen; Dharmakeerthi Nawarathna (J. Electr. Comput. Eng., 2015)

Formal verification methodology for real-time Field Programmable Gate Array. - Shaista Jabeen; Sudarshan K. Srinivasan; Sana Shuja (IET Comput. Digit. Tech., 2017)

Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code. - N. Shaukat; Sana Shuja; Sudarshan K. Srinivasan; Shaista Jabeen (Sci. Program., 2020)

Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. - Arooj Nawaz; Osman Hasan; Shaista Jabeen (Neural Comput., 2023)

Spatiotemporal Patterns and Socioeconomic Influences on Host Participation in Short-Term Rental Markets: Airbnb in San Francisco. - Avijit Sarkar; James B. Pick; Shaista Jabeen (ISPRS Int. J. Geo Inf., 2023)

Host Participation in Short-term Rental Markets: Geospatial and Socioeconomic Analysis of Airbnb in San Francisco. - Avijit Sarkar; James B. Pick; Shaista Jabeen (HICSS, 2024)