Items where Author is "Papacchini, F."

Journal Article

Ferrando, A. and Cardoso, R.C. and Farrell, M. and Luckcuck, M. and Papacchini, F. and Fisher, M. and Mascardi, V. (2022) Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods in System Design, 59 (1-3). pp. 44-76.

Contribution in Book/Report/Proceedings

Nalon, C. and Hustadt, U. and Papacchini, F. and Dixon, C. (2022) Local Reductions for the Modal Cube. In: International Joint Conference on Automated Reasoning :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13385 . UNSPECIFIED, pp. 486-505. ISBN 9783031107689