Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



11
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 Review, VOLUME: 14, ISSUE: 3
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
12
TITLE: A Single-Assignment Translation for Annotated Programs PDF
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
13
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
14
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
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
IN MY: ORCID | DBLP
15
16
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
17
TITLE: Studying Verification Conditions for Imperative Programs  Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
18
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
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: 1
IN MY: ORCID | DBLP
19
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
20
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 2 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

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