Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service