Publications

Export 6 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
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 
A
Towards Model Checking of Implantable Cardioverter Defibrillators, Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul , Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)  (1.87 MB)
D
Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation, DeTal, Noah, Kaboudian Abouzar, and Fenton Flavio , arXiv preprint arXiv:2109.10850, 09/2021, (2021)
F
Timed Automata Benchmark Description, Fontana, Peter, and Cleaveland Rance , arXiv preprint arXiv:2005.13151, (2020)
H
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)
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)