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
-
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
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service
