Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Jorge Miguel de Matos Sousa Pinto
AuthID:
R-000-7W9
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
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:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 66
1
TITLE:
Exploring Frama-C Resources by Verifying Space Software
AUTHORS:
Rovedy Aparecida Busquim e Silva
;
Nanci Naomi Arai
; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira;
Jorge Sousa Pinto
;
PUBLISHED:
2024
,
SOURCE:
Computer Science Foundations and Applied Logic
INDEXED IN:
CrossRef
Unpaywall
2
TITLE:
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTHORS:
Frade, Maria Joao
;
Pinto, Jorge Sousa
;
PUBLISHED:
2023
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
133
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
3
TITLE:
A tribute to Jose Manuel Valenca
AUTHORS:
Oliveira, Jose Nuno
;
Pinto, Jorge Sousa
;
Barbosa, Luis Soares
;
Henriques, Pedro Rangel
;
PUBLISHED:
2022
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
128
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
4
TITLE:
Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS:
Lourenco, Claudio Belo
;
Pinto, Jorge Sousa
;
PUBLISHED:
2022
,
SOURCE:
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
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
5
TITLE:
A deductive reasoning approach for database applications using verification conditions
AUTHORS:
Alam, MI;
Halder, R
;
Pinto, JS
;
PUBLISHED:
2021
,
SOURCE:
JOURNAL OF SYSTEMS AND SOFTWARE,
VOLUME:
175
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
6
TITLE:
Real-time MTL with durations as SMT with applications to schedulability analysis
AUTHORS:
de Matos, A
; Leucker, M;
Pereira, D
;
Pinto, JS
;
PUBLISHED:
2020
,
SOURCE:
14th International Symposium on Theoretical Aspects of Software Engineering (TASE)
in
2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
7
TITLE:
Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS:
João Carlos Pereira;
Nuno Machado
;
Jorge Sousa Pinto
;
PUBLISHED:
2020
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
8
TITLE:
A generalized program verification workflow based on loop elimination and SA form
AUTHORS:
Cláudio Belo Lourenço
;
Maria João Frade
;
Jorge Sousa Pinto
;
PUBLISHED:
2019
,
SOURCE:
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.
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
9
TITLE:
A Generalized Approach to Verification Condition Generation
Full Text
AUTHORS:
Cláudio Belo Lourenço
;
Maria João Frade
; Shin Nakajima;
Jorge Sousa Pinto
;
PUBLISHED:
2018
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
10
TITLE:
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS:
Md. Imran Alam; Raju Halder; Harshita Goswami;
Jorge Sousa Pinto
;
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
|
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 1 of 7. Total results: 66.
<<
<
1
2
3
4
5
6
7
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service
