Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



41
TITLE: GamaSlicer: An online laboratory for program verification and analysis
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
42
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
43
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
44
TITLE: Safe Integration of Annotated Components in Open Source Projects  Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
45
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407
INDEXED IN: DBLP
IN MY: ORCID | DBLP
46
TITLE: Iterators, Recursors and Interaction Nets PDF
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3321
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
47
TITLE: Language Engineering and Rigorous Software Development
AUTHORS: Ana Bove; Luís Soares Barbosa ; Alberto Pardo; Jorge Sousa Pinto ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 3
IN MY: ORCID
48
49
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
50
TITLE: A Tool for Programming with Interaction Nets
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 5 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service