Travelled to:1 × Austria
1 × Italy
1 × Spain
1 × USA
2 × Cyprus
2 × Portugal
Collaborated with:G.Lamperti F.Vivenzi F.Cerutti M.Giacomin M.Vallati
Talks about:system (6) observ (5) diagnosi (4) discret (4) tempor (4) event (4) activ (3) process (2) monitor (2) uncertain (1)
Person: Marina Zanella
DBLP: Zanella:Marina
Contributed to:
2014
2010200920082006200620042000Wrote 8 papers:
- KR-2014-CeruttiGVZ #recursion
- An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
- ICEIS-AIDSS-2010-LampertiZ #lazy evaluation
- Diagnosis of Active Systems by Lazy Techniques (GL, MZ), pp. 171–180.
- ICEIS-J-2009-LampertiZ #monitoring #nondeterminism
- Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
- ICEIS-AIDSS-2008-LampertiVZ #on the #similarity
- On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.
- ICEIS-AIDSS-2006-LampertiZ #incremental
- Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.
- ICEIS-J-2006-LampertiZ06a #monitoring #on the
- On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
- ICEIS-v2-2004-LampertiZ
- Dynamic Diagnosis of Active Systems with Fragmented Observations (GL, MZ), pp. 249–261.
- KR-2000-LampertiZ #compilation #generative
- Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.