Sign in
Shaista Jabeen
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 7
Top Topics
Control Program
San Francisco
Formal Verification
Model Checker
Top Venues
IEEE Embed. Syst. Lett.
IET Comput. Digit. Tech.
HICSS
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)
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)