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 44-63 de um total de 77 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2015Studying verification conditions for imperative programsLourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin, et al.ArtigoAcesso aberto
2020Testing for race conditions in distributed systems via smt solvingPereira, João Carlos; Machado, Nuno; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008A tool for programming with interaction netsAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.Artigo em ata de conferênciaAcesso aberto
2012Towards specification and verification frameworks for concurrent real-time systemsPereira, David; Pedro, André Matos; Pinho, Luís Miguel, et al.Palestra Acesso aberto
12-Ago-2022A tribute to José Manuel ValençaOliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al.Editorial em revistaAcesso restrito UMinho
Mostrar 44-63 de um total de 77 resultados. < anterior   próximo >