Marina Zanella

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 19

Top Topics

Temporal Information

Timed Petri Nets

Fault Diagnosis

Top Venues

J. Artif. Intell. Res.

Publications

Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78 (2023)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41 (1) (2022)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. KR (2021)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Active Systems with Abstract Observability. KES-IDT (2021)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Explanatory Monitoring of Discrete-Event Systems. KES-IDT (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI (2020)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69 (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. KR (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. CD-MAKE (2019)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. IntelliSys (2) (2019)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios. IEA/AIE (2019)
Marco Verzeletti, Adi Botea, Marina Zanella
Repairing Compressed Path Databases on Maps with Dynamic Changes. SOCS (2019)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios. KES-IDT (1) (2019)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR (2018)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE (2018)
Marina Zanella
Asymmetric Diagnosability Analysis of Discrete-Event Systems. DX (2017)
Xingyu Su, Marina Zanella, Alban Grastien
Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI (2016)
Gianfranco Lamperti, Michele Scandale, Marina Zanella
Determinization and minimization of finite acyclic automata by incremental techniques. Softw. Pract. Exp. 46 (4) (2016)
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. KR (2014)
Claudio Landi, Arjan J. C. van Gemund, Marina Zanella
Heuristics to Increase Observability in Spectrum-based Fault Localization. ECAI (2014)
Marina Zanella
Discussion on: "Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems". Eur. J. Control 18 (1) (2012)
Gianfranco Lamperti, Marina Zanella
Monitoring of Active Systems With Stratified Uncertain Observations. IEEE Trans. Syst. Man Cybern. Part A 41 (2) (2011)
Gianfranco Lamperti, Marina Zanella
Context-Sensitive Diagnosis of Discrete-Event Systems. IJCAI (2011)
Gianfranco Lamperti, Marina Zanella
Diagnosis of Active Systems by Lazy Techniques. ICEIS (2) (2010)
Gianfranco Lamperti, Marina Zanella
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ICEIS (2009)
Gianfranco Lamperti, Federica Vivenzi, Marina Zanella
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. ICEIS (2) (2008)
Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. KES (1) (2008)
Gianfranco Lamperti, Marina Zanella
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ECAI (2008)
Gianfranco Lamperti, Marina Zanella
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. ECAI (2008)
Simone Cerutti, Gianfranco Lamperti, M. Scaroni, Marina Zanella, Davide Zanni
A diagnostic environment for automaton networks. Softw. Pract. Exp. 37 (4) (2007)
Gianfranco Lamperti, Marina Zanella, Davide Zanni
Incremental processing of temporal observations in Model-Based Reasoning. AI Commun. 20 (1) (2007)
Gianfranco Lamperti, Marina Zanella
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems. ICEIS (2) (2006)
Gianfranco Lamperti, Marina Zanella
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artif. Intell. 170 (3) (2006)
Gianfranco Lamperti, Marina Zanella
On Processing Temporal Observations in Monitoring of Discrete-Event Systems. ICEIS (Selected Papers) (2006)
Gianfranco Lamperti, Marina Zanella
Dynamic Diagnosis of Active Systems with Fragmented Observations. ICEIS (2) (2004)
Gianfranco Lamperti, Marina Zanella
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. ECAI (2004)
Gianfranco Lamperti, Marina Zanella
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems. Appl. Intell. 18 (1) (2003)
Roberto Garatti, Gianfranco Lamperti, Marina Zanella
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. ECAI (2002)
Gianfranco Lamperti, Marina Zanella
Diagnosis of discrete-event systems from uncertain temporal observations. Artif. Intell. 137 (1-2) (2002)
Pietro Baroni, Giovanni Guida, Marina Zanella
Managing uncertainty in diagnosis of acute coronaric ischemia. Artif. Intell. Medicine 23 (2) (2001)
Pietro Baroni, Giovanni Guida, Marina Zanella
GART: a tool for experimenting with approximate reasoning models. Expert Syst. Appl. 21 (1) (2001)
Gianfranco Lamperti, Marina Zanella
Uncertain Temporal Observations in Diagnosis. ECAI (2000)
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
Diagnosis of a class of distributed discrete-event systems. IEEE Trans. Syst. Man Cybern. Part A 30 (6) (2000)
Gianfranco Lamperti, Marina Zanella
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. KR (2000)
Gianfranco Lamperti, Marina Zanella, Paolo Pogliano
Diagnosis of Active Systems by Automata-Based Reasoning Techniques. Appl. Intell. 12 (3) (2000)
Gianfranco Lamperti, Michele Melchiori, Marina Zanella
On Multisets in Database Systems. WMP (2000)
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
Diagnosis of Large Active Systems. Artif. Intell. 110 (1) (1999)
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
Diagnosis of Active Systems. ECAI (1998)
Giovanni Guida, Marina Zanella
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. ICECCS (1997)
Marina Zanella, Paolo Gubian
A conceptual model for design management. Comput. Aided Des. 28 (1) (1996)
Giovanni Guida, Marina Zanella
Preventive Diagnosis: Definition and Logical Model. AI*IA (1995)
Marina Zanella, Paolo Gubian
Workspace and Methodology Management in the Octtools Environment. VLSI (1991)