Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 205



121
TÍTULO: A New Programming Model for Dependable Adaptive Real-Time Applications
AUTORES: Pedro Martins; Paulo Sousa; António Casimiro ; Paulo Veríssimo ;
PUBLICAÇÃO: 2005, FONTE: IEEE Distributed Syst. Online, VOLUME: 6, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 3
122
TÍTULO: Guidelines for a graduate curriculum on embedded software and systems
AUTORES: Paul Caspi; Alberto L Sangiovanni Vincentelli; Luís Almeida ; Albert Benveniste; Bruno Bouyssounouse; Giorgio C Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García Valls; Hermann Kopetz; Yassine Lakhnech; François Laroussinie; Luciano Lavagno; Giuseppe Lipari; Florence Maraninchi; Philipp Peti; Juan Antonio de la Puente; Norman Scaife; Joseph Sifakis; Robert de Simone; Martin Törngren; Paulo Veríssimo ; Andy J Wellings; Reinhard Wilhelm; Tim A C Willemse; Wang Yi; ...Mais
PUBLICAÇÃO: 2005, FONTE: ACM Trans. Embed. Comput. Syst., VOLUME: 4, NÚMERO: 3
INDEXADO EM: DBLP CrossRef: 51
123
TÍTULO: How resilient are distributed <i>f</i> fault/intrusion-tolerant systems?
AUTORES: Sousa, P; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: International Conference on Dependable Systems and Networks in 2005 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
124
TÍTULO: Low complexity Byzantine-resilient consensus
AUTORES: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: DISTRIBUTED COMPUTING, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
125
TÍTULO: Resilient state machine replication
AUTORES: Sousa, P; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: 11th Pacific Rim International Symposium on Dependable Computing in 11TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
126
TÍTULO: Solving vector consensus with a wormhole
AUTORES: Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
127
TÍTULO: An architectural framework and a middleware for cooperating smart components
AUTORES: António Casimiro ; Jörg Kaiser; Paulo Veríssimo ;
PUBLICAÇÃO: 2004, FONTE: Conf. Computing Frontiers
INDEXADO EM: Scopus DBLP CrossRef: 4
128
TÍTULO: Dependable adaptive real-time applications in wormhole-based systems
AUTORES: Martins, P; Sousa, P; Casimiro, A ; Veríssimo, P ;
PUBLICAÇÃO: 2004, FONTE: International Conference on Dependable Systems and Networks in 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
129
TÍTULO: How to tolerate half less one Byzantine nodes in practical distributed systems
AUTORES: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 68
130
TÍTULO: Tolerating intrusions in grid systems
AUTORES: Sardinha, L; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2004, FONTE: International Conference on Security and Management in SAM '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT
INDEXADO EM: Scopus WOS DBLP
Página 13 de 21. Total de resultados: 205.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service