| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
RITAS: Services for Randomized Intrusion Tolerance.  |
IEEE Trans. Dependable Sec. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
Randomization can be a healer: consensus with dynamic omission failures. |
Distributed Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo |
Byzantine consensus in asynchronous message-passing systems: a survey. |
IJCCBS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Rufino, Paulo Veríssimo, Ricardo Pinto, Carlos Almeida, Guilherme Arroz |
Enforcing Dependability and Timeliness in CANELy - Application to Spaceborne Data Communication Systems. |
PECCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | João Antunes, Nuno Ferreira Neves, Paulo Veríssimo |
Reverse Engineering of Protocols from Network Traces. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves |
Vulnerability Discovery with Attack Injection. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo |
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. |
IEEE Trans. Parallel Distrib. Syst. |
2010 |
DBLP DOI BibTeX RDF |
reactive recovery, firewall, Intrusion tolerance, proactive recovery |
| 1 | José Rufino, João Craveiro, Paulo Veríssimo |
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. |
SEUS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo |
Applying Architectural Hybridization in Networked Embedded Systems. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Rufino, João Craveiro, Paulo Veríssimo |
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. |
WADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo |
On Byzantine generals with alternative plans. |
J. Parallel Distrib. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo |
The Crutial Way of Critical Infrastructure Protection. |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo |
A framework for dependable QoS adaptation in probabilistic environments. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
probabilistic QoS, dependability, QoS adaptation |
| 1 | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo |
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Garbage Collection, Buffer Management, Intrusion Tolerance, Byzantine Fault Tolerance |
| 1 | João Antunes, Nuno Ferreira Neves, Paulo Veríssimo |
Detection and Prediction of Resource-Exhaustion Vulnerabilities. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Distributed system diagnosis, hierarchical Monitor system, fault injection based evaluation, runtime monitoring |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo |
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo |
On the Effects of Finite Memory on Intrusion-Tolerant Systems. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo |
Resilient Intrusion Tolerance through Proactive and Reactive Recovery. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Ortiz, Antonio Casimiro, Paulo Veríssimo |
Architecture and Implementation of an Embedded Wormhole. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo |
Analysis of a Redundant Architecture for Critical Infrastructure Protection. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo |
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Travelling through wormholes: a new look at distributed systems models. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia |
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. |
CRITIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Thou Shalt Not Trust non-Trustworthy Systems. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves |
Using Attack Injection to Discover New Vulnerabilities. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
Randomized Intrusion-Tolerant Asynchronous Services. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo |
Proactive resilience through architectural hybridization. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
secret sharing, intrusion tolerance, proactive recovery |
| 1 | José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz |
Integrating Inaccessibility Control and Timer Management in CANELy. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo |
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Martins, Paulo Sousa, Antonio Casimiro, Paulo Veríssimo |
A New Programming Model for Dependable Adaptive Real-Time Applications. |
IEEE Distributed Systems Online |
2005 |
DBLP DOI BibTeX RDF |
partial synchrony models, dependable adaptation, real-time systems, mobile computing |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo |
Solving Vector Consensus with a Wormhole. |
IEEE Trans. Parallel Distrib. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Byzantine asynchronous protocols, Distributed systems, consensus |
| 1 | Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo |
Low complexity Byzantine-resilient consensus. |
Distributed Computing |
2005 |
DBLP DOI BibTeX RDF |
distributed systems models, distributed algorithms, consensus, intrusion tolerance, Byzantine fault tolerance |
| 1 | Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo |
Resilient State Machine Replication. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo |
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio Casimiro, Paulo Veríssimo |
Dependable Adaptive Real-Time Applications in Wormhole-based Systems. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo |
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo |
An architectural framework and a middleware for cooperating smart components. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
event-based communication, component-based systems, middleware architectures, sentient computing |
| 1 | Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo |
Tolerating Intrusions in Grid Systems. |
Security and Management |
2004 |
DBLP BibTeX RDF |
|
| 1 | José Rufino, Paulo Veríssimo, Guilherme Arroz |
Node Failure Detection and Membership in CANELy. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Trustworthiness of Open Information Systems: How Should It Be Achieved? |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Antonio Casimiro |
Event-Driven Support of Real-Time Sentient Objects. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Uncertainty and Predictability: Can They Be Reconciled? |
Future Directions in Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Antonio Casimiro |
The Timely Computing Base Model and Architecture. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
timely computing base, partial synchrony models, Distributed systems, real-time systems |
| 1 | Antonio Casimiro, Paulo Veríssimo |
Generic Timing Fault Tolerance using a Timely Computing Base. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo |
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves |
The Design of a COTSReal-Time Distributed Security Kernel. |
EDCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia |
Intrusion-Tolerant Architectures: Concepts and Design. |
WADS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo |
The logically instantaneous communication mode: a communication abstraction. |
Future Generation Comp. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves |
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. |
ICDCS Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Paulo Veríssimo |
Using the Timely Computing Base for Dependable QoS Adaptation. (PDF / PS) |
SRDS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Pedro Martins, Luís Rodrigues, Paulo Veríssimo |
Measuring Distributed Durations with Stable Error. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman |
A Dynamic Light-Weight Group Service. |
J. Parallel Distrib. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Antonio Casimiro, Christof Fetzer |
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo |
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
Logically Instantaneous Communication, Communication Protocol, Asynchronous Distributed System, Rendezvous, Logical Time |
| 1 | José Rufino, Guilherme Arroz, Paulo Veríssimo |
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Rufino, Paulo Veríssimo, Guilherme Arroz |
A Columbus' Egg Idea for CAN Media Redundancy. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
Field-buses, Media Redundancy, Communications Reliability, Distributed and Real-Time Systems, Fault-tolerance, Controller Area Network (CAN) |
| 1 | Paulo Veríssimo, Michel Raynal |
Time in Distributed System Models and Algorithms. |
Advances in Distributed Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt |
Support for Distributed CSCW Applications. |
Advances in Distributed Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Rodrigues, Paulo Veríssimo |
Topology-Aware Algorithms for Large-Scale Communication. |
Advances in Distributed Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Almeida, Paulo Veríssimo |
Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues |
Fault-Tolerant Broadcasts in CAN. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Luís Rodrigues, Antonio Casimiro |
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. |
Real-Time Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, José Rufino, Li Ming |
How Hard is Hard Real-time Communication on Field-Buses?. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
On the Role of Time in Distributed Systems. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Causal Delivery Protocols in Real-time Systems: A Generic Model. |
Real-Time Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Idalina Videira, Paulo Veríssimo, Helena Sarmento |
Efficient Communication in a Design Environment. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo |
Enhancing Dependability of Cooperative Applications in Partitionable Environments. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Interconnected Networks, Tool, Configuration, Cooperative Applications |
| 1 | Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo |
Totally Ordered Multicast in Large-Scale Systems. |
ICDCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luís Rodrigues, Paulo Veríssimo |
Causal Separators for Large-Scale Multicast Communication. |
ICDCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | François J. N. Cosquer, Paulo Veríssimo |
The impact of group communication paradigms on groupware support. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
group communication paradigms, groupware support, reliable information diffusion, groupware applications support, large scale distributed settings, group-based system, NAVTECH, Internet, groupware, distributed processing, replication, cooperation, functionality, internetworking, group communication systems |
| 1 | Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo |
Reliable Computing Over Mobile Networks. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
Reliable protocols, Fault-tolerance, Mobile computing, Group communication, Mobile networks |
| 1 | Paulo Veríssimo |
Ordering and Timeliness Requirements of Dependable Real-Time Programs. |
Real-Time Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Rodrigues, Paulo Veríssimo |
How to avoid cost of causal communication in large-scale Systems. |
ACM SIGOPS European Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Luís Rodrigues, Ellen H. Siegel, Paulo Veríssimo |
A Replication-Transparent Remote Invocation Protocol. |
SRDS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paulo Veríssimo, Antonio Casimiro, Luís Rodrigues |
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. |
SRDS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luís Rodrigues, Paulo Veríssimo, José Rufino |
A Low-level Processor Group Membership Protocol for LANS. |
ICDCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paulo Veríssimo, Luís Rodrigues |
Group orientation: a paradigm for modern distributed systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Vogels, Paulo Veríssimo, Luís Rodrigues |
Requirements for high performance group support in distributed systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Rodrigues, Paulo Veríssimo |
xAMp: A Multi-primitive Group Communications Service. |
SRDS |
1992 |
DBLP BibTeX RDF |
|
| 1 | José Rufino, Paulo Veríssimo |
A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. |
INFOCOM |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paulo Veríssimo, Luís Rodrigues |
A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Design of fault tolerant distributed systems: the fail-controlled approach. |
ACM SIGOPS European Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, José Alves Marques |
Reliable Broadcast for Fault-Tolerance on Local Computer Networks. |
SRDS |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paulo Veríssimo |
Real-Time Data Management with Clock-Less Reliable Broadcast Protocols. |
Workshop on the Management of Replicated Data |
1990 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Barrett, Andrew M. Hilborne, Peter G. Bond, Douglas T. Seaton, Paulo Veríssimo, Luís Rodrigues, Neil A. Speirs |
The Delta-4 extra performance architecture (XPA). |
FTCS |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")