Luis Eduardo Teixeira Rodrigues (F91A-69E1-0ABE)

Curriculum Vitae

Luis Eduardo Teixeira Rodrigues

Luís Rodrigues owns an Engineering Degree (1986), a MSc (1991), and a PhD (1996) in Electrotechnical Engineering and Computers by the Instituto Superior Técnico (IST), U. Lisboa. He obtained the title of ``Agregado em Informática'' from the Faculdade de Ciências da U. Lisboa in 2003. He started his academic career as a teaching assistant in 1989, in the Departamento de Engenharia Electrotécnica e Computadores of Instituto Superior Técnico (IST), U. Lisboa. From October 1996 to July 2007 he was a faculty member of the Departamento de Informática of the Faculdade de Ciências (FC) da U. Lisboa. Since 2017, he is a full Professor of the Departamento de Engenharia Informática of IST. He served as head of department both at FC ULisboa and at IST ULisboa. From 1986 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at INESC. From 1997-2007, he was a (founding) member of the LASIGE laboratory at University of Lisbon, first as a member of the Navigators group and later as the leader of the Distributed Algorithms and Network Protocols group. From July 2007 he is a member of the Distributed Systems Group at INESC-ID Lisboa. He served as Director of the LASIGE in 2004-2005 and he served as director of INESC-ID Lisboa from 2014-2017. The focus of his work is on researching and teaching algorithms for building reliable distributed systems that are both sound and efficient to implement. As a result, he has combined theory and practice in more than 12 international research projects with the industry and has published more than 200 scientific papers in these areas. He is the co-author of two textbooks on distributed computing. He has supervised 17 PhD students and more than 60 MSc students. On Google Scholar he shown a h-index of 47 and more than 9K citations to his work.

Read full resume ↓

Identification

Personal identification

Full name: Luis Eduardo Teixeira Rodrigues
Gender: Male

Citation names

Rodrigues, Luis

Author identifiers

Ciência ID: F91A-69E1-0ABE
ORCID iD: 0000-0002-0313-6590
Google Scholar ID: KgpFwl4AAAAJ
Researcher Id: C-5539-2008
Scopus Author Id: 7202076155

Telephones

Telephone

213100346 (Professional)

Addresses

Rua Alves Redol 9, 1000-029, Lisboa, Lisboa, Portugal (Professional)

Websites

http://www.gsd.inesc-id.pt/~ler/ (Scholar)

Knowledge fields

Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language	Speaking	Reading	Writing	Listening	Peer-review
Portuguese (Mother tongue)
English	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)

Education

	Degree	Classification
2003/03/21 Concluded	Informática (Título de Agregado) Universidade de Lisboa Faculdade de Ciências, Portugal
1991/09/01 - 1996/02/29 Concluded	Engenharia Electrotécnica e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal "Suporte à computação orientada aos grupos em sistemas distribuídos tolerantes a faltas" (THESIS/DISSERTATION)
1987/09/01 - 1991/07/31 Concluded	Engenharia Electrotécnica e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal "Mecanismos de comunicação eficientes para sistemas de tempo-real e tolerantes a faltas" (THESIS/DISSERTATION)
1981/09/01 - 1986/07/31 Concluded	Engenharia Electrotécnica e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal

Affiliation

Teaching in Higher Education

	Category Host institution	Employer
2007/07/01 - Current	Full Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2001/07/01 - 2007/07/01	Associate Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1996/10/01 - 2001/07/01	Assistant Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1996/04/01 - 1996/06/30	Assistant Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores, Portugal
1991/05/01 - 1996/04/30	Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores, Portugal
1989/09/01 - 1991/04/30	Trainee Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

	Category Host institution	Employer
2022/01/01 - 2024/12/31	President of the Scientific Council	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

2015 - 2020	Conselho científico/técnico-científico ou orgão correspondente	Universidade de Lisboa Instituto Superior Técnico, Portugal

2010 - 2017	Manager of Laboratory, Institute, Museum, Centre or Observatory	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2009 - 2011	Presidente de Departamento	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2005 - 2007	Presidente de departamento	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2004 - 2005	Manager of Laboratory, Institute, Museum, Centre or Observatory	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Projects

Contract

	Designation	Funders
2022/01/15 - 2025/01/14	DACOMICO: Data Consistency in Microservices Compositions PTDC/CCI-COM/2156/2021 Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2018/01/10 - 2021/09/30	NGSTORAGE: Nova Geração de Sistema de Armazenamento e Gestão de Dados PTDC/CCI-INF/32038/2017 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2018/06/14 - 2021/06/13	Cosmos: Coerência Causal na Periferia da Rede PTDC/EEI-COM/29271/2017 Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2018/06/01 - 2021/05/31	Angainor: Avaliação e injeção de faltas reproduzível em sistemas de larga escala PTDC/CCI-COM/31456/2017 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2016/07/01 - 2019/12/31	Saturn - Armazenamento e Processamento de Quantidades Massivas de Dados Espaço-Temporais na Nuvem PTDC/EEI-SCR/1743/2014 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2016/07/01 - 2019/12/31	Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas PTDC/EEI-SCR/1741/2014 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2016/01 - 2019/12	Abyss: Autonomic Byzantine Fault-Tolerant Systems grant.Provided by PTCRIS: 140366 Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2015 - 2019	SafeCloud: Secure and Resilient Cloud Architecture 653884 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union
2015/01 - 2017/12	Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa grant.Provided by PTCRIS: 147282 Principal investigator	Fundação para a Ciência e a Tecnologia
2013 - 2016	PCAS : Personalised Centralized Authentication System FP7-ICT-2013-10 Principal investigator	European Union
2013/07 - 2015/12	PEPITA: PropErty PreservIng Topology Adaptation grant.Provided by PTCRIS: 128734 128734 Provided by PTCRIS: 128734 Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluded
2014/02 - 2015/01	GreenTM: Green Transactional Memory 133383 Provided by PTCRIS: 133383 grant.Provided by PTCRIS: 133383 Researcher	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
2010 - 2015	Euro-TM: Transactional Memories: Foundations, Algorithms, Tools, and Applications. ICT COST Action IC1001 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union Concluded
2010/11/01 - 2014/04/30	Assuring Dependability in Architecture-based Adaptive Systems CMU-PT/ELE/0030/2009 Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal Universidade de Coimbra, Portugal Universidade de Coimbra Centro de Informatica e Sistemas, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010/11 - 2014/04	ADAAS: Assuring Dependability in Architecture-based Adaptive Systems Provided by PTCRIS: 111193 111193 Researcher	Fundação para a Ciência e a Tecnologia, I.P. Concluded
2010/05 - 2013/10	HPCLSI: High-Performance Computing over the Large-Scale Internet grant.Provided by PTCRIS: 102212 102212 Provided by PTCRIS: 102212 Researcher	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluded
2010 - 2013	Cloud-TM. A novel programming paradigm for the Cloud. 257784 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union
2011/01/01 - 2012/12/31	Strategic Project - LA 21 - 2011-2012 PEst-OE/EEI/LA0021/2011 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010/01 - 2012/12	ARISTOS: Autonomic ReplicatIon of Software TransactiOnal memorieS 102496 Provided by PTCRIS: 102496 grant.Provided by PTCRIS: 102496 Researcher	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
2010 - 2012	FastFIX: Monitoring Control for Remote Software Maintenance 258109 Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union Concluded
2008/01 - 2011/03	PASTRAMY: Persistent and highly Availabe Software TRansactional MemorY grant.Provided by PTCRIS: 72405 Provided by PTCRIS: 72405 72405 Researcher	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluded
2008/01 - 2010/12	Redico: Dynamic Reconfiguration of Communication Protocols grant.Provided by PTCRIS: 71752 71752 Provided by PTCRIS: 71752 Principal investigator	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluded
2005 - 2009	DYNAMO: Dynamic Communication Networks. COST Action 295 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluded
2003 - 2009	MiNEMA: Middleware for Network Eccentric and Mobile Applications MiNEMA ESF Scientific Programme Principal investigator Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Science Foundation Concluded
2005/07 - 2008/06	P-SON: Probabilistically-Structured Overlay Networks 60941 Provided by PTCRIS: 60941 grant.Provided by PTCRIS: 60941 Researcher	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
2005/05 - 2008/06	MICAS, MIddleware for Context-aware and Adaptive Systems Provided by PTCRIS: 60692 60692 grant.Provided by PTCRIS: 60692 Principal investigator	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia
2008 - 2008	P-SON: Redes Sobrepostas com Estrutura Probabilista POSC/EIA/60941/2004 Universidade do Minho, Portugal Universidade do Minho Centro ALGORITMI, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2004 - 2007	GORDA: Open Replication of Databases. STREP 004758 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluded
2002 - 2004	INDIQoS: Qualidade de Serviço (QoS) em sistemas de comunicação indirecta. POSI/ CHS/ 41473/ 2001 Principal investigator Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2002 - 2004	RUMOR: Probabilistic semantically reliable protocols. POSI/ CHS/ 40088/ 2001 Principal investigator Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2002 - 2004	StrongRep: Strongly Consistent Replicated Databases for Gepgraphycally Large-Scale Systems. POSI/ CHS/ 41285/ 2001 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2001 - 2003	SHIFT: Group Communication with Differentiated Messages. POSI/ CHS/ 32869/2000 Principal investigator	Fundação para a Ciência e a Tecnologia
2001 - 2003	Moosco: Multi-User Object-Oriented environments with Se- paration of Concerns Sapiens 33127/99 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2000 - 2002	GLOBDATA: An Efficient Software Tool for Global Data Access. IST-1999-20997 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluded
1999 - 2001	Topcom: Comunicação em Grupo Fiável e Orientada à Topologia em Sistemas de Grande Escala Geográfica Praxis/ P/ EEI/ 12202/ 1998 Principal investigator	Fundação para a Ciência e a Tecnologia Concluded
1999 - 2001	Dear-COTS: Arquitecturas Embebidas e Distribuídas usando Componentes de Uso Genérico Praxis/P/EEI/14187/1998 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
1999 - 2001	Micra: A model for the Development of Mission Critical Applications Praxis/ P/ EEI/ 12160/ 1998 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia
1996 - 1999	Broadcast-WG ESPRIT Basic Research Working Group 22455 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union
1993 - 1995	GODC: Group-Oriented Distributed Computing ESPRIT/BRA Working Group 26 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluded
1992 - 1995	Broadcast: Basic Research on Advanced Distributed Computing: from Algorithms to Systems. ESPRIT Basic Research Project 6360 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluded
1986 - 1991	Delta-4: Definition and Design of an Open Dependable Distributed Architecture ESPRIT 818/2252 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluded

Outputs

Publications

Book	Cachin, C.; Guerraoui, R.; Rodrigues, Luis; Cachin, Christian; Guerraoui, Rachid. Introduction to Reliable and Secure Distributed Programming, Second Edition. Springer. 2011. Published • 10.1007/978-3-642-15260-3 Guerraoui, R; Rodrigues, Luis. Introduction to Reliable Distributed Programming. Springer. 2006. Published Rodrigues, Luis; Veríssimo, Paulo. Distributed Systems for System Architects. 2001. 10.1007/978-1-4615-1663-7
Book chapter	Couceiro, M.; Didona, D.; Rodrigues, Luis; Romano, P.. "Self-tuning in distributed transactional memory". In Transactional Memory. Foundations, Algorithms, Tools, and Applications. Springer, 2015. Rosa, L.; Rodrigues, Luis; Lopes, A.. "Self-management of Distributed Systems Using High-Level Goal Policies". In Software Engineering for Self-Adaptive Systems II. Springer, 2013. 10.1007/978-3-642-35813-5_7 Miranda, H.; Leggio, S.; Rodrigues, Luis; Raatikainen, K.. "Epidemic dissemination for probabilistic data storage". In Global data management, 124-145. IOS Press, 2012. Published Correia, A; Pereira, J; Rodrigues, Luis; Carvalho, N; Oliveira, R. "Practical Database Replication". In Replication: Theory and Practice, edited by CharronBost, B; Pedone, F; SCHIPER, A. Springer, 2010. Published • 10.1007/978-3-642-11294-2_13 Leitão, João; Pereira, J.; Rodrigues, Luis. "Gossip-Based Broadcast.". In Handbook of Peer-to-Peer Networking. Springer, 2010. Published • 10.1007/978-0-387-09751-0_13 Friedman, R; Kermarrec, A.-M.; Miranda, H.; Rodrigues, Luis. "Gossip-Based Dissemination". In Middleware for Network Eccentric and Mobile Applications. Springer, 2009. Published • 10.1007/978-3-540-89707-1_8 PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Semantically reliable broadcast - Sustaining high throughput in reliable distributed systems". In Concurrency in Dependable Computing. Kluwer Academic Publishers, 2002. Published Rodrigues, Luis; Veríssimo, P.. "Topology-aware algorithms for large-scale communication". In Advances in Distributed Systems, 127-156. Springer, 2000. Published • 10.1007/3-540-46475-1_6 Tomek, I.; Diaz, A.; Melster, R.; Silva, A.R.; Antunes, M.; Cahill, V.; Choukair, Z.; et al. "Multi-user object-oriented environments". In Object-Oriented Technology, ECOOP' 99 Workshop Reader. Springer, 1999. Published • 10.1007/3-540-46589-8_5 Verissimo, P.; Rodrigues, Luis. "Reliable multicasting in high-speed lans". In High-Capacity Local and Metropolitan Area Networks, 397-412. Springer, 1991. Published • 10.1007/978-3-642-76484-4_22
Conference paper	Cláudio Correia; Miguel Correia; Luís Rodrigues. "Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge". Paper presented in ACM Conference on Computer and Communications Security (ACM CCS 2023), Copenhagen, 2023. Published • 10.1145/3576915.3623111 Cláudio Correia; Rita Prates; Correia, Miguel; Rodrigues, Luis. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Paper presented in Pacific Rim International Symposium on Dependable Computing (PRDC), Singapura, 2023. Published Soares, Rafael; Rodrigues, Luis. "Performance Trade-offs in Transactional Systems". Paper presented in Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Roma, 2023. Published • https://doi.org/10.1145/3578358.3591325 Rodrigo Silva; Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Deduplication vs Privacy Tradeoffs in Cloud Storage". Paper presented in ACM/SIGAPP Symposium On Applied Computing (SAC), Tallinn, 2023. Published Casimiro, Maria; Paolo Romano; Garlan, David; Rodrigues, Luis. "A Framework for Adapting Machine Learning Components". Paper presented in International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Virtual, 2022. Published Miguel Belém; Fouto, Pedro; Lykhenko, Taras; Leitao, Joao; Preguiça, Nuno; Rodrigues, Luis. "Engage: Session Guarantees for the Edge". Paper presented in International Conference on Computer Communications and Networks, Virtual, 2022. Published Lykhenko, Taras; Soares, Rafael; Rodrigues, Luis. "FaaSTCC: efficient transactional causal consistency for serverless computing". Paper presented in International Middleware Conference, 2021. Published • 10.1145/3464298.3493392 Casimiro, Maria; Paolo Romano; Garlan, David; Rodrigues, Luis; Javier Camera. "A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems". Paper presented in International Workshop on Automated and verifiable Software sYstem DEvelopment, 2021. Published Neiheiser, Ray; Matos, Miguel; Rodrigues, Luís. "Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation". Paper presented in ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP), 2021. Published • 10.1145/3477132.3483584 Epifaneo, Leonardo; Correia, Claudio; Rodrigues, Luis. "Cathode: A Consistency-Aware Data Placement Algorithm for the Edge". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston, 2021. 10.1109/nca53618.2021.9685123 Filipa, Pedrosa; Rodrigues, Luis. "Reducing the Subscription Latency in Reliable Causal Publish-Subscribe Systems". Paper presented in ACM/SIGAPP Symposium On Applied Computing (SAC), Online, 2021. Accepted Barradas, D; Santos, Nuno; Rodrigues, Luis; S. Signorello; Ramos, Fernando; Mandeira, Andre. "FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications". Paper presented in Usenix Network and Distributed System Security Symposium (NDSS), Online, 2021. Accepted Jigna Zeng; Issa, Shady; Romano, Paolo; Rodrigues, Luis; Haridi, Seif. "Investigating the Semantics of Futures in Transactional Memory Systems". Paper presented in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Online, 2021. Accepted Barradas, Diogo; Santos, Nuno; Rodrigues, Luis; Signorello, Salvatore; Ramos, Fernando M. V.; Madeira, André. "The Nuts and Bolts of Building FlowLens". Paper presented in Learning from Authoritative Security Experiment Results Workshop, Evento Online, 2021. Under revision Barradas, D; Nuno Santos; Rodrigues, Luis; Vitor Nunes. "Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC". Paper presented in The 2020 ACM Conference on Computer and Communications Security (CCS), Online, 2020. Published Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "On the unobservability of multimedia-based covert channels for Internet censorship circumvention". Paper presented in Applied Network Research Workshop -- Internet Society Portugal Chapter (ISOC.PT ANRW), Lisboa, 2020. Published Nuno Afonso; Manuel Bravo; Rodrigues, Luis. "Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge". Paper presented in International Conference on Computer Communications and Networks (ICCCN), Honolulu (HI), 2020. Published Casimiro, M.; Didona, D.; Romano, P.; Rodrigues, Luis; Zwaenepoel, W.; Garlan, D.. "Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Singapura, 2020. In press Daniel Presser; Luciana Rech; Rodrigues, Luis; Paolo Romano. "EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems". Paper presented in International Conference on Distributed and Event-Based Systems (DEBS), Montreal, Quebec, 2020. Published Correia, Cláudio; Rodrigues, Luis; Correia, Miguel. "Omega: a Secure Event Ordering Service for the Edge". Paper presented in International Conference on Dependable Systems and Networks (DSN), Valencia, 2020. In press Paolo Laffrancini; Rodrigues, Luis; Etienne Riviere; Ramin Sadre; Nuno Machado; João Miranda. "NetSheriff: sheltering software-defined networks from rogue switches". Paper presented in International Conference in Networked Systems (NETYS), Marrakech, 2020. Published Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Ordenação Segura de Eventos na Periferia da Rede". Paper presented in INForum - Simpósio de Informática, Guimarães, 2019. Published Santos, V.; Rodrigues, Luis. "Localized Reliable Causal Multicast". Paper presented in International Symposium on Network Computing and Applications, Boston, 2019. Published • 10.1109/NCA.2019.8935065 Madeira, André; Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Identificação de Canais Encobertos no Skype usando Esboços em SDNs". Paper presented in Enésimo Simpósio de Informática, INForum 2019, Guimarães, 2019. Published Laffranchini, P.; Rodrigues, L.; Canini, M.; Krishnamurthy, B.. "Measurements As First-class Artifacts". Paper presented in International Conference on Computer Communications (INFOCOM), Paris, 2019. Published • 10.1109/INFOCOM.2019.8737383 Marçal, J.; Rodrigues, Luis; Matos, M.. "Adaptive information dissemination in the bitcoin network". Paper presented in The 34th ACM Symposium on Applied Computing, 2019. Published • 10.1145/3297280.3297309 Joaquim, P.; Bravo, M.; Rodrigues, L.; Matos, M.. "Hourglass: Leveraging transient resources for time-constrained graph processing in the cloud". Paper presented in EuroSys 2019, Dresden, 2019. Published • 10.1145/3302424.3303964 Martinez, R.G.; Lopes, A.; Rodrigues, L.. "Planning workflow executions when using spot instances in the cloud". Paper presented in Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), Limassol, 2019. Published • 10.1145/3297280.3297313 Bravo, M.; Rodrigues, L.; Neiheiser, R.; Rech, L.. "Policy-based adaptation of a Byzantine fault tolerant distributed graph database". Paper presented in The IEEE International Symposium on Reliable Distributed Systems, Salvador, 2018. Published • 10.1109/SRDS.2018.00017 Barradas, D.; Santos, N.; Rodrigues, L.. "Effective detection of multimedia protocol tunneling using machine learning". Paper presented in USENIX Security Symposium, Baltimore (MD), 2018. Published Zeng, J.; Romano, P.; Barreto, J.; Rodrigues, L.; Haridi, S.. "Online tuning of parallelism degree in parallel nesting transactional memory". Paper presented in International Parallel and Distributed Processing Symposium (IPDPS), Vancouver, 2018. Published • 10.1109/IPDPS.2018.00057 Duarte, F.; Gil, R.; Romano, P.; Lopes, A.; Rodrigues, L.. "Learning non-deterministic impact models for adaptation". Paper presented in International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, 2018. Published • 10.1145/3194133.3194138 Bravo, M.; Rodrigues, L.. "Towards affordable externally consistent guarantees for geo-replicated systems". Paper presented in Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Porto, 2018. Published • 10.1145/3194261.3194264 Carvalho, C.; Porto, D.; Rodrigues, L.; Bravo, M.; Bessani, A.. "Dynamic adaptation of byzantine consensus protocols". Paper presented in Symposium on Applied Computing (SAC), Pau, 2018. Published • 10.1145/3167132.3167179 Neiheiser, R.; Presser, D.; Rech, L.; Bravo, M.; Rodrigues, L.; Correia, M.. "Fireplug: Flexible and robust N-version geo-replication of graph databases". Paper presented in International Conference on Information Networking (ICOIN), Chiang Mai, 2018. Published • 10.1109/ICOIN.2018.8343095 Martinez, R.G.; Li, Z.; Lopes, A.; Rodrigues, L.. "Augure: Proactive reconfiguration of cloud applications using heterogeneous resources". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2017. Published • 10.1109/NCA.2017.8171336 Barradas, D.; Brito, T.; Duarte, D.; Santos, N.; Rodrigues, L.. "Forensic analysis of communication records ofweb-based messaging applications from physical memory". Paper presented in International Conference on Security and Cryptography (SECRYPT), Madrid, 2017. Published Gunawardhana, C.; Bravo, M.; Rodrigues, L.. "Unobtrusive deferred update stabilization for efficient geo-replication". Paper presented in USENIX Annual Technical Conference, Santa Clara, 2017. Published Martinez, R.G.; Lopes, A.; Rodrigues, L.. "Automated generation of policies to support elastic scaling in cloud environments". Paper presented in Symposium on Applied Computing (SAC), Marrakesh, 2017. Published • 10.1145/3019612.3019658 Bravo, M.; Rodrigues, L.; Van Roy, P.. "Saturn: A distributed metadata service for causal consistency". Paper presented in EuroSys, Belgrade, 2017. Published • 10.1145/3064176.3064210 Vilaca, Xavier; Rodrigues, Luis. "Accountability in Dynamic Networks". Paper presented in International Conference on Distributed Computing and Networking (ICDCN), Hyderabad, 2017. Published • 10.1145/3007748.3007769 Vilaça, X.; Rodrigues, L.; Silva, J.; Miranda, H.. "Fastrank: Practical lightweight tolerance to rational behaviour in edge assisted streaming". Paper presented in International Conference on Distributed Computing and Networking (ICDCN), Hyderabad, 2017. Published • 10.1145/3007748.3007750 Raposo, Diogo; Pardal, Miguel L.; Rodrigues, Luis; Correia, Miguel; Raposo, D.; Pardal, M.L.; Rodrigues, L.; Correia, M.. "MACHETE: Multi-path Communication for Security". Paper presented in International Symposium on Network Computing and Applications (NCA), Cambridge (MA), 2016. Published • 10.1109/NCA.2016.7778594 Silva, J.; Vilaca, X.; Miranda, H.; Rodrigues, L.. "Efficient Free-Rider Detection Using Symmetric Overlays". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2016. Published • 10.1109/NCA.2015.21 Monfared, Sharareh; Andrade, Daniel; Rodrigues, Luis; Silva, Joao Nuno; IEEE. "BioALeg - Enabling Biometric Authentication in Legacy Web Sites". Paper presented in Symposium on Reliable Distributed Systems Workshops (SRDSW), Budapest, 2016. Published • 10.1109/SRDSW.2016.15 Zeng, Jingna; Barreto, Joao; Haridi, Seif; Rodrigues, Luis; Romano, Paolo. "The Future(s) of Transactional Memory". Paper presented in Annual Conference on Parallel Processing (ICPP), Philadelphia (PA), 2016. Published • 10.1109/ICPP.2016.57 Khan, A.M.; Vilaca, X.; Rodrigues, L.; Freitag, F.. "A Distributed Auctioneer for Resource Allocation in Decentralized Systems". Paper presented in International Conference on Distributed Computing Systems, (ICDCS), Nara, 2016. Published • 10.1109/ICDCS.2016.38 Bartolomeu, Carlos; Bravo, Manuel; Rodrigues, Luís. "Dynamic adaptation of geo-replicated CRDTs". Paper presented in Symposium on Applied Computing (SAC), Pisa, 2016. Published • 10.1145/2851613.2851641 Machado, N.; Lucia, B.; Rodrigues, L.. "Production-guided concurrency debugging". Paper presented in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Barcelona, 2016. Published • 10.1145/2851141.2851149 Couceiro, M.; Chandrasekara, G.; Bravo, M.; Hiltunen, M.; Romano, P.; Rodrigues, L.. "Q-OPT: Self-tuning quorum system for strongly consistent software defined storage". Paper presented in Middleware, 2015. Published • 10.1145/2814576.2814809 Bravo, M.; Rodrigues, L.; Van Roy, P.. "Towards a scalable, distributed metadata service for causal consistency under partial geo-replication". Paper presented in Middleware Doctoral Symposium, Vancouver, 2015. Published • 10.1145/2843966.2843971 Ferreira, M.; Paiva, J.; Bravo, M.; Rodrigues, L.. "SmartFetch: Efficient support for selective queries". Paper presented in International Conference on Cloud Computing Technology and Science (CloudCom),, Vancouver, 2015. Published • 10.1109/CloudCom.2015.83 Khan, A.M.; Freitag, F.; Rodrigues, L.. "Current trends and future directions in community edge clouds". Paper presented in International Conference on Cloud Networking (CloudNet), Niagara Falls (ON), 2015. Published • 10.1109/CloudNet.2015.7335315 Khan, A.M.; Vilaça, X.; Rodrigues, Luis; Freitag, F.. "Towards incentive-compatible pricing for bandwidth reservation in community network clouds". Paper presented in International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON), Cluj-Napoca, 2015. Published • 10.1007/978-3-319-43177-2_17 Machado, N.; Lucia, B.; Rodrigues, Luis. "Concurrency debugging with differential schedule projections". Paper presented in ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI ), Portland (OR), 2015. Published • 10.1145/2737924.2737973 Bravo, M.; Romano, P.; Rodrigues, L.; Van Roy, P.. "Reducing the vulnerability window in distributed transactional protocols". Paper presented in Workshop on Principles and Practice of Consistency for Distributed Data, Bordeaux, 2015. Published • 10.1145/2745947.2746688 Vilaça, X.; Rodrigues, L.. "On the range of equilibria utilities of a repeated epidemic dissemination game with a mediator". Paper presented in International Conference on Distributed Computing and Networking (ICDCN), Goa, 2015. Published • 10.1145/2684464.2684482 Leitão, J.; Rodrigues, L.. "Overnesia: A resilient overlay network for virtual super-peers". Paper presented in International Symposium on Reliable Distributed Systems (SRDS), Nara, 2014. Published • 10.1109/SRDS.2014.40 Denysyuk, O.; Rodrigues, Luis. "Random walks on evolving graphs with recurring topologies". Paper presented in International Symposium on DIStributed Computing (DISC), Austin (TX), 2014. Published Tran-The, H.; Rodrigues, Luis; Hung Tran-The; Rodrigues, Luis. "Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks". Paper presented in International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn, 2014. Published Diegues, Nuno; Romano, Paolo; Rodrigues, Luis. "Virtues and Limitations of Commodity Hardware Transactional Memory". Paper presented in International Conference on Parallel Architectures and Compilation Techniques (PACT), Edmonton (Alberta), 2014. Published • 10.1145/2628071.2628080 Alistarh, D.; Denysyuk, O.; Rodrigues, L.; Shavit, N.. "Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems". Paper presented in Symposium on Principles of Distributed Computing (PODC), Paris, 2014. Published • 10.1145/2611462.2611499 Diegues, N.; Orazov, M.; Paiva, J.; Rodrigues, L.; Romano, P.. "Autonomic configuration of hyperdex via analytical modelling". Paper presented in Symposium On Applied Computing (SAC), Gyeongju, 2014. Published • 10.1145/2554850.2554876 Diegues, N.; Romano, P.; Rodrigues, L.. "On the energy and performance of commodity hardware transactional memory". Paper presented in SIGMETRICS, Austin (TX), 2014. Published • 10.1145/2591971.2592030 Paiva, J.; Rodrigues, L.. "Policies for efficient data replication in P2P systems". Paper presented in International Conference on Parallel and Distributed Systems (ICPADS), Seoul, 2013. Published • 10.1109/ICPADS.2013.63 Bravo, M.; Machado, N.; Romano, P.; Rodrigues, L.. "Towards effective and efficient search-based deterministic replay". Paper presented in Workshop on Hot Topics in Dependable Systems (HOTDEP), Nemacolin Woodlands Resort (PA), 2013. Published • 10.1145/2524224.2524228 Vilaca, X.; Rodrigues, Luis. "On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game". Paper presented in International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Osaka, 2013. Published • 10.1007/978-3-319-03089-0_15 Paiva, J.; Leitao, J.; Rodrigues, L.. "Rollerchain: A DHT for efficient replication". Paper presented in International Symposium on Network Computing and Applications (NCA), 2013. Published • 10.1109/NCA.2013.29 Denysyuk, O.; Rodrigues, L.. "Byzantine renaming in synchronous systems with t < N". Paper presented in Symposium on Principles of Distributed Computing (PODC), Montreal, 2013. Published • 10.1145/2484239.2484261 Denysyuk, O.; Rodrigues, L.. "Order-preserving renaming in synchronous systems with byzantine faults". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Philadelphia, 2013. Published • 10.1109/ICDCS.2013.47 Couceiro, M.; Ruivo, P.; Romano, P.; Rodrigues, L.. "Chasing the optimum in replicated in-memory transactional platforms via protocol adaptation". Paper presented in International Conference on Dependable Systems and Networks (DSN), 2013. Published • 10.1109/DSN.2013.6575311 Almeida, S.; Leitão, J.; Rodrigues, L.. "ChainReaction: A causal+ consistent datastore based on chain replication". Paper presented in EuroSys, Praga, 2013. Published • 10.1145/2465351.2465361 Branco, M.; Leitão, J.; Rodrigues, L.. "Bounded Gossip: A gossip protocol for large-scale datacenters". Paper presented in Symposium On Applied Computing (SAC), Coimbra, 2013. Published • 10.1145/2480362.2480476 Peluso, S.; Fernandes, J.; Romano, P.; Quaglia, F.; Rodrigues, L.. "SPECULA: Speculative replication of software transactional memory". Paper presented in International Symposium on Reliable Distributed Systems (SRDS), Irvine (CA), 2012. Published • 10.1109/SRDS.2012.67 Denysyuk, O.; Rodrigues, L.. "Brief announcement: Order-preserving renaming in synchronous message passing systems with byzantine faults". Paper presented in Symposium on Principles of Distributed Computing (PODC), Funchal, 2012. Published • 10.1145/2332432.2332476 Machado, Nuno; Romano, P.; Rodrigues, L.. "Lightweight cooperative logging for fault replication in concurrent programs". Paper presented in International Conference on Dependable Systems and Networks (DSN), Boston (MA), 2012. Published • 10.1109/DSN.2012.6263953 Vilaça, X.; Denysyuk, O.; Rodrigues, Luis. "Asynchrony and Collusion in the N-party BAR Transfer Problem". Paper presented in International Colloquium on Structural Information and Communication Complexity (SIROCCO), Reykjavík, 2012. Published • 10.1007/978-3-642-31104-8_16 Peluso, S.; Ruivo, P.; Romano, P.; Quaglia, F.; Rodrigues, L.. "When scalability meets consistency: Genuine multiversion update-serializable partial data replication". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Macau, 2012. Published • 10.1109/ICDCS.2012.55 Vilaca, Xavier; Leitao, João; Correia, Miguel; Rodrigues, Luis; Leitao, Joao; Anta, AF; Lipari, G; et al. "N-party BAR Transfer". Paper presented in International Conference On Principles Of DIstributed Systems (OPODIS), Toulouse, 2011. Published • 10.1145/2034640.2034647 Couceiro, Maria; Romano, Paolo; Rodrigues, Luis; Couceiro, M.; Romano, P.; Rodrigues, L.. "PolyCert: Polymorphic Self-optimizing Replication for In-Memory Transactional Grids". Paper presented in ACM/IFIP/USENIX 12th International Middleware Conference (Middleware), Lisboa, 2011. Published • 10.1007/978-3-642-25821-3_16 Rosa, L.; Rodrigues, L.; Lopes, A.. "Goal-oriented self-management of in-memory distributed data grid platforms". Paper presented in International Conference on Cloud Computing Technology and Science (CloudCom ), Athens, 2011. Published • 10.1109/CloudCom.2011.90 Carvalho, Nuno; Romano, Paolo; Rodrigues, Luis; IEEE. "A Generic Framework for Replicated Software Transactional Memories". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2011. Published • 10.1109/NCA.2011.45 Ruivo, Pedro; Couceiro, Maria; Romano, Paolo; Rodrigues, Luis. "Exploiting Total Order Multicast in Weakly Consistent Transactional Caches". Paper presented in Pacific Rim International Symposium on Dependable Computing (PRDC), Pasadena (CA), 2011. Published • 10.1109/PRDC.2011.21 Mocito, J.; Denysyuk, O.; Rodrigues, L.; Miranda, H.; Mocito, Jose; Denysyuk, Oksana; Rodrigues, Luis; Miranda, Hugo. "Topology stability-aware multicast protocol for MANETs". Paper presented in Conference on Local Computer Networks (LCN), Bonn, 2011. Published • 10.1109/LCN.2011.6115305 Paiva, J.; Leitão, J.; Rodrigues, L.. "Rollerchain: A DHTfor high availability". Paper presented in nternational Symposium on Network Computing and Applications (NCA), Boston (MA), 2011. Published • 10.1145/2088960.2088977 Fonseca, Cristina; Mocito, Jose; Rodrigues, Luis; Fonseca, C.; Mocito, J.; Rodrigues, L.. "Low-Coupling Cluster-based Multipath Routing for Wireless Mesh Networks". Paper presented in International Conference on Computer Communication Networks (ICCCN), Maui (HI), 2011. Published • 10.1109/ICCCN.2011.6005772 Carvalho, N.; Romano, P.; Rodrigues, L.. "SCert: Speculative Certification in replicated Software Transactional Memories". Paper presented in International Systems and Storage Conference (SYSTOR), Haifa, 2011. Published • 10.1145/1987816.1987830 Carvalho, Nuno; Romano, Paolo; Rodrigues, Luis. "Asynchronous Lease-Based Replication of Software Transactional Memory". Paper presented in Middleware, Bangalore, 2010. Published Carvalho, N.; Romano, P.; Rodrigues, Luis. "Asynchronous lease-based replication of software transactional memory". Paper presented in Middleware, Bangalore, 2010. Published • 10.1007/978-3-642-16955-7_19 Ferreira, Mario; Leitao, Joao; Rodrigues, Luis. "Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay". Paper presented in Symposium on Reliable Distributed Systems (SRDS), New Dehli, 2010. Published • 10.1109/SRDS.2010.19 Couceiro, M.; Romano, P.; Rodrigues, L.. "A machine learning approach to performance prediction of total order broadcast protocols". Paper presented in International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, 2010. Published • 10.1109/SASO.2010.41 Mocito, J.; Rodrigues, Luis; Miranda, H.; Mocito, Jose; Miranda, Hugo. "@Flood: Auto-tunable flooding for wireless ad hoc networks". Paper presented in EuroPar, Naples, 2010. Published • 10.1007/978-3-642-15291-7_45 Alveirinho, J.; Paiva, J.; Leitão, J.; Rodrigues, L.. "Flexible and efficient resource location in large-scale systems". Paper presented in International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zurich, 2010. Published • 10.1145/1859184.1859199 Denysyuk, O.; Rodrigues, L.. "Accessing probabilistic quorums in dynamic networks". Paper presented in Workshop on Reliability, Availability, and Security, Zurich, 2010. Published • 10.1145/1953563.1953565 Mocito, J.; Rodrigues, L.; Miranda, H.. "Communication and coordination support in ad hoc networks for emergency management scenarios". Paper presented in Emergency Management Workshop, Caen, 2010. Published • 10.1145/1815396.1815512 Romano, P.; Palmieri, R.; Quaglia, F.; Carvalho, N.; Rodrigues, L.. "Brief announcement: On speculative replication of transactional systems". Paper presented in Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, 2010. Published • 10.1145/1810479.1810492 Romano, P; Palmieri, R; Quaglia, F; Carvalho, N; Rodrigues, L. "Brief Announcement: On Speculative Replication of Transactional Systems". Paper presented in Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, 2010. Published Monica, Diogo; Leitao, Joao; Rodrigues, Luis; Ribeiro, Carlos. "Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks". Paper presented in International Conference on Dependable Systems and Networks (DSN), Chicago (IL), 2010. Published • 10.1109/DSN.2010.5545006 Allani, M.; Leitão, J.; Garbinato, B.; Rodrigues, L.. "RASM: A reliable algorithm for scalable multicast". Paper presented in International Conference on Parallel, Distributed and Network-Based Computing (PDP), Pisa, 2010. Published • 10.1109/PDP.2010.85 Romano, P.; Palmieriy, R.; Quaglia, F.; Carvalho, N.; Rodrigues, L.. "An optimal speculative transactional replication protocol". Paper presented in International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taipe, 2010. Published • 10.1109/ISPA.2010.94 COUCEIRO, M; ROMANO, P; CARVALHO, N; RODRIGUES, L. "D2STM: Dependable Distributed Software Transactional Memory". Paper presented in Pacific Rim International Symposium on Dependable Computing (PRDC), Xangai, 2009. Published • 10.1109/PRDC.2009.55 Rosa, L.; Rodrigues, Luis; Lopes, A.; Hiltunen, M.; Schlichting, R.. "From Local Impact Functions to Global Adaptation of Service Compositions". Paper presented in International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Lyon, 2009. Published • 10.1007/978-3-642-05118-0_41 Romano, Paolo; Carvalho, N.; Couceiro, M.; Rodrigues, Luis; Cachopo, J.. "Towards the integration of Distributed Transactional Memories in application servers' clusters". Paper presented in International Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications (AAA-IDEA), Las Palmas, Gran Canaria, 2009. Published • 10.1007/978-3-642-10625-5_48 Torrao, C; Carvalho, N; Rodrigues, Luis. "FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform". Paper presented in International Symposium on Distributed Objects, Middleware, and Applications (DOA), Vilamoura, 2009. Published • 10.1007/978-3-642-05148-7_47 Romano, P.; Rodrigues, L.; Carvalho, N.; Cachopo, J.. "Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories". Paper presented in International Workshop on Large-Sacle Distributed Systems and Middleware (LADIS), Big Sky (MT), 2009. Published • 10.1145/1773912.1773914 Ferreira, J.; Leitão, J.; Rodrigues, Luis; Ferreira, Joao; Leitao, Joao. "A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications". Paper presented in International ICST Conference on Autonomic Computing and Communication Systems, Limassol, 2009. Published • 10.1007/978-3-642-11482-3_1 Romano, P.; Carvalho, N.; Rodrigues, L.. "Towards distributed software transactional memory systems". Paper presented in Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Yorktown Heights (NY), 2009. Published • 10.1145/1529974.1529980 FREITAS, F; MARQUES, E; RODRIGUES, R; RIBEIRO, C; FERREIRA, P; RODRIGUES, L; Freitas, F.; et al. "Verme: Worm Containment in Overlay Networks". Paper presented in International Conference on Dependable Systems and Networks (DSN), Cascais, 2009. Published • 10.1109/DSN.2009.5270341 ROMANO, P; Rodrigues, Luis. "An Efficient Weak Mutual Exclusion Algorithm". Paper presented in International Symposium on Parallel and Distributed Computing, Lisboa, 2009. Published • 10.1109/ISPDC.2009.32 ROMANO, P; RODRIGUES, L; CARVALHO, N; Romano, P.; Rodrigues, L.; Carvalho, N.. "The Weak Mutual Exclusion Problem". Paper presented in International Parallel and Distributed Processing Symposium (IPDPS), Rome, 2009. Published • 10.1109/IPDPS.2009.5161061 Mocito, J.; Briones-García, J.A.; Koldehofe, B.; Miranda, H.; Rodrigues, L.. "Geographical distribution of subscriptions for content-based publish/subscribe in MANETs". Paper presented in Middleware Workshops, Leuven, 2008. Published • 10.1145/1462735.1462764 Leitão, J.; Rosa, L.; Rodrigues, L.. "Large-scale peer-to-peer autonomic monitoring". Paper presented in Workshop on Distributed Autonomous Network Management Systems, New Orleans, 2008. Published • 10.1109/GLOCOMW.2008.ECP.18 Rodrigues, L.; Carvalho, N.; Miedes, E.. "Supporting linearizable semantics in replicated databases". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2008. Published • 10.1109/NCA.2008.22 Carvalho, N.; Cachopo, J.; Rodrigues, L.; Silva, A.R.. "Versioned transactional shared memory for the FénixEDU web application". Paper presented in Workshop on Dependable Distributed Data Management, Glasgow, 2008. Published • 10.1145/1435523.1435526 Rosa, L; Lopes, A; Rodrigues, L; Rosa, L.; Lopes, A.; Rodrigues, L.. "Modelling Adaptive Services for Distributed Systems". Paper presented in Symposium on Applied Computing, Fortaleza, 2008. Published • 10.1145/1363686.1364206 Rosa, L.; Rodrigues, L.; Lopes, A.; ROSA, L; Rodrigues, Ana Luísa; LOPES, A. "Building adaptive systems with service composition frameworks". Paper presented in International Symposium on Distributed Objects, Middleware, and Applications (DOA), Algarve, 2007. Published Leitão, J.; Pereira, J.; Rodrigues, L.; LEITAO, J; PEREIRA, J; RODRIGUES, L. "Epidemic broadcast trees". Paper presented in International Symposium on Reliable Distributed Systems (SRDS), Beijing, 2007. Published • 10.1109/SRDS.2007.4365705 Rosa, L.; Rodrigues, L.; Lopes, A.. "A framework to support multiple reconfiguration strategies". Paper presented in Autonomics, Rome, 2007. Published • 10.4108/ICST.AUTONOMICS2007.2113 CORREIA, A; PEREIRA, J; RODRIGUES, L; et al.; Correia Jr., A.; Pereira, J.; Rodrigues, L.; et al. "GORDA: An open architecture for database replication". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2007. Published • 10.1109/NCA.2007.26 CARVALHO, N; ARAUJO, F; Rodrigues, Luis; Carvalho, N.; Araújo, F.; Rodrigues, L.. "Scalable QoS-based event routing in publish-subscribe systems". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2007. Published • 10.1109/NCA.2005.45 Leitão, J.; Pereira, J.; Rodrigues, L.; LEITAO, J; PEREIRA, J; RODRIGUES, L. "HyParView: A membership protocol for reliable gossip-based broadcast". Paper presented in International Conference on Dependable Systems and Networks (DSN), Edinburgh, 2007. Published • 10.1109/DSN.2007.56 Carvalho, N.; Pereira, J.; Oliveira, R.; Rodrigues, L.; CARVALHO, N; PEREIRA, J; OLIVEIRA, R; et al.. "Emergent structure in unstructured epidemic multicast". Paper presented in International Conference on Dependable Systems and Networks (DSN), Edinburgh, 2007. Published • 10.1109/DSN.2007.40 Mocito, J.; Respício, A.; Rodrigues, L.; MOCITO, J; RESPICIO, A; Rodrigues, Luis. "On statistically estimated optimistic delivery in wide-area total order protocols". Paper presented in International Symposium on Pacific Rim Dependable Computing (PRDC), Riverside (CA), 2006. Published • 10.1109/PRDC.2006.47 CARVALHO, N; PEREIRA, J; Rodrigues, Luis; Carvalho, N.; Pereira, J.. "Towards a generic group communication service". Paper presented in International Symposium on Distributed Objects and Applications (DOA), Montpellier, 2006. Published Pereira, J.; Oliveira, R.; Rodrigues, Luis; PEREIRA, J; OLIVEIRA, R. "Efficient Epidemic Multicast in Heterogeneous Networks". Paper presented in International Workshop on Reliability in Decentralized Distributed Systems, Montpellier, 2006. Published Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "A power-aware broadcasting algorithm". Paper presented in International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Helsinki, 2006. Published • 10.1109/PIMRC.2006.254191 MOCITO, J; Rodrigues, Luis; Mocito, J.. "Run-time switching between total order algorithms". Paper presented in Euro-Par, Dresden, 2006. Published Rosa, L.; Lopes, A.; Rodrigues, L.. "Policy-driven adaptation of protocol stacks". Paper presented in Self-adaptability and self-management of context-aware systems workshop (SELF), Santa Clara (CA), 2006. Published • 10.1109/ICAS.2006.43 Leggio, S.; Miranda, H.; Raatikainen, K.; Rodrigues, L.; LEGGIO, S; MIRANDA, H; RAATIKAINEN, K; Rodrigues, Luis. "SIPCache: A distributed SIP location service for mobile ad-hoc networks". Paper presented in International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS), San Jose (CA), 2006. Published • 10.1109/MOBIQ.2006.340392 MIRANDA, H; Rodrigues, Luis; Miranda, H.; Rodrigues, L.. "A framework to provide anonymity in reputation systems". Paper presented in International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS), San Jose (CA), 2006. Published • 10.1109/MOBIQ.2006.340391 Rodrigues, L.; Mocito, J.; Carvalho, N.. "From spontaneous total order to uniform total order: Different degrees of optimistic delivery". Paper presented in Symposium on Applied Computing (SAC), Dijon, 2006. Published Carvalho, N.; Araujo, F.; Rodrigues, L.. "Reducing latency in rendezvous-based publish-subscribe systems for wireless Ad Hoc networks". Paper presented in International Workshop on Distributed Event-Based Sytems (DEBS), Lisboa, 2006. Published • 10.1109/ICDCSW.2006.89 Araújo, F.; Rodrigues, Luis; ARAUJO, F. "On the monitoring period for fault-tolerant sensor networks". Paper presented in Latin-American Symposium on Dependable Computing (LADC), Salvador, 2005. Published ARAUJO, F; Rodrigues, Luis; Araújo, F.; Rodrigues, L.. "Long range contacts in overlay networks". Paper presented in Euro-Par, Lisboa, 2005. Published MIRANDA, H; Rodrigues, Luis. "Using a fairness monitoring service to improve load-balancing in DSR". Paper presented in International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI), Columbus (OH), 2005. Published ARAUJO, F; Rodrigues, Luis; KAISER, J; Liu, C.. "CHR: a distributed hash table for wireless ad hoc networks". Paper presented in International Workshop on Distributed Event-Based Systems (DEBS), Columbus (OH), 2005. Published ARAUJO, F; Rodrigues, Luis; Araújo, F.; Rodrigues, L.. "Fast localized Delaunay triangulation". Paper presented in International Conference on Principles of Distributed Systems (OPODIS), Grenoble, 2004. Published PEREIRA, J; Rodrigues, Luis; Pinto, A.; Oliveira, Rui; Pereira, J.; Rodrigues, L.; Oliveira, R.. "Low latency probabilistic broadcast in Wide Area Networks". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Florianopolis, 2004. Published • 10.1109/RELDIS.2004.1353030 Rodrigues, J.C.; Rodrigues, L.; RODRIGUES, JC; Rodrigues, Luis. "From running code to event-graphs: A pragmatic approach to derive WCRT of protocol compositions". Paper presented in International Workshop on Factory Communication Systems, Vienna, 2004. Published Araújo, F.; Rodrigues, L.; ARAUJO, F; Rodrigues, Luis. "GeoPeer: A location-aware peer-to-peer system". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2004. Published PEREIRA, J; RODRIGUES, L; MONTEIRO, MJ; et al.; Pereira, J.; Rodrigues, L.; Monteiro, M.J.; Oliveira, R.; Kermarrec, A.-M.. "NEEM: Network-friendly epidemic multicast". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Florence, 2003. Published • 10.1109/RELDIS.2003.1238051 Rodrigues, L.; Handurukande, S.; Pereira, J.; Guerraoui, R.; Kermarrec, A.-M.; RODRIGUES, L; PEREIRA, J; HANDURUKANDE, S; et al.. "Adaptive Gossip-Based Broadcast". Paper presented in International Conference on Dependable Systems and Networks (DSN), San Francisco (CA), 2003. Published • 10.1109/DSN.2003.1209915 Miranda, H.; Rodrigues, L.; MIRANDA, H; Rodrigues, Luis. "Friends and foes: Preventing selfishness in open mobile ad hoc networks". Paper presented in International Workshop on Mobile Distributed Computing (MDC)., Providence (RI), 2003. Published • 10.1109/ICDCSW.2003.1203592 Rodrigues, Luis; Rodrigues, L.. "The road to a more configurable and adaptive communication and coordination support". Paper presented in Workshop on Future Trends of Distributed Computing Systems, San Juan, 2003. Published • 10.1109/FTDCS.2003.1204289 GUIMARAES, M; RODRIGUES, L; Guimarães, M.; Rodrigues, L.. "A genetic algorithm for multicast mapping in publish-subscribe systems". Paper presented in International Symposium on Network Computing and Applications (NCA), 2003. Published • 10.1109/NCA.2003.1201139 Rodrigues, J.; Ventura, J.; Rodrigues, L.; RODRIGUES, J; VENTURA, J; Rodrigues, Luis. "Schedulability analysis of an event-based real-time protocol framework". Paper presented in International Workshop on Object-oriented Real-time Dependable Systems, (WORDS), San Diego (CA), 2002. Published • 10.1109/WORDS.2002.1000069 Vicente, P.; Rodrigues, L.; VICENTE, P; Rodrigues, Luis. "An indulgent uniform total order algorithm with optimistic delivery". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Osaka, 2002. Published • 10.1109/RELDIS.2002.1180177 Rodrigues, Luis; Miranda, H.; Almeida, R.; Martins, J.; Vicente, P.; MIRANDA, H; ALMEIDA, R. "The GlobData Fault-Tolerant Replicated Distributed Object Database.". Paper presented in Eurasian Conference on Advances in Information and Communication Technology, Teheran, 2002. Published • 10.1007/3-540-36087-5_50 Teixeira, S.; Vicente, P.; Pinto, A.; Miranda, H.; Rodrigues, Luis; Martins, J.; Silva, A.; et al. "Configuring the communication middleware to support multi-user object-oriented environments". Paper presented in International Symposium on Distributed Objects and Applications (DOA), Irvine (CA), 2002. Published • 10.1007/3-540-36124-3_62 Araújo, F.; Rodrigues, L.; ARAUJO, F; Rodrigues, Luis. "On QoS-aware publish-subscribe". Paper presented in International Workshop on Distributed Event-Based Systems (DEBS), Vienna, 2002. Published • 10.1109/ICDCSW.2002.1030819 Pereira, J.; Rodrigues, L.; Oliveira, R.; PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Reducing the cost of group communication with Semantic View Synchrony". Paper presented in International Conference on Dependable Systems and Networks (DSN), Washington (DC), 2002. Published • 10.1109/DSN.2002.1028913 Pereira, J.; Rodrigues, L.; Oliveira, R.; Kermarrec, A.-M.; PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Probabilistic semantically reliable multicast". Paper presented in International Symposium on Network Computing and Applications (NCA), Boston (MA), 2002. Published • 10.1109/NCA.2001.962521 CASIMIRO, A; MARTINS, P; VERISSIMO, P; Rodrigues, Luis; Casimiro, A.; Martins, P.; Veríssimo, P.; Rodrigues, L.. "Measuring distributed durations with stable errors". Paper presented in Real-Time Systems Symposium (RTSS), London, 2001. Published VENTURA, J; RODRIGUES, J; Rodrigues, Luis; Ventura, J.; Rodrigues, J.; Rodrigues, L.. "Response time analysis of composable micro-protocols". Paper presented in International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), Magdeburg, 2001. Published • 10.1109/ISORC.2001.922857 Antunes, M.; Miranda, H.; Silva, A. R.; Rodrigues, Luis; Martins, J.. "Separating Replication from Distributed Communication: Problems and Solutions". Paper presented in International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), Phoenix (AZ), 2001. Published • 10.1109/CDCS.2001.918693 MIRANDA, H; PINTO, A; Rodrigues, Luis; Miranda, H.; Pinto, A.; Rodrigues, L.. "Appia, a flexible protocol kernel supporting multiple coordinated channels". Paper presented in Proceedings of the 21st International Conference on Distributed Computing Systems - 2001, Phoenix (AZ), 2001. Published Rodrigues, J.; Miranda, H.; Ventura, J.; Rodrigues, L.; RODRIGUES, J; MIRANDA, H; VENTURA, J; Rodrigues, Luis. "The design of RT-Appia". Paper presented in International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 2001. Published Pereira, Jose; Rodrigues, Luis; Oliveira, Rui; PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Semantically reliable multicast protocols". Paper presented in Symposium on Reliable Distributed Systems, Nurnberg, 2000. Published Miranda, H.; Rodrigues, L.. "Balancing configurability and efficiency in network support tools". Paper presented in ACM SIGOPS European Workshop, 2000. Published • 10.1145/566726.566771 Rodrigues, Luis; Raynal, M.; RAYNAL, M. "Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems". Paper presented in EuroPar, Munchen, 2000. Published • 10.1007/3-540-44520-x_84 Rodrigues, Luis; Guo, Katherine. "Partitionable light-weight groups". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Taipe, 2000. Published Rodrigues, L.; Baldoni, R.; Anceaume, E.; Raynal, M.. "Deadline-constrained causal order". Paper presented in International Symposium on Object-oriented Real-time Distributed Computing, Newport Beach (CA), 2000. Published • 10.1109/ISORC.2000.839535 Miranda, H.; Rodrigues, L.. "Flexible communication support for CSCW applications". Paper presented in Internation Workshop on Groupware (CRIWG), Cancun, 1999. Published • 10.1109/SPIRE.1999.796612 Rodrigues, Luis; GUIMARAES, M; RUFINO, J; Rodrigues, Luis; Guimaraes, Mario; Rufino, Jose. "Fault-tolerant clock synchronization in CAN". Paper presented in Real-Time Systems Symposium (RTSS), Madrid, 1998. Published Rodrigues, Luis; GUERRAOUI, R; SCHIPER, A; Rodrigues, L.; Guerraoui, R.; Schiper, A.. "Scalable atomic multicast". Paper presented in International Conference on Computer Communications and Networks (IC3N), Lafayette (LA), 1998. Published • 10.1109/ICCCN.1998.998851 Silva, Cristina; Rodrigues, Luis; Silva, C.; SILVA, C. "A Fault-Tolerant Secure CORBA store using Fragmentation-Redundancy-Scattering". Paper presented in ECOOP Workshop on Distributed Object Security, Brussels, 1998. Published • 10.1007/3-540-49255-0_68 RUFINO, J; VERISSIMO, P; ARROZ, G; Almeida, C.; Rodrigues, Luis; Rufino, J.; Veríssimo, P.; Arroz, G.; Rodrigues, L.. "Fault-tolerant broadcasts in CAN". Paper presented in International Symposium on Fault-Tolerant Computing (FTCS), Munich, 1998. Published • 10.1109/FTCS.1998.689464 Guo, Katherine; Rodrigues, Luis; GUO, K; Rodrigues, Luis. "Dynamic light-weight groups". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Baltimore, 1997. Published Rodrigues, Luis; Guo, Katherine; Sargento, Antonio; van Renesse, Robbert; Glade, Brad; Verissimo, Paulo; Birman, Kenneth; et al. "A Transparent light-weight group service". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Niagara-on-the-Lake, 1996. Published Rodrigues, Luis E.T.; Fonseca, Henrique; Verissimo, Paulo. "Totally ordered multicast in large-scale systems". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Hong Kong, 1996. Published Rodrigues, Luis E.T.; Fonseca, Henrique; Verissimo, Paulo. "Reliable computing over mobile networks". Paper presented in Workshop on Future Trends of Distributed Computing Systems (FTDCS), Cheju Island, 1995. Published Rodrigues, Luis E.T.; Verissimo, Paulo. "Causal separators for large-scale multicast communication". Paper presented in International Conference on Distributed Computing Systems, Vancouver (BC), 1995. Published Rodrigues, L.; Veríssimo, P.. "How to avoid the cost of causal communication in large-scale systems". Paper presented in ACM-SIGOPS European Workshop, Dagstuhl, 1994. Published Rodrigues, Luis; SIEGEL, E; VERISSIMO, P. "A Replication-Transparent Remote Invocation Protocol". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Dana Point (CA), 1994. Published Rodrigues, L.; Verissimo, P.; Casimiro, A.; Rodrigues, Luis; VERISSIMO, P; CASIMIRO, A. "Using atomic broadcast to implement a posteriori agreement for clock synchronization". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Princeton (NJ), 1993. Published Rodrigues, L.; Verissimo, P.; Rufino, J.. "Low-level processor group membership protocol for LANs". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Pittsburgh (PA), 1993. Published Rodrigues, Luis; VERISSIMO, P; RUFINO, J. "A low-level processor group membership protocol for LANS". Paper presented in International Conference on Distributed Computing Systems (ICDCS), Pittsburgh (PA), 1993. Published Vogels, W.; Veríssimo, P.; Rodrigues, L.. "Requirements for high performance group support in distributed systems". Paper presented in ACM SIGOPS European workshop, LeMont Saint-Michel, 1992. Published • 10.1145/506378.506418 RODRIGUES, L; VERISSIMO, P. "XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE". Paper presented in Symposium on Reliable Distributed Systems (SRDS), Houston (TX), 1992. Published Verissimo, P.; Rodrigues, L.. "A posteriori agreement for fault-tolerant clock synchronization on broadcast networks". Paper presented in International Symposium on Fault-Tolerant Computing (FTCS), Boston (MA), 1992. Published • 10.1109/ftcs.1992.243580 Veríssimo, P.; Rodrigues, L.; Verissimo, Paulo; Rodrigues, Luis. "Group orientation: A paradigm for modern distributed systems". Paper presented in Workshop on Future Trends of Distributed Computing Systems, Taipe, 1992. Published • 10.1145/506378.506417 VERISSIMO, P; RUFINO, J; Rodrigues, Luis. "Enforcing real-time behaviour of LAN-based protocols". Paper presented in IFAC Workshop on Distributed Computer Control Systems, Semmering, 1991. Published Barret, P.A.; Hilborne, A.M.; Bond, P.G.; Seaton, D.T.; Verissimo, P.; Rodrigues, L.; Speirs, N.A.. "The Delta-4 extra performance architecture (XPA)". Paper presented in International Symposium on Fault-Tolerant Computing (FTCS), Newcaste, 1990. Published Verissimo, Paulo; Rodrigues, Luis; Baptista, Mario. "AMp. A highly parallel atomic multicast protocol". Paper presented in SIGCOM, Austin (TX), 1989. Published
Edited book	Rodrigues, Luis. Middleware for Network Eccentric and Mobile Applications. Springer. 2009. Published • Editor
Journal article	Ray Neiheiser; Gustavo Inacio; Luciana Rech; Carlos Montez; Miguel Matos; Luis Rodrigues. "Practical Limitations of Ethereum's Layer-2". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3237897. 10.1109/ACCESS.2023.3237897 Correia, Claudio; Correia, Miguel; Rodrigues, Luis. "Omega: a Secure Event Ordering Servicefor for the Edge". IEEE Transactions on Dependable and Secure Computing (2021): 1-1. http://dx.doi.org/10.1109/tdsc.2021.3078520. 10.1109/tdsc.2021.3078520 Neiheiser, Ray; Rech, Luciana; Bravo, Manuel; Rodrigues, Luis; Correia, Miguel. "Fireplug: Efficient and Robust Geo-Replication of Graph Databases". IEEE Transactions on Parallel and Distributed Systems 31 8 (2020): 1942-1953. http://dx.doi.org/10.1109/tpds.2020.2981019. 10.1109/tpds.2020.2981019 Barradas, D.; Brito, T.; Duarte, D.; Santos, N.; Rodrigues, L.. "Forensic analysis of communication records of messaging applications from physical memory". Computers and Security 86 (2019): 484-497. http://www.scopus.com/inward/record.url?eid=2-s2.0-85055250924&partnerID=MN8TOARS. Published • 10.1016/j.cose.2018.08.013 Machado, Nuno; Romano, Paolo; Rodrigues, Luis. "CoopREP: Cooperative record and replay of concurrency bugs". Software Testing Verification & Reliability 28 1 (2018): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000418422100003&KeyUID=WOS:000418422100003. Published • 10.1002/stvr.1645 Vilaça, X.; Rodrigues, L.; Silva, J.; Miranda, H.; Correia, G.; Maurício, T.. "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming". Pervasive and Mobile Computing 46 (2018): 18-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-85043400761&partnerID=MN8TOARS. Published • 10.1016/j.pmcj.2018.02.005 Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams". Proceedings on Privacy Enhancing Technologies 2017 4 (2017): 5-22. http://dx.doi.org/10.1515/popets-2017-0037. Published • 10.1515/popets-2017-0037 Peluso, S.; Ruivo, P.; Romano, P.; Quaglia, F.; Rodrigues, L.. "GMU: Genuine Multiversion Update-Serializable Partial Data Replication". IEEE Transactions on Parallel and Distributed Systems 27 10 (2016): 2911-2925. http://www.scopus.com/inward/record.url?eid=2-s2.0-84987741162&partnerID=MN8TOARS. Published • 10.1109/TPDS.2015.2510998 Machado, Nuno; Quinta, D.; Lucia, B.. "Concurrency debugging with differential schedule projections". ACM Transactions on Software Engineering and Methodology 25 2 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84966393631&partnerID=MN8TOARS. Published • 10.1145/2885495 Paiva, J.; Rodrigues, L.. "On data placement in distributed systems". SIGOPS Operating Systems Review 49 1 (2015): 126-130. Published • 10.1145/2723872.2723890 Paiva, Joao; Ruivo, Pedro; Romano, Paolo; Rodrigues, Luis. "AUTOPLACER: Scalable Self-Tuning Data Placement in Distributed Key-Value Stores". ACM Transactions on Autonomous and Adaptive Systems 9 4 (2015): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000348362200003&KeyUID=WOS:000348362200003. Published • 10.1145/2641573 Couceiro, M.; Ruivo, P.; Romano, P.; Rodrigues, Luis. "Chasing the Optimum in Replicated In-Memory Transactional Platforms via Protocol Adaptation". IEEE Transactions on Parallel and Distributed Systems 26 11 (2015): 2942-2955. http://www.scopus.com/inward/record.url?eid=2-s2.0-84944096879&partnerID=MN8TOARS. Published • 10.1109/TPDS.2014.2363460 Romano, P.; Palmieri, R.; Quaglia, F.; Carvalho, N.; Rodrigues, Luis. "On speculative replication of transactional systems". Journal of Computer and System Sciences 80 1 (2014): 257-276. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884973289&partnerID=MN8TOARS. Published • 10.1016/j.jcss.2013.07.006 Rosa, Liliana; Rodrigues, Luis; Lopes, Antonia; Hiltunen, Matti; Schlichting, Richard. "Self-Management of Adaptable Component-Based Applications". IEEE Transactions on Software Engineering 39 3 (2013): 403-421. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000315520700007&KeyUID=WOS:000315520700007. Published • 10.1109/TSE.2012.29 Ferreira, J.; Leitão, J.; Rodrigues, Luis. "A-OSGi: A framework to support the construction of autonomic OSGi-based applications". International Journal of Autonomous and Adaptive Communications Systems 5 3 (2012): 292-310. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863642843&partnerID=MN8TOARS. Published • 10.1504/12.47660 Leitao, Joao; Marques, Joao Pedro; Pereira, Jose; Rodrigues, Luis. "X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks". IEEE Transactions on Parallel and Distributed Systems 23 11 (2012): 2175-2188. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000308998100016&KeyUID=WOS:000308998100016. Published • 10.1109/TPDS.2012.29 Rodrigues, Luis; Agrawal, Divy; Vigfusson, Ymir; Chockler, Gregory. "Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011)". ACM SIGOPS Operating Systems Review 46 1 (2012): 1-1. http://dx.doi.org/10.1145/2146382.2146384. Published • 10.1145/2146382.2146384 Miranda, H.; Rodrigues, Luis. "Reputation in anonymous vehicular networks". International Journal of Autonomous and Adaptive Communications Systems 3 2 (2010): 178-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-81855206103&partnerID=MN8TOARS. Published • 10.1504/IJAACS.2010.031090 ARAUJO, F; Rodrigues, Luis. "Single-step creation of localized Delaunay triangulations". Wireless Networks 15 7 (2009): 845-858. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000270195000002&KeyUID=WOS:000270195000002. Published • 10.1007/s11276-007-0078-x Miranda, H.; Leggio, S.; Rodrigues, Luis; Raatikainen, K.. "An algorithm for dissemination and retrieval of information in wireless ad hoc networks". Concurrency and Computation: Practice and Experience 21 7 (2009): 889-904. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049183002&partnerID=MN8TOARS. Published • 10.1002/cpe.1380 Friedman, R.; Gavidia, D.; Rodrigues, Luis; Viana, A.C.; Voulgaris, S.. "Gossiping on MANETs: The beauty and the beast". ACM SIGOPS Operating Systems Review 41 5 (2007): 67-74. Published • 10.1145/1317379.1317390 RODRIGUES, J; VENTURA, J; DE CAMPOS, AM; Rodrigues, Luis. "Implementation and analysis of real-time communication protocol compositions". REAL-TIME SYSTEMS 37 1 (2007): 45-76. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000249017000002&KeyUID=WOS:000249017000002. Published • 10.1007/s11241-007-9026-1 Carvalho, N.; Correia Jr., A.; Pereira, J.; Rodrigues, Luis; Oliveira, R.; Guedes, S.. "On the use of a reflective architecture to augment database management systems". JOURNAL OF UNIVERSAL COMPUTER SCIENCE 13 8 (2007): 1110-1135. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000251837300006&KeyUID=WOS:000251837300006. Published Mocito, J.; Rosa, L.; Almeida, N.; Miranda, H.; Rodrigues, Luis; Lopes, A.. "Context adaptation of the communication stack". International Journal of Parallel, Emergent and Distributed Systems 21 3 (2006): 169-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-33645136350&partnerID=MN8TOARS. Published • 10.1080/17445760500356098 Jones, C.; Lomet, D.; Romanovsky, A.; Weikum, G.; Fekete, A.; Gaudel, M.-C.; Korth, H.F.; et al. "The atomic manifesto". Journal of Universal Computer Science 11 5 (2005): 636-650. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844473574&partnerID=MN8TOARS. Jones, C.; Lomet, D.; Romanovsky, A.; Weikum, G.; Fekete, A.; Gaudel, M.-C.; Korth, H.F.; et al. "The atomic manifesto: A story in four quarks". SIGMOD Record 34 1 (2005): 63-69. http://www.scopus.com/inward/record.url?eid=2-s2.0-19944366647&partnerID=MN8TOARS. 10.1145/1058150.1058165 Rodrigues, Luis; Raynal, M.. "Atomic broadcast in asynchronous crash-recovery distributed systems and its use in quorum-based replication". IEEE Transactions on Knowledge and Data Engineering 15 5 (2003): 1206-1217. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141502124&partnerID=MN8TOARS. Published • 10.1109/TKDE.2003.1232273 PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Semantically reliable multicast: Definition, implementation, and performance evaluation". IEEE TRANSACTIONS ON COMPUTERS 52 2 (2003): 150-165. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000180520500006&KeyUID=WOS:000180520500006. Published • 10.1109/TC.2003.1176983 ARAUJO, F; RIBEIRO, B; Rodrigues, Luis. "A neural network for shortest path computation". IEEE TRANSACTIONS ON NEURAL NETWORKS 12 5 (2001): 1067-1073. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000171123100010&KeyUID=WOS:000171123100010. Published • 10.1109/72.950136 Rodrigues, Luis; Guo, K.; Veríssimo, P.; Birman, K.P.. "A Dynamic Light-Weight Group Service". Journal of Parallel and Distributed Computing 60 12 (2000): 1449-1479. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346482260&partnerID=MN8TOARS. Published • 10.1006/jpdc.2000.1645 Veríssimo, P.; Rodrigues, Luis; Casimiro, A.; VERISSIMO, P; CASIMIRO, A. "CesiumSpray : A Precise and Accurate Global Time Service for Large-scale Systems". Real-Time Systems 12 3 (1997): 243-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031141350&partnerID=MN8TOARS. Published
Preface / Postscript	Cao, J.; Ellen, F.; Rodrigues, L.; Ferreira, B.. "Preface". Preface to The 22nd International Conference on Principles of Distributed Systems. 2018. Published • Editor Mercier, H.; Silva, J.N.; Rodrigues, L.. "Message from the WMCSP 2016 workshop co-chairs". Preface to Workshop on Mobility and Cloud Security & Privacy (WMCSP 2016). 2016. Published • 10.1109/SRDSW.2016.5 RODRIGUES, L; MOSTEFAOUI, A; FETZER, C; et al.; Shapiro, M.; Keidar, I.; Geb. Gärtner, F.F.; Rodrigues, L.. "Topic 8: Distributed systems and algorithms". Preface to Euro-Par 2007 Parallel Processing, Proceedings, 974-974. Springer. 2007. Published RODRIGUES, L; Rodrigues, L.. "DSN 2007 tutorials: Message from the tutorials chair". Preface to Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 817-817. IEEE. 2007. Published • 10.1109/DSN.2007.33 Rodrigues, Luis; Mostefaoui, A.; Fetzer, C.; Tsigas, P.. "Distributed systems and algorithms: Introduction". Preface to 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05). 2007. Published Ahamad, M.; Rodrigues, L.. "Program Co-chair's Message". Preface to Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS 2006). IEEE. 2006. Published • 10.1109/ICDCS.2006.68 Raynal, M.; Chen, W.-S.E.; Rodrigues, L.. "Message from the program co-chairs". Preface to Proceedings of the 22nd International Conference on Distributed Computing Systems. IEEE. 2002. Published

Other

Other output

On Replication of Software Transactional Memories. Lecture Notes in Computer Science. 2008. Rodrigues, Luis. http://dx.doi.org/10.1007/978-3-540-92221-6_2.
10.1007/978-3-540-92221-6_2
Semantically Reliable Broadcast. Concurrency in Dependable Computing. 2002. Rodrigues, Luis.
10.1007/978-1-4757-3573-4_10

Activities

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2022/10/01 - 2023/11/01	Transactional Causal Consistency For Microservices Architectures Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/10/01 - 2023/11/01	Automatic Detection of Anomalies in the Migration to Microservices Architectures Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/10/01 - 2023/11/01	Self-Adapting BFT Consensus: Leveraging Heterogeneity in Dissemination/Aggregation Trees Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/10/01 - 2022/11/01	Federated Learning for Predicting the Next Node in Action Flows Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01	Window Based Monitoring: Packet Drop Detection in the Network Data Plane Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2022/06/01	Microservice Decomposition for Transactional Causal Consistent Platforms Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/01/01 - 2022/03/01	Scalable and Resilient Byzantine Fault Tolerant Consensus Co-supervisor	Doutoramento em Engenharia Informática e de Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/01	Proof of Timely-Retrievability for Storage Systems at the Edge Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/01	An Architecture to Offer Transactional Strong Consistency for FaaS Applications Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/01	Deduplication vs Privacy Tradeoffs in Cloud Storage Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/10 - 2021/03	Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention Co-supervisor	Doutoramento em Engenharia Electrotécnica e de Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/14	Cathode: A Consistency-Aware Data Placement Algorithm for the Edge Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/14	Dynamic Reconfiguration of the Data Aggregation Topology at the Edge Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01	Causality Tracking Trade-offs for Distributed Storage Co-supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01	ENGAGE: Session Guaranties for the Edge Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01	LoCaPS: Localized Causal Publish-Subscribe Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09 - 2019/11	Efficient Implementation of Causal Consistent Transactions in the Cloud Supervisor of Taras Lykhenko	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09 - 2019/11	Localized Reliable Causal Multicast Supervisor of Válter Emanuel Trecitano da Costa Santos	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09 - 2019/11	Identification of Skype Covert Channels using Sketches in SDNs Co-supervisor of André Filipe Antunes Madeira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09 - 2019/11	Omega: a Secure Event Ordering Service for the Edge Co-supervisor of Cláudio José Pereira Correia	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/01/01 - 2019/03/01	Automated Planning to Support the Deployment and Management of Applications in Cloud Environments Co-supervisor of Richard Joaquín Gil Martínez	Doutoramento em Engenharia Informática e de Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09 - 2018/11	A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores Supervisor of João Bernardo Sena Amaro	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09 - 2018/11	Adaptive Information Dissemination in the Bitcoin Network Co-supervisor of João Esteves Marçal	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09 - 2018/11	Mechanisms for Providing Causal Consistency on Edge Computing Supervisor of Nuno Cerqueira Afonso	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/01/01 - 2018/05/01	Metadata Management in Causally Consistent Systems Co-supervisor of Angel Manuel Bravo Gestoso	Doutoramento em Engenharia Informática e de Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11	Dynamic Adaptation of Byzantine Fault Tolerant Protocols Supervisor of Carlos Eduardo Alves Carvalho	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11	Byzantine Fault Tolerant Monitoring of Distributed Systems Supervisor of Bernardo Brito da Palma	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11	Policy-Based Adaptation of Byzantine Fault Tolerant Systems Supervisor of Miguel Neves Pasadinhas	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11	Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures Supervisor of Pedro Miguel Marcos Joaquim	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2016/11	Learning Adaptation Models Under Non-Determinism Supervisor of Francisco Miguel Caramelo Duarte	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2016/11	Fault Isolation in Software Defined Networks Supervisor of João Sales Henriques Miranda	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2016/09	ByTAM: a Byzantine Fault Tolerant Adaptation Manager Supervisor of Frederico Miguel Reis Sabino	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2016/07	Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication Supervisor of Chathuri Lanchana Rubasinghe Gunawardhana	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/01/01 - 2016/06/01	Managing Incentives in Community Network Clouds Co-supervisor of Muhammad Amin Khan	Doutoramento em Engenharia Informática e Computadores Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/01/01 - 2016/06/01	Cooperative Concurrency Debugging Supervisor of Nuno de Ferraz Almeida e Peixoto Machado	Doutoramento em Engenaria Informática e Computadores (PhD)
2013/01/01 - 2016/06/01	Sustaining Cooperation in Dependable Systems: a Game Theorectical Approach Supervisor of Xavier Araújo Morgado Vilaça	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/09 - 2015/10	Efficient Free-rider Detection using Symmetric Overlays Supervisor of João Bruno Rodrigues Roque e Silva	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/09 - 2015/10	Dynamic Adaptation of Geo-Replicated CRDTs Supervisor of Carlos Guilherme Crisóstomo Bartolomeu	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/01/01 - 2015/07/01	Autonomic Replicated Software Transactional Memory Supervisor of Maria Isabel Catarino Couceiro	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/09 - 2015/07	Relaxed Logging for Replay of Multithreaded Applications Supervisor of Aliaksandra Sankova	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/09 - 2015/07	Adaptive Quorums for Cloud Storage Systems Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/01/01 - 2015/05/01	Data Placement in Distributed Systems Supervisor of João Gonçalves Paiva	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/01/01 - 2014/11/01	Fault-Tolerant Renaming in Synchronous Message-Passing Systems Supervisor of Oksana Denysyuk	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/09 - 2014/10	Efficient Support for Selective MapReduce Queries Supervisor of Manuel da Silva Santos Gomes Ferreira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/09 - 2013/07	Fault Reproduction for Multithreaded Applications Supervisor of Angel Manuel Bravo Gestoso	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/09 - 2013/07	Data locality aware partitioning schemes for large-scale data stores Supervisor of Muhammet Orazow	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/01/01 - 2012/12/01	Self-management of Systems Built from Adaptable Components Co-supervisor of Liliana Wu Freitas Rosa	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/09 - 2012/10	Geo-Replication in Large Scale Cloud Computing Applications Supervisor of Sérgio Filipe Garrau dos Santos Almeida	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/09 - 2012/10	Topology-aware Gossip Dissemination for Large-scale Datacenters Supervisor	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/01/01 - 2012/09/01	Topology Management for Unstructured Overlay Networks Supervisor of João Carlos Antunes Leitão	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/09 - 2011/10	Lightweight Cooperative Logging for Fault Replication in Concurrent Programs Supervisor of Nuno de Ferraz Almeida e Peixoto Machado	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/09 - 2011/10	Replicação Parcial para Sistemas de Memória Transaccional por Software Supervisor of Pedro Miguel Pereira Ruivo	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/09 - 2011/10	N-Party BAR Transfer Supervisor of Xavier Araújo Morgado Vilaça	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/09 - 2011/10	Speculative Execution on Replicated and Distributed Software Transactional Memory Systems Supervisor of João Carlos Moreira Fernandes	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/01/01 - 2011/09/01	A Generic and Distributed Dependable Software Transactional Memory Supervisor of Nuno Miguel Rei Carvalho	Doutoramento em Engenharia Informática e Computadores (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/10	Resource Location in P2P Systems Supervisor of João Pedro Fernandes Alveirinho	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/10	WMM: Wireless Mesh Monitoring Supervisor of Ricardo Manuel Gândara Pinto	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/10	Multipath Routing for Wireless Mesh Networks Supervisor of Cristina Neves Fonseca	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/10	Adaptive Group Communication Supervisor of Tiago José Pinto Taveira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/10	Live Streaming in Overlay Networks Supervisor of Mário Rui Vazão Vasco Ferreira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/11 - 2009/10	A-OSGi: A framework to support the construction of autonomic OSGi-based applications Supervisor of João Tiago de Jesus Elias Ferreira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/11 - 2009/10	Heterogeneity-Aware Multicast for MANETs Supervisor of Oksana Denysyuk	Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/11 - 2009/10	FT-OSGi: Fault-Tolerance extensions for the OSGi Service Platform Supervisor of Carlos Filipe Lopes Torrão	Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/10 - 2009/09	Cache Coherence in Distributed and Replicated Transactional Memory Systems Supervisor of Maria Isabel Catarino Couceiro	Mestrado em Engenharia Informática e de Computadres (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/08 - 2009/07	Thwarting The Sybil Attack in Wireless Ad Hoc Networks Co-supervisor of Diogo Miguel da Costa e Castro Mónica de Oliveira	Mestrado em Engenharia Informática e de Computadores (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/10 - 2007/09	Sistema probabilista de edição-susbcrição para redes móveis ad hoc Supervisor of José Pedro Santos Manso Côrte-Real	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2006/05 - 2007/05	Gossip-Based Broadcast Protocols Supervisor of João Carlos Antunes Leitão	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2006	Run-Time Switching Between Total Order Algorithms Supervisor of José Carlos Vitório Mocito	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2006	Adaptação Dinâmica de Pilhas de Protocolos Estimulada por Alterações no Contexto Supervisor of Liliana Wu Freitas Rosa	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2002/01/01 - 2005/06/01	Gossip-based Data Distribution in Mobile Ad Hoc Networks Supervisor of Hugo Alexandre Tavares Miranda	Doutoramento em Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2002/01/01 - 2005/05/01	Position-Based Distributed Hash Tables Supervisor of Filipe João Boavida de Mendonça Machado Araújo	Doutoramento em Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2001/01/01 - 2005/05/01	Arquitecturas de Suporte ao Desenvolvimento de Protocolos de Comunicação de Tempo-Real Supervisor of João Carlos Teixeira Rodrigues	Doutoramento em Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2003 - 2004	Concretização e Avaliação de uma Plataforma de Suporte à Composição e Execução de Protocolos Supervisor of Alexandre Jorge Matos Pinto	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2003 - 2004	INDIQoS: Um Sistema de Publicação-Subscrição com Qualidade de Serviço Supervisor of Nuno Miguel Rei Carvalho	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2002 - 2003	A Replica Consistency Algorithm for GlobData Supervisor of João Travassos Cabral Martins	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
1999/01/01 - 2002/07/01	Semantically Reliable Group Communication Co-supervisor of José Orlando Roque Nascimento Pereira	Doutoramento em Informática (PhD) Universidade do Minho, Portugal
2001 - 2002	Técnicas para aumento da capacidade de escala em sistemas de publicação e subscrição de informação Supervisor of Mário Luís de Jesus Rodrigues Guimarães	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2000 - 2001/07	Análise do tempo de resposta da composição de micro-protocolos Supervisor of João Carlos Negrão Ventura	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2000 - 2001/05	Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos Supervisor of Hugo Alexandre Tavares Miranda	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
1999 - 2000/09	Suporte para vistas em ambientes de gestão de redes Supervisor of Carlos David Soares da Palma	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
1999 - 2000/06	Comunicação entre Grupos de Processos Utilizando o Modelo Editor-Assinante Supervisor of Jorge Alexandre Cabrita Morgado	Mestrado em Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal

Event organisation

	Event name Type of event (Role)	Institution / Organization
2020/10 - 2020/10	The 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) Austin (TX), USA Oct, 2020 (Track Chair). (2020/10 - 2020/10) Congress (Member of the Scientific Committee)
2018/12 - 2018/12	The 22nd International Conference on Principles of Distributed Systems (OPODIS), Hong Kong, China, December 2018, (PC Co-Chair). (2018/12 - 2018/12) Conference (Member of the Scientific Committee)
2014/09 - 2014/09	The 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS), Paderborn, Germany, September 2014. (Track Chair) (2014/09 - 2014/09) Congress (Member of the Scientific Committee)
2012/07 - 2012/07	The 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Funchal, Madeira, Portugal, Julho de 2012. (2012/07 - 2012/07) Congress (Co-organisor)	Association for Computing Machinery (ACM), United States Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/10 - 2011/10	The 2nd ACM Symposium on Cloud Computing (SOCC), Cascais, Portugal, Outubro de 2011. (2011/10 - 2011/10) Congress (President of the Organising Committee)	Association for Computing Machinery, United States Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/10 - 2011/10	The 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, Outubro de 2011. (2011/10 - 2011/10) Congress (Co-organisor)	Association for Computing Machinery, United States Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/10 - 2011/10	The 5th Workshop on Self-Stabilizing Systems (SSS), Lisboa, Portugal, Outubro de 2001. (2011/10 - 2011/10) Congress (Co-organisor)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2011/09 - 2011/09	The 5th Workshop on Large Scale Distributed Systems and Middleware (LADIS), held in conjunction with VLDB in Seattle, Washington, September 2011. (Program Co-chair) (2011/09 - 2011/09) Congress (Member of the Scientific Committee)
2008/09 - 2008/09	The 2nd International Conference on Autonomic Computing and Communication Systems, Turin, Italy, September 2008. (Program Co-chair). (2008/09 - 2008/09) Congress (Member of the Scientific Committee)
2007/08 - 2007/08	Euro-Par 2007. Topic 8: Distributed Systems and Algorithms.Rennes, France. August, 2007. (Topic Chair). (2007/08 - 2007/08) Congress (Member of the Scientific Committee)
2006/07 - 2006/07	The 26th International Conference on Distributed Computing Systems, Lisboa, Portugal, Julho 2006 (Program Co-Chair). (2006/07 - 2006/07) Congress (Member of the Scientific Committee)	IEEE, United States
2006/06 - 2006/06	The The 26th International Conference on Distributed Computing Systems (ICDCS), FCUL, Lisboa, Portugal, Julho 2006. (2006/06 - 2006/06) Congress (Member of the Organising Committee)	IEEE, United States Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2005/08 - 2005/09	Euro-Par 2005. Topic 8: Distributed Systems and Algorithms. 30 Agosto - 2 Setembro, 2005, Lisboa, Portugal. (Topic Chair). (2005/08 - 2005/09) Congress (Member of the Scientific Committee)
2005/06 - 2005/06	The 25th International Conference on Distributed Computing Systems (ICDCS), Columbus, Ohio, USA, June 2005. (Track Chair) (2005/06 - 2005/06) Congress (Member of the Scientific Committee)	IEEE, United States
2002/07 - 2002/07	The 22nd IEEE International Conference on Distributed Computing Systems (ICDCS). Vienna, Austria, Julho de 2002. (Vice Program Chair) (2002/07 - 2002/07) Congress (Member of the Scientific Committee)	IEEE, United States
2001/10 - 2001/10	The 15th International Symposium on DIStributed Computing (DISC), Lisboa, Portugal, Outubro de 2001. (2001/10 - 2001/10) Congress (Co-organisor)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1993/09 - 1993/09	The Fourth IEEE Workshop on Future Trends of Distributed Computing Systems, Lisboa, Portugal, Setembro 1993. (1993/09 - 1993/09) Congress (Member of the Organising Committee)	Instituto de Engenharia de Sistemas e Computadores, Portugal IEEE, United States