Author: Marina Zanella

Publications

Co-authors

Federica Vivenzi

1

Gianfranco Lamperti

2

Productive Colleagues

Federica Vivenzi

1

Gianfranco Lamperti

2

Publications

Lamperti, Gianfranco, Vivenzi, Federica, Zanella, Marina (2007): On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Syste. In: Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume AIDSS June 12-16, 2007, Barcelona, Spain. pp. 44-53.

Lamperti, Gianfranco, Zanella, Marina (2008): On Processing Temporal Observations in Monitoring of Discrete-Event Systems. In: Manolopoulos, Yannis, Filipe, Joaquim, Constantopoulos, Panos, Cordeiro, José (eds.) ICEIS 2006 - Enterprise Information Systems - 8th International Conference May 23-27, 2008, Paphos, Cyprus. pp. 135-146. https://dx.doi.org/10.1007/978-3-540-77581-2_9