Publications

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is Z  [Clear All Filters]
2021
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)
2020
Accelerating simulations of cardiac electrical dynamics through a multi‐GPU platform and an optimized data structure, Vasconcellos, Eduardo C., Clua Esteban W. G., Fenton Flavio H., and Zamith Marcelo , Concurrency and Computation: Practice and Experience, 03/2020, Volume 32, Issue 5, (2020)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, Shmarov, F., Soudjani S., Paoletti N., Bartocci E., Lin S., Smolka S. A., and Zuliani P. , IEEE Access, (2020)
2018
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
2017
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems, Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo , Haifa Verification Conference, to appear, (2017)