Publications

Export 21 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is H  [Clear All Filters]
2021
Adversarial Training is Not Ready for Robot Learning, Lechner, Mathias, Hasani Ramin, Grosu Radu, Rus Daniela, and Henzinger Thomas A. , (2021)
Adversarial Training is Not Ready for Robot Learning, Lechner, Mathias, Hasani Ramin, Grosu Radu, Rus Daniela, and Henzinger Thomas A. , (2021)
Model-Checking Support for File System Development, Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E. , Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)
2020
Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19, Uzelac, Ilija, Iravanian Shahriar, Ashikaga Hiroshi, Bhatia Neal K., Herndon Conner, Kaboudian Abouzar, Gumbart James C., Cherry Elizabeth M., and Fenton Flavio H. , Heart Rhythm, 09/2020, Volume 17, Issue 9, (2020)
Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme, Lechner, Mathias, Hasani Ramin, Rus Daniela, and Grosu Radu , 2020 IEEE International Conference on Robotics and Automation (ICRA), (2020)
Liquid Time-constant Networks, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , (2020)
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , Proceedings of the 37th International Conference on Machine Learning, 13–18 Jul, (2020)
Temporal-logic query checking over finite data streams, Huang, Samuel, and Cleaveland Rance , International Conference on Formal Methods for Industrial Critical Systems, (2020)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level, Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam , CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (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)
2019
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)
2018
Electromechanical vortex filaments during cardiac fibrillation, Christoph, Jan, Chebbok M., Richter Carl, Schröder-Schetelig Johannes, Bittihn Philip, Stein Seth, Uzelac Ilija, FENTON FLAVIO H., Hasenfuss Gerd, Gilmour Robert F., et al. , Nature, Volume 555, p.667+, (2018)  (11.33 MB)
2017
Data assimilation for cardiac electrical dynamics, Cherry, E. M., Cairns D. I., Holt N., LaVigne N. S., Fenton F. H., and Hoffman M. J. , Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}, Pittsburgh, PA, (2017)
Data assimilation for cardiac electrical dynamics, Cherry, E. M., Cairns D. I., Holt N., LaVigne N. S., Fenton F. H., and Hoffman M. J. , Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}, Pittsburgh, PA, (2017)
Effects of model error on cardiac electrical wave state reconstruction using data assimilation, LaVigne, Nicholas S., Holt Nathan, Hoffman Matthew J., and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093911, (2017)
Effects of model error on cardiac electrical wave state reconstruction using data assimilation, LaVigne, Nicholas S., Holt Nathan, Hoffman Matthew J., and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093911, (2017)
Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos, Chen, Diandian Diana, Gray Richard A., Uzelac Ilija, Herndon Conner, and Fenton Flavio H. , Physical Review Letters, Volume 118, p.168101, (2017)
Query Checking for Linear Temporal Logic, Huang, Samuel, and Cleaveland Rance , 25 August 2017, (2017)
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)
2016
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus, Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W. , 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)  (976.61 KB)
2015
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)