Paulo Veríssimo

Paulo Jorge Esteves Veríssimo

	2009
90		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009: 63-77
89		Paulo 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
88		João Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE 2008: 87-96
87		Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44
86		Antonio Casimiro, Paolo Lollini, M. Dixit, Andrea Bondavalli, Paulo Veríssimo: A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196
85		Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Veríssimo: Information Assurance Technology Forecast 2008. IEEE Security & Privacy 6(1): 16-23 (2008)
84		Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: The Crutial Way of Critical Infrastructure Protection. IEEE Security & Privacy 6(6): 44-51 (2008)
83		Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo: On Byzantine generals with alternative plans. J. Parallel Distrib. Comput. 68(9): 1291-1296 (2008)
	2007
82		Alysson 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
81		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
80		Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
79		Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC 2007: 401-404
78		Hugo Ortiz, Antonio Casimiro, Paulo Veríssimo: Architecture and Implementation of an Embedded Wormhole. SIES 2007: 341-344
77		Paulo 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
76		Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo: Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS 2007: 78-100
75		Gunjan 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)
74		Miguel 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
73		Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
72		Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
71		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
70		José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz: Integrating Inaccessibility Control and Timer Management in CANELy. ETFA 2006: 348-355
69		Paulo Veríssimo: Thou Shalt Not Trust non-Trustworthy Systems. ICDCS Workshops 2006
68		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Proactive resilience through architectural hybridization. SAC 2006: 686-690
67		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
66		Paulo 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
65		Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo: Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS 2006: 287-315
64		Miguel 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)
63		Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch: Intrusion-tolerant middleware: the road to automatic security. IEEE Security & Privacy 4(4): 54-62 (2006)
62		Jean 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)
61		Paulo Veríssimo: Travelling through wormholes: a new look at distributed systems models. SIGACT News 37(1): 66-81 (2006)
	2005
60		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN 2005: 98-107
59		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Resilient State Machine Replication. PRDC 2005: 305-309
58		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: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
57		Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
56		Pedro 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)
55		Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
	2004
54		Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo: An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers 2004: 28-39
53		Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio Casimiro, Paulo Veríssimo: Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN 2004: 567-
52		Miguel 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
50		José Rufino, Paulo Veríssimo, Guilherme Arroz: Node Failure Detection and Membership in CANELy. DSN 2003: 331-340
49		Paulo Veríssimo: Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing 2003: 108-113
48		Paulo Veríssimo: Trustworthiness of Open Information Systems: How Should It Be Achieved? SRDS 2003: 315-
47		Paulo Veríssimo, Antonio Casimiro: Event-Driven Support of Real-Time Sentient Objects. WORDS 2003: 2-9
	2002
46		Antonio Casimiro, Paulo Veríssimo: Generic Timing Fault Tolerance using a Timely Computing Base. DSN 2002: 27-38
45		Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
44		Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
43		Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
42		Paulo Veríssimo, Antonio Casimiro: The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51(8): 916-930 (2002)
	2001
41		Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24
40		Antonio Casimiro, Pedro Martins, Luís Rodrigues, Paulo Veríssimo: Measuring Distributed Durations with Stable Error. IEEE Real-Time Systems Symposium 2001: 310-
39		Antonio Casimiro, Paulo Veríssimo: Using the Timely Computing Base for Dependable QoS Adaptation. SRDS 2001: 208-217
38		Achour 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
37		Paulo Veríssimo, Antonio Casimiro, Christof Fetzer: he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN 2000: 533-542
36		Luí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
35		Paulo Veríssimo, Michel Raynal: Time in Distributed System Models and Algorithms. Advances in Distributed Systems 1999: 1-32
34		Luís Rodrigues, Paulo Veríssimo: Topology-Aware Algorithms for Large-Scale Communication. Advances in Distributed Systems 1999: 127-156
33		François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt: Support for Distributed CSCW Applications. Advances in Distributed Systems 1999: 295-326
32		José Rufino, Paulo Veríssimo, Guilherme Arroz: A Columbus' Egg Idea for CAN Media Redundancy. FTCS 1999: 286-293
31		José Rufino, Guilherme Arroz, Paulo Veríssimo: Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. ISORC 1999: 147-
30		Achour 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
28		Carlos 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
26		Paulo 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
24		Idalina 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
19		François J. N. Cosquer, Paulo Veríssimo: The impact of group communication paradigms on groupware support. FTDCS 1995: 207-215
18		Luí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
10		Paulo Veríssimo, Luís Rodrigues: Group orientation: a paradigm for modern distributed systems. ACM SIGOPS European Workshop 1992
9		Werner 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
5		Paulo 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
1		Paulo Veríssimo, Luís Rodrigues, M. Baptista: AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM 1989: 83-93

Coauthor Index

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

Colors in the list of coauthors