Publications

Export 110 results:
Author Title [ Type(Asc)] Year
Miscellaneous
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)
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)
Liquid Time-constant Networks, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , (2020)
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Lagrangian Reachtubes: The Next Generation, Gruenbacher, Sophie, Cyranka Jacek, Lechner Mathias, Islam Md. Ariful, Smolka Scott A., and Grosu Radu , (2020)
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg , (2019)
Adversarial Training is Not Ready for Robot Learning, Lechner, Mathias, Hasani Ramin, Grosu Radu, Rus Daniela, and Henzinger Thomas A. , (2021)
Journal Article
Timed Automata Benchmark Description, Fontana, Peter, and Cleaveland Rance , arXiv preprint arXiv:2005.13151, (2020)
Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation, DeTal, Noah, Kaboudian Abouzar, and Fenton Flavio , arXiv preprint arXiv:2109.10850, 09/2021, (2021)
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)
System design of stochastic models using robustness of temporal properties, Bartocci, Ezio, Bortolussi Luca, Nenzi Laura, and Sanguinetti Guido , Theoretical Computer Science, Volume 587, p.3 - 25, (2015)  (1.57 MB)
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)
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)
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models, Rameh, Raffael Bechara, CHERRY ELIZABETH M., and Santos Rodrigo Weber dos , Communications in Nonlinear Science and Numerical Simulation, Volume 82, p.105066, (2020)
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)
Simulating waves, chaos and synchronization with a microcontroller, Welsh, Andrea J., Delgado Cristian, Lee-Trimble Casey, Kaboudian Abouzar, and Fenton Flavio H. , Chaos: An Interdisciplinary Journal of Nonlinear Science, 12/2019, Volume 29, Issue 12, (2019)
Security assurance cases for medical cyber–physical systems, Ray, Arnab, and Cleaveland Rance , IEEE Design & Test, Volume 32, p.56–65, (2015)
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)
Real-time interactive simulations of large-scale systems on personal computers and cell phones: Toward patient-specific heart modeling and other applications, Kaboudian, Abouzar, CHERRY ELIZABETH M., and FENTON FLAVIO H. , Science Advances, Volume 5, p.eaav6019, (2019)
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)
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)
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)
Optimizing low-energy anti-fibrillation pacing: Lessons from a cellular automaton model, DeTal, Noah, and Fenton Flavio , arXiv preprint arXiv:2109.10861, 09/2021, (2021)

Pages