. (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
Ezio Bartocci
First name
Ezio
Last name
Bartocci
. (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
. (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
. (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
. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.