André Matos Pedro


AuthID: R-004-VKA

Confirmed Publications: 6



1
2
TITLE: Monitoring for a Decidable Fragment of MTL-integral
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
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 | DBLP
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 Handle
IN MY: ORCID | DBLP
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 Handle
IN MY: ORCID | DBLP
6
TITLE: Learning stochastic timed automata from sample executions
AUTHORS: De Matos Pedro, A ; Crocker, PA ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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, ISSUE: PART 1
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP

footer slogan

Useful Links

Get Help

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