Jorge Sousa Pinto

Cited by

	All	Since 2019
Citations	878	208
h-index	15	6
i10-index	26	4

100

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 6 10 7 20 29 27 27 38 47 29 64 41 45 61 49 42 96 43 42 45 31 37 10

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Maria João FradeHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Simão Melo de SousaFull Professor, Algarve UniversityVerified email at ualg.pt
Daniela da CruzCheckmarxVerified email at checkmarx.com
David PereiraResearch Associate, CISTERVerified email at isep.ipp.pt
Luis Miguel PinhoISEP, Polytechnic Institute of Porto, & INESC TEC, Porto, PortugalVerified email at isep.ipp.pt
André de Matos PedroInstitute for Software Engineering and Programming Languages, University of Lübeck, GermanyVerified email at isp.uni-luebeck.de
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Barbara VieiraAWSVerified email at amazon.co.uk
Miguel VilaçaUniversidade Católica PortuguesaVerified email at braga.ucp.pt
Cláudio Belo LourençoHuawei Central Software Institute (UK)Verified email at huawei.com
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Jose ProencaCISTER - ISEPVerified email at proenca.org
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
João Carlos PereiraDoctoral student, ETH ZurichVerified email at inf.ethz.ch
Nuno MachadoAmazonVerified email at amazon.com
Md Imran AlamIIT PATNAVerified email at iitp.ac.in
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Cristiano da Silva SousaUniversidade do MinhoVerified email at alunos.uminho.pt

Jorge Sousa Pinto

HASLab / INESC TEC & Universidade do Minho

Verified email at di.uminho.pt

Formal Methods Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM De Sousa Springer, 2011	136*	2011
Formal verification of side-channel countermeasures using self-composition JB Almeida, M Barbosa, JS Pinto, B Vieira Science of Computer Programming 78 (7), 796-812, 2013	75	2013
Verification conditions for source-level imperative programs MJ Frade, JS Pinto Computer Science Review 5 (3), 252-277, 2011	47	2011
Sequential and concurrent abstract machines for interaction nets JS Pinto International Conference on Foundations of Software Science and Computation …, 2000	45	2000
Assertion-based slicing and slice graphs JB Barros, D Da Cruz, PR Henriques, JS Pinto Formal Aspects of Computing 24, 217-248, 2012	29	2012
Encoding linear logic with interaction combinators I Mackie, JS Pinto Information and Computation 176 (2), 153-186, 2002	27	2002
Parallel implementation with linear logic (applications of interaction nets and of the geometry of interaction) JS Pinto PhD thesis, École Polytechnique, 2001	27*	2001
Parallel implementation models for the λ-calculus using the Geometry of Interaction J Sousa Pinto International Conference on Typed Lambda Calculi and Applications, 385-399, 2001	26	2001
A framework for point-free program transformation A Cunha, JS Pinto, J Proença Symposium on Implementation and Application of Functional Languages, 1-18, 2005	22	2005
Parallel evaluation of interaction nets with mpine JS Pinto International Conference on Rewriting Techniques and Applications, 353-356, 2001	20	2001
Logic-based schedulability analysis for compositional hard real-time embedded systems A de Matos Pedro, D Pereira, LM Pinho, JS Pinto ACM SIGBED Review 12 (1), 56-64, 2015	18	2015
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010	18	2010
Gamaslicer: an online laboratory for program verification and analysis D da Cruz, PR Henriques, JS Pinto Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010	18	2010
Point-free program transformation A Cunha, JS Pinto Fundamenta Informaticae 66 (4), 315-352, 2005	17	2005
Code analysis: Past and present D Cruz, PR Henriques, JS Pinto	16	2009
Formal Verification of kLIBC with the WP Frama-C Plug-in N Carvalho, C da Silva Sousa, JS Pinto, A Tomb NASA Formal Methods Symposium, 343-358, 2014	15	2014
A tool for programming with interaction nets JB Almeida, JS Pinto, M Vilaça Electronic Notes in Theoretical Computer Science 219, 83-96, 2008	15	2008
Verifying cryptographic software correctness with respect to reference implementations JB Almeida, M Barbosa, J Sousa Pinto, B Vieira International Workshop on Formal Methods for Industrial Critical Systems, 37-52, 2009	14	2009
Using Internet technology for course support JE Pina Miranda, JS Pinto ACM SIGCUE Outlook 24 (1-3), 96-100, 1996	14	1996
Formal verification with Frama-C: A case study in the space software domain RAB e Silva, NN Arai, LA Burgareli, JMP de Oliveira, JS Pinto IEEE Transactions on Reliability 65 (3), 1163-1179, 2015	12	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors