Percorrer por revistas 79298

Í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 25 resultados.  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
Jun-2020A component-based framework for certification of components in a cloud of HPC servicesde Oliveira Dantas, Allberson Bruno; de Carvalho Junior, Francisco Heron; Barbosa, L. S.ArtigoAcesso aberto
2014A compositional model to reason about end-to-end QoS in stochastic reo connectorsArbab, Farhad; Moon, Young-Joo; Silva, Alexandra M., et al.ArtigoAcesso aberto
2016Embedding attribute grammars and their extensions using functional zippersMartins, Pedro; Fernandes, João Paulo; Saraiva, João, et al.ArtigoAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArtigoAcesso restrito UMinho
2014Formal aspects of component software (FACS 2010 selected and extended papers)Barbosa, L. S.; Lumpe, MarkusEditorial em revistaAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al.ArtigoAcesso 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
2019Memoized zipper-based attribute grammars and their higher order extensionFernandes, João Paulo; Martins, Pedro; Pardo, Alberto, et al.ArtigoAcesso aberto
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArtigoAcesso aberto
2016Multiple intermediate structure deforestation by shortcut fusionPardo, Alberto; Fernandes, João Paulo; Saraiva, JoãoArtigoAcesso aberto
2011On Euclid's algorithm and elementary number theoryFerreira, João Fernando; Backhouse, RolandArtigoAcesso aberto
Fev-2015A perspective on architectural re-engineeringBarbosa, L. S.; Sanchez, Alejandro; Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
2009A perspective on service orchestrationBarbosa, Marco António; Barbosa, L. S.ArtigoAcesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArtigoAcesso aberto
2021Ranking programming languages by energy efficiencyPereira, Rui Alexandre Afonso; Couto, Marco; Ribeiro, Francisco, et al.ArtigoAcesso aberto
2014Selected and extended papers of the Brazilian Symposium on Programming Languages 2012Junior, Francisco Heron Carvalho; Barbosa, L. S.Editorial em revistaAcesso aberto
2014Selected contributions from the Open Source Software Certification (OpenCert) WorkshopsBarbosa, L. S.; Shaikh, Siraj AhmedEditorial em revistaAcesso aberto
Mostrar 1-20 de um total de 25 resultados.  próximo >