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 5-24 de um total de 77 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArtigoAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2009Code analysis: past and presentCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2001Combining interaction nets with externally defined programsFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2008A comparative study of verification condition generatorsFialho, Diogo; Pinto, Jorge SousaOutroAcesso aberto
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.Artigo em ata de conferênciaAcesso aberto
2010Contract-based slicingCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010Contract-based slicing helps on safety reuseAreias, Sérgio; Cruz, Daniela da; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Mai-2021A deductive reasoning approach for database applications using verification conditionsAlam, Imran; Halder, Raju; Pinto, Jorge SousaArtigoAcesso restrito UMinho
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArtigoAcesso aberto
2010A deductive verification platform for cryptographic softwareBarbosa, Manuel; Pinto, Jorge Sousa; Filliâtre, Jean-Christophe, et al.ArtigoAcesso aberto
Jun-2005Down with variablesCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaRelatórioAcesso aberto
Ago-2002Encoding linear logic with interaction combinatorsMackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.Resumo em ata de conferência Acesso aberto
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
Mostrar 5-24 de um total de 77 resultados. < anterior   próximo >