Jorge Sousa Pinto
Jorge Sousa Pinto
HASLab / INESC TEC & Universidade do Minho
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM De Sousa
Springer, 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
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
Sequential and concurrent abstract machines for interaction nets
JS Pinto
International Conference on Foundations of Software Science and Computation …, 2000
Assertion-based slicing and slice graphs
JB Barros, D Da Cruz, PR Henriques, JS Pinto
Formal Aspects of Computing 24 (2), 217-248, 2012
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
Encoding linear logic with interaction combinators
I Mackie, JS Pinto
Information and Computation 176 (2), 153-186, 2002
Parallel implementation with linear logic (applications of interaction nets and of the geometry of interaction)
JS Pinto
PhD thesis, École Polytechnique, 2001
Métodos para estimação de reprodutividade de medidas
JS Pinto, JM Lopes, JV Oliveira, JP Amaro, LD Costa
Índices: Estatística Kappa [acesso 20/12/2005]. Disponível em: http://users …, 2018
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
Parallel evaluation of interaction nets with mpine
JS Pinto
International Conference on Rewriting Techniques and Applications, 353-356, 2001
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
Point-free program transformation
A Cunha, JS Pinto
Fundamenta Informaticae 66 (4), 315-352, 2005
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
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6 (3), 203-218, 2010
Code analysis: Past and present
D Cruz, PR Henriques, JS Pinto
A tool for programming with interaction nets
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 219, 83-96, 2008
Formal Verification of kLIBC with the WP Frama-C Plug-in
N Carvalho, C Silva Sousa, JS Pinto, A Tomb
NASA Formal Methods Symposium, 343-358, 2014
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
Using Internet technology for course support
JE Pina Miranda, JS Pinto
ACM SIGCUE Outlook 24 (1-3), 96-100, 1996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20