Ezio Bartocci

First name

Ezio

Last name

Bartocci
Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., & Belta, C. (2015). SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2728606.2728633
Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L., et al. (2014). Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Vol. 8803, pp. 391-403). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-45231-8_30
Bartocci, E., Bortolussi, L., Sanguinetti, G., Legay, A., & Bozga, M. (2014). Data-Driven Statistical Learning of Temporal Logic Properties. In Formal Modeling and Analysis of Timed Systems (Vol. 8711, pp. 23-37). Springer International Publishing. https://doi.org/10.1007/978-3-319-10512-3_3
Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., et al. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved de http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16
Bartocci, E., Cleaveland, R., Grosu, R., & Sokolsky, O. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.