ProfileOfResearchers

IN MY:

ORCID |

TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 4

IN MY:

ORCID |

TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454

INDEXED IN:

Scopus

WOS

DBLP

Handle

IN MY:

ORCID |

TITLE: Formal verification of side-channel countermeasures using self-composition Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 28

IN MY:

ORCID |

TITLE: Interactive Verification of Safety-Critical Software Full Text
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Towards a mostly-automated prover for bit-vector arithmetic
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

TITLE: An approach to model checking Ada programs
AUTHORS: Faria, JM; Martins, J; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7308 LNCS

INDEXED IN:

Scopus

DBLP

CrossRef: 1

IN MY:

ORCID |

TITLE: Assertion-based slicing and slice graphs Full Text
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 6

IN MY:

ORCID |

TITLE: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
AUTHORS: Günter Kniesel; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: RULE, VOLUME: 290

INDEXED IN:

DBLP

IN MY:

ORCID |

TITLE: Preface
AUTHORS: Kniesel, G; Pinto, JS ;
PUBLISHED: 2012, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 290

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |