Paulo Veríssimo

130 papers A* 3A 17B 19C 8Misc 4Journal 34Unranked 43

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Exploring the Monero Peer-to-Peer Network. Financial Cryptography Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo
2019	J	`jnl`	Exploring the Monero Peer-to-Peer Network. IACR Cryptol. ePrint Arch. Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo
2016	J	`jnl`	JITeR: Just-in-time application-layer routing. Comput. Networks Alysson Bessani, Nuno Ferreira Neves, Paulo Veríssimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia
2015	—	`conf`	A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data. WPES@CCS Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Veríssimo
2015	—	`conf`	SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects. DSN Workshops Paulo Veríssimo
2014	—	`conf`	SCFS: A Shared Cloud-backed File System. USENIX ATC Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Veríssimo
2014	J	`jnl`	Software-Defined Networking: A Comprehensive Survey. CoRR Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig
2013	J	`jnl`	BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2013	J	`jnl`	Benchmarking some Portuguese S&T system research units CoRR Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Veríssimo
2013	J	`jnl`	Efficient Byzantine Fault-Tolerance. IEEE Trans. Computers Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Veríssimo
2013	A	`conf`	Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo
2013	A	`conf`	The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013. DSN Jogesh K. Muppala, Matti A. Hiltunen, Roy H. Campbell, Paulo Veríssimo
2013	—	`conf`	Towards secure and dependable software-defined networks. HotSDN Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo
2012	J	`jnl`	Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo
2012	J	`jnl`	Critical Utility Infrastructural Resilience CoRR Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
2012	B	`conf`	On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. SRDS Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Veríssimo
2012	J	`jnl`	Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281). Dagstuhl Reports Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Veríssimo, Michael Waidner
2012	—	`conf`	TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan
2012	—	`conf`	The TClouds architecture: Open and resilient cloud-of-clouds computing. DSN Workshops Paulo Veríssimo, Alysson Neves Bessani, Marcelo Pasin
2011	J	`jnl`	Byzantine consensus in asynchronous message-passing systems: a survey. Int. J. Crit. Comput. Based Syst. Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo
2011	—	`conf`	Enforcing Dependability and Timeliness in CANELy - Application to Spaceborne Data Communication Systems. PECCS José Rufino, Paulo Veríssimo, Ricardo Pinto, Carlos Almeida, Guilherme Arroz
2011	J	`jnl`	RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Secur. Comput. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2011	J	`jnl`	Randomization can be a healer: consensus with dynamic omission failures. Distributed Comput. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2011	—	`conf`	Recursive virtual machines for advanced security mechanisms. DSN Workshops Bernhard Kauer, Paulo Veríssimo, Alysson Neves Bessani
2011	—	`conf`	Reverse Engineering of Protocols from Network Traces. WCRE João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
2010	—	`conf`	Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. SEUS José Rufino, João Craveiro, Paulo Veríssimo
2010	J	`jnl`	Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distributed Syst. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2010	—	`ed.`	Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010 HotDep Paulo Veríssimo, Hakim Weatherspoon
2010	—	`conf`	RAVE: Replicated antivirus engine. DSN Workshops Carlos Silva, Paulo Sousa, Paulo Veríssimo
2010	—	`conf`	Security Made, Not Perfect, But Automatic (Transcript of Discussion). Security Protocols Workshop Paulo Veríssimo
2010	—	`conf`	Security Made, Not Perfect, But Automatic. Security Protocols Workshop Paulo Veríssimo
2010	J	`jnl`	Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
2009	—	`conf`	Applying Architectural Hybridization in Networked Embedded Systems. SEUS António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo
2009	B	`conf`	Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. WADS José Rufino, João Craveiro, Paulo Veríssimo
2009	—	`conf`	Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
2009	A	`conf`	Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2008	Misc	`conf`	A framework for dependable QoS adaptation in probabilistic environments. SAC António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo
2008	A	`conf`	Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
2008	B	`conf`	Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
2008	J	`jnl`	Information Assurance Technology Forecast 2008. IEEE Secur. Priv. Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Veríssimo
2008	J	`jnl`	On Byzantine generals with alternative plans. J. Parallel Distributed Comput. Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo
2008	J	`jnl`	The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. Syst. Syst. Eng. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2008	J	`jnl`	The Crutial Way of Critical Infrastructure Protection. IEEE Secur. Priv. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2007	B	`conf`	Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
2007	—	`conf`	Architecture and Implementation of an Embedded Wormhole. SIES Hugo Ortiz, António Casimiro, Paulo Veríssimo
2007	J	`jnl`	Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Secur. Comput. Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo
2007	C	`conf`	Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
2007	C	`conf`	On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
2007	C	`conf`	Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2007	B	`conf`	The CRUTIAL Architecture for Critical Information Infrastructures. WADS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
2007	A	`conf`	When 3 DISC Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
2007	J	`jnl`	Worm-IT - A wormhole-based intrusion-tolerant group communication system. J. Syst. Softw. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
2006	C	`conf`	CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2006	B	`conf`	Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2006	J	`jnl`	From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2006	B	`conf`	Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS António Casimiro, Jörg Kaiser, Paulo Veríssimo
2006	J	`jnl`	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 Secur. Comput. Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
2006	C	`conf`	Integrating Inaccessibility Control and Timer Management in CANELy. ETFA José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz
2006	J	`jnl`	Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch
2006	B	`conf`	Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
2006	Misc	`conf`	Proactive resilience through architectural hybridization. SAC Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
2006	A	`conf`	Randomized Intrusion-Tolerant Asynchronous Services. DSN Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2006	—	`conf`	Thou Shalt Not Trust non-Trustworthy Systems. ICDCS Workshops Paulo Veríssimo
2006	J	`jnl`	Travelling through wormholes: a new look at distributed systems models. SIGACT News Paulo Veríssimo
2006	A	`conf`	Using Attack Injection to Discover New Vulnerabilities. DSN Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
2005	J	`jnl`	A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 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
2005	A	`conf`	How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
2005	J	`jnl`	Low complexity Byzantine-resilient consensus. Distributed Comput. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
2005	C	`conf`	Resilient State Machine Replication. PRDC Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
2005	J	`jnl`	Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distributed Syst. Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2004	—	`conf`	An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers António Casimiro, Jörg Kaiser, Paulo Veríssimo
2004	A	`conf`	Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo
2004	B	`conf`	How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2004	—	`conf`	Tolerating Intrusions in Grid Systems. Security and Management Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo
2003	—	`conf`	Event-Driven Support of Real-Time Sentient Objects. WORDS Paulo Veríssimo, António Casimiro
2003	A	`conf`	Node Failure Detection and Membership in CANELy. DSN José Rufino, Paulo Veríssimo, Guilherme Arroz
2003	B	`conf`	Trustworthiness of Open Information Systems: How Should It Be Achieved? SRDS Paulo Veríssimo
2003	—	`conf`	Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing Paulo Veríssimo
2002	B	`conf`	Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
2002	A	`conf`	Generic Timing Fault Tolerance using a Timely Computing Base. DSN António Casimiro, Paulo Veríssimo
2002	B	`conf`	Intrusion-Tolerant Architectures: Concepts and Design. WADS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2002	Misc	`conf`	The Design of a COTSReal-Time Distributed Security Kernel. EDCC Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
2002	J	`jnl`	The Timely Computing Base Model and Architecture. IEEE Trans. Computers Paulo Veríssimo, António Casimiro
2001	—	`book`	Distributed systems for system architects. Paulo Veríssimo, Luís E. T. Rodrigues
2001	A	`conf`	Measuring Distributed Durations with Stable Error. RTSS António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo
2001	—	`conf`	The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
2001	J	`jnl`	The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
2001	B	`conf`	Using the Timely Computing Base for Dependable QoS Adaptation. SRDS António Casimiro, Paulo Veríssimo
2000	J	`jnl`	A Dynamic Light-Weight Group Service. J. Parallel Distributed Comput. Luís E. T. Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman
2000	A	`conf`	he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN Paulo Veríssimo, António Casimiro, Christof Fetzer
1999	—	`conf`	A Columbus' Egg Idea for CAN Media Redundancy. FTCS José Rufino, Paulo Veríssimo, Guilherme Arroz
1999	C	`conf`	Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. ISORC José Rufino, Guilherme Arroz, Paulo Veríssimo
1999	B	`conf`	Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
1999	—	`conf`	Support for Distributed CSCW Applications. Advances in Distributed Systems François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt
1999	—	`conf`	Time in Distributed System Models and Algorithms. Advances in Distributed Systems Paulo Veríssimo, Michel Raynal
1999	—	`conf`	Topology-Aware Algorithms for Large-Scale Communication. Advances in Distributed Systems Luís E. T. Rodrigues, Paulo Veríssimo
1998	—	`conf`	Fault-Tolerant Broadcasts in CAN. FTCS José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís E. T. Rodrigues
1998	—	`conf`	Hardware support for CAN fault-tolerant communication. ICECS José Rufino, Nuno Pedrosa, José Monteiro, Paulo Veríssimo, Guilherme Arroz
1998	A	`conf`	Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. RTSS Carlos Almeida, Paulo Veríssimo
1997	J	`jnl`	CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real Time Syst. Paulo Veríssimo, Luís E. T. Rodrigues, António Casimiro
1997	—	`conf`	How Hard is Hard Real-time Communication on Field-Buses?. FTCS Paulo Veríssimo, José Rufino, Li Ming
1997	—	`conf`	On the Role of Time in Distributed Systems. FTDCS Paulo Veríssimo
1996	B	`conf`	A Transparent Light-Weight Group Service. SRDS Luís E. T. Rodrigues, Katherine Guo, Antonio Sargento, Robbert van Renesse, Bradford B. Glade, Paulo Veríssimo, Kenneth P. Birman
1996	J	`jnl`	Causal Delivery Protocols in Real-time Systems: A Generic Model. Real Time Syst. Paulo Veríssimo
1996	A*	`conf`	Efficient Communication in a Design Environment. DAC Idalina Videira, Paulo Veríssimo, Helena Sarmento
1996	Misc	`conf`	Enhancing Dependability of Cooperative Applications in Partitionable Environments. EDCC François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo
1996	—	`conf`	Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems. RTS Carlos Almeida, Paulo Veríssimo
1996	A	`conf`	Totally Ordered Multicast in Large-Scale Systems. ICDCS Luís E. T. Rodrigues, Henrique Fonseca, Paulo Veríssimo
1995	A	`conf`	Causal Separators for Large-Scale Multicast Communication. ICDCS Luís E. T. Rodrigues, Paulo Veríssimo
1995	—	`conf`	Reliable Computing Over Mobile Networks. FTDCS Luís E. T. Rodrigues, Henrique Fonseca, Paulo Veríssimo
1995	—	`conf`	The impact of group communication paradigms on groupware support. FTDCS François J. N. Cosquer, Paulo Veríssimo
1995	—	`conf`	Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. Parallel and Distributed Computing and Systems François J. N. Cosquer, Luís E. T. Rodrigues, Paulo Veríssimo
1994	B	`conf`	A Replication-Transparent Remote Invocation Protocol. SRDS Luís E. T. Rodrigues, Ellen H. Siegel, Paulo Veríssimo
1994	—	`conf`	How to avoid cost of causal communication in large-scale Systems. ACM SIGOPS European Workshop Luís E. T. Rodrigues, Paulo Veríssimo
1994	J	`jnl`	Ordering and Timeliness Requirements of Dependable Real-Time Programs. Real Time Syst. Paulo Veríssimo
1993	A	`conf`	A Low-level Processor Group Membership Protocol for LANS. ICDCS Luís E. T. Rodrigues, Paulo Veríssimo, José Rufino
1993	B	`conf`	Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues
1992	—	`conf`	A FTCS Paulo Veríssimo, Luís E. T. Rodrigues
1992	A*	`conf`	A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. INFOCOM José Rufino, Paulo Veríssimo
1992	—	`conf`	Group orientation: a paradigm for modern distributed systems. ACM SIGOPS European Workshop Paulo Veríssimo, Luís E. T. Rodrigues
1992	—	`conf`	Requirements for high performance group support in distributed systems. ACM SIGOPS European Workshop Werner Vogels, Paulo Veríssimo, Luís E. T. Rodrigues
1992	B	`conf`	xAMp: A Multi-primitive Group Communications Service. SRDS Luís E. T. Rodrigues, Paulo Veríssimo
1990	—	`conf`	Design of fault tolerant distributed systems: the fail-controlled approach. ACM SIGOPS European Workshop Paulo Veríssimo
1990	C	`conf`	Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodríguez, Paulo Veríssimo, Jacques Voiron
1990	—	`conf`	Real-Time Data Management with Clock-Less Reliable Broadcast Protocols. Workshop on the Management of Replicated Data Paulo Veríssimo
1990	B	`conf`	Reliable Broadcast for Fault-Tolerance on Local Computer Networks. SRDS Paulo Veríssimo, José Alves Marques
1990	—	`conf`	The Delta-4 extra performance architecture (XPA). FTCS Peter A. Barrett, Andrew M. Hilborne, Peter G. Bond, Douglas T. Seaton, Paulo Veríssimo, Luís E. T. Rodrigues, Neil A. Speirs
1989	A*	`conf`	AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista
1988	—	`conf`	The Delta-4 approach to dependability in open distributed computing systems. FTCS David Powell, Gottfried Bonn, Douglas T. Seaton, Paulo Veríssimo, F. Waeselynck