D Kreutz, FMV Ramos, PE Verissimo, CE Rothenberg, S Azodolmolky, ...

Proceedings of the IEEE 103 (1), 14-76, 2014

D Kreutz, FMV Ramos, P Verissimo

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013

P Verissimo, L Rodrigues

Springer Science & Business Media, 2001

D Powell, G Bonn, DT Seaton, P Verissimo, F Waeselynck

FTCS 18, 1988

P Veríssimo, N Neves, M Correia

Architecting Dependable Systems, 3-36, 2003

GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo

IEEE Transactions on Computers 62 (1), 16-30, 2011

P Veríssimo, A Casimiro

Computers, IEEE Transactions on 51 (8), 916-930, 2002

J Rufino, P Verissimo, G Arroz, C Almeida, L Rodrigues

Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual …, 1998

P Verissimo, L Rodrigues, A Casimiro

Real-Time Systems 12 (3), 243-294, 1997

PA Barret, AM Hilborne, PG Bond, DT Seaton, P Veríssimo, L Rodrigues, ...

Digest of Papers. Fault-Tolerant Computing: 20th International Symposium …, 1990

M Correia, NF Neves, P Verissimo

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004

P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo

IEEE Transactions on Parallel and Distributed Systems 21 (4), 452-465, 2009

PE Veríssimo

ACM SIGACT News 37 (1), 66-81, 2006

H Kopetz, P Verissimo

Distributed systems (2nd Ed.), 411-446, 1993

L Rodrigues, P Verissimo

Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on, 112-121, 1992

M Correia, NF Neves, P Veríssimo

The Computer Journal 49 (1), 82-96, 2006

A Bessani, R Mendes, T Oliveira, N Neves, M Correia, M Pasin, ...

2014 {USENIX} Annual Technical Conference ({USENIX}{ATC} 14), 169-180, 2014

P Verissimo, L Rodrigues, M Baptista

Symposium proceedings on Communications architectures & protocols, 83-93, 1989

P Verissimo, A Casimiro, C Fetzer

Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000

M Correia, P Verissimo, N Neves

Dependable Computing EDCC-4, 634-638, 2002