Shaista Jabeen

According to our database, Shaista Jabeen authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Host Participation in Short-term Rental Markets: Geospatial and Socioeconomic Analysis of Airbnb in San Francisco.

Avijit Sarkar, James B. Pick, Shaista Jabeen

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

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., December, 2023

Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment.

Arooj Nawaz, Osman Hasan, Shaista Jabeen

Neural Comput., 2023

2020

Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code.

N. Shaukat, Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen

Sci. Program., 2020

2017

Formal verification methodology for real-time Field Programmable Gate Array.

Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja

IET Comput. Digit. Tech., 2017

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

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 new scalable fault tolerant routing algorithm for networks-on-chip.

Hamed Sajjadi Kia, Cristinel Ababei, Sudarshan Srinivasan, Shaista Jabeen

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015