@conference {,
	title = {Model-Checking Support for File System Development},
	booktitle = {Proceeding of HotStorage {\textquoteright}21, the 13th ACM Workshop on Hot Topics in Storage and File Systems},
	year = {2021},
	month = {07/2021},
	author = {W. Su and Y. Liu and G. Ganesan and G. Holzmann and G. Kuenning and S. A. Smolka and E. Zadok}
}
@conference {,
	title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas},
	booktitle = {Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control},
	year = {2021},
	month = {12/2021},
	author = {H. Chen and N. Paoletti and S. A. Smolka and S. Lin}
}
@article {,
	title = {Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation},
	journal = {Theoretical Computer Science},
	volume = {599C},
	year = {2015},
	month = {09/2015},
	chapter = {34},
	author = {Md. A. Islam and A. Murthy and E. Bartocci and E. M. Cherry and F. H. Fenton and J. Glimm and S. A. Smolka and R. Grosu}
}
