David Miguel Ramalho Pereira


AuthID: R-000-45D

Publicações a aguardar confirmação

31
TÍTULO: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTORES: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
32
TÍTULO: Response Time for IEC 61499 over Ethernet
AUTORES: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: WOS
33
TÍTULO: Well-formed Control Flow for Critical Sections in RTFM-core
AUTORES: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: WOS
34
TÍTULO: RTFM-core: Language and Implementation
AUTORES: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 10th IEEE Conference on Industrial Electronics and Applications in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
INDEXADO EM: WOS
35
TÍTULO: A Real-Time Semantics for the IEC 61499 standard
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2015, FONTE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
INDEXADO EM: Scopus WOS CrossRef: 10
NO MEU: ORCID
36
TÍTULO: Run-time Monitoring Architecture for RealTime Systems
AUTORES: Geoffrey Nelissen; David Pereira; Luís M Pinho;
PUBLICAÇÃO: 2015, FONTE: INForum - Simpósio de Informática (INFORUM 2015).
INDEXADO EM: Handle
37
TÍTULO: RTFM-lang static semantics for systems with mixed criticality
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
38
Página 4 de 4. Total de resultados: 38.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service