Publications

Export 47 results:
Author Title Type [ Year(Asc)]
2018
An Algebraic Framework for Runtime Verification, Jaksic, Stefan, Bartocci Ezio, Grosu Radu, and Nickovic Dejan , CoRR, Volume abs/1802.03775, (2018)  (708.43 KB)
Automated Specification Extraction and Analysis with Specstractor, Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael , Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Declarative vs Rule-based Control for Flocking Dynamics, Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A. , Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)  (904.24 KB)
Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro, Munoz, Laura, Gelzer Anna R. M., Fenton Flavio, Qian Wei, Lin WeiYe, Gilmour Robert F., and Otani Niels F. , Journal of the American Heart Association, 09, Volume 7, (2018)  (4.08 MB)
Dynamic Network Model from Partial Observations, K., Elahe Ghalebi, Mirzasoleiman Baharan, Grosu Radu, and Leskovec Jure , CoRR, Volume abs/1805.10616, (2018)  (476.08 KB)
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)
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)
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)
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)
Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)
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)
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)
2017
Alternans promotion in cardiac electrophysiology models by delay differential equations, Gomes, Johnny M., Santos Rodrigo Weber dos, and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093915, (2017)
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017., (2017)  (254.08 KB)
Closed-loop quantitative verification of rate-adaptive pacemakers, Paoletti, Nicola, Patanè Andrea, and Kwiatkowska Marta , ACM Transactions on Cyber-Physical Systems, to appear, (2017)
Corrections to "A Menagerie of Timed Automata", Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM Comput. Surv., Volume 50, p.42:1–42:8, (2017)  (221.78 KB)
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-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties, Paoletti, Nicola, Liu Kin Sum, Smolka Scott A., and Lin Shan , Computational Methods in Systems Biology, (2017)
Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing, Cherry, Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093902, (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)
Efficient parameterization of cardiac action potential models using a genetic algorithm, Cairns, Darby I., Fenton Flavio H., and Cherry E. M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093922, (2017)
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
Lagrangian Reachabililty, Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu , Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (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)
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)

Pages