Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
17-Jul-2016Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso 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
2015Automatic distinction of Fernando Pessoas’ heteronymsTeixeira, João F.; Couto, MarcoArtigo em ata de conferênciaAcesso restrito UMinho
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2014How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structureBonchi, Filippo; Milius, Stefan; Silva, Alexandra M.; Zanasi, FabioArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Refactoring smelly spreadsheet modelsMartins, Pedro Miguel Ribeiro; Pereira, RuiArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir