Browsing by author 1936

Jump to: 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

or enter first few letters:  

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