Gianfranco Lamperti

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 28

Top Topics

Finite Automata

Diagnosis Of Discrete Event Systems

Timed Petri Nets

Fault Diagnosis

Top Venues

Publications

Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78 (2023)
Michele Dusi, Gianfranco Lamperti
Quick Subset Construction. Softw. Pract. Exp. 53 (11) (2023)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41 (1) (2022)
Federico Cerutti, Daniele Barattieri di San Pietro, Francesco Gringoli, Gianfranco Lamperti
Looking for Criminal Intents in JavaScript Obfuscated Code. KES (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)
Michele Dusi, Gianfranco Lamperti
Fixing Nondeterminism in Large Discrete-Event Knowledge. KES (2021)
Gianfranco Lamperti
Temporal determinization of mutating finite automata: Reconstructing or restructuring. Softw. Pract. Exp. 50 (4) (2020)
Michele Dusi, Gianfranco Lamperti
Conservative Determinization of Translated Automata by Embedded Subset Construction. KES-IDT (2020)
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)
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020 (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)
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)
Giovanni Caniato, Gianfranco Lamperti
Online Determinization of Large Mutating Automata. KES (2018)
Gianfranco Lamperti, Xiangfu Zhao
Decremental Subset Construction. KES-IDT (1) (2017)
Gianfranco Lamperti, Michele Scandale, Marina Zanella
Determinization and minimization of finite acyclic automata by incremental techniques. Softw. Pract. Exp. 46 (4) (2016)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Complex Active Systems with Uncertain Temporal Observations. CD-ARES (2016)
Gianfranco Lamperti, Xiangfu Zhao
Viable diagnosis of complex active systems. SMC (2016)
Gianfranco Lamperti, Giulio Quarenghi
Intelligent Monitoring of Complex Discrete-Event Systems. KES-IDT (1) (2016)
Simone Brognoli, Gianfranco Lamperti, Michele Scandale
Incremental Determinization of Expanding Automata. Comput. J. 59 (12) (2016)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Active Systems by Semantic Patterns. IEEE Trans. Syst. Man Cybern. Syst. 44 (8) (2014)
Sergiu I. Balan, Gianfranco Lamperti, Michele Scandale
Metrics-Based Incremental Determinization of Finite Automata. CD-ARES (2014)
Sergiu Iulian Balan, Gianfranco Lamperti, Michele Scandale
Incremental Subset Construction Revisited. IDT/IIMSS/STET (2014)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Higher-Order Discrete-Event Systems. CD-ARES (2013)
Gianfranco Lamperti, Michele Scandale
Incremental Determinization and Minimization of Finite Acyclic Automata. SMC (2013)
Gianfranco Lamperti, Michele Scandale
From diagnosis of active systems to incremental determinization of finite acyclic automata. AI Commun. 26 (4) (2013)
Gianfranco Lamperti, Xiangfu Zhao
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. SMC (2013)
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)
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)
Giovanni Guida, Gianfranco Lamperti
AMMETH: a methodology for requirements analysis of advanced human-system interfaces. IEEE Trans. Syst. Man Cybern. Part A 30 (3) (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)
Gianfranco Lamperti, Paolo Pogliano
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. IJCAI (1) (1997)
Roberto V. Zicari, Filippo Cacace, C. Capelli, A. Galipo, A. Pirovano, A. Romboli, Gianfranco Lamperti
The SOL Object-Oriented Database Language. CAiSE (1992)
Stefano Ceri, Stefano Crespi-Reghizzi, Roberto V. Zicari, Gianfranco Lamperti, Luigi Lavazza
Algres: An Advanced System for Complex Applications. IEEE Softw. 7 (4) (1990)
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE (1989)