A Decentralized Model-Based Diagnostic Tool for Complex Systems. - Yannick Pencolé; Marie-Odile Cordier; Laurence Rozé (ICTAI, 2001)

Incremental decentralized diagnosis approach for the supervision of a telecommunication network. - Yannick Pencolé; Yannick Cordier; Laurence Rozé (CDC, 2002)

A Decentralized Model-Based Diagnostic Tool for Complex Systems. - Yannick Pencolé; Marie-Odile Cordier (Int. J. Artif. Intell. Tools, 2002)

Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications. - Yannick Pencolé (2002)

All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives. - Yannick Pencolé (ICTAI, 2003)

Diagnosability Analysis of Distributed Discrete Event Systems. - Yannick Pencolé (ECAI, 2004)

Symbolic Models for Diagnosing Discrete-Event Systems. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (ECAI, 2004)

Assistance for the Design of a Diagnosable Component-Based System. - Yannick Pencolé (ICTAI, 2005)

MonitoringWeb Service Networks in a Model-based Approach. - Yuhong Yan; Marie-Odile Cordier; Yannick Pencolé; Alban Grastien (ECOWS, 2005)

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. - Yannick Pencolé; Marie-Odile Cordier (Artif. Intell., 2005)

A Spectrum of Symbolic On-line Diagnosis Approaches. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (AAAI, 2007)

Scalable Diagnosability Checking of Event-Driven Systems. - Anika Schumann; Yannick Pencolé (IJCAI, 2007)

Characterizing and checking self-healability. - Marie-Odile Cordier; Yannick Pencolé; Louise Travé-Massuyès; Thierry Vidal (ECAI, 2008)

Another Point of View on Diagnosability. - Xavier Pucel; Louise Travé-Massuyès; Yannick Pencolé (STAIRS, 2008)

Diagnosis and prognosis for the maintenance of complex systems. - Pauline Ribot; Yannick Pencolé; Michel Combacau (SMC, 2009)

A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services. - Yannick Pencolé; Audine Subias (J. Univers. Comput. Sci., 2009)

A Model-Based Approach for Diagnosing Fault in Web Service Processes. - Yuhong Yan; Philippe Dague; Yannick Pencolé; Marie-Odile Cordier (Int. J. Web Serv. Res., 2009)

A Decentralised Symbolic Diagnosis Approach. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (ECAI, 2010)

MEDITO: A Logic-Based Meta-diagnosis Tool. - Nuno Belard; Yannick Pencolé; Michel Combacau (ICTAI, 2011)

A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. - Nuno Belard; Yannick Pencolé; Michel Combacau (IJCAI, 2011)

DITO: a CSP-based diagnostic engine. - Yannick Pencolé (ECAI, 2014)

Discriminability Analysis of Supervision Patterns by Net Unfoldings. - Houssam-Eddine Gougam; Audine Subias; Yannick Pencolé (WODES, 2014)

HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. - Elodie Chanthery; Yannick Pencolé; Pauline Ribot; Louise Travé-Massuyès (DX, 2015)

Random Generator of k-Diagnosable Discrete Event Systems. - Yannick Pencolé (DX, 2015)

Condition-based Monitoring and Prognosis in an Error-Bounded Framework. - Louise Travé-Massuyès; Renaud Pons; Pauline Ribot; Yannick Pencolé; Carine Jauberthie (DX, 2015)

Inference of fault signatures of discrete-event systems from event logs. - Cody James Christopher; Yannick Pencolé; Alban Grastien (DX, 2017)

Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. - Yannick Pencolé; Audine Subias (DX, 2017)

Diagnosing Discrete Event Systems Using Nominal Models Only. - Yannick Pencolé; Gerald Steinbauer; Clemens Mühlbacher; Louise Travé-Massuyès (DX, 2017)

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. - Houssam-Eddine Gougam; Yannick Pencolé; Audine Subias (Discret. Event Dyn. Syst., 2017)

Data instance generator and optimization models for evacuation planning in the event of wildfire. - Christian Artigues; Emmanuel Hébrard; Yannick Pencolé; Andreas Schutt; Peter J. Stuckey (RSFF, 2018)

A State Class Construction for Computing the Intersection of Time Petri Nets Languages. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (FORMATS, 2019)

Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines. - Claire Paya; Euriell Le Corronc; Yannick Pencolé (SMC, 2019)

Applying Active Diagnosis to Space Systems by On-Board Control Procedures. - Elodie Chanthery; Louise Travé-Massuyès; Yannick Pencolé; Régis De Ferluc; Brice Dellandréa (IEEE Trans. Aerosp. Electron. Syst., 2019)

Diagnosis and Supervision: Model-Based Approaches. - Marie-Odile Cordier; Philippe Dague; Yannick Pencolé; Louise Travé-Massuyès (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

A New Product Construction for the Diagnosability of Patterns in Time Petri Net. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (CDC, 2020)

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. - Yannick Pencolé; Audine Subias (J. Univers. Comput. Sci., 2020)

Observer-based detection and localization of time shift failures in (max, +)-linear systems. - Claire Paya; Euriell Le Corronc; Yannick Pencolé; Philippe Vialletelle (CASE, 2021)

Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach. - Claire Paya; Euriell Le Corronc; Yannick Pencolé; Philippe Vialletelle (KES-IDT, 2021)

Failure detection and localization for timed event graphs in $( max limits , +)$-algebra. - Euriell Le Corronc; Yannick Pencolé; Alexandre Sahuguède; Claire Paya (Discret. Event Dyn. Syst., 2021)

Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach. - Yannick Pencolé; Audine Subias (IEEE Trans Autom. Sci. Eng., 2022)

Property-Based Transparency: a New Utility Definition. - Patrícia C. Mayer; Felipe G. Cabral; Públio M. M. Lima; Marcos V. Moreira; Audine Subias; Yannick Pencolé (CASE, 2024)

Learning normal and delayed behavior of max-plus linear systems from input and output event data. - Ibis Velasquez; Yannick Pencolé; Euriell Le Corronc (CASE, 2024)

On a Method to Measure Supervised Multiclass Model's Interpretability: Application to Degradation Diagnosis (Short Paper). - Charles-Maxime Gauriat; Yannick Pencolé; Pauline Ribot; Gregory Brouillet (DX, 2024)

Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures. - Ibis Velasquez; Yannick Pencolé; Euriell Le Corronc (Discret. Event Dyn. Syst., 2024)