Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



11
TITLE: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS: Alam, MI; Halder, R; Goswami, H; Pinto, JS ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: ORCID
12
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 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, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Handle
IN MY: ORCID
13
TITLE: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTHORS: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Rev., VOLUME: 14, ISSUE: 3
INDEXED IN: DBLP CrossRef: 4 Handle
IN MY: ORCID
14
TITLE: A Single-Assignment Translation for Annotated Programs
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
INDEXED IN: DBLP
IN MY: ORCID
15
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTHORS: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3
INDEXED IN: WOS DBLP CrossRef: 5
IN MY: ORCID
16
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
17
18
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
19
TITLE: Studying Verification Conditions for Imperative Programs
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 72
INDEXED IN: Scopus DBLP
IN MY: ORCID
20
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
Page 2 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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