| 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 |
| 2024 | KES | Smart Diagnosis of Active Systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 2022 | KES | Looking for Criminal Intents in JavaScript Obfuscated Code. | Federico Cerutti, Daniele Barattieri di San Pietro, Francesco Gringoli, Gianfranco Lamperti |
| 2021 | KES | Fixing Nondeterminism in Large Discrete-Event Knowledge. | Michele Dusi, Gianfranco Lamperti |
| 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 |
| 2018 | KES | Online Determinization of Large Mutating Automata. | Giovanni Caniato, Gianfranco Lamperti |
| 2018 | KR | Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2016 | SMC | Viable diagnosis of complex active systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 2013 | SMC | Incremental Determinization and Minimization of Finite Acyclic Automata. | Gianfranco Lamperti, Michele Scandale |
| 2013 | SMC | Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 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 | IJCAI | Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. | Gianfranco Lamperti, Paolo Pogliano |
| 1992 | CaiSE | The SOL Object-Oriented Database Language. | Roberto V. Zicari, Filippo Cacace, C. Capelli, A. Galipo, A. Pirovano, A. Romboli, Gianfranco Lamperti |
| 1989 | CaiSE | ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari |