Percorrer por autor 1936 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 19-38 de um total de 77 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArtigoAcesso aberto
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArtigoAcesso aberto
Set-2016Formal verification with Frama-C: a case study in the space software domainSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.ArtigoAcesso restrito UMinho
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2006A framework for point-free program transformationCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaArtigo em ata de conferênciaAcesso aberto
Mai-2005Functional programming and program transformation with interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelRelatórioAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2011GammaPolarSlicerAreias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019A generalized program verification workflow based on loop elimination and SA formBelo Lourenco, Claudio; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Generalizing Hylo-shiftPinto, Jorge SousaRelatórioAcesso aberto
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
2007A higher-order calculus for graph transformationFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
2009Iterators and interactionMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
1-Jan-2018K-Taint: an executable rewriting logic semantics for taint analysis in the K frameworkAlam, Md. Imran; Halder, Raju; Goswami, Harshita, et al.Artigo em ata de conferênciaAcesso aberto
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de, et al.Poster em conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
Mostrar 19-38 de um total de 77 resultados. < anterior   próximo >