Publications

Export 110 results:
Author [ Title(Asc)] Type Year
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 
Q
Query Checking for Linear Temporal Logic, Huang, Samuel, and Cleaveland Rance , 25 August 2017, (2017)
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)
P
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)
Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)
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)
Parallel Acceleration on Removal of Optical Mapping Baseline Wandering, Uzelac, Ilija, Iravanian Shahriar, and Fenton Flavio H. , 2019 Computing in Cardiology (CinC), 09/2019, (2019)
O
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)
An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models, Ulysses, Jesuliana N., Berg Lucas A., CHERRY ELIZABETH M., Liu Ben R., Santos Rodrigo W. dos, de Barros Bruno G., Rocha Bernardo M., and de Queiroz Rafael A. B. , IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
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)
Opacity for switched linear systems: Notions and characterization, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec, (2017)  (512.18 KB)
N
A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias, Abbas, H., Jang K.J., Liang J., Dixit S., and Mangharam R. , In Heart Rhythm Scientific Sessions, Chicago, 05/2017, (2017)  (77.23 KB)
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 Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , International Journal on Software Tools for Technology Transfer, 05/2021, (2021)
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)
A Network-based Cardiac Electrophysiology Simulator with Realistic Signal Generation and Response to Pacing Maneuvers, Iravanian, Shahriar, Uzelac Ilija, Kaboudian Abouzar, Langberg Jonathan, and Fenton Flavio , Computing in Cardiology, (2021)
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)
M
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas, Chen, H., Paoletti N., Smolka S. A., and Lin S. , Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control, 12/2021, (2021)
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation, Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R. , Theoretical Computer Science, 09/2015, Volume 599C, (2015)
Modeling bipolar stimulation of cardiac tissue, Galappaththige, Suran K., Gray Richard A., and Roth Bradley J. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093920, (2017)
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)
A Menagerie of Timed Automata (vol 50, 42, 2017), Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM COMPUTING SURVEYS, Volume 50, (2017)

Pages