@article {,
	title = {Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts},
	year = {2021},
	url = {https://www.cinc.org/2021/Program/accepted/261.pdf},
	author = {John P. Berman and FLAVIO H. FENTON and ELIZABETH M. CHERRY and Tinen Iles and Paul A. Iaizzo and Abouzar Kaboudian}
}
@conference {,
	title = {Model-Checking Support for File System Development},
	booktitle = {Proceeding of HotStorage {\textquoteright}21, the 13th ACM Workshop on Hot Topics in Storage and File Systems},
	year = {2021},
	month = {07/2021},
	author = {W. Su and Y. Liu and G. Ganesan and G. Holzmann and G. Kuenning and S. A. Smolka and E. Zadok}
}
@article {,
	title = {A Network-based Cardiac Electrophysiology Simulator with Realistic Signal Generation and Response to Pacing Maneuvers},
	journal = {Computing in Cardiology},
	year = {2021},
	url = {https://www.cinc.org/2021/Program/accepted/294_Preprint.pdf},
	author = {Shahriar Iravanian and Ilija Uzelac and Abouzar Kaboudian and Jonathan Langberg and Flavio Fenton}
}
@article {,
	title = {Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations},
	journal = {Heart Rhythm O2},
	volume = {2},
	year = {2021},
	month = {08/2021},
	url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:Ug5p-4gJ2f0C},
	author = {Ilija Uzelac and Abouzar Kaboudian and Shahriar Iravanian and Jimena G Siles-Paredes and James C Gumbart and Hiroshi Ashikaga and Neal Bhatia and Robert F Gilmour Jr and Elizabeth M Cherry and Flavio H Fenton}
}
@article {,
	title = {Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation},
	journal = {arXiv preprint arXiv:2109.10850},
	year = {2021},
	month = {09/2021},
	url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:ClCfbGk0d_YC},
	author = {Noah DeTal and Abouzar Kaboudian and Flavio Fenton}
}
@article {,
	title = {Data-Driven Uncertainty Quantification for Cardiac Electrophysiological Models: Impact of Physiological Variability on Action Potential and Spiral Wave Dynamics},
	journal = {Frontiers in physiology},
	volume = {11},
	year = {2020},
	month = {11/2020},
	url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:tuHXwOkdijsC},
	author = {Pras Pathmanathan and Suran K Galappaththige and Jonathan M Cordeiro and Abouzar Kaboudian and Flavio H Fenton and Richard A Gray}
}
@article {,
	title = {Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19},
	journal = {Heart Rhythm},
	volume = {17},
	year = {2020},
	month = {09/2020},
	url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:tYavs44e6CUC},
	author = {Ilija Uzelac and Shahriar Iravanian and Hiroshi Ashikaga and Neal K Bhatia and Conner Herndon and Abouzar Kaboudian and James C Gumbart and Elizabeth M Cherry and Flavio H Fenton}
}
@inbook {,
	title = {From Automated MRI Scan to Finite Elements},
	year = {2019},
	pages = {35-48},
	isbn = {978-3-030-31513-9},
	doi = {10.1007/978-3-030-31514-6_3},
	author = {Glimm, James and Lim, Hyunkyung and Bishop, Martin and Kim, Soojin}
}
@article {,
	title = {Large-scale interactive numerical experiments of chaos, solitons and fractals in real time via GPU in a web browser},
	journal = {Chaos, Solitons \& Fractals},
	volume = {121},
	year = {2019},
	pages = {6{\textendash}29},
	doi = {10.1016/j.chaos.2019.01.005},
	url = {https://doi.org/10.1016/j.chaos.2019.01.005},
	author = {Abouzar Kaboudian and ELIZABETH M. CHERRY and FLAVIO H. FENTON}
}
@article {,
	title = {Real-time interactive simulations of large-scale systems on personal computers and cell phones: Toward patient-specific heart modeling and other applications},
	journal = {Science Advances},
	volume = {5},
	year = {2019},
	pages = {eaav6019},
	doi = {10.1126/sciadv.aav6019},
	url = {https://doi.org/10.1126/sciadv.aav6019},
	author = {Abouzar Kaboudian and ELIZABETH M. CHERRY and FLAVIO H. FENTON}
}
@article {,
	title = {Simulating waves, chaos and synchronization with a microcontroller},
	journal = {Chaos: An Interdisciplinary Journal of Nonlinear Science},
	volume = {29},
	year = {2019},
	month = {12/2019},
	url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&cstart=20\&pagesize=80\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:BUYA1_V_uYcC},
	author = {Andrea J Welsh and Cristian Delgado and Casey Lee-Trimble and Abouzar Kaboudian and Flavio H Fenton}
}
@article {,
	title = {Dynamic Network Model from Partial Observations},
	journal = {CoRR},
	volume = {abs/1805.10616},
	year = {2018},
	url = {http://arxiv.org/abs/1805.10616},
	author = {Elahe Ghalebi K. and Baharan Mirzasoleiman and Radu Grosu and Jure Leskovec}
}
@conference {,
	title = {OpenUAV: A UAV Testbed for the CPS and Robotics Community},
	booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems},
	year = {2018},
	publisher = {IEEE Press},
	organization = {IEEE Press},
	address = {Piscataway, NJ, USA},
	isbn = {978-1-5386-5301-2},
	doi = {10.1109/ICCPS.2018.00021},
	url = {https://doi.org/10.1109/ICCPS.2018.00021},
	author = {Schmittle, Matt and Lukina, Anna and Vacek, Lukas and Das, Jnaneshwar and Buskirk, Christopher P. and Rees, Stephen and Sztipanovits, Janos and Grosu, Radu and Kumar, Vijay}
}
@article {,
	title = {Closed-loop quantitative verification of rate-adaptive pacemakers},
	journal = {ACM Transactions on Cyber-Physical Systems, to appear},
	year = {2017},
	abstract = {<p>Cardiac pacemakers are electrical devices that treat arrhythmias delivering electrical stimuli to the patient heart {\textbullet} Rate-adaptation: regulation of pacing rate according to patient{\textquoteright}s needs (e.g. increased pacing rate during exercise) {\textbullet} Programming of rate-adaptation parameters depends on many patient-specific factors (age, lifestyle, tolerance to rapid pacing, {\textellipsis}) {\textbullet} Effective personalisation achievable only through extensive exercise testing: intolerable for a cardiac patient {\textbullet} We introduce a data-driven and model-based approach for subjectspecific verification of rate-adaptive pacemakers</p>
},
	author = {Nicola Paoletti and Andrea Patan{\`e} and Marta Kwiatkowska}
}
@article {,
	title = {Corrections to "A Menagerie of Timed Automata"},
	journal = {ACM Comput. Surv.},
	volume = {50},
	year = {2017},
	pages = {42:1{\textendash}42:8},
	keywords = {Timed automata, timed transition systems, transition systems},
	issn = {0360-0300},
	doi = {10.1145/3078809},
	url = {http://doi.acm.org/10.1145/3078809},
	author = {Keiren, Jeroen J. A. and Fontana, Peter and Cleaveland, Rance}
}
@article {,
	title = {A Menagerie of Timed Automata (vol 50, 42, 2017)},
	journal = {ACM COMPUTING SURVEYS},
	volume = {50},
	year = {2017},
	author = {Keiren, Jeroen JA and Fontana, Peter and Cleaveland, Rance}
}
@conference {,
	title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
	booktitle = {CMSB},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {978-3-319-45176-3},
	url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html$\#$IslamBKCCFGJS16},
	author = {Islam, Md. Ariful and Byrne, Greg and Kong, Soonho and Clarke, Edmund M. and Cleaveland, Rance and Fenton, Flavio H. and Grosu, Radu and Jones, Paul L. and Smolka, Scott A.},
	editor = {Bartocci, Ezio and Li{\`o}, Pietro and Paoletti, Nicola}
}
@article {,
	title = {Abstract Model Repair},
	journal = {Logical Methods in Computer Science},
	volume = {3:11},
	year = {2015},
	author = {G. Chatzieleftheriou and B. Bonakdarpour and P. Katsaros and S. A. Smolka}
}
@conference {21,
	title = {SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems},
	booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	keywords = {networked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking},
	isbn = {978-1-4503-3433-4},
	doi = {10.1145/2728606.2728633},
	url = {http://doi.acm.org/10.1145/2728606.2728633},
	author = {Haghighi, Iman and Jones, Austin and Kong, Zhaodan and Bartocci, Ezio and Grosu, Radu and Belta, Calin}
}
