Percorrer por autor 1936

Í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 67 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaconferencePaperopenAccess
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.conferencePaperopenAccess
2012Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.articleopenAccess
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaconferencePaperopenAccess
2014CAOVerif : an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.articleopenAccess
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 SousaconferencePaperopenAccess
2009Code analysis: past and presentCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperopenAccess
2001Combining interaction nets with externally defined programsFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaconferencePaperopenAccess
2008A comparative study of verification condition generatorsFialho, Diogo; Pinto, Jorge SousaotheropenAccess
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.conferencePaperopenAccess
2010Contract-based slicingCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperopenAccess
2010Contract-based slicing helps on safety reuseAreias, Sérgio; Cruz, Daniela da; Pinto, Jorge SousaconferencePaperopenAccess
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess
2010A deductive verification platform for cryptographic softwareBarbosa, Manuel; Pinto, Jorge Sousa; Filliâtre, Jean-Christophe, et al.articleopenAccess
Jun-2005Down with variablesCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivareportopenAccess
Ago-2002Encoding linear logic with interaction combinatorsMackie, Ian; Pinto, Jorge SousaarticleopenAccess
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.conferenceAbstractopenAccess
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa, et al.conferencePaperopenAccess
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess