Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 205



121
TITLE: A New Programming Model for Dependable Adaptive Real-Time Applications
AUTHORS: Pedro Martins; Paulo Sousa; António Casimiro ; Paulo Veríssimo ;
PUBLISHED: 2005, SOURCE: IEEE Distributed Syst. Online, VOLUME: 6, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 3
122
TITLE: Guidelines for a graduate curriculum on embedded software and systems
AUTHORS: 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; ...More
PUBLISHED: 2005, SOURCE: ACM Trans. Embed. Comput. Syst., VOLUME: 4, ISSUE: 3
INDEXED IN: DBLP CrossRef: 51
123
TITLE: How resilient are distributed <i>f</i> fault/intrusion-tolerant systems?
AUTHORS: Sousa, P; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: International Conference on Dependable Systems and Networks in 2005 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 25
124
TITLE: Low complexity Byzantine-resilient consensus
AUTHORS: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 34
125
TITLE: Resilient state machine replication
AUTHORS: Sousa, P; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: 11th Pacific Rim International Symposium on Dependable Computing in 11TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 2005
INDEXED IN: Scopus WOS DBLP CrossRef: 2
126
TITLE: Solving vector consensus with a wormhole
AUTHORS: Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 33
127
TITLE: An architectural framework and a middleware for cooperating smart components
AUTHORS: António Casimiro ; Jörg Kaiser; Paulo Veríssimo ;
PUBLISHED: 2004, SOURCE: Conf. Computing Frontiers
INDEXED IN: Scopus DBLP CrossRef: 4
128
TITLE: Dependable adaptive real-time applications in wormhole-based systems
AUTHORS: Martins, P; Sousa, P; Casimiro, A ; Veríssimo, P ;
PUBLISHED: 2004, SOURCE: International Conference on Dependable Systems and Networks in 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 3
129
TITLE: How to tolerate half less one Byzantine nodes in practical distributed systems
AUTHORS: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2004, SOURCE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 68
130
TITLE: Tolerating intrusions in grid systems
AUTHORS: Sardinha, L; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2004, SOURCE: International Conference on Security and Management in SAM '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT
INDEXED IN: Scopus WOS DBLP
Page 13 of 21. Total results: 205.

footer slogan

Useful Links

Get Help

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