Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo 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
2017Towards Systematic Spreadsheet Construction ProcessesMendes, Jorge; Cunha, Jácome Miguel Costa; Duarte, Francisco; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2017Products go green: worst-case energy consumption in software product linesCouto, Marco Domingos Mendes; Borba, Paulo; Cunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Pereira, Rui; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2018Towards a simulation-based medical education platform for PVSio-webSilva, Carlos César Loureiro; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2018The MAL Interactors Animator: Supporting model validation through animationCampos, José C.; Sousa, NunoArtigo em ata de conferênciaAcesso aberto
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, BernardoArtigo em ata de conferênciaAcesso aberto
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2018K-Taint: an executable rewriting logic semantics for taint analysis in the K frameworkAlam, Md. Imran; Halder, Raju; Goswami, Harshita; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
31-40 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir