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 | CIÊNCIAVITAE
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 | CIÊNCIAVITAE
27
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Partial Derivative Automata Formalized in Coq
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 | CIÊNCIAVITAE
29
TÍTULO: Formal Modelling of Emotions in BDI Agents  Full Text
AUTORES: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
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 | CIÊNCIAVITAE
30
TÍTULO: KAT and PHL in Coq  Full Text
AUTORES: David Pereira ; Nelma Moreira ;
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 | CIÊNCIAVITAE
Página 3 de 4. Total de resultados: 31.

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

Links Úteis

Ajuda

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