Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



91
TITLE: Detection and prediction of resource-exhaustion vulnerabilities
AUTHORS: Antunes, J; Neves, NF ; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 19th International Symposium on Software Reliability Engineering, ISSRE 2008 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP
92
TITLE: Development of generic multibody road vehicle models for crashworthiness  Full Text
AUTHORS: Luis Sousa ; Paulo Verissimo ; Jorge Ambrosio ;
PUBLISHED: 2008, SOURCE: 3rd European Conference on Computational Mechanics in MULTIBODY SYSTEM DYNAMICS, VOLUME: 19, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
93
TITLE: Finite memory: A vulnerability of intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lau, CL; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 in Proceedings of the 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
94
TITLE: Information assurance technology forecast 2008  Full Text
AUTHORS: Steven M Bellovin; Terry V Benzel; Bob Blakley; Dorothy E Denning; Whitfield Diffie; Jeremy Epstein; Paulo Verissimo ;
PUBLISHED: 2008, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 6, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
95
TITLE: On Byzantine generals with alternative plans  Full Text
AUTHORS: Miguel Correia ; Alysson Neves Bessani ; Paulo Verissimo ;
PUBLISHED: 2008, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 68, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
96
TITLE: The CRUTIAL architecture for critical information infrastructures
AUTHORS: Verissimo, P ; Neves, NF ; Correia, M ; Deswarte, Y; El Kalam, AA; Bondavalli, A; Daidone, A;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5135 LNCS
INDEXED IN: Scopus
IN MY: ORCID
97
TITLE: The CRUTIAL reference critical information infrastructure architecture: a blueprint
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2008, SOURCE: Int. J. Syst. Syst. Eng., VOLUME: 1, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
98
TITLE: The CRUTIAL reference critical information infrastructure architecture: A blueprint
AUTHORS: Verissimo, P ; Neves, NF ; Correia, M ;
PUBLISHED: 2008, SOURCE: International Journal of System of Systems Engineering, VOLUME: 1, ISSUE: 1-2
INDEXED IN: Scopus CrossRef: 16
IN MY: ORCID
99
TITLE: The Crutial Way of Critical Infrastructure Protection  Full Text
AUTHORS: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2008, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 6, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 53
IN MY: DBLP
100
TITLE: Arcitecture and implementation of an embedded wormhole
AUTHORS: Hugo Ortiz; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 10 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