dblp.uni-trier.dewww.uni-trier.de

Paulo Veríssimo

Paulo Jorge Esteves Veríssimo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
86EEPaulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa: Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS 2009: 1-8
2008
85EEJoão Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE 2008: 87-96
84EEGiuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44
83EEAntonio Casimiro, Paolo Lollini, M. Dixit, Andrea Bondavalli, Paulo Veríssimo: A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196
82EEMiguel Correia, Alysson Neves Bessani, Paulo Veríssimo: On Byzantine generals with alternative plans. J. Parallel Distrib. Comput. 68(9): 1291-1296 (2008)
2007
81EEAlysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo: When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC 2007: 480-481
80EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
79EEPaulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
78EEGiuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC 2007: 401-404
77EEHugo Ortiz, Antonio Casimiro, Paulo Veríssimo: Architecture and Implementation of an Embedded Wormhole. SIES 2007: 341-344
76EEPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone: The CRUTIAL Architecture for Critical Information Infrastructures. WADS 2007: 1-27
75EEAlessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo: Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS 2007: 78-100
74EEGunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo: Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Sec. Comput. 4(4): 266-279 (2007)
73EEMiguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Worm-IT - A wormhole-based intrusion-tolerant group communication system. Journal of Systems and Software 80(2): 178-197 (2007)
2006
72EEPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
71EENuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
70EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
69EEJosé Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz: Integrating Inaccessibility Control and Timer Management in CANELy. ETFA 2006: 348-355
68EEPaulo Veríssimo: Thou Shalt Not Trust non-Trustworthy Systems. ICDCS Workshops 2006
67EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Proactive resilience through architectural hybridization. SAC 2006: 686-690
66EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
65EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders: Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS 2006: 71-82
64EEAntonio Casimiro, Jörg Kaiser, Paulo Veríssimo: Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS 2006: 287-315
63EEMiguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)
62EEJean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo: Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. IEEE Trans. Dependable Sec. Comput. 3(3): 169-171 (2006)
61EEPaulo Veríssimo: Travelling through wormholes: a new look at distributed systems models. SIGACT News 37(1): 66-81 (2006)
2005
60EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN 2005: 98-107
59EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Resilient State Machine Replication. PRDC 2005: 305-309
58EEPaul 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: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
57EEMiguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
56EEPedro Martins, Paulo Sousa, Antonio Casimiro, Paulo Veríssimo: A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Systems Online 6(5): (2005)
55EENuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
2004
54EEAntonio Casimiro, Jörg Kaiser, Paulo Veríssimo: An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers 2004: 28-39
53EEPedro Martins, Paulo Jorge Paiva de Sousa, Antonio Casimiro, Paulo Veríssimo: Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN 2004: 567-
52EEMiguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
51 Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo: Tolerating Intrusions in Grid Systems. Security and Management 2004: 207-220
2003
50EEJosé Rufino, Paulo Veríssimo, Guilherme Arroz: Node Failure Detection and Membership in CANELy. DSN 2003: 331-340
49EEPaulo Veríssimo: Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing 2003: 108-113
48EEPaulo Veríssimo: Trustworthiness of Open Information Systems: How Should It Be Achieved? SRDS 2003: 315-
47EEPaulo Veríssimo, Antonio Casimiro: Event-Driven Support of Real-Time Sentient Objects. WORDS 2003: 2-9
2002
46EEAntonio Casimiro, Paulo Veríssimo: Generic Timing Fault Tolerance using a Timely Computing Base. DSN 2002: 27-38
45EEMiguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
44EEMiguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
43EEPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
42EEPaulo Veríssimo, Antonio Casimiro: The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51(8): 916-930 (2002)
2001
41EEMiguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24
40EEAntonio Casimiro, Pedro Martins, Luís Rodrigues, Paulo Veríssimo: Measuring Distributed Durations with Stable Error. IEEE Real-Time Systems Symposium 2001: 310-
39EEAntonio Casimiro, Paulo Veríssimo: Using the Timely Computing Base for Dependable QoS Adaptation. SRDS 2001: 208-217
38EEAchour Mostéfaoui, Michel Raynal, Paulo Veríssimo: The logically instantaneous communication mode: a communication abstraction. Future Generation Comp. Syst. 17(6): 669-678 (2001)
2000
37EEPaulo Veríssimo, Antonio Casimiro, Christof Fetzer: he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN 2000: 533-542
36EELuís Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman: A Dynamic Light-Weight Group Service. J. Parallel Distrib. Comput. 60(12): 1449-1479 (2000)
1999
35EEPaulo Veríssimo, Michel Raynal: Time in Distributed System Models and Algorithms. Advances in Distributed Systems 1999: 1-32
34EELuís Rodrigues, Paulo Veríssimo: Topology-Aware Algorithms for Large-Scale Communication. Advances in Distributed Systems 1999: 127-156
33EEFrançois J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt: Support for Distributed CSCW Applications. Advances in Distributed Systems 1999: 295-326
32EEJosé Rufino, Paulo Veríssimo, Guilherme Arroz: A Columbus' Egg Idea for CAN Media Redundancy. FTCS 1999: 286-293
31EEJosé Rufino, Guilherme Arroz, Paulo Veríssimo: Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. ISORC 1999: 147-
30EEAchour Mostéfaoui, Michel Raynal, Paulo Veríssimo: Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT 1999: 258-270
1998
29 José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues: Fault-Tolerant Broadcasts in CAN. FTCS 1998: 150-159
28EECarlos Almeida, Paulo Veríssimo: Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. IEEE Real-Time Systems Symposium 1998: 430-439
1997
27 Paulo Veríssimo, José Rufino, Li Ming: How Hard is Hard Real-time Communication on Field-Buses?. FTCS 1997: 112-121
26EEPaulo Veríssimo: On the Role of Time in Distributed Systems. FTDCS 1997: 316-323
25 Paulo Veríssimo, Luís Rodrigues, Antonio Casimiro: CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real-Time Systems 12(3): 243-294 (1997)
1996
24EEIdalina Videira, Paulo Veríssimo, Helena Sarmento: Efficient Communication in a Design Environment. DAC 1996: 169-174
23 François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo: Enhancing Dependability of Cooperative Applications in Partitionable Environments. EDCC 1996: 335-352
22 Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo: Totally Ordered Multicast in Large-Scale Systems. ICDCS 1996: 503-510
21 Luís Rodrigues, Katherine Guo, Antonio Sargento, Robbert van Renesse, Bradford B. Glade, Paulo Veríssimo, Kenneth P. Birman: A Transparent Light-Weight Group Service. SRDS 1996: 130-139
20 Paulo Veríssimo: Causal Delivery Protocols in Real-time Systems: A Generic Model. Real-Time Systems 10(1): 45-73 (1996)
1995
19EEFrançois J. N. Cosquer, Paulo Veríssimo: The impact of group communication paradigms on groupware support. FTDCS 1995: 207-215
18EELuís Rodrigues, Henrique Fonseca, Paulo Veríssimo: Reliable Computing Over Mobile Networks. FTDCS 1995: 488-494
17 Luís Rodrigues, Paulo Veríssimo: Causal Separators for Large-Scale Multicast Communication. ICDCS 1995: 83-91
16 François J. N. Cosquer, Luís Rodrigues, Paulo Veríssimo: Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. Parallel and Distributed Computing and Systems 1995: 352-358
1994
15 Luís Rodrigues, Paulo Veríssimo: How to avoid cost of causal communication in large-scale Systems. ACM SIGOPS European Workshop 1994: 106-111
14 Luís Rodrigues, Ellen H. Siegel, Paulo Veríssimo: A Replication-Transparent Remote Invocation Protocol. SRDS 1994: 160-169
13 Paulo Veríssimo: Ordering and Timeliness Requirements of Dependable Real-Time Programs. Real-Time Systems 7(2): 105-128 (1994)
1993
12 Luís Rodrigues, Paulo Veríssimo, José Rufino: A Low-level Processor Group Membership Protocol for LANS. ICDCS 1993: 541-550
11 Paulo Veríssimo, Antonio Casimiro, Luís Rodrigues: Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS 1993: 115-124
1992
10EEPaulo Veríssimo, Luís Rodrigues: Group orientation: a paradigm for modern distributed systems. ACM SIGOPS European Workshop 1992
9EEWerner Vogels, Paulo Veríssimo, Luís Rodrigues: Requirements for high performance group support in distributed systems. ACM SIGOPS European Workshop 1992
8 Paulo Veríssimo, Luís Rodrigues: A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. FTCS 1992: 527-536
7 José Rufino, Paulo Veríssimo: A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. INFOCOM 1992: 958-967
6 Luís Rodrigues, Paulo Veríssimo: xAMp: A Multi-primitive Group Communications Service. SRDS 1992: 112-121
1990
5EEPaulo Veríssimo: Design of fault tolerant distributed systems: the fail-controlled approach. ACM SIGOPS European Workshop 1990
4 M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352
3 Paulo Veríssimo, José Alves Marques: Reliable Broadcast for Fault-Tolerance on Local Computer Networks. SRDS 1990: 54-63
2 Paulo Veríssimo: Real-Time Data Management with Clock-Less Reliable Broadcast Protocols. Workshop on the Management of Replicated Data 1990: 20-24
1989
1EEPaulo Veríssimo, Luís Rodrigues, M. Baptista: AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM 1989: 83-93

Coauthor Index

1Carlos Almeida [28] [29] [69]
2Luís Almeida [58]
3João Antunes [71] [85]
4Pedro Antunes [23]
5Jean Arlat [62]
6Guilherme Arroz [29] [31] [32] [50] [69]
7Saurabh Bagchi [74]
8M. Baptista [1] [4]
9Albert Benveniste [58]
10Alysson Neves Bessani [79] [81] [82] [86]
11Kenneth P. Birman (Ken Birman) [21] [36]
12Andrea Bondavalli [62] [75] [76] [83]
13Bruno Bouyssounouse [58]
14Giorgio C. Buttazzo [58]
15Antonio Casimiro [11] [25] [37] [39] [40] [42] [46] [47] [53] [54] [56] [64] [77] [80] [83]
16Paul Caspi [58]
17Mike Yu Cheng [74]
18Silvano Chiaradonna [75]
19Miguel Correia [41] [43] [44] [45] [52] [55] [57] [63] [66] [70] [71] [72] [73] [76] [78] [79] [80] [81] [82] [84] [86]
20Miguel P. Correia [74]
21François J. N. Cosquer [16] [19] [23] [33]
22Ivica Crnkovic [58]
23Alessandro Daidone [75] [76]
24Werner Damm [58]
25Loïc Decloedt [33]
26Yves Deswarte [76]
27M. Dixit [83]
28Jakob Engblom [58]
29Christof Fetzer [37]
30Gerhard Fohler [58]
31Henrique Fonseca [18] [22]
32Marisol García-Valls [58]
33Bradford B. Glade [21]
34Susanne Graf [4]
35Katherine Guo [21] [36]
36Boudewijn R. Haverkort [62]
37Jörg Kaiser [54] [64]
38Anas Abou El Kalam [76]
39Gunjan Khanna [74]
40Hermann Kopetz [58]
41Sacha Krakowiak [33]
42Yassine Lakhnech [58]
43François Laroussinie [58]
44Luciano Lavagno [58]
45Giuseppe Lipari [58]
46Paolo Lollini [83]
47Lau Cheuk Lung [44] [57] [73] [78] [84]
48Florence Maraninchi [58]
49José Alves Marques [3]
50Pedro Martins [40] [53] [56]
51Li Ming [27]
52Henrique Moniz [66] [70] [80] [81]
53Achour Mostéfaoui [30] [38]
54Nuno Ferreira Neves [41] [43] [44] [45] [51] [52] [55] [57] [59] [60] [63] [65] [66] [67] [70] [71] [72] [73] [76] [79] [80] [81] [85] [86]
55Rui Neves [71]
56Hugo Ortiz [77]
57Philipp Peti [58]
58Juan Antonio de la Puente [58]
59Michel Raynal [30] [35] [38]
60Robbert van Renesse [21]
61Jean-Luc Richier [4]
62Luís Rodrigues [1] [4] [6] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [21] [22] [25] [29] [34] [36] [40]
63Carlos Rodriguez [4]
64José Rufino [7] [12] [27] [29] [31] [32] [50] [69]
65William H. Sanders [65]
66Alberto L. Sangiovanni-Vincentelli [58]
67Luis Sardinha [51]
68Antonio Sargento [21]
69Helena Sarmento [24]
70Norman Scaife [58]
71Ellen H. Siegel [14]
72Joseph Sifakis [58]
73Robert de Simone [58]
74Paulo Sousa (Paulo Jorge Paiva de Sousa) [53] [56] [59] [60] [65] [67] [79] [86]
75Martin Törngren [58]
76Padma Varadharajan [74]
77Giuliana Santos Veronese [78] [84]
78Idalina Videira [24]
79Werner Vogels [9]
80Jacques Voiron [4]
81Andy J. Wellings [58]
82Reinhard Wilhelm [58]
83Tim A. C. Willemse [58]
84Wang Yi [58]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)