Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Jorge Miguel de Matos Sousa Pinto
AuthID:
R-000-7W9
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (30)
Article (26)
Unpublished (4)
Proceedings (2)
Review (1)
Editorial Material (1)
Book (1)
Book Chapter (1)
Year Start - End:
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 66
1
TÃTULO:
Exploring Frama-C Resources by Verifying Space Software
AUTORES:
Rovedy Aparecida Busquim e Silva
;
Nanci Naomi Arai
; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira;
Jorge Sousa Pinto
;
PUBLICAÇÃO:
2024
,
FONTE:
Computer Science Foundations and Applied Logic
INDEXADO EM:
CrossRef
Unpaywall
2
TÃTULO:
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTORES:
Frade, Maria Joao
;
Pinto, Jorge Sousa
;
PUBLICAÇÃO:
2023
,
FONTE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
133
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
3
TÃTULO:
A tribute to Jose Manuel Valenca
AUTORES:
Oliveira, Jose Nuno
;
Pinto, Jorge Sousa
;
Barbosa, Luis Soares
;
Henriques, Pedro Rangel
;
PUBLICAÇÃO:
2022
,
FONTE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
128
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
4
TÃTULO:
Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES:
Lourenco, Claudio Belo
;
Pinto, Jorge Sousa
;
PUBLICAÇÃO:
2022
,
FONTE:
31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS)
in
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022,
VOLUME:
13240
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
5
TÃTULO:
A deductive reasoning approach for database applications using verification conditions
AUTORES:
Alam, MI;
Halder, R
;
Pinto, JS
;
PUBLICAÇÃO:
2021
,
FONTE:
JOURNAL OF SYSTEMS AND SOFTWARE,
VOLUME:
175
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
6
TÃTULO:
Real-time MTL with durations as SMT with applications to schedulability analysis
AUTORES:
de Matos, A
; Leucker, M;
Pereira, D
;
Pinto, JS
;
PUBLICAÇÃO:
2020
,
FONTE:
14th International Symposium on Theoretical Aspects of Software Engineering (TASE)
in
2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
7
TÃTULO:
Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES:
João Carlos Pereira;
Nuno Machado
;
Jorge Sousa Pinto
;
PUBLICAÇÃO:
2020
,
FONTE:
14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020
in
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed],
VOLUME:
12165
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
8
TÃTULO:
A generalized program verification workflow based on loop elimination and SA form
AUTORES:
Cláudio Belo Lourenço
;
Maria João Frade
;
Jorge Sousa Pinto
;
PUBLICAÇÃO:
2019
,
FONTE:
7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019
in
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
9
TÃTULO:
A Generalized Approach to Verification Condition Generation
Full Text
AUTORES:
Cláudio Belo Lourenço
;
Maria João Frade
; Shin Nakajima;
Jorge Sousa Pinto
;
PUBLICAÇÃO:
2018
,
FONTE:
42nd IEEE Computer Software and Applications Conference, COMPSAC 2018
in
2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1,
VOLUME:
1
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
10
TÃTULO:
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTORES:
Md. Imran Alam; Raju Halder; Harshita Goswami;
Jorge Sousa Pinto
;
PUBLICAÇÃO:
2018
,
FONTE:
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
INDEXADO EM:
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 1 de 7. Total de resultados: 66.
<<
<
1
2
3
4
5
6
7
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service
