Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
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:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 36-55 de um total de 77 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
1-Jan-2018
K-Taint: an executable rewriting logic semantics for taint analysis in the K framework
Alam, Md. Imran
;
Halder, Raju
;
Goswami, Harshita
, et al.
Artigo em ata de conferência
Acesso aberto
2006
Lissom, a source level proof carrying code platform
Gomes, João
;
Martins, Daniel
;
Sousa, Simão Melo de
, et al.
Poster em conferência
Acesso aberto
2007
A local graph-rewriting system for deciding equality in sum-product theories
Almeida, José Bacelar
;
Pinto, Jorge Sousa
;
Vilaça, Miguel
Artigo
Acesso aberto
2006
A local graph-rewriting system for deciding equality in sum-product theories
Pinto, Jorge Sousa
;
Almeida, José Bacelar
;
Vilaça, Miguel
Artigo em ata de conferência
Acesso aberto
2015
Logic-based schedulability analysis for compositional hard real-time embedded systems
Pedro, André Matos
;
Pereira, David
;
Pinho, Luís Miguel
, et al.
Artigo
Acesso aberto
2004
Making the point-free calculus less pointless
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2010
Model-checking temporal properties of real-time HTL programs
Carvalho, André Ribeiro de
;
Carvalho, Joel
;
Pinto, Jorge Sousa
, et al.
Artigo em ata de conferência
Acesso aberto
Set-2015
Monitoring for a decidable fragment of MTL-∫
Pedro, André Matos
;
Pereira, David
;
Pinho, Luís Miguel
, et al.
Artigo em ata de conferência
Acesso aberto
2001
Parallel evaluation of interaction nets with MPINE
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2001
Parallel implementation models for the lambda-calculus using the geometry of interaction
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2004
Point-free program transformation
Cunha, Alcino
;
Pinto, Jorge Sousa
Relatório
Acesso aberto
2005
Point-free program transformation
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo
Acesso aberto
2010
Program verification in SPARK and ACSL : a comparative case study
Brito, Eduardo
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2008
Properties preservation during transformation
Cruz, Daniela da
;
Pinto, Jorge Sousa
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
Dez-2020
Real-time MTL with durations as SMT with applications to schedulability analysis
Pedro, André de Matos
;
Leucker, Martin
;
Pereira, David
, et al.
Artigo em ata de conferência
Acesso aberto
Mai-2005
Recursion patterns and time-analysis
Barbosa, Manuel
;
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo
Acesso aberto
2018
Runtime verification of autopilot systems using a fragment of MTL-∫
Matos Pedro, André
;
Pinto, Jorge Sousa
;
Pereira, David
, et al.
Artigo
Acesso restrito UMinho
2010
Safe integration of annotated components in open source projects
Areias, Sérgio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo
Acesso aberto
2017
SMT-based schedulability analysis using RMTL-∫
Pedro, André Matos
;
Pereira, David
;
Pinho, Luís Miguel
, et al.
Artigo
Acesso restrito UMinho
2013
SPARK-BMC: checking SPARK code for bugs
Lourenço, Cláudio
;
Miraldo, Victor Cacciari
;
Frade, M. J.
, et al.
Resumo em ata de conferência
Acesso aberto