David Miguel Ramalho Pereira


AuthID: R-000-45D

Publicações Confirmadas: 31



11
TÍTULO: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTORES: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3
INDEXADO EM: DBLP CrossRef: 3 Handle
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: A Comparison of Formal Verification Approaches for IEC 61499
AUTORES: Blech, JO; Lindgren, P; Pereira, D ; Vyatkin, V; Zoitl, A;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: Towards certified compilation of RTFM-core applications
AUTORES: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
14
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: 5
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTORES: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111
INDEXADO EM: Scopus CrossRef: 5 Handle
NO MEU: ORCID | CIÊNCIAVITAE
16
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: 12
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTORES: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: Deciding Kleene algebra terms equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Logic-based schedulability analysis for compositional hard real-time embedded systems  Full Text
AUTORES: André de Matos Pedro ; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: SIGBED Review, VOLUME: 12, NÚMERO: 1
INDEXADO EM: DBLP CrossRef: 7 Handle
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: Monitoring for a Decidable Fragment of MTL-integral
AUTORES: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 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