Publications

Export 64 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R. , Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)
Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R. , Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)
U
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders, Tulala, Peter, Mahyar Hamidreza, Ghalebi Elahe, and Grosu Radu , 2018 International Joint Conference on Neural Networks (IJCNN), 07/2018, Rio, Brasil, (2018)  (2.14 MB)
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders, Tulala, Peter, Mahyar Hamidreza, Ghalebi Elahe, and Grosu Radu , 2018 International Joint Conference on Neural Networks (IJCNN), 07/2018, Rio, Brasil, (2018)  (2.14 MB)
S
Spatiotemporal correlation uncovers characteristic lengths in cardiac tissue, Loppini, Alessandro, Gizzi Alessio, Cherubini Christian, CHERRY ELIZABETH M., FENTON FLAVIO H., and Filippi Simonetta , Physical Review E, Volume 100, (2019)
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems, Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin , Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)  (679.39 KB)
Simultaneous Quantification of Spatially Discordant Alternans in Voltage and Intracellular Calcium in Langendorff-Perfused Rabbit Hearts and Inconsistencies with Models of Cardiac Action Potentials and Ca Transients, Uzelac, Ilija, Ji Yanyan C., Hornung Daniel, Schröder-Scheteling Johannes, Luther Stefan, Gray Richard A., CHERRY ELIZABETH M., and FENTON FLAVIO H. , Frontiers in Physiology, Volume 8, (2017)
SHARP BOUNDARY ELECTROCARDIAC SIMULATIONS, XUE, SHUAI, LIM HYUNKYUNG, GLIMM JAMES, FENTON FLAVIO H., and CHERRY ELIZABETH M. , Stony Brook, (2016)  (725.88 KB)
R
The role of conductivity discontinuities in design of cardiac defibrillation, Lim, Hyunkyung, Cun Wenjing, Wang Yue, Gray Richard A., and Glimm James , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 28, p.013106, (2018)  (3 MB) (552.91 KB)
The role of conductivity discontinuities in design of cardiac defibrillation, Lim, Hyunkyung, Cun Wenjing, Wang Yue, Gray Richard A., and Glimm James , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 28, p.013106, (2018)  (3 MB) (552.91 KB)
The role of conductivity discontinuities in design of cardiac de brillation, LIM, HYUNKYUNG, Cun Wenjing, Gray Richard A., and GLIMM JAMES , (2017)  (1.36 MB) (552.91 KB) (2.25 MB)
The role of conductivity discontinuities in design of cardiac de brillation, LIM, HYUNKYUNG, Cun Wenjing, Gray Richard A., and GLIMM JAMES , (2017)  (1.36 MB) (552.91 KB) (2.25 MB)
Q
Quantitative Regular Expressions for Arrhythmia Detection Algorithms, Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu , International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)  (1.06 MB)
Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations, Uzelac, Ilija, Kaboudian Abouzar, Iravanian Shahriar, Siles-Paredes Jimena G., Gumbart James C., Ashikaga Hiroshi, Bhatia Neal, Gilmour, Jr Robert F., Cherry Elizabeth M., and Fenton Flavio H. , Heart Rhythm O2, 08/2021, Volume 2, Issue 4, (2021)
Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations, Uzelac, Ilija, Kaboudian Abouzar, Iravanian Shahriar, Siles-Paredes Jimena G., Gumbart James C., Ashikaga Hiroshi, Bhatia Neal, Gilmour, Jr Robert F., Cherry Elizabeth M., and Fenton Flavio H. , Heart Rhythm O2, 08/2021, Volume 2, Issue 4, (2021)
P
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, Volume 765, p.158–169, (2019)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md. Ariful, Cleaveland Rance, FENTON FLAVIO H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, 02/2018, (2018)  (1.99 MB)
O
OpenUAV: A UAV Testbed for the CPS and Robotics Community, Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay , Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)  (825.63 KB)
N
Next-Generation Lagrangian Reachtubes, Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R. , Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Next-Generation Lagrangian Reachtubes, Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R. , Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)

Pages