Jorge Sousa Pinto

Cited by

	All	Since 2019
Citations	900	234
h-index	15	7
i10-index	26	4

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 6 10 12 18 29 28 27 39 46 29 63 40 46 61 50 42 88 43 43 45 32 38 33

Public access

View all

11 articles

0 articles

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
André de Matos PedroUniversity of Beira Interior, PortugalVerified email at ubi.pt
Luis Miguel PinhoISEP, Polytechnic Institute of Porto, & INESC TEC, Porto, PortugalVerified email at isep.ipp.pt
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Barbara VieiraAWSVerified email at amazon.co.uk
Cláudio Belo LourençoHuawei Central Software Institute (UK)Verified email at huawei.com
Miguel VilaçaUniversidade Católica PortuguesaVerified email at ucp.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified 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 AlamAssistant Professor, Dept. of CSE, The LNM Institute of Information TechnologyVerified email at lnmiit.ac.in
Dr. Raju HalderAssociate Professor, Indian 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	144*	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	79	2013
Verification conditions for source-level imperative programs MJ Frade, JS Pinto Computer Science Review 5 (3), 252-277, 2011	48	2011
Sequential and concurrent abstract machines for interaction nets JS Pinto International Conference on Foundations of Software Science and Computation …, 2000	47	2000
Assertion-based slicing and slice graphs JB Barros, D Da Cruz, PR Henriques, JS Pinto Formal Aspects of Computing 24, 217-248, 2012	30	2012
Encoding linear logic with interaction combinators I Mackie, JS Pinto Information and Computation 176 (2), 153-186, 2002	29	2002
Parallel implementation with linear logic (applications of interaction nets and of the geometry of interaction) JS Pinto PhD thesis, École Polytechnique, 2001	28*	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	25	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	24	2005
Parallel evaluation of interaction nets with mpine JS Pinto International Conference on Rewriting Techniques and Applications, 353-356, 2001	20	2001
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010	19	2010
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
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	18	2005
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	16	2014
Code analysis: Past and present D da Cruz, PR Henriques, JS Pinto Proc. OpenCert 2, 10, 2009	15	2009
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	13	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