Publications

Export 73 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2015
Abstract Model Repair, Chatzieleftheriou, G., Bonakdarpour B., Katsaros P., and Smolka S. A. , Logical Methods in Computer Science, Volume 3:11, (2015)
Comparing model checkers for timed UML activity diagrams, Daw, Zamira, and Cleaveland Rance , Science of Computer Programming, Volume 111, p.277–299, (2015)
An Extensible Operational Semantics for UML Activity Diagrams, Daw, Zamira, and Cleaveland Rance , Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)
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)
Security assurance cases for medical cyber–physical systems, Ray, Arnab, and Cleaveland Rance , IEEE Design & Test, Volume 32, p.56–65, (2015)
UML-VT: A Formal Verification Environment for UML Activity Diagrams., Daw, Zamira, Mangino John, and Cleaveland Rance , P&D@ MoDELS, (2015)
2016
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 KB)
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 KB)
Cybercardia project: Modeling, verification and validation of implantable cardiac devices, Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al. , 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (2016)
Cybercardia project: Modeling, verification and validation of implantable cardiac devices, Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al. , 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (2016)
Cybercardia project: Modeling, verification and validation of implantable cardiac devices, Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al. , 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (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)
An extensible formal semantics for UML activity diagrams, Daw, Zamira, and Cleaveland Rance , arXiv preprint arXiv:1604.02386, (2016)
A framework for decentralized opacity in linear systems, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sept, (2016)  (564.69 KB)
A framework for opacity in linear systems, Ramasubramanian, Bhaskar, Cleaveland Rance, and Marcus Steven I. , 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016, (2016)  (159.19 KB)
SHARP BOUNDARY ELECTROCARDIAC SIMULATIONS, XUE, SHUAI, LIM HYUNKYUNG, GLIMM JAMES, FENTON FLAVIO H., and CHERRY ELIZABETH M. , Stony Brook, (2016)  (725.88 KB)
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)
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 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)
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)
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)

Pages