Percorrer por autor 1936 Subscrever estatísticas do autor Autor

Í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 36-55 de um total de 77 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
1-Jan-2018K-Taint: an executable rewriting logic semantics for taint analysis in the K frameworkAlam, Md. Imran; Halder, Raju; Goswami, Harshita, et al.Artigo em ata de conferênciaAcesso aberto
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de, et al.Poster em conferênciaAcesso aberto
2006A local graph-rewriting system for deciding equality in sum-product theoriesPinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2015Logic-based schedulability analysis for compositional hard real-time embedded systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.ArtigoAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.Artigo em ata de conferênciaAcesso aberto
2001Parallel evaluation of interaction nets with MPINEPinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2001Parallel implementation models for the lambda-calculus using the geometry of interactionPinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2005Point-free program transformationCunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2008Properties preservation during transformationCruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
Dez-2020Real-time MTL with durations as SMT with applications to schedulability analysisPedro, André de Matos; Leucker, Martin; Pereira, David, et al.Artigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2018Runtime verification of autopilot systems using a fragment of MTL-∫Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David, et al.ArtigoAcesso restrito UMinho
2010Safe integration of annotated components in open source projectsAreias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
2017SMT-based schedulability analysis using RMTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.ArtigoAcesso restrito UMinho
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.Resumo em ata de conferência Acesso aberto
Mostrar 36-55 de um total de 77 resultados. < anterior   próximo >