@article {,
	title = {Better Automata through Process Algebra},
	journal = {arXiv preprint arXiv:2002.07562},
	year = {2020},
	author = {Cleaveland, Rance}
}
@conference {,
	title = {Temporal-logic query checking over finite data streams},
	booktitle = {International Conference on Formal Methods for Industrial Critical Systems},
	year = {2020},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Huang, Samuel and Cleaveland, Rance}
}
@article {,
	title = {Timed Automata Benchmark Description},
	journal = {arXiv preprint arXiv:2005.13151},
	year = {2020},
	author = {Fontana, Peter and Cleaveland, Rance}
}
@conference {,
	title = {Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level},
	booktitle = {CSBio{\textquoteright}20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics},
	year = {2020},
	author = {Huang, Samuel and Diep, Madeline and Jang, Kuk and Cherry, Elizabeth M and Fenton, Flavio H and Cleaveland, Rance and Lindvall, Mikael and Mangharam, Rahul and Porter, Adam}
}
@booklet {,
	title = {From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday},
	year = {2019},
	author = {Bartocci, Ezio and Cleaveland, Rance and Grosu, Radu and Sokolsky, Oleg}
}
@article {,
	title = {Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans},
	journal = {Theoretical Computer Science},
	volume = {765},
	year = {2019},
	pages = {158{\textendash}169},
	author = {Islam, Md Ariful and Cleaveland, Rance and Fenton, Flavio H and Grosu, Radu and Jones, Paul L and Smolka, Scott A}
}
@inbook {,
	title = {Scott Smolka and Me},
	booktitle = {From Reactive Systems to Cyber-Physical Systems},
	year = {2019},
	pages = {1{\textendash}6},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Cleaveland, Rance}
}
@article {,
	title = {A tableau construction for finite linear-time temporal logic},
	journal = {arXiv preprint arXiv:1910.09339},
	year = {2019},
	author = {Huang, Samuel and Cleaveland, Rance}
}
@conference {,
	title = {Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees},
	booktitle = {2018 IEEE Conference on Decision and Control (CDC)},
	year = {2018},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Ferlez, James and Cleaveland, Rance and Marcus, Steven I}
}
@conference {,
	title = {Programming is modeling},
	booktitle = {International Symposium on Leveraging Applications of Formal Methods},
	year = {2018},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Cleaveland, Rance}
}
@article {,
	title = {Corrections to "A Menagerie of Timed Automata"},
	journal = {ACM Comput. Surv.},
	volume = {50},
	year = {2017},
	pages = {42:1{\textendash}42:8},
	keywords = {Timed automata, timed transition systems, transition systems},
	issn = {0360-0300},
	doi = {10.1145/3078809},
	url = {http://doi.acm.org/10.1145/3078809},
	author = {Keiren, Jeroen J. A. and Fontana, Peter and Cleaveland, Rance}
}
@article {,
	title = {Improving Invariant Mining via Static Analysis},
	journal = {ACM Trans. Embed. Comput. Syst.},
	volume = {16},
	year = {2017},
	pages = {167:1{\textendash}167:20},
	keywords = {automated test generation, Invariant mining, model-based development, verification and validation},
	issn = {1539-9087},
	doi = {10.1145/3126504},
	url = {http://doi.acm.org/10.1145/3126504},
	author = {Schulze, Christoph and Cleaveland, Rance}
}
@article {,
	title = {A Menagerie of Timed Automata (vol 50, 42, 2017)},
	journal = {ACM COMPUTING SURVEYS},
	volume = {50},
	year = {2017},
	author = {Keiren, Jeroen JA and Fontana, Peter and Cleaveland, Rance}
}
@conference {,
	title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
	booktitle = {CMSB},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {978-3-319-45176-3},
	url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html$\#$IslamBKCCFGJS16},
	author = {Islam, Md. Ariful and Byrne, Greg and Kong, Soonho and Clarke, Edmund M. and Cleaveland, Rance and Fenton, Flavio H. and Grosu, Radu and Jones, Paul L. and Smolka, Scott A.},
	editor = {Bartocci, Ezio and Li{\`o}, Pietro and Paoletti, Nicola}
}
@conference {,
	title = {Cybercardia project: Modeling, verification and validation of implantable cardiac devices},
	booktitle = {2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)},
	year = {2016},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Islam, Md Ariful and Lim, Hyunkyung and Paoletti, Nicola and Abbas, Houssam and Jiang, Zhihao and Cyranka, Jacek and Cleaveland, Rance and Gao, Sicun and Clarke, Edmund and Grosu, Radu and others}
}
@article {,
	title = {An extensible formal semantics for UML activity diagrams},
	journal = {arXiv preprint arXiv:1604.02386},
	year = {2016},
	author = {Daw, Zamira and Cleaveland, Rance}
}
@article {,
	title = {Comparing model checkers for timed UML activity diagrams},
	journal = {Science of Computer Programming},
	volume = {111},
	year = {2015},
	pages = {277{\textendash}299},
	author = {Daw, Zamira and Cleaveland, Rance}
}
@article {,
	title = {Security assurance cases for medical cyber{\textendash}physical systems},
	journal = {IEEE Design \& Test},
	volume = {32},
	year = {2015},
	pages = {56{\textendash}65},
	author = {Ray, Arnab and Cleaveland, Rance}
}
@conference {,
	title = {UML-VT: A Formal Verification Environment for UML Activity Diagrams.},
	booktitle = {P\&D@ MoDELS},
	year = {2015},
	author = {Daw, Zamira and Mangino, John and Cleaveland, Rance}
}
