skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach
Material Type:
Artigo
Adicionar ao Meu Espaço

Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach

Pencole, Yannick ; Subias, Audine

IEEE transactions on automation science and engineering, 2022-04, Vol.19 (2), p.1151-1162

IEEE

Texto completo disponível

2
Assessing product quality from the production process logs
Material Type:
Artigo
Adicionar ao Meu Espaço

Assessing product quality from the production process logs

Duong, Le Toan ; Travé-Massuyès, Louise ; Subias, Audine ; Roa, Nathalie Barbosa

International journal of advanced manufacturing technology, 2021-11, Vol.117 (5-6), p.1615-1631 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

3
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
Material Type:
Artigo
Adicionar ao Meu Espaço

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors

Pencolé, Yannick ; Subias, Audine

J.UCS (Annual print and CD-ROM archive ed.), 2020-02, Vol.26 (2), p.268-292 [Periódico revisado por pares]

Pensoft Publishers

Texto completo disponível

4
Fault diagnosis of photovoltaic systems using artificial intelligence: A bibliometric approach
Material Type:
Artigo
Adicionar ao Meu Espaço

Fault diagnosis of photovoltaic systems using artificial intelligence: A bibliometric approach

Sepúlveda-Oviedo, Edgar Hernando ; Travé-Massuyès, Louise ; Subias, Audine ; Pavlov, Marko ; Alonso, Corinne

Heliyon, 2023-11, Vol.9 (11), p.e21491-e21491, Article e21491 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

5
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Material Type:
Artigo
Adicionar ao Meu Espaço

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Gougam, Houssam-Eddine ; Pencolé, Yannick ; Subias, Audine

Discrete event dynamic systems, 2017-03, Vol.27 (1), p.143-180 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

6
MAPE-K as a service-oriented architecture
Material Type:
Artigo
Adicionar ao Meu Espaço

MAPE-K as a service-oriented architecture

Vizcarrondo, Juan ; Aguilar, Jose ; Exposito, Ernesto ; Subias, Audine

Revista IEEE América Latina, 2017-06, Vol.15 (6), p.1163-1175

Los Alamitos: IEEE

Texto completo disponível

7
Alarm management via temporal pattern learning
Material Type:
Artigo
Adicionar ao Meu Espaço

Alarm management via temporal pattern learning

Vasquez Capacho, J.W. ; Subias, A. ; Travé-Massuyès, L. ; Jimenez, F.

Engineering applications of artificial intelligence, 2017-10, Vol.65, p.506-516 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

8
Iterative hybrid causal model based diagnosis: Application to automotive embedded functions
Material Type:
Artigo
Adicionar ao Meu Espaço

Iterative hybrid causal model based diagnosis: Application to automotive embedded functions

Pons, R. ; Subias, A. ; Travé-Massuyès, L.

Engineering applications of artificial intelligence, 2015-01, Vol.37, p.319-335 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

9
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

Lubat, Éric ; Dal Zilio, Silvano ; Le Botlan, Didier ; Pencolé, Yannick ; Subias, Audine

17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5, 2019, Vol.11750, p.79-95 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

10
ARMISCOM: self-healing service composition
Material Type:
Artigo
Adicionar ao Meu Espaço

ARMISCOM: self-healing service composition

Vizcarrondo, J. ; Aguilar, J. ; Exposito, E. ; Subias, A.

Service oriented computing and applications, 2017-09, Vol.11 (3), p.345-365 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (26)
  2. Revistas revisadas por pares (16)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (45)
  2. Artigos  (32)
  3. Imagens  (3)
  4. Dissertações  (2)
  5. Book Chapters  (2)
  6. Conjunto de Dados  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2006  (4)
  2. 2006Até2011  (11)
  3. 2012Até2014  (10)
  4. 2015Até2018  (18)
  5. Após 2018  (39)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.