| 2024 | DX | Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). | Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao |
| 2024 | DX | Minimalist Diagnosis of Discrete-Event Systems. | Gianfranco Lamperti, Marina Zanella |
| 2021 | KR | Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | ECAI | Diagnosis of Temporal Faults in Discrete-Event Systems. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | KES | Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | KR | Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2019 | SoCS | Repairing Compressed Path Databases on Maps with Dynamic Changes. | Marco Verzeletti, Adi Botea, Marina Zanella |
| 2018 | KR | Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2017 | DX | Asymmetric Diagnosability Analysis of Discrete-Event Systems. | Marina Zanella |
| 2016 | IJCAI | Diagnosability of Discrete-Event Systems with Uncertain Observations. | Xingyu Su, Marina Zanella, Alban Grastien |
| 2014 | ECAI | Heuristics to Increase Observability in Spectrum-based Fault Localization. | Claudio Landi, Arjan J. C. van Gemund, Marina Zanella |
| 2014 | KR | An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. | Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella |
| 2011 | IJCAI | Context-Sensitive Diagnosis of Discrete-Event Systems. | Gianfranco Lamperti, Marina Zanella |
| 2008 | ECAI | Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. | Gianfranco Lamperti, Marina Zanella |
| 2008 | ECAI | Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. | Gianfranco Lamperti, Marina Zanella |
| 2008 | KES | Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. | Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi |
| 2004 | ECAI | Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. | Gianfranco Lamperti, Marina Zanella |
| 2002 | ECAI | Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. | Roberto Garatti, Gianfranco Lamperti, Marina Zanella |
| 2000 | ECAI | Uncertain Temporal Observations in Diagnosis. | Gianfranco Lamperti, Marina Zanella |
| 2000 | KR | Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. | Gianfranco Lamperti, Marina Zanella |
| 1998 | ECAI | Diagnosis of Active Systems. | Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella |
| 1997 | ICECCS | Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. | Giovanni Guida, Marina Zanella |