Follow
Jorge Sousa Pinto
Jorge Sousa Pinto
HASLab / INESC TEC & Universidade do Minho
Verified email at di.uminho.pt
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
135*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
752013
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
472011
Sequential and concurrent abstract machines for interaction nets
JS Pinto
International Conference on Foundations of Software Science and Computation …, 2000
452000
Ecological effects of basic income
MW Howard, J Pinto, U Schachtschneider
The Palgrave international handbook of basic income, 151-174, 2023
392023
Assertion-based slicing and slice graphs
JB Barros, D Da Cruz, PR Henriques, JS Pinto
Formal Aspects of Computing 24, 217-248, 2012
292012
Encoding linear logic with interaction combinators
I Mackie, JS Pinto
Information and Computation 176 (2), 153-186, 2002
272002
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
262001
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
222005
Parallel evaluation of interaction nets with mpine
JS Pinto
International Conference on Rewriting Techniques and Applications, 353-356, 2001
202001
Freedom and ecological limits
J Pinto
Green Politics and Civic Republicanism, 10-26, 2022
192022
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
182015
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6, 203-218, 2010
182010
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
182010
Point-free program transformation
A Cunha, JS Pinto
Fundamenta Informaticae 66 (4), 315-352, 2005
172005
Code analysis: Past and present
D Cruz, PR Henriques, JS Pinto
162009
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
152014
A tool for programming with interaction nets
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 219, 83-96, 2008
152008
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
142009
The system can't perform the operation now. Try again later.
Articles 1–20