André Matos Pedro


AuthID: R-004-VKA

Confirmed Publications: 6



1
2
TITLE: Monitoring for a Decidable Fragment of MTL-∫
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
3
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: ORCID
4
TITLE: Implementation of task types in AVR-Ada
AUTHORS: De Matos Pedro, A ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
5
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: ORCID
6
TITLE: Learning Stochastic Timed Automata from Sample Executions
AUTHORS: André de Matos Pedro ; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: ISoLA (1), VOLUME: 7609 LNCS, ISSUE: PART 1
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service