Folgen
Jorge Sousa Pinto
Jorge Sousa Pinto
HASLab / INESC TEC & Universidade do Minho
Bestätigte E-Mail-Adresse bei di.uminho.pt
Titel
Zitiert von
Zitiert von
Jahr
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM De Sousa
Springer, 2011
117*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
642013
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
452011
Sequential and concurrent abstract machines for interaction nets
JS Pinto
International Conference on Foundations of Software Science and Computation …, 2000
452000
Assertion-based slicing and slice graphs
JB Barros, D Da Cruz, PR Henriques, JS Pinto
Formal Aspects of Computing 24 (2), 217-248, 2012
292012
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
282001
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
25*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
232018
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
232005
Parallel evaluation of interaction nets with mpine
JS Pinto
International Conference on Rewriting Techniques and Applications, 353-356, 2001
202001
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
182005
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
172015
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6 (3), 203-218, 2010
162010
Code analysis: Past and present
D Cruz, PR Henriques, JS Pinto
152009
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
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
142014
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
132009
Using Internet technology for course support
JE Pina Miranda, JS Pinto
ACM SIGCUE Outlook 24 (1-3), 96-100, 1996
131996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20