default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYannick Pencolé
Person information
- affiliation: LAAS, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Ibis Velasquez, Yannick Pencolé
, Euriell Le Corronc:
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures. Discret. Event Dyn. Syst. 34(1): 53-93 (2024)- [c32]Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc:
Learning normal and delayed behavior of max-plus linear systems from input and output event data. CASE 2024: 1443-1448 - [c31]Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira, Audine Subias, Yannick Pencolé:
Property-Based Transparency: a New Utility Definition. CASE 2024: 2825-2831 - [c30]Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet:
On a Method to Measure Supervised Multiclass Model's Interpretability: Application to Degradation Diagnosis (Short Paper). DX 2024: 27:1-27:14 - 2022
- [j9]Yannick Pencolé, Audine Subias:
Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach. IEEE Trans Autom. Sci. Eng. 19(2): 1151-1162 (2022) - 2021
- [j8]Euriell Le Corronc, Yannick Pencolé, Alexandre Sahuguède, Claire Paya:
Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra. Discret. Event Dyn. Syst. 31(4): 513-552 (2021) - [c29]Claire Paya, Euriell Le Corronc, Yannick Pencolé, Philippe Vialletelle:
Observer-based detection and localization of time shift failures in (max, +)-linear systems. CASE 2021: 545-550 - [c28]Claire Paya, Euriell Le Corronc, Yannick Pencolé, Philippe Vialletelle:
Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach. KES-IDT 2021: 545-555 - 2020
- [j7]Yannick Pencolé, Audine Subias:
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. J. Univers. Comput. Sci. 26(2): 268-292 (2020) - [c27]Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias:
A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC 2020: 104-109 - [p1]Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès:
Diagnosis and Supervision: Model-Based Approaches. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 673-706
2010 – 2019
- 2019
- [j6]Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé, Régis De Ferluc, Brice Dellandréa:
Applying Active Diagnosis to Space Systems by On-Board Control Procedures. IEEE Trans. Aerosp. Electron. Syst. 55(5): 2568-2580 (2019) - [c26]Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias:
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS 2019: 79-95 - [c25]Claire Paya, Euriell Le Corronc, Yannick Pencolé:
Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines. SMC 2019: 1801-1806 - [i2]Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé, Régis De Ferluc, Brice Dellandréa:
Applying Active Diagnosis to Space Systems by On-Board Control Procedures. CoRR abs/1903.01710 (2019) - [i1]Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias:
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR abs/1908.02087 (2019) - 2018
- [c24]Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey:
Data instance generator and optimization models for evacuation planning in the event of wildfire. RSFF 2018: 75-86 - 2017
- [j5]Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias:
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discret. Event Dyn. Syst. 27(1): 143-180 (2017) - [c23]Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès:
Diagnosing Discrete Event Systems Using Nominal Models Only. DX 2017: 169-183 - [c22]Yannick Pencolé, Audine Subias:
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. DX 2017: 184-199 - [c21]Cody James Christopher, Yannick Pencolé, Alban Grastien:
Inference of fault signatures of discrete-event systems from event logs. DX 2017: 219-233 - 2015
- [c20]Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie:
Condition-based Monitoring and Prognosis in an Error-Bounded Framework. DX 2015: 83-90 - [c19]Yannick Pencolé:
Random Generator of k-Diagnosable Discrete Event Systems. DX 2015: 277-280 - [c18]Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès:
HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. DX 2015: 281-284 - [e1]Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague:
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015. CEUR Workshop Proceedings 1507, CEUR-WS.org 2015 [contents] - 2014
- [c17]Yannick Pencolé:
DITO: a CSP-based diagnostic engine. ECAI 2014: 699-704 - [c16]Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé:
Discriminability Analysis of Supervision Patterns by Net Unfoldings. WODES 2014: 459-464 - 2011
- [c15]Nuno Belard, Yannick Pencolé, Michel Combacau:
MEDITO: A Logic-Based Meta-diagnosis Tool. ICTAI 2011: 709-716 - [c14]Nuno Belard, Yannick Pencolé, Michel Combacau:
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. IJCAI 2011: 731-737 - 2010
- [c13]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Decentralised Symbolic Diagnosis Approach. ECAI 2010: 99-104
2000 – 2009
- 2009
- [j4]Yannick Pencolé, Audine Subias:
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services. J. Univers. Comput. Sci. 15(17): 3246-3272 (2009) - [j3]Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier:
A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Serv. Res. 6(1): 87-110 (2009) - [c12]Pauline Ribot, Yannick Pencolé, Michel Combacau:
Diagnosis and prognosis for the maintenance of complex systems. SMC 2009: 4146-4151 - 2008
- [c11]Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal:
Characterizing and checking self-healability. ECAI 2008: 789-790 - [c10]Xavier Pucel, Louise Travé-Massuyès, Yannick Pencolé:
Another Point of View on Diagnosability. STAIRS 2008: 151-162 - 2007
- [c9]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340 - [c8]Anika Schumann, Yannick Pencolé:
Scalable Diagnosability Checking of Event-Driven Systems. IJCAI 2007: 575-580 - 2005
- [j2]Yannick Pencolé, Marie-Odile Cordier:
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164(1-2): 121-170 (2005) - [c7]Yannick Pencolé:
Assistance for the Design of a Diagnosable Component-Based System. ICTAI 2005: 549-556 - [c6]Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien:
MonitoringWeb Service Networks in a Model-based Approach. ECOWS 2005: 192-203 - 2004
- [c5]Yannick Pencolé:
Diagnosability Analysis of Distributed Discrete Event Systems. ECAI 2004: 43-47 - [c4]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086 - 2003
- [c3]Yannick Pencolé:
All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives. ICTAI 2003: 208-212 - 2002
- [b1]Yannick Pencolé:
Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications. University of Rennes 1, France, 2002 - [j1]Yannick Pencolé, Marie-Odile Cordier:
A Decentralized Model-Based Diagnostic Tool for Complex Systems. Int. J. Artif. Intell. Tools 11(3): 327-346 (2002) - [c2]Yannick Pencolé, Yannick Cordier, Laurence Rozé:
Incremental decentralized diagnosis approach for the supervision of a telecommunication network. CDC 2002: 435-440 - 2001
- [c1]Yannick Pencolé, Marie-Odile Cordier, Laurence Rozé:
A Decentralized Model-Based Diagnostic Tool for Complex Systems. ICTAI 2001: 95-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
