| 2024 | DX | 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 |
| 2019 | SMC | 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 |
| 2017 | DX | Inference of fault signatures of discrete-event systems from event logs. | Cody James Christopher, Yannick Pencol, Alban Grastien |
| 2017 | DX | Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. | Yannick Pencol, Audine Subias |
| 2017 | DX | Diagnosing Discrete Event Systems Using Nominal Models Only. | Yannick Pencol, Gerald Steinbauer, Clemens Mhlbacher, Louise Trav-Massuys |
| 2015 | SAFEProcess | HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. | Elodie Chanthery, Yannick Pencol, Pauline Ribot, Louise Trav-Massuys |
| 2015 | SAFEProcess | Random Generator of k-Diagnosable Discrete Event Systems. | Yannick Pencol |
| 2015 | SAFEProcess | Condition-based Monitoring and Prognosis in an Error-Bounded Framework. | Louise Trav-Massuys, Renaud Pons, Pauline Ribot, Yannick Pencol, Carine Jauberthie |
| 2014 | ECAI | DITO: a CSP-based diagnostic engine. | Yannick Pencol |
| 2011 | IJCAI | A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. | Nuno Belard, Yannick Pencol, Michel Combacau |
| 2011 | ICTAI | MEDITO: A Logic-Based Meta-diagnosis Tool. | Nuno Belard, Yannick Pencol, Michel Combacau |
| 2010 | ECAI | A Decentralised Symbolic Diagnosis Approach. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2009 | SMC | Diagnosis and prognosis for the maintenance of complex systems. | Pauline Ribot, Yannick Pencol, Michel Combacau |
| 2008 | ECAI | Characterizing and checking self-healability. | Marie-Odile Cordier, Yannick Pencol, Louise Trav-Massuys, Thierry Vidal |
| 2007 | AAAI | A Spectrum of Symbolic On-line Diagnosis Approaches. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2007 | IJCAI | Scalable Diagnosability Checking of Event-Driven Systems. | Anika Schumann, Yannick Pencol |
| 2005 | ICTAI | Assistance for the Design of a Diagnosable Component-Based System. | Yannick Pencol |
| 2005 | ICWS | MonitoringWeb Service Networks in a Model-based Approach. | Yuhong Yan, Marie-Odile Cordier, Yannick Pencol, Alban Grastien |
| 2004 | ECAI | Diagnosability Analysis of Distributed Discrete Event Systems. | Yannick Pencol |
| 2004 | ECAI | Symbolic Models for Diagnosing Discrete-Event Systems. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2003 | ICTAI | All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives. | Yannick Pencol |
| 2001 | ICTAI | A Decentralized Model-Based Diagnostic Tool for Complex Systems. | Yannick Pencol, Marie-Odile Cordier, Laurence Roz |