Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 66



11
TÍTULO: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
12
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 Handle
NO MEU: ORCID | DBLP
13
TÍTULO: A Single-Assignment Translation for Annotated Programs PDF
AUTORES: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.00584
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
14
TÍTULO: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTORES: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3
INDEXADO EM: WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
15
TÍTULO: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
16
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
17
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
18
TÍTULO: Studying Verification Conditions for Imperative Programs  Full Text
AUTORES: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: ECEASST, VOLUME: 72
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
19
TÍTULO: A Bounded Model Checker for SPARK Programs
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
20
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
Página 2 de 7. Total de resultados: 66.

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