Gianfranco Lamperti

Proceedings of the Intelligent Decision Technologies 2019, 2019

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2019

A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios.

[BibT_eX]

[DOI]

Nicola Bertoglio

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation.

[BibT_eX]

[DOI]

Nicola Bertoglio

Proceedings of the Machine Learning and Knowledge Extraction, 2019

2018

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Online Determinization of Large Mutating Automata.

[BibT_eX]

[DOI]

Giovanni Caniato

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Extraction, 2018

Introduction to Diagnosis of Active Systems

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-92731-2, 2018

2017

Decremental Subset Construction.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017), 2017

2016

Determinization and minimization of finite acyclic automata by incremental techniques.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Incremental Determinization of Expanding Automata.

[BibT_eX]

[DOI]

Simone Brognoli

Comput. J., 2016

Viable diagnosis of complex active systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Intelligent Monitoring of Complex Discrete-Event Systems.

[BibT_eX]

[DOI]

Giulio Quarenghi

Proceedings of the Intelligent Decision Technologies 2016 - Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016), 2016

Diagnosis of Complex Active Systems with Uncertain Temporal Observations.

[BibT_eX]

[DOI]

Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2014

Diagnosis of Active Systems by Semantic Patterns.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2014

Incremental Subset Construction Revisited.

[BibT_eX]

[DOI]

Sergiu Iulian Balan

Proceedings of the Smart Digital Futures 2014, 2014

Metrics-Based Incremental Determinization of Finite Automata.

[BibT_eX]

[DOI]

Sergiu I. Balan

Proceedings of the Availability, Reliability, and Security in Information Systems, 2014

2013

From diagnosis of active systems to incremental determinization of finite acyclic automata.

[BibT_eX]

[DOI]

AI Commun., 2013

Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Incremental Determinization and Minimization of Finite Acyclic Automata.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Diagnosis of Higher-Order Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Availability, Reliability, and Security in Information Systems and HCI, 2013

2011

Monitoring of Active Systems With Stratified Uncertain Observations.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2011

Context-Sensitive Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Diagnosis of Active Systems by Lazy Techniques.

[BibT_eX]

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira, Portugal, June 8, 2010

2009

Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008

Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.

[BibT_eX]

Federica Vivenzi

Proceedings of the ICEIS 2008, 2008

Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

A diagnostic environment for automaton networks.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

Incremental processing of temporal observations in Model-Based Reasoning.

[BibT_eX]

[DOI]

Davide Zanni

AI Commun., 2007

2006

Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques.

[BibT_eX]

[DOI]

Artif. Intell., 2006

On Processing Temporal Observations in Monitoring of Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Information Systems, 8th International Conference, 2006

Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

2004

Dynamic Diagnosis of Active Systems with Fragmented Observations.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Appl. Intell., 2003

2002

Diagnosis of discrete-event systems from uncertain temporal observations.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge.

[BibT_eX]

Roberto Garatti

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2000

AMMETH: a methodology for requirements analysis of advanced human-system interfaces.

[BibT_eX]

[DOI]

Giovanni Guida

IEEE Trans. Syst. Man Cybern. Part A, 2000

Diagnosis of a class of distributed discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2000

Diagnosis of Active Systems by Automata-Based Reasoning Techniques.

[BibT_eX]

[DOI]

Paolo Pogliano

Appl. Intell., 2000

On Multisets in Database Systems.

[BibT_eX]

[DOI]

Michele Melchiori

Proceedings of the Multiset Processing, 2000

Generation of Diagnostic Knowledge by Discrete-Event Model Compilation.

[BibT_eX]

Proceedings of the KR 2000, 2000

Uncertain Temporal Observations in Diagnosis.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Diagnosis of Large Active Systems.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Software Prototyping in Data and Knowledge Engineering

[BibT_eX]

Giovanni Guida

Kluwer, ISBN: 0-7923-6016-8, 1999

1998

Diagnosis of Active Systems.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.

[BibT_eX]

Paolo Pogliano

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Advanced Relational Programming: Mathematics and Its Applications.

[BibT_eX]

Filippo Cacace

Mathematics and Its Applications 371, Kluwer, ISBN: 0-7923-4081-7, 1996

1992

The SOL Object-Oriented Database Language.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1992

1990

Algres: An Advanced System for Complex Applications.

[BibT_eX]

[DOI]

Stefano Ceri

Stefano Crespi-Reghizzi

Roberto V. Zicari