Gianfranco Lamperti

73 papers A* 5A 8B 8C 5Journal 21Unranked 23
YearRankTypeTitle / Venue / Authors
2025 — conf
Early Insights into Argumentation-Guided Causal Evaluation with the Help of LLMs.
AI^3@ICLP
Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Gianfranco Lamperti, Marina Zanella
2024 — conf
Diagnosis of Active Systems with Candidate Priority.
KES-IDT
Gianfranco Lamperti
2024 C conf
Minimalist Diagnosis of Discrete-Event Systems.
DX
Gianfranco Lamperti, Marina Zanella
2024 B conf
Smart Diagnosis of Active Systems.
KES
Gianfranco Lamperti, Xiangfu Zhao
2024 C conf
Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract).
DX
Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
2023 J jnl
Quick Subset Construction.
Softw. Pract. Exp.
Michele Dusi, Gianfranco Lamperti
2023 J jnl
Sequence-Oriented Diagnosis of Discrete-Event Systems.
J. Artif. Intell. Res.
Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
2022 J jnl
Fault Diagnosis of Discrete-Event Systems from Abstract Observations.
Comput. Informatics
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2022 B conf
Looking for Criminal Intents in JavaScript Obfuscated Code.
KES
Federico Cerutti, Daniele Barattieri di San Pietro, Francesco Gringoli, Gianfranco Lamperti
2021 — conf
Diagnosis of Active Systems with Abstract Observability.
KES-IDT
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2021 A* conf
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge.
KR
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2021 B conf
Fixing Nondeterminism in Large Discrete-Event Knowledge.
KES
Michele Dusi, Gianfranco Lamperti
2020 — conf
Conservative Determinization of Translated Automata by Embedded Subset Construction.
KES-IDT
Michele Dusi, Gianfranco Lamperti
2020 J jnl
Diagnosis of Deep Discrete-Event Systems.
J. Artif. Intell. Res.
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 A conf
Diagnosis of Temporal Faults in Discrete-Event Systems.
ECAI
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 A* conf
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.
KR
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 — conf
Explanatory Monitoring of Discrete-Event Systems.
KES-IDT
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 J jnl
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata.
Complex.
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong
2020 J jnl
Temporal determinization of mutating finite automata: Reconstructing or restructuring.
Softw. Pract. Exp.
Gianfranco Lamperti
2020 B conf
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems.
KES
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2019 C conf
A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios.
IEA/AIE
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
2019 — conf
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.
IntelliSys (2)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2019 — conf
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios.
KES-IDT (1)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
2019 C conf
Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation.
CD-MAKE
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
2018 A* conf
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge.
KR
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 — book
Introduction to Diagnosis of Active Systems
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 C conf
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.
CD-MAKE
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 B conf
Online Determinization of Large Mutating Automata.
KES
Giovanni Caniato, Gianfranco Lamperti
2017 — conf
Decremental Subset Construction.
KES-IDT (1)
Gianfranco Lamperti, Xiangfu Zhao
2016 J jnl
Determinization and minimization of finite acyclic automata by incremental techniques.
Softw. Pract. Exp.
Gianfranco Lamperti, Michele Scandale, Marina Zanella
2016 — conf
Diagnosis of Complex Active Systems with Uncertain Temporal Observations.
CD-ARES
Gianfranco Lamperti, Xiangfu Zhao
2016 J jnl
Incremental Determinization of Expanding Automata.
Comput. J.
Simone Brognoli, Gianfranco Lamperti, Michele Scandale
2016 — conf
Intelligent Monitoring of Complex Discrete-Event Systems.
KES-IDT (1)
Gianfranco Lamperti, Giulio Quarenghi
2016 B conf
Viable diagnosis of complex active systems.
SMC
Gianfranco Lamperti, Xiangfu Zhao
2014 J jnl
Diagnosis of Active Systems by Semantic Patterns.
IEEE Trans. Syst. Man Cybern. Syst.
Gianfranco Lamperti, Xiangfu Zhao
2014 — conf
Incremental Subset Construction Revisited.
IDT/IIMSS/STET
Sergiu Iulian Balan, Gianfranco Lamperti, Michele Scandale
2014 — conf
Metrics-Based Incremental Determinization of Finite Automata.
CD-ARES
Sergiu I. Balan, Gianfranco Lamperti, Michele Scandale
2013 — conf
Diagnosis of Higher-Order Discrete-Event Systems.
CD-ARES
Gianfranco Lamperti, Xiangfu Zhao
2013 J jnl
From diagnosis of active systems to incremental determinization of finite acyclic automata.
AI Commun.
Gianfranco Lamperti, Michele Scandale
2013 B conf
Incremental Determinization and Minimization of Finite Acyclic Automata.
SMC
Gianfranco Lamperti, Michele Scandale
2013 B conf
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.
SMC
Gianfranco Lamperti, Xiangfu Zhao
2011 A* conf
Context-Sensitive Diagnosis of Discrete-Event Systems.
IJCAI
Gianfranco Lamperti, Marina Zanella
2011 J jnl
Monitoring of Active Systems With Stratified Uncertain Observations.
IEEE Trans. Syst. Man Cybern. Part A
Gianfranco Lamperti, Marina Zanella
2010 — conf
Diagnosis of Active Systems by Lazy Techniques.
ICEIS (2)
Gianfranco Lamperti, Marina Zanella
2009 — conf
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ICEIS
Gianfranco Lamperti, Marina Zanella
2008 A conf
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ECAI
Gianfranco Lamperti, Marina Zanella
2008 — conf
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.
KES (1)
Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi
2008 A conf
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.
ECAI
Gianfranco Lamperti, Marina Zanella
2008 — conf
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.
ICEIS (2)
Gianfranco Lamperti, Federica Vivenzi, Marina Zanella
2007 J jnl
A diagnostic environment for automaton networks.
Softw. Pract. Exp.
Simone Cerutti, Gianfranco Lamperti, M. Scaroni, Marina Zanella, Davide Zanni
2007 J jnl
Incremental processing of temporal observations in Model-Based Reasoning.
AI Commun.
Gianfranco Lamperti, Marina Zanella, Davide Zanni
2006 J jnl
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques.
Artif. Intell.
Gianfranco Lamperti, Marina Zanella
2006 — conf
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems.
ICEIS (2)
Gianfranco Lamperti, Marina Zanella
2006 — conf
On Processing Temporal Observations in Monitoring of Discrete-Event Systems.
ICEIS (Selected Papers)
Gianfranco Lamperti, Marina Zanella
2004 A conf
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
ECAI
Gianfranco Lamperti, Marina Zanella
2004 — conf
Dynamic Diagnosis of Active Systems with Fragmented Observations.
ICEIS (2)
Gianfranco Lamperti, Marina Zanella
2003 J jnl
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems.
Appl. Intell.
Gianfranco Lamperti, Marina Zanella
2002 A conf
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge.
ECAI
Roberto Garatti, Gianfranco Lamperti, Marina Zanella
2002 J jnl
Diagnosis of discrete-event systems from uncertain temporal observations.
Artif. Intell.
Gianfranco Lamperti, Marina Zanella
2000 J jnl
AMMETH: a methodology for requirements analysis of advanced human-system interfaces.
IEEE Trans. Syst. Man Cybern. Part A
Giovanni Guida, Gianfranco Lamperti
2000 J jnl
Diagnosis of Active Systems by Automata-Based Reasoning Techniques.
Appl. Intell.
Gianfranco Lamperti, Marina Zanella, Paolo Pogliano
2000 J jnl
Diagnosis of a class of distributed discrete-event systems.
IEEE Trans. Syst. Man Cybern. Part A
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
2000 A* conf
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation.
KR
Gianfranco Lamperti, Marina Zanella
2000 — conf
On Multisets in Database Systems.
WMP
Gianfranco Lamperti, Michele Melchiori, Marina Zanella
2000 A conf
Uncertain Temporal Observations in Diagnosis.
ECAI
Gianfranco Lamperti, Marina Zanella
1999 J jnl
Diagnosis of Large Active Systems.
Artif. Intell.
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
1999 — book
Software Prototyping in Data and Knowledge Engineering
Giovanni Guida, Gianfranco Lamperti, Marina Zanella
1998 A conf
Diagnosis of Active Systems.
ECAI
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
1997 — conf
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.
IJCAI (1)
Gianfranco Lamperti, Paolo Pogliano
1996 — book
Advanced Relational Programming: Mathematics and Its Applications.
Filippo Cacace, Gianfranco Lamperti
1992 A conf
The SOL Object-Oriented Database Language.
CAiSE
Roberto V. Zicari, Filippo Cacace, C. Capelli, A. Galipo, A. Pirovano, A. Romboli, Gianfranco Lamperti
1990 J jnl
Algres: An Advanced System for Complex Applications.
IEEE Softw.
Stefano Ceri, Stefano Crespi-Reghizzi, Roberto V. Zicari, Gianfranco Lamperti, Luigi Lavazza
1989 — conf
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications.
CA(i)SE
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari