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) 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)
Temporal-logic query checking over finite data streams,
Huang, Samuel, and Cleaveland Rance
, International Conference on Formal Methods for Industrial Critical Systems, (2020)