Pubblicazioni

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

2022 - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
De Giacomo, G.; De Masellis, R.; Maggi, F. M.; Montali, M.

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

2020 - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Polyvyanyy, Artem; Solti, Andreas; Weidlich, Matthias; Di Ciccio, Claudio; Mendling, Jan

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma