Luís E. T. Rodrigues

Orcid: 0000-0002-0313-6590

Affiliations:
  • University of Lisbon, Department of Computer Science, Portugal


According to our database1, Luís E. T. Rodrigues authored at least 237 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework.
ACM Trans. Auton. Adapt. Syst., September, 2024

2023
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version).
CoRR, 2023

Practical Limitations of Ethereum's Layer-2.
IEEE Access, 2023

Deduplication vs Privacy Tradeoffs in Cloud Storage.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Performance Trade-offs in Transactional Systems.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

Multi-Consistency Transactional Support for Function-as-a-Service.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Omega: A Secure Event Ordering Service for the Edge.
IEEE Trans. Dependable Secur. Comput., 2022

Engage: Session Guarantees for the Edge.
Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

Towards a Framework for Adapting Machine Learning Components.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

2021
The quest for scaling BFT Consensus through Tree-Based Vote Aggregation.
CoRR, 2021

Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Reducing the subscription latency in reliable causal publish-subscribe systems.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Investigating the semantics of futures in transactional memory systems.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Cathode: A Consistency-Aware Data Placement Algorithm for the Edge.
Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021

FaaSTCC: efficient transactional causal consistency for serverless computing.
Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021

2020
Fireplug: Efficient and Robust Geo-Replication of Graph Databases.
IEEE Trans. Parallel Distributed Syst., 2020

Preface.
Theor. Comput. Sci., 2020

Giving Future(s) to Transactional Memory.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.
Proceedings of the Networked Systems - 8th International Conference, 2020

Causality Tracking Trade-offs for Distributed Storage.
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge.
Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

EdgeScaler: effective elastic scaling for graph stream processing systems.
Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems, 2020

Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC.
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019
Lynceus: Tuning and Provisioning Data Analytic Jobs on a Budget.
CoRR, 2019

Forensic analysis of communication records of messaging applications from physical memory.
Comput. Secur., 2019

Planning workflow executions when using spot instances in the cloud.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Adaptive information dissemination in the Bitcoin network.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Localized Reliable Causal Multicast.
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019

Measurements As First-class Artifacts.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
CoopREP: Cooperative record and replay of concurrency bugs.
Softw. Test. Verification Reliab., 2018

FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming.
Pervasive Mob. Comput., 2018

Effective Detection of Multimedia Protocol Tunneling using Machine Learning.
Proceedings of the 27th USENIX Security Symposium, 2018

Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Dynamic adaptation of byzantine consensus protocols.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Learning non-deterministic impact models for adaptation.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Fireplug: Flexible and robust N-version geo-replication of graph databases.
Proceedings of the 2018 International Conference on Information Networking, 2018

Towards affordable externally consistent guarantees for geo-replicated systems.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017
DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams.
Proc. Priv. Enhancing Technol., 2017

Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Automated generation of policies to support elastic scaling in cloud environments.
Proceedings of the Symposium on Applied Computing, 2017

Causality for the Masses: Offering Fresh Data, Low Latency, and High Throughput.
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Augure: Proactive reconfiguration of cloud applications using heterogeneous resources.
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming.
Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Accountability in Dynamic Networks.
Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Saturn: a Distributed Metadata Service for Causal Consistency.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016
GMU: Genuine Multiversion Update-Serializable Partial Data Replication.
IEEE Trans. Parallel Distributed Syst., 2016

Concurrency Debugging with Differential Schedule Projections.
ACM Trans. Softw. Eng. Methodol., 2016

BioALeg - Enabling Biometric Authentication in Legacy Web Sites.
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems Workshops, 2016

Dynamic adaptation of geo-replicated CRDTs.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Production-guided concurrency debugging.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

MACHETE: Multi-path communication for security.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

The Future(s) of Transactional Memory.
Proceedings of the 45th International Conference on Parallel Processing, 2016

Efficient Free-Rider Detection Using Symmetric Overlays.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

A Distributed Auctioneer for Resource Allocation in Decentralized Systems.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015
Chasing the Optimum in Replicated In-Memory Transactional Platforms via Protocol Adaptation.
IEEE Trans. Parallel Distributed Syst., 2015

On Data Placement in Distributed Systems.
ACM SIGOPS Oper. Syst. Rev., 2015

On the use of Clocks to Enforce Consistency in the Cloud.
IEEE Data Eng. Bull., 2015

Concurrency debugging with differential schedule projections.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication.
Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, 2015

On the Range of Equilibria Utilities of a Repeated Epidemic Dissemination Game with a Mediator.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Towards Incentive-Compatible Pricing for Bandwidth Reservation in Community Network Clouds.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015

Reducing the vulnerability window in distributed transactional protocols.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Self-tuning in Distributed Transactional Memory.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

Current trends and future directions in community edge clouds.
Proceedings of the 4th IEEE International Conference on Cloud Networking, 2015

SmartFetch: Efficient Support for Selective Queries.
Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014
AutoPlacer: Scalable Self-Tuning Data Placement in Distributed Key-Value Stores.
ACM Trans. Auton. Adapt. Syst., 2014

On speculative replication of transactional systems.
J. Comput. Syst. Sci., 2014

Random Walks on Evolving Graphs with Recurring Topologies.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Overnesia: A Resilient Overlay Network for Virtual Super-Peers.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

On the energy and performance of commodity hardware transactional memory.
Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014

Autonomic configuration of HyperDex via analytical modelling.
Proceedings of the Symposium on Applied Computing, 2014

Balls-into-leaves: sub-logarithmic renaming in synchronous message-passing systems.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Virtues and limitations of commodity hardware transactional memory.
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013
Self-Management of Adaptable Component-Based Applications.
IEEE Trans. Software Eng., 2013

On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Bounded gossip: a gossip protocol for large-scale datacenters.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Byzantine renaming in synchronous systems with t<N.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Rollerchain: A DHT for Efficient Replication.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

Policies for Efficient Data Replication in P2P Systems.
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

Order-Preserving Renaming in Synchronous Systems with Byzantine Faults.
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Property-Driven Cooperative Logging for Concurrency Bugs Replication.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Towards effective and efficient search-based deterministic replay.
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

ChainReaction: a causal+ consistent datastore based on chain replication.
Proceedings of the Eighth Eurosys Conference 2013, 2013

2012
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.
IEEE Trans. Parallel Distributed Syst., 2012

Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011).
ACM SIGOPS Oper. Syst. Rev., 2012

A-OSGi: a framework to support the construction of autonomic OSGi-based applications.
Int. J. Auton. Adapt. Commun. Syst., 2012

Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults
CoRR, 2012

SPECULA: Speculative Replication of Software Transactional Memory.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Asynchrony and Collusion in the N-party BAR Transfer Problem.
Proceedings of the Structural Information and Communication Complexity, 2012

Brief announcement: order-preserving renaming in synchronous message passing systems with byzantine faults.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication.
Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

Lightweight cooperative logging for fault replication in concurrent programs.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011
N-party BAR Transfer: motivation, definition, and challenges.
Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

SCert: Speculative certification in replicated software transactional memories.
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011

Exploiting Total Order Multicast in Weakly Consistent Transactional Caches.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

N-party BAR Transfer.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

A Generic Framework for Replicated Software Transactional Memories.
Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

PolyCert: Polymorphic Self-optimizing Replication for In-Memory Transactional Grids.
Proceedings of the Middleware 2011, 2011

Topology Stability-Aware Multicast Protocol for MANETs.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

HPCS 2011 tutorials: Tutorial I: Distributed software transactional memories: Foundations, algorithms and tools.
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Low-Coupling Cluster-Based Multipath Routing for Wireless Mesh Networks.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011

Goal-oriented Self-management of In-memory Distributed Data Grid Platforms.
Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

Introduction to Reliable and Secure Distributed Programming (2. ed.).
Springer, ISBN: 978-3-642-15259-7, 2011

2010
Cloud-TM: harnessing the cloud with distributed transactional memories.
ACM SIGOPS Oper. Syst. Rev., 2010

Reputation in anonymous vehicular networks.
Int. J. Auton. Adapt. Commun. Syst., 2010

Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Brief announcement: on speculative replication of transactional systems.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

A Machine Learning Approach to Performance Prediction of Total Order Broadcast Protocols.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Practical Database Replication.
Proceedings of the Replication: Theory and Practice, 2010

Accessing probabilistic quorums in dynamic networks.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

RASM: A Reliable Algorithm for Scalable Multicast.
Proceedings of the 18th Euromicro Conference on Parallel, 2010

Asynchronous Lease-Based Replication of Software Transactional Memory.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Flexible and efficient resource location in large-scale systems.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Communication and coordination support in ad hoc networks for emergency management scenarios.
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

An Optimal Speculative Transactional Replication Protocol.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Balancing gossip exchanges in networks with firewalls.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

@Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Observable non-Sybil quorums construction in one-hop wireless ad hoc networks.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Self-management of Distributed Systems Using High-Level Goal Policies.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009
Single-step creation of localized Delaunay triangulations.
Wirel. Networks, 2009

An algorithm for dissemination and retrieval of information in wireless <i>ad hoc</i> networks.
Concurr. Comput. Pract. Exp., 2009

From Local Impact Functions to Global Adaptation of Service Compositions.
Proceedings of the Stabilization, 2009

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters.
Proceedings of the Quality of Service in Heterogeneous Networks, 2009

D2STM: Dependable Distributed Software Transactional Memory.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

An Efficient Weak Mutual Exclusion Algorithm.
Proceedings of the Eighth International Symposium on Parallel and Distributed Computing, 2009

The Weak Mutual Exclusion problem.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Verme: Worm containment in overlay networks.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Gossip-Based Dissemination.
Proceedings of the Middleware for Network Eccentric and Mobile Applications, 2009

2008
Modelling adaptive services for distributed systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

On Replication of Software Transactional Memories.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Supporting Linearizable Semantics in Replicated Databases.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Geographical distribution of subscriptions for content-based publish/subscribe in MANETs.
Proceedings of the Middleware 2008, 2008

Towards distributed software transactional memory systems.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Versioned transactional shared memory for the FénixEDU web application.
Proceedings of the 2nd workshop on Dependable distributed data management, 2008

2007
Gossiping on MANETs: the beauty and the beast.
ACM SIGOPS Oper. Syst. Rev., 2007

Implementation and analysis of real-time communication protocol compositions.
Real Time Syst., 2007

On the Use of a Reflective Architecture to Augment Database Management Systems.
J. Univers. Comput. Sci., 2007

Epidemic Broadcast Trees.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Building Adaptive Systems with Service Composition Frameworks.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

GORDA: An Open Architecture for Database Replication.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Verme: Worm Containment in Peer-to-Peer Overlays.
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

Topic 8 Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2007, 2007

An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks.
Proceedings of the Euro-Par 2007, 2007

DSN 2007 Tutorials.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Emergent Structure in Unstructured Epidemic Multicast.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

A framework to support multiple reconfiguration strategies.
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

2006
Context adaptation of the communication stack.
Int. J. Parallel Emergent Distributed Syst., 2006

From spontaneous total order to uniform total order: different degrees of optimistic delivery.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

On Statistically Estimated Optimistic Delivery in Wide-Area Total Order Protocols.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

A Power-Aware Broadcasting Algorithm.
Proceedings of the IEEE 17th International Symposium on Personal, 2006

Efficient Epidemic Multicast in Heterogeneous Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Towards a Generic Group Communication Service.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

A Framework to Provide Anonymity in Reputation Systems.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

SIPCache: A Distributed SIP Location Service for Mobile Ad-Hoc Networks.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

Reducing Latency in Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Policy-Driven Adaptation of Protocol Stacks.
Proceedings of the 2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 2006

Run-Time Switching Between Total Order Algorithms.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Introduction to reliable distributed programming.
Springer, ISBN: 978-3-540-28845-9, 2006

2005
The atomic manifesto: a story in four quarks.
SIGMOD Rec., 2005

Scalable QoS-Based Event Routing in Publish-Subscribe Systems.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

On the Monitoring Period for Fault-Tolerant Sensor Networks.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Using a Fairness Monitoring Service to Improve Load-Balancing in DSR.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

CHR: A Distributed Hash Table for Wireless Ad Hoc Networks.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Topic 8 - Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Long Range Contacts in Overlay Networks.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004
Low Latency Probabilistic Broadcast in Wide Area Networks.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Fast Localized Delaunay Triangulation.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

GeoPeer: A Location-Aware Peer-to-Peer System.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

2003
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication.
IEEE Trans. Knowl. Data Eng., 2003

Semantically Reliable Multicast: Definition, Implementation, and Performance Evaluation.
IEEE Trans. Computers, 2003

NEEM: Network-Friendly Epidemic Multicast.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

A Genetic Algorithm for Multicast Mapping in Publish-Subscribe Systems.
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 2003

Friends and Foes: Preventing Sel.shness in Open Mobile Ad Hoc Networks.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

The Road to a More Configurable and Adaptive Communication and Coordination Support.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Adaptive Gossip-Based Broadcast.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Schedulability Analysis of an Event-Based Real-Time Protocol Framework.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

An Indulgent Uniform Total Order Algorithm with Optimistic Delivery.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Workshop on Reliable Peer-to-Peer Distributed Systems.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

On QoS-Aware Publish-Subscribe.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

The GlobData Fault-Tolerant Replicated Distributed Object Database.
Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

Reducing the Cost of Group Communication with Semantic View Synchrony.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments.
Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001
A neural network for shortest path computation.
IEEE Trans. Neural Networks, 2001

The design of RT-Appia.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Measuring Distributed Durations with Stable Error.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Probabilistic Semantically Reliable Multicast.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

Response Time Analysis of Composable Micro-Protocols.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Separating Replication from Distributed Communication: Problems and Solutions.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Supporting views in network management systems.
Proceedings of the Operations & Management, 2001

Distributed systems for system architects.
Advances in distributed computing and middelware 1, Springer, ISBN: 978-0-7923-7266-0, 2001

2000
A Dynamic Light-Weight Group Service.
J. Parallel Distributed Comput., 2000

Semantically Reliable Multicast Protocols.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Balancing configurability and efficiency in network support tools.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Deadline-Constrained Causal Order.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems.
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Partitionable Light-Weight Groups.
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Flexible Communication Support for CSCW Applications.
Proceedings of the Sixth International Symposium on String Processing and Information Retrieval and Fifth International Workshop on Groupware, 1999


Scalability Issues in MOOs: The Role of Objcet Migration and Replication.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Topology-Aware Algorithms for Large-Scale Communication.
Proceedings of the Advances in Distributed Systems, 1999

1998
Fault-Tolerant Clock Synchronization in CAN.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Scalable Atomic Multicast.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

Fault-Tolerant Broadcasts in CAN.
Proceedings of the Digest of Papers: FTCS-28, 1998

A Fault-Tolerant Secure CORBA Store using Fragmentation-Redundancy-Scattering.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems.
Real Time Syst., 1997

Dynamic Light-Weight Groups.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996
A Transparent Light-Weight Group Service.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Totally Ordered Multicast in Large-Scale Systems.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Using Tailored Failure Suspectors to Support Distributed Cooperative Applications.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Causal Separators for Large-Scale Multicast Communication.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Reliable Computing Over Mobile Networks.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994
A Replication-Transparent Remote Invocation Protocol.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

How to avoid cost of causal communication in large-scale Systems.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

1993
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization.
Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

A Low-level Processor Group Membership Protocol for LANS.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992
xAMp: A Multi-primitive Group Communications Service.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

Requirements for high performance group support in distributed systems.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Group orientation: a paradigm for modern distributed systems.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

A <i>posteriori</i> Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks.
Proceedings of the Digest of Papers: FTCS-22, 1992

1990
The Delta-4 extra performance architecture (XPA).
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
Proceedings of the Formal Description Techniques, 1990

1989
AMp: A Highly Parallel Atomic Multicast Protocol.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989


  Loading...