14 citations · 39 across the 4 of their papers we have counts for
4 papers
Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Arun Govindankutty, Sudarshan K. Srinivasan
We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vecto…
Rotational Abstractions for Verification of Quantum Fourier Transform Circuits
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement…
A Reliable IoT-Based Embedded Health Care System for Diabetic Patients
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman M. Al-Qtiemat +1
This paper introduces a reliable health care system for diabetic patients based on the Internet of Things technology. A diabetic health care system with a hardware implementation i…
IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman Al-qtiemat +2
This paper introduces an Internet of Things (IoT)-based data acquisition and monitoring scheme for insulin pumps. The proposed work employs embedded system hardware (Keil LPC1768-b…