Shaista Jabeen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Top Venues

IEEE Embed. Syst. Lett.

IET Comput. Digit. Tech.

J. Electr. Comput. Eng.

Publications

Avijit Sarkar, James Pick, Shaista Jabeen
Host Participation in Short-term Rental Markets: Geospatial and Socioeconomic Analysis of Airbnb in San Francisco. HICSS (2024)
Avijit Sarkar, James B. Pick, Shaista Jabeen
Spatiotemporal Patterns and Socioeconomic Influences on Host Participation in Short-Term Rental Markets: Airbnb in San Francisco. ISPRS Int. J. Geo Inf. 13 (1) (2023)
Arooj Nawaz, Osman Hasan, Shaista Jabeen
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. Neural Comput. 35 (4) (2023)
N. Shaukat, Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code. Sci. Program. 2020 (2020)
Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja
Formal verification methodology for real-time Field Programmable Gate Array. IET Comput. Digit. Tech. 11 (5) (2017)
Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. J. Electr. Comput. Eng. 2015 (2015)
Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja, Mohana Asha Latha Dubasi
A Formal Verification Methodology for FPGA-Based Stepper Motor Control. IEEE Embed. Syst. Lett. 7 (3) (2015)
Hamed Sajjadi Kia, Cristinel Ababei, Sudarshan Srinivasan, Shaista Jabeen
A new scalable fault tolerant routing algorithm for networks-on-chip. MWSCAS (2015)