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 assunto Formal verification
Í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 10-29 de um total de 36 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
15-Dez-2023
Deteção de conflitos em programas de home automation
Veloso, Pedro Miguel Dias
Dissertação de mestrado
Acesso aberto
2014
Development of dependable controllers in the context of machines design
Machado, José Mendes
;
Campos, J. Creissac
Artigo em ata de conferência
Acesso aberto
2013
Experimenting with predicate abstraction
Miraldo, Victor Cacciari
;
Frade, M. J.
;
Lourenço, Cláudio
, et al.
Resumo em ata de conferência
Acesso aberto
2010
A formal approach for safe controllers analysis
Borges, Paulo
;
Machado, José Mendes
;
Seabra, Eurico
, et al.
Artigo em ata de conferência
Acesso aberto
1-Fev-2022
A formal treatment of the role of verified compilers in secure computation
Almeida, José Bacelar
;
Barbosa, Manuel
;
Barthe, Gilles
, et al.
Artigo
Acesso aberto
Out-2017
Formal verification considering a systematic modeling approach for function blocks
Machado, José
;
Galvão, Joel Maurício Rocha
;
Fernandes, Alexandre
Artigo
Acesso restrito autor
Abr-2016
Formal verification of a space system's user Interface with the IVY workbench
Campos, José C.
;
Sousa, Manuel
;
Alves, Miriam C. Bergue
, et al.
Artigo
Acesso aberto
2019
Formal verification of interactive computing systems: Opportunities and challenges
Campos, José C.
;
Harrison, Michael douglas
Artigo em ata de conferência
Acesso aberto
Set-2016
Formal verification with Frama-C: a case study in the space software domain
Silva, Rovedy Aparecida Busquim e
;
Arai, Nanci Naomi
;
Burgareli, Luciana Akemi
, et al.
Artigo
Acesso restrito UMinho
5-Abr-2022
Formalization of deep learning techniques with the Why3 proof platform
Sousa, Márcio Alexandre Mota
Dissertação de mestrado
Acesso aberto
1997
Formally verifying interactive systems : a review
Campos, J. Creissac
;
Harrison, M. D.
Artigo em ata de conferência
Acesso aberto
2019
A generator of user interface prototypes for the IVY workbench
Araujo, Joao Miguel
;
Couto, Rui
;
Campos, José C.
Artigo em ata de conferência
Acesso aberto
7-Jun-2023
iQbricks: integration of a fully-featured quantum language in the framework Qbricks
Carneiro, Tomás Barros
Dissertação de mestrado
Acesso aberto
Nov-2021
Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head
Almeida, José Bacelar
;
Barbosa, Manuel
;
Correia, Manuel L.
, et al.
Artigo em ata de conferência
Acesso aberto
2004
Model of mechanism behavior for verification of PLC programs
Machado, José Mendes
;
Denis, Bruno
;
Lesage, Jean-Jacques
, et al.
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
2016
Modelling information resources and their salience in medical device design
Harrison, Michael douglas
;
Campos, José C.
;
Rukšenas, Rimvydas
, et al.
Artigo em ata de conferência
Acesso aberto
21-Dez-2022
A new models editor for the IVY Workbench
Mendes, Rui Filipe Moreira
Dissertação de mestrado
Acesso aberto
2013
Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?
Lobo, Edgar
;
Fertuzinhos, João
;
Mendonca, Joao Pedro
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2009
Pattern-based analysis of automated production systems
Campos, J. Creissac
;
Machado, José
Artigo em ata de conferência
Acesso aberto