David Miguel Ramalho Pereira


AuthID: R-000-45D

Publicações Confirmadas: 31



21
TÍTULO: Response time for IEC 61499 over Ethernet
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: RTFM-core: Language and Implementation
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
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: Scopus WOS CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Well-formed control flow for critical sections in RTFM-core
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: ORCID
25
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 | CIÊNCIAVITAE
26
TÍTULO: Towards a Runtime Verification Framework for the Ada Programming Language
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: ORCID
27
TÍTULO: Deciding Regular Expressions (In-)Equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
28
TÍTULO: Partial Derivative Automata Formalized in Coq  Full Text
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
NO MEU: ORCID
29
TÍTULO: Formal Modelling of Emotions in BDI Agents  Full Text
AUTORES: Pereira, D ; Oliveira, E ; Moreira, N ;
PUBLICAÇÃO: 2008, FONTE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
30
TÍTULO: KAT and PHL in Coq  Full Text
AUTORES: Pereira, D ; Moreira, N ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
Página 3 de 4. Total de resultados: 31.

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

Links Úteis

Ajuda

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