Skip navigation
Página principal
Percorrer:
Comunidades
& Colecções
Percorrer Itens por:
Data de publicação
Autor
Orientador
Título
Assunto
Tipo de Documento
Tipo de Acesso
Índice de Autoridade
Ajuda
Idioma
português
english
Entrar:
Área Pessoal
Serviço de alertas
Editar conta
Repositório da Universidade de Lisboa
Percorrer por autor Paulo Veríssimo
Í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
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
5
10
15
20
25
30
35
40
45
50
Mostrar resultados 1-20 de 80.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
2004
An Architectural Framework and a Middleware for Cooperating Smart Components
António Casimiro
;
J. Kaiser
;
Paulo Veríssimo
article
2003
An architecture to support interaction via Generic Events
Paulo Veríssimo
;
Jorg Kaiser
;
António Casimiro
article
2008
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Alessandro Daidone
;
Silvano Chiaradonna
;
Andrea Bondavalli
;
Paulo Veríssimo
bookPart
2007
Architecture and Implementation of an Embedded Wormhole
Hugo Ortiz
;
António Casimiro
;
Paulo Veríssimo
article
2007
Assumptions: The Trojan Horses of Secure Protocols
Paulo Veríssimo
bookPart
2007
Automated Rule-Based Diagnosis Through a Distributed Monitor System
Gunjan Khanna
;
Mike Yu Cheng
;
Padma Varadharajan
;
Saurabh Bagchi
;
Miguel Correia
;
Paulo Veríssimo
article
2004
Byzantine-Resistance Consensus based on a Novel Approach to Intrusion Tolerance
Miguel Correia
;
Nuno Ferreira Neves
;
Lau Lung
;
Paulo Veríssimo
article
2009
Cheap Intrusion-Tolerant Protection for CRUTIAL Things
Alysson Bessani
;
Paulo Sousa
;
Miguel Correia
;
Nuno Ferreira Neves
;
Paulo Veríssimo
article
2002
Complete Specification of APIs and Protocols for the MAFTIA Middleware
Nuno Ferreira Neves
;
Paulo Veríssimo
article
2003
Conceptual Model and Architecture of MAFTIA
A. Adelsbach
;
C. Cachin
;
S. Creese
;
Y. Deswarte
;
K. Kursawe
;
J.-C. Laprie
;
David Powell
;
B. Randell
;
J. Riodan
;
P. Ryan
;
W. Simmionds
;
Robert J. Stroud
;
Paulo Veríssimo
;
M. Waidner
;
A. Wespi
article
2003
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
Paulo Sousa
;
Pedro Martins
;
António Casimiro
;
Paulo Veríssimo
article
2004
Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões
Tiago Jorge
;
José Pascoal
;
Miguel Correia
;
Nuno Ferreira Neves
;
Paulo Veríssimo
article
2008
Critical Infrastructure Protection: the CRUTIAL Project
Miguel Correia
;
Alysson N. Bessani
;
Paulo Sousa
;
Nuno F. Neves
;
Paulo Veríssimo
article
2003
Definition of Application Scenarios
G. Biegel
;
G. Blair
;
V. Cahill
;
António Casimiro
;
K. Cheverst
;
R. Cunningham
;
A. Fitzpatrick
;
A. Friday
;
G. Gaertner
;
B. Hughes
;
J. Kaiser
;
R. Meier
;
N. Riejers
;
Paulo Veríssimo
article
2004
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
Pedro Martins
;
Paulo Sousa
;
António Casimiro
;
Paulo Veríssimo
article
2009
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
Paulo Veríssimo
;
Alysson Bessani
;
Miguel Correia
;
Nuno Ferreira Neves
;
Paulo Sousa
article
2005
Diagnóstico de Vulnerabilidades através da Injecção de Ataques
João Antunes
;
Nuno Ferreira Neves
;
Miguel Correia
;
Paulo Veríssimo
;
Rui Neves
article
2001
Distributed Systems for System Architects
Paulo Veríssimo
;
Luís Rodrigues
book
2000
A Dynamic Light- Weight Group Service
Luís Rodrigues
;
Katherine Guo
;
Paulo Veríssimo
;
Kenneth P. Birman
article
2002
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
Miguel Correia
;
Lau Lung
;
Nuno Ferreira Neves
;
Paulo Veríssimo
article