André Matos Pedro


AuthID: R-004-VKA

Publicações Confirmadas: 6



1
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 Rev., VOLUME: 12, NÚMERO: 1
INDEXADO EM: DBLP CrossRef: 7 Handle
NO MEU: ORCID
2
TÍTULO: Monitoring for a Decidable Fragment of MTL-∫
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
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
3
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
4
TÍTULO: Implementation of task types in AVR-Ada
AUTORES: De Matos Pedro, A ;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
5
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
6
TÍTULO: Learning Stochastic Timed Automata from Sample Executions
AUTORES: André de Matos Pedro ; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: ISoLA (1), VOLUME: 7609 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID

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