Skip navigation
Portal do Governo Brasileiro
Atualize sua Barra de Governo
Apresentação
Comunidades e coleções
Política
Instruções aos autores
Ajuda
Entrar em:
Meu espaço
Receber atualizações
por e-mail
Editar perfil
Repositório Institucional da UFMG
Navegando por Orientador Fernando Magno Quintão Pereira
Ir para:
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 entre com as primeiras letras:
Classificar por:
Título
Data do documento
Data de depósito
Tipo
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
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 8 de 8
Data do documento
Título
Autor(es)
Tipo
15-Out-2021
Automatic inspection of program state in an uncooperative environment
José Wesley de Souza Magalhães
Dissertação
28-Fev-2020
Autoparbench: a framework for parallel code verification
Gleison Souza Diniz Mendonça
Dissertação
30-Nov-2017
Execução de funções parciais em linguagem de programação C
Marcus Rodrigues de Araújo
Dissertação
3-Mar-2022
Memory-safe elimination of side channels
Luigi Domenico Cecchini Soares
Dissertação
5-Nov-2020
Practical dynamic reconstruction of control flow graphs
Andrei Rimsa Álvares
Tese
17-Jul-2020
Protections against attacks based on return-oriented programming
Mateus Felipe Tymburibá Ferreira
Tese
3-Out-2019
Semiring optimization: dynamic elision of expressions with identity and absorbing elements
Guilherme Vieira Leobas
Dissertação
24-Mai-2019
Type inference for C: applications to the analysis of incomplete programs
Leandro Terra Cunha Melo
Tese