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)
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) 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)
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) 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)