Marina Zanella

59 papers A* 7A 8B 3C 7Journal 17Unranked 15

Year	Rank	Type	Title / 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	C	`conf`	Minimalist Diagnosis of Discrete-Event Systems. DX Gianfranco Lamperti, Marina Zanella
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`	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
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
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	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	B	`conf`	Repairing Compressed Path Databases on Maps with Dynamic Changes. SOCS Marco Verzeletti, Adi Botea, 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
2017	C	`ed.`	28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017 DX Marina Zanella, Ingo Pill, Alessandro Cimatti
2017	C	`conf`	Asymmetric Diagnosability Analysis of Discrete-Event Systems. DX Marina Zanella
2016	J	`jnl`	Determinization and minimization of finite acyclic automata by incremental techniques. Softw. Pract. Exp. Gianfranco Lamperti, Michele Scandale, Marina Zanella
2016	A*	`conf`	Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI Xingyu Su, Marina Zanella, Alban Grastien
2014	A*	`conf`	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. KR Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
2014	A	`conf`	Heuristics to Increase Observability in Spectrum-based Fault Localization. ECAI Claudio Landi, Arjan J. C. van Gemund, Marina Zanella
2012	J	`jnl`	Discussion on: "Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems". Eur. J. Control Marina Zanella
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
2001	J	`jnl`	GART: a tool for experimenting with approximate reasoning models. Expert Syst. Appl. Pietro Baroni, Giovanni Guida, Marina Zanella
2001	J	`jnl`	Managing uncertainty in diagnosis of acute coronaric ischemia. Artif. Intell. Medicine Pietro Baroni, Giovanni Guida, Marina Zanella
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	B	`conf`	Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. ICECCS Giovanni Guida, Marina Zanella
1996	J	`jnl`	A conceptual model for design management. Comput. Aided Des. Marina Zanella, Paolo Gubian
1995	—	`conf`	Preventive Diagnosis: Definition and Logical Model. AI*IA Giovanni Guida, Marina Zanella
1991	—	`conf`	Workspace and Methodology Management in the Octtools Environment. VLSI Marina Zanella, Paolo Gubian