Sanjay Dixit

According to our database, Sanjay Dixit authored at least 8 papers between 2010 and 2021.

Collaborative distances:

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

2021

Patient-specific heart model towards atrial fibrillation.

Jiyue He, Arkady M. Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

2019

Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation.

Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

2016

In-silico pre-clinical trials for implantable cardioverter defibrillators.

Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.

Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2010

A platform for implantable medical device validation: demo abstract.

Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of Wireless Health 2010, 2010

A platform for implantable medical device validation.

Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.

Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010