Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 216



121
TÍTULO: Integrating inaccessibility control and timer management in CANELy
AUTORES: Rufino, J ; Verissimo, P ; Almeida, C; Arroz, G;
PUBLICAÇÃO: 2006, FONTE: 2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
122
TÍTULO: Intrusion-tolerant middleware - The road to automatic security  Full Text
AUTORES: Paulo E Verissimo ; Nuno F Neves ; Christian Cachin; Jonathan Poritz; David Powell; Yves Deswarte; Robert Stroud; Ian Welch;
PUBLICAÇÃO: 2006, FONTE: IEEE SECURITY & PRIVACY, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 46
NO MEU: ORCID | DBLP
123
TÍTULO: Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available  Full Text
AUTORES: Paulo Sousa; Nuno Ferreira Neves ; Paulo Verissimo ; William H Sanders;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
124
TÍTULO: Proactive resilience through architectural hybridization  Full Text
AUTORES: Sousa, P; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP
125
TÍTULO: Randomized intrusion-tolerant asynchronous services
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
126
TÍTULO: Thou shalt not trust non-trustworthy systems
AUTORES: Verissimo, PE ;
PUBLICAÇÃO: 2006, FONTE: 26th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS 2006 in Proceedings - International Conference on Distributed Computing Systems
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
127
TÍTULO: Travelling through wormholes: a new look at distributed systems models. a new look at distributed systems models  Full Text
AUTORES: Paulo Veríssimo ;
PUBLICAÇÃO: 2006, FONTE: SIGACT News, VOLUME: 37, NÚMERO: 1
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
128
TÍTULO: Using attack injection to discover new vulnerabilities
AUTORES: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID | DBLP
129
TÍTULO: A New Programming Model for Dependable Adaptive Real-Time Applications  Full Text
AUTORES: Pedro Martins; Paulo Sousa; Antonio Casimiro ; Paulo Veríssimo ;
PUBLICAÇÃO: 2005, FONTE: IEEE Distributed Systems Online, VOLUME: 6, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
130
TÍTULO: Guidelines for a graduate curriculum on embedded software and systems  Full Text
AUTORES: Paul Caspi; Alberto Sangiovanni S 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. Embedded Comput. Syst., VOLUME: 4, NÚMERO: 3
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
Página 13 de 22. Total de resultados: 216.

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

Links Úteis

Ajuda

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