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 1-20 de um total de 77 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
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
Mostrar 1-20 de um total de 77 resultados.  próximo >