Ezio 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., … Steffen, B. (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., Nenzi, L., & Sanguinetti, G. (2015). System design of stochastic models using robustness of temporal properties. Theoretical Computer Science, 587, 3-25. https://doi.org/http://dx.doi.org/10.1016/j.tcs.2015.02.046

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

Gol, E. A., Bartocci, E., & Belta, C. (2014). A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR, abs/1409.5671. Retrieved from http://arxiv.org/abs/1409.5671

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., … Paoletti, N. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved from http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16

Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to Appear. Presented at the.

Abbas, H., Rodionova, A., Bartocci, E., Smolka, S. A., & Grosu, R. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. International Conference on Computational Methods in Systems Biology. Presented at the. Darmstadt, Germany : Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67471-1_2 (Original work published 2017)

Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An Algebraic Framework for Runtime Verification. CoRR, abs/1802.03775. Retrieved from http://arxiv.org/abs/1802.03775

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.