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 Review, VOLUME: 12, NÚMERO: 1
INDEXADO EM: DBLP CrossRef Handle
NO MEU: ORCID | DBLP
2
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 | DBLP
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 Handle
NO MEU: ORCID | DBLP
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 Handle
NO MEU: ORCID | DBLP
6
TÍTULO: Learning stochastic timed automata from sample executions
AUTORES: De Matos Pedro, A ; Crocker, PA ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7609 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP

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