PUBLICATIONS OF

Luís Eduardo Teixeira Rodrigues

May, 2023.

Copyright Notice

The reports contained in these ftpable directories are included by the contributing authors as a mechanism to ensure timely dissemination of scholarly/technical information on a non-commerical basis. Copyright and all rights therein are maintained by the authors, despite the fact they have offered this information electronically. It is understood that all individuals copying this information will adhere to the terms/ constraints invoked by each author's copyright.

Reports may not be copied for commercial redistribution, republication, or dissemination without the explicit permission of the authors.

Sections of some of these reports have been published by IEEE and have IEEE Copyright. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 732-562-3966.


Books
Papers in English ( 2023, 2022, 2021, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990, 1989, 1988, 1987 )
PhD Thesis
Master Thesis
Papers in Portuguese ( 2022, 2021, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1988 )

Books

Introduction to Reliable and Secure Distributed Programming
C. Cachin, R. Guerraoui, L. Rodrigues.
2nd Edition, Springer, 2011
ISBN: 978-3-642-15259-7
Middleware for Network Eccentric and Mobile Applications
B. Garbinato, H. Miranda, L. Rodrigues (Editors).
Springer, 2009
ISBN: 978-3-540-89706-4
Introduction to Reliable Distributed Programming
Rachid Guerraoui and Luís Rodrigues
Springer, 2006
ISBN: 3-540-28845-7
see second and augmented edition above!
Distributed Systems for System Architects
Paulo Veríssimo, Luís Rodrigues
Kluwer Academic Publishers, 2001.
ISBN 0-7923-7266-2
see web page for details.

Papers in English

2023

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems.
C. Correia, R. Prates, M. Correia, and L. Rodrigues.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Singapore, October 2023
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge.
C. Correia, M. Correia, L. Rodrigues.
Proceedings of the ACM Conference on Computer and Communications Security (ACM CCS 2023), Copenhagen, Denmark, November 2023.
Performance Trade-Offs in Transactional Systems
R. Soares and L. Rodrigues.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '23), Rome, Italy, May 2023.
DOI: 10.1145/3578358.3591325
Practical Limitations of Ethereum's Layer-2
R. Neiheiser, G. Inácio, L. Rech, C. Montez, M. Matos, L. Rodrigues.
IEEE Access, January 2023.
DOI: 10.1109/ACCESS.2023.3237897
Deduplication vs Privacy Tradeoffs in Cloud Storage
R. Silva, C. Correia, M. Correia and L. Rodrigues.
Proceedings of the The 38th ACM/SIGAPP Symposium On Applied Computing (SAC), Tallinn Estonia, March 2023.

2022

Federated Learning for Predicting the Next Node in Action Flows
D. Lopes, J. Nadkarni, F. Assunção, M. Lopes and L. Rodrigues.
Accepted as a Poster in the Workshop on Federated Learning: Recent Advances and New Challenges (in Conjunction with NeurIPS 2022), New Orleans (LA,) USA, December 2, 2022.
A Framework for Adapting Machine Learning Components.
M. Casimiro, P. Romano, D. Garlan and L. Rodrigues.
Proceedings of the 3rd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Virtual Conference, September 2022.
Omega: a Secure Event Ordering Service for the Edge.
C. Correia, M. Correia, L. Rodrigues.
IEEE Transactions on Dependable and Secure Computing.
Volume: 19, Issue: 5, September. 2022
DOI: 10.1109/TDSC.2021.3078520
Engage: Session Guarantees for the Edge.
M. Belém, P. Fouto, T. Lykhenko, J. Leitão, N. Preguiça and L. Rodrigues.
Proceedings of the 31st International Conference on Computer Communications and Networks (ICCCN 2022), Virtual Conference, July 2022.

2021

A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems.
M. Casimiro, P. Romano, D. Garlan, L. Rodrigues and J. Cámara.
Proceedings of the 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment, Co-located with the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021). Online. December 2021.
FaaSTCC: Efficient Transactional Causal Consistency for Serverless Computing.
T. Lykhenko, R. Soares and L. Rodrigues.
Proceedings of the 22nd ACM/IFIP International Middleware Conference, Virtual Event, Canada, December 2021.
Presentation video
Cathode: A Consistency-Aware Data Placement Algorithm for the Edge.
L. Epifânio, C. Correia and L. Rodrigues.
Proceedings of the 20th IEEE International Symposium on Network Computing and Applications (NCA 2021), Online, November, 2021.
Presentation video and (pdf)
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation.
R. Neiheiser, M. Matos, and L. Rodrigues.
Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP), Online, October, 2021.
Presentation video: short and long.
pdf.
Reducing the Subscription Latency in Reliable Causal Publish-Subscribe Systems.
F. Pedrosa and L. Rodrigues
Proceedings of the The 36th ACM/SIGAPP Symposium On Applied Computing (SAC) Online, March, 2021.
Presentation video and slides
Investigating the Semantics of Futures in Transactional Memory Systems.
J. Zeng, S. Issa, P. Romano, L. Rodrigues, S. Haridi.
Proceedings of the of the 26st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Online, February, 2021.
The Nuts and Bolts of Building FlowLens.
D. Barradas, N. Santos, L. Rodrigues, S. Signorello, F. Ramos, and A. Madeira
Proceedings of The Learning from Authoritative Security Experiment Results workshop (LASER), Online, Feb. 2021
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications.
D. Barradas, N. Santos, L. Rodrigues, S. Signorello, F. Ramos, A. Madeira.
Proceedings of the 2021 Usenix Network and Distributed System Security Symposium (NDSS), Online, February, 2021.
Presentation video

2020

Causality Tracking Tradeoffs for Distributed Storage.
H. Guerreiro, L. Rodrigues, N. Preguiça and N. Quental.
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications (NCA), Online, November 2020.
Presentation video
Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC.
D. Barradas, N. Santos, L. Rodrigues, V. Nunes.
Proceedings of the 2020 ACM Conference on Computer and Communications Security (CCS), Online, November 2020.
Presentation video
Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs
M. Casimiro, D. Didona, P. Romano, L. Rodrigues, W. Zwaenepoel and D. Garlan.
In Proceedings of the 40th IEEE International Conference on Distributed Computing Systems (ICDCS), Online, November 2020.
Presentation video
Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge.
N. Afonso, M. Bravo and L. Rodrigues.
In Proceedings of the 29th International Conference on Computer Communications and Networks (ICCCN), Honolulu (HI) USA, August 2020.
Presentation video
Fireplug: Efficient and Robust Geo-Replication of Graph Databases.
R. Neiheiser, L. Rech, M. Bravo, L. Rodrigues, M. Correia.
IEEE Transactions on Parallel and Distributed Systems, Volume 31, Issue 8, August 2020.
Brief Announcement: Investigating the Semantics of Futures in Transactional Memory Systems
J. Zeng, S. Issa, S. Haridi, L. Rodrigues and P. Romano
In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Philadelphia, July 14-16, 2020
Presentation video
EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems.
D. Presser, F. Siqueira, L. Rodrigues, P. Romano.
In Proceedings of the 14th ACM International Conference on Distributed and Event-Based Systems (DEBS), Montreal, Quebec, Canada, July 2020.
Presentation video
NetSheriff: sheltering software-defined networks from rogue switches.
P. Laffranchini, L. Rodrigues, E. Riviere, R. Sadre, N. Machado and J. Miranda.
In Proceedings of the 8th International Conference in Networked Systems (NETYS), Marrakech, Marocco, June 2020.
Presentation video
Omega: a Secure Event Ordering Service for the Edge.
C. Correia, L. Rodrigues, and M. Correia.
Proceedings of 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Valência, Spain, June 2020.
Presentation video

2019

Localized Reliable Causal Multicast.
V. Santos and L. Rodrigues.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA), Cambridge (MA), USA, September 2019.
Forensic Analysis of Communication Records of Messaging Applications from Physical Memory.
D. Barradas, T. Brito, D. Duarte, N. Santos, and L. Rodrigues.
Computers & Security, Elsevier, Volume 86, Pages 484-497, September 2019.
Measurements as First-class Artifacts.
P. Laffranchini, L. Rodrigues, M. Canini, B. Krishnamurthy
Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), Paris, France, April-May, 2019.
Planning Workflow Executions when Using Spot Instances in the Cloud.
R. Gil, A. Lopes and L. Rodrigues.
Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), Limassol, Cyprus, April 2019.
Adaptive information dissemination in the Bitcoin network.
J. Marçal, M. Matos, and L. Rodrigues.
Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), Limassol, Cyprus, April 2019.
Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud.
P. Joaquim, M. Bravo, L. Rodrigues, M. Matos
In Proceedings of the EuroSys 2019, Dresden, Germany, March 2019.

2018

Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database
R. Neiheiser, M. Bravo, L. Rech and L. Rodrigues .
In Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS), Salvador, Brasil, October 2018.
Effective Detection of Multimedia Protocol Tunneling using Machine Learning
D. Barradas, N. Santos, L. Rodrigues.
In Proceedings of the 27th USENIX Security Symposium (USENIX Security '18), Baltimore (MD), USA, August 2018.
FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming.
X. Vilaça, L. Rodrigues, J. Silva, H. Miranda, G. Correia, T. Maurício
Pervasive and Mobile Computing, Elsevier, Volume 46, June 2018, Pages 18-33.
https://doi.org/10.1016/j.pmcj.2018.02.005
Learning Non-Deterministic Impact Models for Adaptation.
F. Duarte, R. Gil, P. Romano, A. Lopes and L. Rodrigues.
In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, May 2018.
Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory
J. Zeng, P. Romano, J. Barreto, L. Rodrigues and S. Haridi.
In Proceedings of the 32nd IEEE International Parallel and Distributed Processing Symposium (IPDPS), Vancouver, Canada, May 2018.
Dynamic Adaptation of Byzantine Consensus Protocols
C. Carvalho, D. Porto, L. Rodrigues, M. Bravo, A. Bessani
In Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC), Pau, France, April 2018.
Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems.
M. Bravo and L. Rodrigues
In Proceedings of the 5th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Porto, Portugal, April 2018.
Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases
R. Neiheiser, D. Presser, L. Rech, M. Bravo, L. Rodrigues, M. Correia
In Proceedings of the 32nd International Conference on Information Networking (ICOIN), Chiang Mai, Thailand, January , 2018.
CoopREP: Cooperative Record and Replay of Concurrency Bugs.
N. Machado, P. Romano, and L. Rodrigues.
Software Testing, Verification and Reliability, Wiley InterScience, Vol 28, Issue 1, January 2018.

2017

AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
R.Gil, Z. Li, A. Lopes, L. Rodrigues
In Proceedings of the 16th IEEE International Symposium on Network Computing and Applications (NCA 2017), Boston (MA), USA, October 2017.
Forensic Analysis of Communication Records of Web-based MessagingApplications from Physical Memory.
D. Barradas, T. Brito, D. Duarte, N. Santos, and L. Rodrigues
In Proceedings of the 14th International Conference on Security and Cryptography (SECRYPT 2017), Madrid, Spain, July 2017.
DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams.
D. Barradas, N. Santos, and L. Rodrigues.
In Proceedings of the 17th Privacy Enhancing Technologies Symposium, Minneapolis (MN), USA July 2017.
Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication.
C. Gunawardhana, M. Bravo, and L. Rodrigues.
In Proceedings of the 2017 USENIX Annual Technical Conference, Santa Clara (CA), USA, July 2017.
Saturn: a Distributed Metadata Service for Causal Consistency.
M. Bravo, L. Rodrigues, and P. van Roy.
In Proceedings of the EuroSys 2017, Belgrade, Serbia, April 2017.
Automated Generation of Policies to Support Elastic Scaling in Cloud Environments.
R. Gil, A. Lopes, and L. Rodrigues.
In Proceedings of the 32nd ACM/SIGAPP Symposium on Applied Computing (SAC), Dependable and Adaptive Distributed Systems Track, Marrakesh, Morocco, April 3-7, 2017.
FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming.
X. Vilaça, L. Rodrigues, J. Silva and H. Miranda
In Proceedings of the 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017.
Accountability in Dynamic Networks.
X. Vilaça and L. Rodrigues
In Proceedings of the 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017.

2016

GMU: Genuine Multiversion Update-Serializable Partial Data Replication.
S. Peluso, P. Ruivo, P. Romano, F. Quaglia, and L. Rodrigues
In IEEE Transactions on Parallel and Distributed Systems, Vol 17, N. 10, Oct 2016.
MACHETE: Multi-path Communication for Cloud Security.
D. Raposo, M. Pardal, L. Rodrigues, and M. Correia.
Proceedings of the The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Cambridge (MA), USA, October 2016.
The Future(s) of Transactional Memory.
J. Zeng, J. Barreto, S. Haridi, L. Rodrigues and P. Romano.
In Proceedings of the 45th Annual Conference on Parallel Processing (ICPP), Philadelphia (PA), USA, August 2016.
A Distributed Auctioneer for Resource Allocation in Decentralized Systems.
A. Khan, X. Vilaça, L. Rodrigues, F. Freitag.
In Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, (ICDCS), Nara, Japan, June 2016.
Concurrency Debugging with Differential Schedule Projections.
N. Machado, D. Quinta, B. Lucia, L. Rodrigues.
In ACM Transactions on Software Engineering and Methodology, Volume 25 Issue 2, April 2016.
Dynamic Adaptation of Geo-Replicated CRDTs.
C. Bartolomeu, M. Bravo, L. Rodrigues.
In Proceedings of the 31st ACM/SIGAPP Symposium on Applied Computing (SAC), Dependable and Adaptive Distributed Systems Track, Pisa, Italy April 4-8, 2016.
Production-guided Concurrency Debugging.
N. Machado, B. Lucia, L. Rodrigues.
In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016), Barcelona, Spain, March 2016.

2015

Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage
M. Couceiro, G. Chandrasekara, M. Bravo, M. Hiltunen, P. Romano, L. Rodrigues.
In Proceedings of the 16th ACM/IFIP/USENIX Middleware conference, Vancouver, Canada, December 2015.
SmartFetch: Efficient Support for Selective Queries
M. Ferreira, J. Paiva, M. Bravo and L. Rodrigues.
In Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Vancouver, Canada, November 2015.
Best paper award
Efficient Free-rider Detection using Symmetric Overlays
J. Silva, X. Vilaca, H. Miranda and L. Rodrigues.
In the 14th IEEE International Symposium on Network Computing and Applications, Boston (MA), USA, September 2015.
(short paper)
Towards Incentive-Compatible Pricing for Bandwidth Reservation in Community Network Clouds
A Khan, X. Vilaca, L. Rodrigues, F. Freitag
In the Proceedings of the 12th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON 2015), Cluj-Napoca, Romania, September 2015.
In Search of Semantic Models for Reconciling Futures and Transactional Memory
J. Zeng, P. Romano, L. Rodrigues, S. Haridi, J. Barreto.
In 7th Workshop on the Theory of Transactional Memory (WTTM 2015), San Sebastián, Spain, July 2015.
Available online.
Concurrency Debugging with Differential Schedule Projections
N. Machado, B. Lucia, L. Rodrigues.
In Proceedings of the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2015), Portland (OR), USA, June 2015.
Reducing the Vulnerability Window in Distributed Transactional Protocols
M. Bravo, P. Romano, L. Rodrigues, and P. van Roy.
In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data. April 21, 2015. Bordeaux, France.
On the use of Clocks to Enforce Consistency in the Cloud
M. Bravo, N. Diegues, J. Zeng, P. Romano and L. Rodrigues.
IEEE Technical Committee on Data Engineering Bulletin, Volume 38, Number 1, pp 18-31, March 2015.
Available online.
Self-tuning in Distributed Transactional Memory.
M. Couceiro, D. Didona, L. Rodrigues and P. Romano.
In Transactional Memory. Foundations, Algorithms, Tools, and Applications, Lecture Notes in Computer Science Volume 8913, 2015, pp 418-448
On Data Placement in Distributed Systems.
J. Paiva and L. Rodrigues.
In SIGOPS Operating Systems Review, Volume 49, Number 1, pp. 126-130, January 2015.
On the Range of Equilibria Utilities of a Repeated Epidemic Dissemination Game with a Mediator.
X. Vilaça and L. Rodrigues.
In Proceedings of the 16th International Conference on Distributed Computing and Networking (ICDCN 2015), Goa, India, January 2015.
Scalable Self-Tuning Data Placement in Distributed Key-value Stores.
J. Paiva, P. Ruivo, P. Romano, and L. Rodrigues.
In ACM Transactions on Autonomous and Adaptive Systems, Volume 9, Number 4, January 2015
Digital Object Identifier no.10.1145/2641573

2014

Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation.
M. Couceiro, P. Ruivo, P. Romano, L. Rodrigues.
In IEEE Transactions on Parallel and Distributed Systems
Digital Object Identifier no. 10.1109/TPDS.2014.2363460
Random Walks on Evolving Graphs with Recurring Topologies.
O. Denysyuk and L. Rodrigues.
Proceedings of the 28th International Symposium on DIStributed Computing (DISC), Austin (TX), USA, October 2014.
Overnesia: a Resilient Overlay Network for Virtual Super-Peers.
J. Leitão and L. Rodrigues.
In proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS), Nara, Japan, October 2014.
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks.
H. Tran-The and L. Rodrigues.
Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS 2014), Paderborn, Germany, September 2014.
Virtues and Limitations of Commodity Hardware Transactional Memory.
N. Diegues, P. Romano, L. Rodrigues.
In proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT), August, 2014, Edmonton, Alberta, Canada.
Balls-into-Leaves: Sub-logarithmic Renaming in Synchronous Message-Passing Systems.
D. Alistarh, O. Denysyuk, L. Rodrigues and N. Shavit.
In proceedings of the 33rd ACM Symposium on Principles of Distributed Computing (PODC), Paris, France, July 2014.
On the Energy and Performance of Commodity Hardware Transactional Memory.
N. Diegues, P. Romano, and L. Rodrigues.
SIGMETRICS, June 16-20, 2014, Austin, Texas, USA.
(Poster)
Autonomic Configuration of HyperDex via Analytical Modelling.
N. Diegues, M. Orazov, J. Paiva, L. Rodrigues and P. Romano.
The 29th Symposium On Applied Computing (SAC 2014), Gyeongju, Korea March, 2014
On Speculative Replication of Transactional Systems.
P. Romano, R. Palmieri, F. Quaglia, N. Carvalho, L. Rodrigues.
Journal of Computer and System Sciences, Elsevier, Volume 80, Issue 1, pp 257-276, February 2014.
available online.

2013

Policies for Efficient Data Replication in P2P Systems.
J. Paiva and L. Rodrigues.
The 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2013), Seoul, Korea, December 2013.
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game.
X. Vilaça and L. Rodrigues.
The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013). Osaka, Japan, November 2013.
Towards Effective and Efficient Search-Based Deterministic Replay.
M. Bravo, N. Machado, P. Romano, and L. Rodrigues.
The 9th Workshop on Hot Topics in Dependable Systems, Nemacolin Woodlands Resort (PA), USA. November 3, 2013.
Cooperation in Planetary-Scale Epidemic Dissemination.
X. Vilaça and L. Rodrigues.
The Workshop on Planetary Scale Distributed Systems (in conjunction with SRDS), Braga, Portugal, September 2013.
Rollerchain: a DHT for Efficient Replication.
J. Paiva, J. Leitão, and L. Rodrigues.
The 12th IEEE International Symposium on Network Computing and Applications (IEEE NCA13), Cambridge, MA, USA, August 2013.
Best student paper
Available BibTeX, abstract (html).
Byzantine Renaming in Synchronous Systems with t < N.
O. Denysyuk and L. Rodrigues.
In proceedings of the 32nd ACM Symposium on Principles of Distributed Computing (PODC), Montreal, Canada, July 2013.
Available BibTeX, abstract (html).
Order-preserving Renaming in Synchronous Systems with Byzantine Faults.
O. Denysyuk and L. Rodrigues.
Proceedings of the 33rd International Conference on Distributed Computing Systems (ICDCS 2013), Philadelphia, USA, Juy 2013..
Available BibTeX, abstract (html).
AutoPlacer: scalable self-tuning data placement in distributed key-value stores.
J. Paiva, P. Ruivo, P. Romano, L. Rodrigues .
Proceedings of the 10th International Conference on Autonomic Computing (ICAC '13) San Jose, California, June 2013.
Available BibTeX, abstract (html).
Property-Driven Cooperative Logging for Concurrency Bugs Replication.
N. Machado, P. Romano, L. Rodrigues .
Proceedings of the 15th USENIX Workshop on Hot Topics in Parallelism (HotPar '13) San Jose, California, June 2013.
Available BibTeX, abstract (html).
Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation.
M. Couceiro, P. Ruivo, P. Romano, L. Rodrigues.
Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Budapest, Hungary, June 2013.
Available BibTeX, abstract (html).
ChainReaction a Causal+ Consistent Datastore based on Chain Replication.
S. Almeida, J. Leitão and L. Rodrigues.
Proceedings of the EuroSys 2013, Prague, Czech Republic, April 2013.
Available BibTeX, abstract (html).
Self-management of Adaptable Component-based Applications
L. Rosa, L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting
IEEE Transactions on Software Engineering, (vol. 39 no. 3), March 2013.
in the IEEE DL
Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters.
M. Branco, J. Leitão and L. Rodrigues.
Proceedings of the 28th Symposium On Applied Computing (SAC 2013), Coimbra, Portugal March, 2013.
Available BibTeX, abstract (html) and report (pdf).
Self-management of Distributed Systems Using High-Level Goal Policies.
L. Rosa, L. Rodrigues, A. Lopes.
In Book 2 on Software Engineering for Self-Adaptive Systems, R. Lemos, H. Giese, H. Muller and M. Shaw (Eds.), LNCS 7475, Springer, 2013.

2012

SPECULA: Speculative Replication of Software Transactional Memory.
S. Peluso, J. Fernandes, P. Romano, F. Quaglia and L. Rodrigues.
Proceedings of the 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, October 2012.
Distributed Software Transactional Memories: A Summary of Research @ IST/INESC-ID
L. Rodrigues and P. Romano
Workshop Large Scale Distributed Systems and Middleware (LADIS 2012), Madeira, Portugal, July 2012
(invited talk)
Available abstract (pdf).
Brief Announcement: Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults
O. Denysyuk and L. Rodrigues
31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Madeira, Portugal, July 2012
Asynchrony and Collusion in the N-party BAR Transfer Problem.
X. Vilaça, O. Denysyuk and L. Rodrigues
Proceedings of the 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2012), Reykjavík, Iceland June 2012.
Available BibTeX, abstract (html) and report (pdf).
Lightweight Cooperative Logging for Fault Replication in Concurrent Programs.
N. Machado, P. Romano and L. Rodrigues
Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Boston (MA), USA June 2012.
Available BibTeX, abstract (html) and report (pdf).
A-OSGi: a framework to support the construction of autonomic OSGi-based applications.
J. Ferreira, J. Leitão, and L. Rodrigues.
Int. J. Autonomous and Adaptive Communications Systems, Vol. 5, No. 3, pp.292-310, 2012.
When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication.
S. Peluso, P. Ruivo, P. Romano, F. Quaglia and L. Rodrigues
Proceedings of the 32nd International Conference on Distributed Computing Systems (ICDCS-32), Macau, China, June 2012.
Available BibTeX, abstract (html) and report (pdf).
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.
J. Leitão, J. Marques, J. Pereira, L. Rodrigues.
IEEE Transactions on Parallel and Distributed Systems,(vol. 23 no. 11), Nov. 2012.
in the IEEE DL

2011

N-party BAR Transfer.
X. Vilaça, J. Leitão, M. Correia and L. Rodrigues.
In Proceedings of the the 15th International Conference On Principles Of DIstributed Systems (OPODIS), Toulouse, France, December, 2011.
Available BibTeX, abstract (html) and report (pdf).
PolyCert: Polymorphic Self-Optimizing Replication for In-Memory Transactional Grids.
M. Couceiro, P. Romano and L. Rodrigues.
In Proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference, Lisboa, Portugal, December 2011.
Available BibTeX, abstract (html) and report (pdf).
Exploiting Total Order Multicast in Weakly Consistent Transactional Caches.
P. Ruivo, M. Couceiro, P. Romano and L. Rodrigues.
In Proceedings of the 17th Pacific Rim International Symposium on Dependable Computing (PRDC 11), Pasadena, California, USA, December 12-14, 2011.
Available BibTeX, abstract (html) and report (pdf).
Goal-Oriented Self-management of In-memory Distributed Data Grid Platforms.
L. Rosa, L. Rodrigues, A. Lopes..
In Proceedings of the 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2011), Athens, Greece, November 2011.
(short paper)
Available BibTeX, abstract (html) and report (pdf).
Topology Stability-Aware Multicast Protocol for MANETs.
J. Mocito, O. Denysyuk, L. Rodrigues, H. Miranda.
In proceedings of the 36th Annual IEEE Conference on Local Computer Networks, (LCN), Bonn, Germany, October 2011.
(short paper)
Available BibTeX, abstract (html) and report (pdf).
N-party BAR transfer: Motivation, Definition and Challenges.
X. Vilaça, J. Leitão, L. Rodrigues.
In proceedings of the 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (in conjunction with DISC 2011), Rome, Italy, September 19, 2011.
Available BibTeX, abstract (html) and report (pdf).
A Generic Framework for Replicated Software Transactional Memories.
N. Carvalho, P. Romano, and L. Rodrigues.
In proceedings of the 10th IEEE International Symposium on Network Computing and Applications (IEEE NCA11), Cambridge (MA), USA, August 2011.
(short paper).
Available BibTeX, abstract (html) and report (pdf).
Low-Coupling Cluster-based Multipath Routing for Wireless Mesh Networks.
C. Fonseca, J. Mocito, and L. Rodrigues.
In proceedings of the 20th International Conference on Computer Communication Networks (ICCCN), Maui, Hawaii, July, 2011.
Available BibTeX, abstract (html) and report (pdf).
SCert: Speculative Certification in Replicated Software Transactional Memories.
N. Carvalho, P. Romano and L. Rodrigues.
In proceedings of the 4th Annual International Systems and Storage Conference (SYSTOR 2011), Haifa, Israel, May 2011.
Available BibTeX, abstract (html) and report (pdf).

2010

Asynchronous Lease-based Replication of Software Transactional Memory.
N. Carvalho, P. Romano and L. Rodrigues.
In proceedings of the ACM/IFIP/USENIX 11th Middleware Conference, Bangalore, India, Nov 2010.
Available BibTeX, abstract (html) and report (pdf).
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay.
M. Ferreira, J. Leitão, and L. Rodrigues.
In proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October-3 November 2010.
Available BibTeX, abstract (html) and report (pdf).
A Machine Learning Approach to Performance Prediction of Total Order Broadcast Protocols.
M. Couceiro, Paolo Romano and L. Rodrigues.
In proceedings 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, Hungary, September 2010
Available BibTeX, abstract (html) and report (pdf).
Accessing Probabilistic Quorums in Dynamic Networks.
O. Denysyuk and L. Rodrigues.
In WRAS 2010: The 3rd ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security, Zurich, Switzerland, July 2010
Available BibTeX, abstract (html) and report (pdf).
Flexible and Efficient Resource Location in Large-Scale Systems.
J. Alveirinho, J. G. Paiva, J. Leitão, and L. Rodrigues.
In Proceedings of the 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zurich, Switzerland, July 2010
Available BibTeX, abstract (html) and report (pdf).
Random Walk on Directed Dynamic Graphs.
O. Denysyuk and L. Rodrigues.
In 2nd International Workshop on Dynamic Networks: Algorithms and Security (DYNAS'10), Bordeaux, France, July, 2010
Available BibTeX, abstract (html) and report (pdf).
@Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks.
J. Mocito, L. Rodrigues, and H. Miranda.
In Proceedings of the 16th Euro-Par 2010, Ischia, Naples, Italy, August 2010. Springer.
Available BibTeX, abstract (html) and report (pdf).
Communication and Coordination Support in Ad Hoc Networks for Emergency Management.
J. Mocito, L. Rodrigues, and H. Miranda.
In Proceedings of the Emergency Management Workshop on the 6th International Wireless Communications and Computing Conference (IWCMC'10), Caen, France, June 2010.
Available BibTeX, abstract (html) and report (pdf).
An Optimal Speculative Transactional Replication Protocol
P. Romano, R. Palmieri, F. Quaglia, N. Carvalho and L. Rodrigues
In Proceedings of the 8th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taiwan, Taipei, September 2010.
Available BibTeX, abstract (html) and report (pdf).
Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks.
D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro.
In Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Chicago, Illinois, USA, June, 2010.
Available BibTeX, abstract (html) and report (pdf).
Balancing Gossip Exchanges in Networks with Firewalls.
J. Leitão, R. van Renesse and L. Rodrigues.
In Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10), San Jose, CA, USA, 27 April, 2010.
Available BibTeX, abstract (html) and report (pdf).
Practical Database Replication
A. Correia Jr., J. Pereira, L. Rodrigues, N. Carvalho, and R. Oliveira
In Replication Theory and Practice, B. Charron-Bost, F. Pedone, A. Schiper (Eds.), Chapter 13, Springer 2010.
ISBN: 978-3-642-11293-5
publisher site.
Reputation in Anonymous Vehicular Networks.
H. Miranda and L. Rodrigues.
International Journal of Autonomous and Adaptive Communications Systems, Vol. 3, No. 2, pp 178-197, 2010. Special Issue on: Security, Trust, and Privacy in VANETs, Inderscience Publishers Ltd.
publisher site
On Adding Structure to Unstructured Overlay Networks.
J. Leitão, N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
publisher site and report (pdf).
Gossip-Based Broadcast.
J. Leitão, J. Pereira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
publisher site and report (pdf).
RASM: A Reliable Algorithm for Scalable Multicast
M. Allani, J. Leitão, B. Garbinato and L. Rodrigues
Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), Italy, Pisa, Feb, 2010.
Available BibTeX, abstract (html) and report (pdf).

2009

Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters
P. Romano, N. Carvalho, M. Couceiro, L. Rodrigues and J. Cachopo
Proceedings of the Third International Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications (AAA-IDEA), Las Palmas, Gran Canaria, ICST Lecture Notes, Springer, November 2009.
Invited Paper
Available BibTeX, abstract (html) and report (pdf).
D2STM: Dependable Distributed Software Transactional Memory
M. Couceiro, P. Romano, N. Carvalho, L. Rodrigues.
Proceedings of the 15th Pacific Rim International Symposium on Dependable Computing (PRDC 09), Shanghai, China, November 16-18, 2009.
Available BibTeX, abstract (html) and report (pdf).
From Local Impact Functions to Global Adaptation of Service Compositions
L. Rosa, L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting
Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 3-6, 2009.
Available BibTeX, abstract (html) and report (pdf).
FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform.
C. Torrão, N. Carvalho, and L. Rodrigues
Proceedings of the 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA'09), Vilamoura, Algarve-Portugal, Nov 01 - 03, 2009.
Available BibTeX, abstract (html) and report (pdf).
Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories
P. Romano, L. Rodrigues, N. Carvalho, and J. Cachopo
Proceedings of the 3rd ACM SIGOPS International Workshop on Large-Sacle Distributed Systems and Middleware (LADIS), Big Sky Resort, Big Sky (MT), USA, October 10-11, 2009.
also published in
ACM Sigops Operating Systems Review, Volume 44, Issue 2, pp 1-6, April 2010
Available BibTeX, abstract (html) and report (pdf).
Single-step creation of localized Delaunay triangulations.
F. Araújo and L. Rodrigues.
Wireless Networks, Volume 15, Number 7 / October, 2009, Springer
publisher site.
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
J. Leitão, J. P. Marques, J. Pereira and L. Rodrigues
Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems, Niagara Falls, New York, U.S.A., Sep, 2009.
Available BibTeX, abstract (html) and report (pdf).
A-OSGi: A framework to support the construction of autonomic OSGi-based applications.
J. Ferreira, J. Leitão and L. Rodrigues
Proceedings of the Third International ICST Conference on Autonomic Computing and Communication Systems, Limassol, Cyprus, Sep, 2009.
Available BibTeX, abstract (html) and report (publisher site).
On the Use of Radio Resource Tests in Wireless ad hoc Networks
D. Mónica, J. Leitão, C. Ribeiro, L. Rodrigues.
Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), in conjunction with The 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 29th, 2009.
Available BibTeX, abstract (html) and report (pdf).
Verme: Worm Containment in Overlay Networks
F. Freitas, E. Marques, R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues.
Proceedings of the 39th IEEE/IFIP International Conference on Dependable Systems and Networks, Estoril, Portugal, June 2009.
Available BibTeX, abstract (html) and report (pdf).
An Efficient Weak Mutual Exclusion Algorithm
P. Romano and L. Rodrigues.
Proceedings of the 8th International Symposium on Parallel and Distributed Computing. Lisboa, Portugal, June 2009.
Available BibTeX, abstract (html) and report (pdf).
The Weak Mutual Exclusion Problem.
P. Romano, L. Rodrigues and N. Carvalho.
Proceedings of the 23rd International Parallel and Distributed Processing Symposium, Rome, Italy, May 2009.
Available BibTeX, abstract (html) and report (pdf).
An algorithm for dissemination and retrieval of information in wireless ad hoc networks
H. Miranda, S. Leggio, L. Rodrigues and K. Raatikainen.
Concurrency and Computation: Practice and Experience, Wiley InterScience, Volume 21 Issue 7, Pages 889-904, 2009.
Available BibTeX and abstract (html)
Gossip-Based Dissemination.
R. Friedman, A.-M. Kermarrec, H. Miranda, L. Rodrigues
In Middleware for Network Eccentric and Mobile Applications, Chapter 8, B. Garbinato, H. Miranda, L. Rodrigues (Editors). Springer, 2009, ISBN: 978-3-540-89706-4.
Available BibTeX and abstract (html)

2008

Large-Scale Peer-to-Peer Autonomic Monitoring.
J. Leitão. L. Rosa, L.Rodrigues.
Workshop on Distributed Autonomous Network Management Systems, in conjuction with Globecom, New Orleans, USA, November, 2008.
Available BibTeX, abstract (html) and report (pdf).
Towards Distributed Software Transactional Memory Systems
P. Romano, N. Carvalho, L. Rodrigues
Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2008), Watson Research Labs, Yorktown Heights (NY), USA, September 2008
(invited paper)
Available BibTeX, abstract (html) and report (pdf).
Supporting Linearizable Semantics in Replicated Databases.
L. Rodrigues, N. Carvalho, and E. Miedes.
The 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA08), pp. 263-266, Cambridge, MA, USA, July 2008. (short paper)
Available BibTeX, abstract (html) and report (pdf).
Versioned Transactional Shared Memory for the FenixEDU Web Application.
N. Carvalho, J. Cachopo, L. Rodrigues, and A. Rito Silva.
Second Workshop on Dependable Distributed Data Management (in conjunction with Eurosys 2008), Glasgow, Scotland, March 31, 2008.
Available BibTeX, abstract (html) and report (pdf).
Modelling Adaptive Services for Distributed Systems
L. Rosa, A. Lopes, L. Rodrigues
The 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems DADS Track, Fortaleza, Brasil, March 2008.
Available BibTeX, abstract (html) and report (pdf).

2007

Gossiping on MANETs: the beauty and the beast
R. Friedman, D. Gavidia, L. Rodrigues, A. Viana, S. Voulgaris.
ACM SIGOPS Operating Systems Review, Volume 41, Issue 5, Gossip-based computer networking, October 2007.
Available BibTeX, abstract (html) and online paper OSR.
On the Use of a Reflective Architecture to Augment Database Management Systems
N. Carvalho, A. Correia Jr., J. Pereira, L. Rodrigues, R. Oliveira, S. Guedes
Journal of Universal Computer Science, Vol 13, No 8, pp 1110-1135.
Available BibTeX, abstract (html) and online paper JUCS.
Building Adaptive Systems with Service Composition Frameworks
L. Rosa, L. Rodrigues, A. Lopes
Proceedings of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA), Algarve, Portugal, November, 2007
Available BibTeX, abstract (html) and report (pdf).
A Framework to Support Multiple Reconfiguration Strategies.
L. Rosa, L. Rodrigues, A. Lopes
Proceedings of the Autonomics 2007, October 2007, Rome Italy.
Available BibTeX, abstract (html) and report (pdf).
Epidemic Broadcast Trees.
J. Leitão, J. Pereira, and L. Rodrigues.
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems, pp. 301-310, Beijing, China, October 10-12, 2007.
Available BibTeX, abstract (html) and report (pdf).
Implementation and analysis of real-time communication protocol compositions.
J. Rodrigues, J. Ventura, A. Campos, L. Rodrigues.
Real-Time Systems Journal, October 2007, (Vol 37, Nb 1) pp 45-76, Springer
Available BibTeX and paper from Springer.
An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks.
H. Miranda, S. Leggio, L. Rodrigues, and K. Raatikainen.
Proceedings of the Proceedings of the Euro-Par 2007, Rennes, France, August 2007.
Available BibTeX, abstract (html) and report (pdf).
GORDA: An Open Architecture for Database Replication.
A. Correia Jr., J. Pereira, L. Rodrigues, N. Carvalho, R. Vilaça, R. Oliveira, and S. Guedes.
Proceedings of the 6th IEEE International Symposium on Network Computing and Applications, (NCA07), Cambridge (MS), USA, July 2007.
(short paper)
Available BibTeX, abstract (html) and report (pdf).
HyParView: a membership protocol for reliable gossip-based broadcast.
J. Leitão, J. Pereira, and L. Rodrigues.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp. 419-429, Edinburgh, UK, June, 2007.
Available BibTeX, abstract (html) and report (pdf).
Emergent Structure in Unstructured Epidemic Multicast.
N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp. 481-490, Edinburgh, UK, June, 2007.
Available BibTeX, abstract (html) and report (pdf).
Verme: Worm Containment in Peer-to-Peer Overlays.
F. Freitas, R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues.
Proceedings of the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07), Bellevue, WA, USA, February, 2007.
Available BibTeX, abstract (html) and report (pdf).

2006

On Statistically Estimated Optimistic Delivery in Large-Scale Total Order Protocols.
J. Mocito, A. Respício, L. Rodrigues.
Proceedings of the 12th IEEE International Symposium on Pacific Rim Dependable Computing (PRDC'06). University of California, Riverside, USA December, 2006.
Available BibTeX, abstract (html) and report (pdf).
Towards a Generic Group Communication Service.
N. Carvalho, J. Pereira, L. Rodrigues.
Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA). Montpellier, France, October, 2006.
Available BibTeX, abstract (html) and report (pdf).
Efficient Epidemic Multicast in Heterogeneous Networks.
J. Pereira, R. Oliveira, L. Rodrigues.
Proceedings of the International Workshop on Reliability in Decentralized Distributed Systems, part of the OTM Federated Conferences and Workshops. Montpellier, France, October, 2006.
Available BibTeX, abstract (html) and report (pdf).
Power-Aware Broadcasting Algorithm
H. Miranda, S. Leggio, L. Rodrigues and K. Raatikainen.
Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications. Helsinki, Finland, September 2006.
Available BibTeX, abstract (html) and report (pdf).
Run-Time Switching Between Total Order Algorithms
J. Mocito and L. Rodrigues.
Proceedings of the Euro-Par 2006, Dresden, Germany, August 2006.
Available BibTeX, abstract (html) and report (pdf).
Epidemic Dissemination for Probabilistic Data Storage
H. Miranda, S. Leggio, L. Rodrigues, K. Raatikainen.
In Global Data Management, Volume 8, Emerging Communication: Studies on New Technologies and Practices in Communication, R. Baldoni, G. Cortese, F. Davide and A. Melpignano (eds.), July 2006, IOS Press. ISBN: 1-58603-629-7.
Available BibTeX, abstract (html) and (pdf).
A Framework to Provide Anonymity in Reputation Systems
H. Miranda, L. Rodrigues.
Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). San Jose, California, July 2006. (Research-in-Progress Paper)
Available BibTeX, abstract (html) and report (pdf).
SIPCache: A Distributed SIP Location Service for Mobile Ad-Hoc Networks.
S. Leggio, H. Miranda, K. Raatikainen, L. Rodrigues.
Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). San Jose, California, July 2006. (Research-in-Progress Paper)
Available BibTeX, abstract (html) and report (pdf).
Policy-Driven Adaptation of Protocol Stacks
L. Rosa, A. Lopes, and L. Rodrigues.
Proceedings of the IEEE Self-adaptability and self-management of context-aware systems workshop (SELF), Santa Clara (CA), USA, July 2006
Available BibTeX, abstract (html) and report (pdf).
Reducing Latency in Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc NetworksRendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks
N. Carvalho, F. Araujo, L. Rodrigues
The 5th International Workshop on Distributed Event-Based Sytems (DEBS)}. In conjuction with The 26th International Conference on Distributed Computing Systems, July 4-7, 2006, Lisboa, Portugal.
Available BibTeX, abstract (html) and report (pdf).
A Two-Side Perspective on Cooperation in Mobile Ad Hoc Networks
H. Miranda and L. Rodrigues.
Actas da Conferência sobre Sistemas Móveis e Ubíquos, Guimarães, Junho, 2006.
Available BibTeX, abstract (html) and report (pdf).
Context adaptation of the communication stack
J. Mocito, L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, A. Lopes
International Journal of Parallel, Emergent and Distributed Systems, Volume 21, Number 3 / June 2006, pp 169-181, Taylor & Francis.
Available BibTeX, abstract (html) and online copy (publisher site).
From Spontaneous Total Order to Uniform Total Order: different degrees of optimistic delivery
L. Rodrigues and J. Mocito and N. Carvalho
In Proceedings of the 21st ACM Symposium on Applied Computing (SAC'06), Dijon, France, April 2006.
Available BibTeX, abstract (html) and report (pdf).

2005

On the Monitoring Period for Fault-Tolerant Sensor Networks
F. Araújo and L. Rodrigues
Proceedings of the Second Latin-American Symposium on Dependable Computing, Salvador, Bahia, Brazil, October 2005
Available BibTeX, abstract (html) and report (pdf).
Long Range Contacts in Overlay Networks
F. Araújo and L. Rodrigues
Proceedings of the Euro-Par 2005, Lisboa, Portugal, August 2005
Available BibTeX, abstract (html) and report (pdf).
Scalable QoS-Based Event Routing in Publish-Subscribe Systems
N. Carvalho, F. Araújo and L. Rodrigues
Proceedings of the 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), July, 2005, Cambridge, MA, USA
Available BibTeX, abstract (html) and report (pdf).
Context Adaptation of the Communication Stack
J. Mocito, L. Rosa. N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes
Proceedings of the Third International Workshop on Mobile Distributed Computing (MDC'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
Available BibTeX, abstract (html) and report (pdf).
A Distributed Hash Table for Wireless Ad Hoc Networks
F. Araújo, L. Rodrigues, J. Kaiser, C. Liu, and C. Mitidieri.
Proceedings of the Fourth International Workshop on Distributed Event-Based Systems (DEBS'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
Available BibTeX, abstract (html) and report (pdf).
Using a Fairness Monitoring Service to Improve Load-Balancing in DSR
H. Miranda and L. Rodrigues
Proceedings of the First International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
Available BibTeX, abstract (html) and report (pdf).

2004

Fast Localized Delaunay Triangulation
F. Araújo and L. Rodrigues
Proceedings of the 8th International Conference on Principles of Distributed Systems (OPODIS), December 2004, Grenoble, France.
Available BibTeX, abstract (html) and report (gzip postscript), (pdf).
Low-Latency Probabilistic Broadcast in Wide Area Networks
J. Pereira, L. Rodrigues, A. Pinto, and R. Oliveira
Proceedings of the 23rd Symposium on Reliable Distributed Systems, pp. 299-208, Florianopolis, Brazil, October 2004.
Available BibTeX, abstract (html) and report (gzip postscript), (pdf).
From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions
J. Rodrigues and L. Rodrigues.
Proceedings of the 5th IEEE International Workshop on Factory Communication Systems, pp 265-274, Vienna, Austria, September 2004.
Available BibTeX, abstract (html) and report (gzip postscript), (pdf).
GeoPeer: A Location-Aware Peer-to-Peer System
F. Araújo and L. Rodrigues.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (IEEE NCA04), pp. 39-46, August, 2004, Cambridge, MA, USA.
Available BibTeX, abstract (html) and report (gzip postscript), (pdf).
Self-Adapting Epidemic Broadcast Algorithms
L. Rodrigues and J. Pereira.
Position paper presented at the FuDiCo II: S.O.S. Survivability: Obstacles and Solutions 2nd Bertinoro Workshop on Future Directions in Distributed Computing, June 2004, Bertinoro (Forlì), Italy.
Available BibTeX, abstract (html) and report (gzip postscript), (pdf).

2003

Integration of Flight Simulator 2002 with an epidemic multicast protocol
M. J. Monteiro, J. Pereira, L. Rodrigues.
International Workshop on Large-Scale Group Communication,(in conjuction with The 22nd Symposium on Reliable Distributed Systems), October, 2003, Florence, Italy.
Available report(pdf).
NEEM: Network-friendly Epidemic Multicast
J. Pereira, L. Rodrigues, M. J. Monteiro, R. Oliveira, A.-M. Kermarrec.
The 22nd Symposium on Reliable Distributed Systems, October, 2003, Florence, Italy.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and its use in Quorum-Based Replication
L. Rodrigues and M. Raynal.
IEEE Transactions on Knowledge and Data Engineering. September/October 2003 (Vol. 15, No. 5), pp. 1206-1217.
Available BibTeX, abstract (html).
Adaptive Gossip-Based Broadcast.
L. Rodrigues, S. Handurukande, J. Pereira, R. Guerraoui, A.-M. Kermarrec.
Proceedings of the International Conference on Dependable Systems and Networks (DSN), pp. 47-56, San Francisco, California, USA, June, 2003.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
The Road to a more Configurable and Adaptive Communication and Coordination Support
L. Rodrigues.
Proceedings of the 9th Workshop on Future Trends of Distributed Computing Systems, pp. 16-22. San Juan, Puerto Rico, May 2003.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Friends and Foes: Preventing Selfishness in Open Mobile Ad Hoc Networks
H. Miranda and L. Rodrigues.
International Workshop on Mobile Distributed Computing (MDC).
Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems Workshops, pp 440-445.
Providence, Rhode Island USA, May 2003.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
A Genetic Algorithm for Multicast Mapping in Publish-Subscribe Systems
M. Guimarães and L. Rodrigues.
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications, pp. 67-74, April 16-18, 2003, Cambridge, MA, USA.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Semantically Reliable Multicast: Definition, Implementation and Performance Evaluation.
J. Pereira, L. Rodrigues and R. Oliveira.
IEEE Transactions on Computers, Special Issue on Reliable Distributed Systems, (Vol 52, Nb. 2), pp. 150-165, February 2003.
Available BibTeX, abstract (html).

2002

Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments.
S. Teixeira, P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, A. Rito-Silva
In Proceedings of the International Symposium on Distributed Objects and Applications (DOA), October 2002, Irvine (CA), USA.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
The GlobData Fault-Tolerant Replicated Distributed Object Database.
L. Rodrigues, H. Miranda, R. Almeida, J. Martins and P. Vicente
In Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology, pp. 426-433, October 2002, Teheran, Iran.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
An Indulgent Uniform Total Order Algorithm with Optimistic Delivery.
P. Vicente and L. Rodrigues
In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'02), pp. 92-101. October, 2002, Osaka, Japan .
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Report on the EU/NSF Strategic Workshop on Middleware for Mobile Systems Workshop
R. Prakash and L. Rodrigues (editors)
Strategic Workshops - Shaping future EU-NSF collaborations in Information Technologies
Available (pdf).
On QoS-Aware Publish-Subscribe.
F. Araújo and L. Rodrigues.
In Proceedings of the International Workshop on Distributed Event-Based Systems, Vienna, Austria, July, 2002. (Proceedings the 22nd International Conference on Distributed Computing Systems Workshops, pp 511-515).
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Strong Replication in the GlobData Middleware.
L. Rodrigues, H. Miranda, R. Almeida, J. Martins and P. Vicente.
In Proceedings Workshop on Dependable Middleware-Based Systems, pp. G96-G104, Washington D.C., USA, June 2002. (Suplemental Volume of the 2002 Dependable Systems and Networks Conference, DSN 2002).
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Reducing the Cost of Group Communication with Semantic View Synchrony.
J. Pereira, L. Rodrigues and R. Oliveira
In Proceedings of The International Conference on Dependable Systems and Networks (DSN), pp. 293-302, Washington, DC, June, 2002.
Available BibTeX, abstract and extended report(gzip postscript), (pdf).
Semantically Reliable Broadcast: Sustaining High Throughput in Reliable Distributed Systems.
J. Pereira, L. Rodrigues and R. Oliveira
In Concurrency in Dependable Computing, Paul Ezhilchelvan and Alexander Romanovsky (eds.), Chapter 10. 2002 Kluwer Academic Publishers, June 2002, ISBN 1-4020-7043-8.
Available BibTeX, abstract.
Probabilistic Semantically Reliable Multicast
J. Pereira, L. Rodrigues, R. Oliveira, A.-M. Kermarrec
in Proceedings of the IEEE International Symposium on Network Computing and Applications, January, 11-13, 2002, Cambridge, MA, USA. (Short paper)
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Schedulability Analysis of an Event-based Real-Time Protocol Framework.
J. Rodrigues, J. Ventura, and L. Rodrigues.
in Proceedings of the Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems, (WORDS 2002), pp. 319-325, San Diego, CA, USA, January 2002.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).

2001

Measuring Distributed Durations with Stable Errors
A. Casimiro, P. Martins, P. Veríssimo and L. Rodrigues
in Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), pp. 310-319, London, UK, December 3-6, 2001.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Supporting views in network management systems
C. Palma and L. Rodrigues
in Proceedings of the IFIP/IEEE 12th International Workshop on Distributed Systems: Operations & Management, October 15-17, 2001, Nancy, France.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
A Neural Network for Shortest Path Computation
F. Araújo, B. Ribeiro and L. Rodrigues
in IEEE Transaction on Neural Networks, Vol. 12, N. 5, pp. 1067-1073, Sep. 2001.
Available BibTeX, abstract (html).
Light-Weight Groups: an implementation in Ensemble
A. Pinto, H. Miranda, L. Rodrigues
in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Quality of Service in Indirect Communication Systems
F. Araújo and L. Rodrigues
in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Response Time Analysis of Composable Micro-Protocols
J. Ventura, J. Rodrigues, L. Rodrigues
in Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Separating Replication from Distributed Communication: Problems and Solutions
M. Antunes, H. Miranda, A. Rito Silva, L. Rodrigues and J. Martins
in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108. Phoenix, Arizona, USA.
Available BibTeX, abstract (html) and extended report (pdf).
Appia, a flexible protocol kernel supporting multiple coordinated channels
H. Miranda, A. Pinto, L. Rodrigues
in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710. Phoenix, Arizona, USA (Poster session).
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
The design of RTAppia
J. Rodrigues, H. Miranda, J. Ventura, L. Rodrigues
in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, pp. 261-268, Rome, 8-10 January 2001.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).

2000

A Dynamic Light-Weight Group Service
L. Rodrigues, K. Guo, P. Veríssimo, K. Birman
in Journal of Parallel and Distributed Computing Vol. 60, No. 12, December 2000, pp 1449-1479. Academic Press.
Available BibTeX, abstract (html).
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
P. Veríssimo, A. Casimiro, L. M. Pinho, F. Vasques, L. Rodrigues, E. Tovar.
in Proceedings of 16th IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia, November 2000.
Available BibTeX, abstract (html) and extended report (pdf).
Group Communication Support for Dependable Multi-User Object Oriented Environments
H. Miranda, M. Antunes, L. Rodrigues amd A. Rito Silva.
in Proceedings of the International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), in conjunction with the 19th IEEE Symposium on Reliable Distributed Systems, Nurnberg, Germany, October 2000.
Available BibTeX, abstract (html) and extended report (pdf).
Semantically Reliable Multicast Protocols
J. Pereira, L. Rodrigues and R. Oliveira.
in Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, pp. 60-69, Nurnberg, Germany, October 2000.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf).
Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems
L. Rodrigues and M. Raynal.
in proceedings of the European Conference on Parallel Computing (Euro-Par 2000), Munchen, Germany, August, 2000.
Available BibTeX, abstract (html).
Partitionable Light-Weight Groups
L. Rodrigues and K. Guo.
in Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, pp. 38-45, Taipe, Taiwan, April, 2000.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems
L. Rodrigues and M. Raynal
In Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, pp. 288-295, Taipe, Taiwan, April, 2000.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf).
Deadline-Constrained Causal Order
L. Rodrigues, R. Baldoni, E. Anceaume, M. Raynal.
In Proceedings of the The 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, pp. 234-241. Newport Beach, California, USA, March, 2000.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1999

Topology-aware algorithms for large-scale communication
L. Rodrigues and P. Veríssimo.
Advances in Distributed Systems, S. Krakowiak and S. Shrivastava (editors), Chapter 6, pp. 127-156, Springer Verlag LNCS vol. 1752.
Available BibTeX, abstract (html)
Flexible Communication Support for CSCW Applications
H. Miranda and L. Rodrigues
5th Internation Workshop on Groupware, Cacún, México, September 22-24, 1999
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Scalability issues in MOOs: the role of object migration and replication
L. Rodrigues
Multi-User Object-Oriented Environments Workshop. In association with the 13th European Conference on Object-Oriented Programming (ECOOP'99) Lisbon, Portugal, 14-18 June 1999.
Also as
Multi-user Object-Oriented Environments.
I. Tomek, A. Diaz, R. melster. A. Silva, M. Antunes, V. Cahill, Z. Choukair, A. Fernadez, M. Haarhr, E. Jul, A. Ohnishi, L. Rodrigues, E. Schmidt, C. Tapus, W. Wieczerzycki, and D. Zimmerman.
In A. Moreira and S. Demeyer (editors) Object-Oriented Technology, ECOOP' 99 Workshop Reader, LNCS 1743, pp. 80-96, Springer. 1999.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Communication support for multiple QoS requirements
H. Miranda and L. Rodrigues
Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, 23-28 April 1999.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1998

Fault-Tolerant Clock Synchronization in CAN
L. Rodrigues and M. Guimarães and J. Rufino
Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, pp.420-429, 1998
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Scalable Atomic Multicast
L. Rodrigues and R. Guerraoui and A. Schiper
Proceedings of the Seventh International Conference on Computer Communications and Networks (IC3N'98), Lafayette, Louisiana, USA, 12-15 October, pp. 840-847, 1998
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
A Fault-Tolerant Secure CORBA Store using Fragmentation-Redundancy-Scattering
C. Silva and L. Rodrigues
Proceedings of the ECOOP Workshop on Distributed Object Security, In Association with 12th European Conference on Object-Oriented Programming. Brussels, Belgium, July 20, pp. 69-73, 1998.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Fault-Tolerant Broadcasts in CAN.
J. Rufino, P. Verissimo, G. Arroz, C. Almeida and L. Rodrigues.
Digest of Papers, The 28th IEEE International Symposium on Fault-Tolerant Computing
Munich, Germany, June, pp. 150-159, 1998.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf).

1997

CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems.
P. Veríssimo, L. Rodrigues and A. Casimiro.
Special Issue on the Challenge of Global Time in Large-Scale Distributed Real-Time Systems, Journal of Real-Time Systems
Vol 12, pp 243-294, 1997, Kluwer Academic Publishers
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Dynamic Light-Weight Groups.
K. Guo and L. Rodrigues.
Proceedings of the 17th IEEE International Conference on Distributed Computing Systems
Baltimore, Maryland, USA, May, 1997
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1996

A Transparent Light-Weight Group Service.
L. Rodrigues, K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Veríssimo, and K. Birman.
Proceedings of the 15th IEEE Symposium on Reliable Distributed Systems
Niagara-on-the-Lake, Canada, October, 1996.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Totally Ordered Multicast in Large-Scale Systems
L. Rodrigues, H. Fonseca and P. Veríssimo.
Proceedings of the 16th International Conference on Distributed Computing Systems.
Hong Kong, May 1996.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1995

Using Tailored Failure Suspectors to Support Distributed Cooperative Applications
F. Cosquer, L. Rodrigues, and P. Veríssimo.
Proceedings of the 7th IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems. pp: 352-356.
Washington (DC), USA, October 1995.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Reliable Computing over Mobile Networks
L. Rodrigues, H. Fonseca, and P. Veríssimo.
Proceedings of the 5th Workshop on Future Trends of Distributed Computing Systems.
Cheju Island, Korea, August 1995. pp: 488-494.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Priority-based totally ordered multicast
L. Rodrigues, A. Casimiro, and P. Veríssimo.
Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95).
Ostend, Belgium, May 1995.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems
Luís Rodrigues and Paulo Veríssimo.
Proceedings of the 15th International Conference on Distributed Computing Systems. pp. 83-91,
Vancouver, British Columbia, Canada, May 1995.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1994

A Replication-Transparent Remote Invocation Protocol
L. Rodrigues, E. Siegel, and P. Veríssimo
Proceedings of the 13th Symposium on Reliable Distributed Systems
Dana Point (CA), USA, October 1994
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
How to avoid the cost of causal communication in large-scale system
L. Rodrigues, P. Veríssimo
Proceedings of the 6th ACM-SIGOPS Europe Workshop
Dagstuhl, Germany, September 1994
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1993

Using atomic broadcast to implement a posteriori agreement for clock synchronization
L. Rodrigues, P. Veríssimo, and A. Casimiro
Proceedings of the 12th Symposium on Reliable Distributed Systems
Princeton, New Jersey, USA, October 1993
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Replicated Object Management Using Group Technology
L. Rodrigues, and P. Veríssimo
Proceedings of the 4th Workshop on Future Trends of Distributed Computing Systems
Lisboa, Portugal, September 1993
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
A low-level processor group membership protocol for LANS
L. Rodrigues, P. Veríssimo, and J. Rufino.
Proceedings of the 13th International Conference on Distributed Computing Systems
Pittsburgh, Pennsylvania, USA, May 1993.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1992

xAMp: a Multi-primitive Group Communications Service
L. Rodrigues and P. Veríssimo.
Proceedings of the 11th Symposium on Reliable Distributed Systems
Houston, Texas, October 1992.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Fast group communication for standard workstations.
W. Vogels, L. Rodrigues, and P. Veríssimo
Proceedings of the OpenForum'92 Technical Conference
EurOpen, UniForum, Utrecht, the Netherlands, November 1992.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Requirments for high-performance group support
W. Vogels, L. Rodrigues, and P. Veríssimo
Proceedings of the 5th ACM SIGOPS European workshop
LeMont Saint-Michel, France, September 1992.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks
P. Veríssimo and L. Rodrigues
Digest of Papers, The 22th International Symposium on Fault-Tolerant Computing
Boston - USA, July 1992.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Group orientation: a paradigm for distributed systems of the nineties
P. Veríssimo and L. Rodrigues.
Proceedings of the 3rd Workshop on Future Trends of Distributed Computing Systems
Taipe, Taiwan, April 1992.
Available BibTeX, abstract (html), report (gzip postscript), (pdf) and revised report (gzip postscript), (pdf) .

1991

Enforcing real-time behaviour of LAN-based protocols
P. Veríssimo, J. Rufino, and L. Rodrigues.
Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems
Semmering, Austria, September 1991.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Extra Performance Architecture (XPA)
P. Veríssimo, P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, and D. Seaton.
In Delta-4 - A Generic Architecture for Dependable Distributed Computing
D. Powell, editor.
Chapter 9.
ESPRIT Research Reports, Springer Verlag, November 1991.
Available BibTeX, abstract (html).
The Atomic Multicast Protocol (AMp)
P. Veríssimo, L. Rodrigues, and J. Rufino.
In Delta-4 - A Generic Architecture for Dependable Distributed Computing
D. Powell, editor.
Chapter 10.
ESPRIT Research Reports, Springer Verlag, November 1991.
Available BibTeX, abstract (html).
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
M. Baptista, L. Rodrigues, P. Veríssimo, S. Graf, J.L. Richier, C. Rodriguez, and J. Voiron.
FORMAL DESCRIPTION TECHNIQUES, III
J. Quemada, J. Manas, and E. Vazques, editors
North-Holland, pp: 345-352, 1991.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .
Reliable multicasting in high-speed lans
P. Veríssimo and L. Rodrigues.
High-Capacity Local and Metropolitan Area Networks
G. Pujolle, editor.
Springer Verlag, NATO ASI Series, Volume F72, pp:397-412, 1991.
Available BibTeX, abstract (html) and extended report (gzip postscript),(pdf) .

1990

The Delta-4 Extra performance architecture (XPA)
P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, D. Seaton, N. Speirs, and P. Veríssimo.
Digest of Papers, The 20th International Symposium on Fault-Tolerant Computing
Newcastle-UK, June 1990.
Available BibTeX, abstract (html).
Reliable broadcast: a survey
Luís Rodrigues and Paulo Veríssimo.
INESC Journal of R & D
1(1), June 1990.
Available BibTeX, abstract (html).

1989

AMp: a highly parallel atomic multicast protocol.
P. Veríssimo, L. Rodrigues, and M. Baptista.
Proccedings of the SIGCOM'89 Symposium
Austin-USA, September 1989.
Available BibTeX, abstract (html) and extended report (gzip postscript), (pdf) .

1987

Atomic Multicast Extensions for 802.4 Token-Bus
P. Veríssimo, L. Rodrigues, and J. Marques.
FOC/LAN 87 Conference
Anaheim-USA, October 1987.
Available BibTeX, abstract (html).

PhD Thesis

Suporte à computação orientada aos grupos em sistemas distribuídos tolerantes a faltas
Instituto Superior Técnico, Setembro, 1995.
Available BibTeX, abstract (html), and pdf

Master Thesis

Mecanismos de comunicação eficientes para sistemas de tempo-real e tolerantes a faltas
Instituto Superior Técnico, Setembro, 1990.
Available BibTeX, abstract (html).

Papers in Portuguese

2023

Suporte para Coerência Causal Transacional em Sistemas de Microsserviços.
J. Queirós, R. Soares and L. Rodrigues.
Actas do décimo quarto Simpósio de Informática (Inforum), Porto, Portugal, Sep. 2023.
Available BibTeX, extended report (pdf).
Disseminação e Agregação Cientes da Topologia para Suportar Consenso Bizantino em Larga Escala.
H. Teixeira, L. Rodrigues and M. Matos.
Actas do décimo quarto Simpósio de Informática (Inforum), Porto, Portugal, Sep. 2023.
Available BibTeX, extended report (pdf).
Detecção Automática de Anomalias em Arquiteturas de Microsserviços.
V. Romão, R. Soares, V. Manquinho and L. Rodrigues
Actas do décimo quarto Simpósio de Informática (Inforum), Porto, Portugal, Sep. 2023.
Available BibTeX, extended report (pdf).

2022

Aprendizagem Federada para Previsão do Próximo Nó em Fluxos de Ações.
D. Lopes, J. Nadkarni, F. Assunção, M. Lopes and L. Rodrigues.
Actas do décimo terceiro Simpósio de Informática (Inforum), Guarda, Portugal, Sep. 2022.
Available BibTeX, extended report (pdf).
Ataques de Frequência em Deduplicação Cifrada na Nuvem.
R. Silva, C. Correia, M. Correia and L. Rodrigues.
Actas do décimo segundo Simpósio de Informática (Inforum), Guarda, Portugal, Sep. 2022.
Available BibTeX, extended report (pdf).

2021

Prova de Resposta Pontual no Acesso ao Armazenamento Contratado na Periferia da Rede.
R. Prates, C. Correia, M. Correia, and L. Rodrigues
Actas do décimo segundo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2021.
Available BibTeX, extended report (pdf).
Uma Arquitectura para Oferecer Garantias de Coerência forte a Aplicações FaaS.
R. Soares and L. Rodrigues
Actas do décimo segundo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2021.
Available BibTeX, extended report (pdf).

2019

Difusão em Grupo Tolerante a Faltas com Ordem Causal Usando Informação Localizada.
V. Santos and L. Rodrigues
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, Sep. 2019.
Available BibTeX, extended report (pdf).
Identificação de Canais Encobertos no Skype usando Esboços em SDNs.
A. Madeira, D. Barradas, N. Santos and L. Rodrigues
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, Sep. 2019.
Prémio melhor artigo de estudante INForum 2019.
Available BibTeX, extended report (pdf).
Concretização Eficiente de Coerência Causal Transaccional na Nuvem.
T. Lykhenko and L. Rodrigues
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, Sep. 2019.
Available BibTeX, extended report (pdf).
Ordenação Segura de Eventos na Periferia da Rede.
C. Correia, L. Rodrigues and M. Correia
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, Sep. 2019.
Available BibTeX, extended report (pdf).

2018

Reduzindo o Custo de Explorar Configurações para Execução de Aplicações na Nuvem.
M. Casimiro, D. Didona, P. Romano, L. Rodrigues and W. Zwanepoel
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, Sep. 2018.
Available BibTeX, extended report (pdf).
Armazenamento de Dados com Coerência Causal na Periferia da Rede.
N. Afonso, M. Bravo, and L. Rodrigues
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, Sep. 2018.
Available BibTeX, extended report (pdf).
Técnicas para Redução da Carga na Rede no Livro-Razão da Bitcoin.
J. Marçal, M. Matos and L. Rodrigues
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, Sep. 2018.
Available BibTeX, extended report (pdf).
Uma Arquitetura Distribuída e Hierárquica para Validação Diferida de Transações em Sistemas de Armazenamento Chave-Valor.
J. Amaro, L. Rodrigues, M. Bravo, M. Matos and P. Romano
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, Sep. 2018.
(Poster)
Available poster abstract (pdf).

2017

Processamento Incremental de Grafos em Sistemas Heterogêneos.
P. Joaquim, M. Bravo, R. Rodrigues, M. Matos and L. Rodrigues.
Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
(Poster)
Available BibTeX, extended report (pdf).
Adaptação Dinâmica de Protocolos de Consenso Bizantino.
C. Carvalho, D. Porto, L. Rodrigues and A. Bessani.
Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
Prémio melhor artigo de estudante INForum 2017.
Available BibTeX, extended report (pdf).
Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas.
M. Pasadinhas, D. Porto, A. Lopes and L. Rodrigues.
Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
Available BibTeX, extended report (pdf).
Monitorização de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptação Dinâmica.
B. Palma, D. Porto and L. Rodrigues.
Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
Available BibTeX, extended report (pdf).

2016

Isolamento de Falhas em Redes Definidas por Software.
J. Miranda, N. Machado e L. Rodrigues
Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
Prémio melhor artigo de estudante INForum 2016.
Available BibTeX, extended report (pdf).
ByTAM: um gestor de adaptação tolerante a falhas Bizantinas.
F. Sabino, D. Porto e L. Rodrigues
Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
Available BibTeX, extended report (pdf).
Modelação de Sistemas Não-Deterministas Usando Aprendizagem Automática.
F. Duarte, R. Gil, P. Romano, L. Rodrigues e A. Lopes
Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
Available BibTeX, extended report (pdf).
Síntese de Vídeo para Evasão de Censura na Internet.
D. Barradas, L. Rodrigues e N. Santos
Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
Available BibTeX, extended report (pdf).

2015

Deteção eficiente de comportamentos parasitas em sistemas de difusão entre-pares.
J. Silva, X, Vilaça, H. Miranda e L. Rodrigues.
Actas do sétimo Simpósio de Informática (Inforum), Covilhã, Portugal, Sep. 2015.
Available BibTeX, extended report (pdf).

2014

Suporte eficiente para pesquisas seletivas em MapReduce.
M. Ferreira, J. Paiva and L. Rodrigues.
Actas do sexto Simpósio de Informática (Inforum), Porto, Portugal, Sep. 2014.
Prémio melhor artigo de estudante INForum 2014.
Available BibTeX, extended report (pdf).

2013

Auto-Configuração de Bases de dados NoSQL Multi-Dimensionais.
N. Diegues, M. Orazov, J. Paiva, L. Rodrigues and P. Romano.
Actas do quinto Simpósio de Informática (Inforum), Évora, Portugal, Sep. 2013
Available BibTeX, extended report (pdf).
Reprodução de Erros de Concorrência em Aplicações Java Através de Execução Simbólica.
M. Bravo, N. Machado and L. Rodrigues.
Actas do quinto Simpósio de Informática (Inforum), Évora, Portugal, Sep. 2013
Prémio melhor artigo de estudante INForum 2013.
Available BibTeX, extended report (pdf).

2012

ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+.
S. Almeida, J. Leitão, and L. Rodrigues.
Actas do quarto Simpósio de Informática (Inforum), Caparica, Portugal, Sep. 2012
Available BibTeX, extended report (pdf).
PEC: Protocolo Epidémico para Centros de dados.
M. Branco, J. Leitão, and L. Rodrigues.
Actas do quarto Simpósio de Informática (Inforum), Caparica, Portugal, Sep. 2012
Available BibTeX, extended report (pdf).

2011

SPECULA: um Protocolo de Replicação Preditiva para Memória Transaccional por Software Distribuída.
J. Fernandes, N. Carvalho, P. Romano, and L. Rodrigues.
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, Sep. 2011
Available BibTeX, extended report (pdf).
Reprodução de Faltas em Programas Concorrentes Através da Combinação de Múltiplos Históricos Parciais.
N. Machado, P. Romano, and L. Rodrigues.
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, Sep, 2011
Available BibTeX, extended report (pdf).
Replicação Parcial em Sistemas de Memória Transaccional.
P. Ruivo, M. Couceiro, P. Romano, and L. Rodrigues.
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, Sep, 2011
Available BibTeX, extended report (pdf).
Transferência de Dados entre Grupos de Processos no Modelo BAR.
X. Vilaça, J. Leitão, and L. Rodrigues.
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, Sep, 2011
Prémio melhor artigo de estudante INForum 2011.
Available BibTeX, extended report (pdf).

2010

Encaminhamento Multi-Rota de Baixo Acoplamento para Redes Sem-Fios em Malha.
C. Fonseca, J. Mocito e L. Rodrigues.
Actas da 10a Conferência sobre Redes de Computadores, 11 e 12 de Novembro de 2010, Braga, Portugal
Available BibTeX, extended report (pdf).
Monitorização Adaptativa baseada em Clusters Semi-circulares para Redes em Malha sem Fios.
R. Pinto, J. Mocito e L. Rodrigues.
Actas da 10a Conferência sobre Redes de Computadores, 11 e 12 de Novembro de 2010, Braga, Portugal
Available BibTeX, extended report (pdf).
Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares.
M. Ferreira, J. Leitão, e L. Rodrigues.
Actas do segundo Simpósio de Informática (Inforum), Braga, Portugal, Sep, 2010
Available BibTeX, extended report (pdf).
Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos.
J. Alveirinho, J. Leitão, J. Paiva, e L. Rodrigues.
Actas do segundo Simpósio de Informática (Inforum), Braga, Portugal, Sep, 2010
Available BibTeX, extended report (pdf).

2009

HAMP - Protocolo de Difusão em Grupo Para Redes Com Padrões de Mobilidade Heterogéneos
O. Denysyuk, J. Mocito, L. Rodrigues.
Actas da 9a Conferência sobre Redes de Computadores, 15 e 16 de Outubro de 2009, Oeiras, Portugal
Available BibTeX, extended report (pdf).
D2STM: Memória Transaccional em Software Distribuída e Confiável
M. Couceiro, P. Romano, N. Carvalho e L. Rodrigues.
Actas do primeiro Simpósio de Informática (Inforum), Lisboa, Portugal, Sep, 2009
Available BibTeX, extended report (pdf).
Custo da Comutação Dinâmica de Protocolos de Comunicação
C. Fonseca, L. Rosa and L. Rodrigues.
Actas do primeiro Simpósio de Informática (Inforum), Lisboa, Portugal, Sep, 2009
Available BibTeX, extended report (pdf).
Contrução Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios
D. Mónica, J. Leitão, L. Rodrigues, C. Ribeiro
Actas do primeiro Simpósio de Informática (Inforum), Lisboa, Portugal, Sep, 2009
Available BibTeX, extended report (pdf).
FT-OSGi: Extensões à Plataforma OSGi para Tolerância a Faltas
C. Torrão, N. Carvalho and L. Rodrigues.
Actas do primeiro Simpósio de Informática (Inforum), Lisboa, Portugal, Sep, 2009
(Artigo Curto)
Available BibTeX, extended report (pdf).

2005

Plataforma de Desenvolvimento e Simulação de Protocolos
S. Guedes, V. Conceição, N. Carvalho, L. Rodrigues.
Actas da Oitava Conferência sobre Redes de Computadores (CRC'05)
Outubro, 2005, Portalegre, Portugal
Available BibTeX, extended report (pdf).

2004

Adaptação ao Contexto em Sistemas de Comunicação Heterogéneos
J. Mocito, L. Rosa, N. Almeida, H. Miranda, L. Rodrigues.
Actas da Sétima Conferência sobre Redes de Computadores (CRC'04)
Outubro, 2004, Leiria, Portugal
Available BibTeX, extended report (pdf).

2003

IndiQoS: um Sistema Publicação-Subscrição com Qualidade de Serviço
N. Carvalho, F. Araújo, L. Rodrigues.
Actas da Sexta Conferência sobre Redes de Computadores (CRC'03)
Setembro, 2003, Bragança, Portugal
Available BibTeX, extended report (pdf).
Integração do Flight Simulator 2002 com um protocolo de difusão epidémica
M. Monteiro, J. Pereira, L. Rodrigues.
Actas da Sexta Conferência sobre Redes de Computadores (CRC'03)
Setembro, 2003, Bragança, Portugal
Available BibTeX, extended report (pdf).

2002

Concretização de Protocolos com Fiabilidade Semântica
N. Carvalho, J. Pereira, L. Rodrigues.
Actas da Quinta Conferência sobre Redes de Computadores (CRC'02)
Setembro, 2002, Faro, Portugal
Available BibTeX, extended report (pdf).
Difusão Probabilista com Fiabilidade Semântica
S. Formigo, J. Pereira, L. Rodrigues
Actas da Quinta Conferência sobre Redes de Computadores (CRC'02)
Setembro, 2002, Faro, Portugal
Available BibTeX, extended report (pdf).
Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos
S. Teixeira, P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, A. Rito Silva.
Actas da Quinta Conferência sobre Redes de Computadores (CRC'02)
(Poster)
Setembro, 2002, Faro, Portugal
Available BibTeX, extended report (pdf).

2001

Coerência num sistema transaccional de replicação de objectos em grande-escala
J. Martins, R. Almeida, H. Miranda, L. Rodrigues.
Actas da Quarta Conferência sobre Redes de Computadores (CRC'01)
Novembro, 2001, Covilhã, Portugal
Available BibTeX, extended report (pdf).
Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual
M. Monteiro, S. Teixeira, H. Miranda, L. Rodrigues.
Actas da Quarta Conferência sobre Redes de Computadores (CRC'01)
Novembro, 2001, Covilhã, Portugal
Available BibTeX, extended report (pdf).
Protocolo Híbrido de Ordem Total Uniforme com entrega Optimista
P. Vicente, H. Miranda, L. Rodrigues.
Actas da Quarta Conferência sobre Redes de Computadores (CRC'01)
(Poster)
Novembro, 2001, Covilhã, Portugal
Available BibTeX, extended report (pdf).

2000

Suporte para vistas em ambientes de gestão de redes
C. Palma e L. Rodrigues.
Actas da Terceira Conferência sobre Redes de Computadores (CRC'00)
October, 2000, Viseu, Portugal
Available BibTeX, extended report (pdf).
Arquitectura Híbrida para publicação e subscrição de informação na Internet.
M. Guimarães e L. Rodrigues.
Actas da Terceira Conferência sobre Redes de Computadores (CRC'00)
October, 2000, Viseu, Portugal
Available BibTeX, extended report (pdf).
Aplicação das Redes Neuronais no Encaminhamento em Redes de Dados.
F. Araújo, L. Rodrigues, B. Ribeiro.
Actas da Terceira Conferência sobre Redes de Computadores (CRC'00)
October, 2000, Viseu, Portugal
Available BibTeX, extended report (pdf).

1999

Concretização de um protocolo de difusão atómica em sistemas com ligações intermitentes
S. Cardoso and L. Rodrigues.
Actas do Encontro Português de Computação Móvel
November, 1999, Tomar, Portugal
Available BibTeX, extended report (pdf).
Canais de Mensagens Persistentes para Sistemas Distribuídos Tolerantesa Faltas
J. Morgado and L. Rodrigues.
Actas da Segunda Conferência sobre Redes de Computadores (CRC'99)
October, 1999, Évora, Portugal
Available BibTeX, extended report (gzip postscript), (pdf).

1998

Um Arquivo Seguro e Tolerante a Faltas para CORBA Utilizando Fragmentação e Dispersão com Redundância
C. Silva and L. Rodrigues.
Actas da Primeira Conferência sobre Redes de Computadores (CRC'98)
November, 1998, Coimbra, Portugal
Available BibTeX, extended report (gzip pdf).
Realização de um Serviço de Grupos Ligeiros para a Plataforma de Comunicação em Grupo ENSEMBLE
H. Miranda, F. Costa and L. Rodrigues.
Actas da Primeira Conferência sobre Redes de Computadores (CRC'98)
November, 1998, Coimbra, Portugal
Available BibTeX, extended report (gzip postscript), (pdf) .

1988

Tracy
J. Bernardo, J. Pereira, L. Rodrigues, L. Carriço, and M. Baptista.
Actas do Primeiro Encontro Português de Computação Gráfica
1988
Available BibTeX, abstract (html).

Luís Rodrigues