▸ Expressing structural temporal properties of safety critical hierarchical systems Joint work with M. Benerecetti, R. Lanotte, F. Mogavero, and A. Peron. Presented at QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology.
▸ From Dynamic State Machines to Promela Joint work with M. Benerecetti, U. Gentile, S. Marrone, R. Nardone, A. Peron, and V. Vittorini. Presented at SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software.