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, as director of INESC-ID Lisboa from 2014-2017, and as president of the Scientific Council of INESC-ID from 2022-2024. 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 18 PhD students and more than 65 MSc students. On Google Scholar, he has a h-index of 48 and more than 9K citations to his work.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Luis Eduardo Teixeira Rodrigues
Género: Masculino

Nomes de citação

Rodrigues, Luis

Identificadores de autor

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

Telefones

Telefone

213100346 (Profissional)

Moradas

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

Websites

http://www.gsd.inesc-id.pt/~ler/ (Académico)

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Português (Idioma materno)
Inglês	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)

Formação

	Grau	Classificação
2003/03/21 Concluído	Informática (Título de Agregado) Universidade de Lisboa Faculdade de Ciências, Portugal
1991/09/01 - 1996/02/29 Concluído	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" (TESE/DISSERTAÇÃO)
1987/09/01 - 1991/07/31 Concluído	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" (TESE/DISSERTAÇÃO)
1981/09/01 - 1986/07/31 Concluído	Engenharia Electrotécnica e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal

Percurso profissional

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2007/07/01 - Atual	Professor Catedrático (Docente Universitário)	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	Professor Associado (Docente Universitário)	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	Professor Auxiliar (Docente Universitário)	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	Professor Auxiliar (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores, Portugal
1991/05/01 - 1996/04/30	Assistente (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Instituto de Engenharia de Sistemas e Computadores, Portugal
1989/09/01 - 1991/04/30	Assistente Estagiário (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

	Categoria Profissional Instituição de acolhimento	Empregador
2022/01/01 - 2024/12/31	Presidente do Conselho Científico	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	Dirigente de laboratório, instituto, museu, centro ou observatório	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	Dirigente de laboratório, instituto, museu, centro ou observatório	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Projetos

Projeto

	Designação	Financiadores
2022/01/15 - 2025/01/14	DACOMICO: Data Consistency in Microservices Compositions PTDC/CCI-COM/2156/2021 Investigador responsável Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/01/10 - 2021/09/30	NGSTORAGE: Nova Geração de Sistema de Armazenamento e Gestão de Dados PTDC/CCI-INF/32038/2017 Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018/06/14 - 2021/06/13	Cosmos: Coerência Causal na Periferia da Rede PTDC/EEI-COM/29271/2017 Investigador responsável Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
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 Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
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 Concluído
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 Concluído
2016/01 - 2019/12	Abyss: Autonomic Byzantine Fault-Tolerant Systems grant.Provided by PTCRIS: 140366 Investigador responsável Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2015 - 2019	SafeCloud: Secure and Resilient Cloud Architecture 653884 Investigador 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 Investigador responsável	Fundação para a Ciência e a Tecnologia
2015 - 2016	SANS: Self-Adaptating NoSQL Stores CMUP-EPB/TIC/0042/2013 Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2013 - 2016	PCAS : Personalised Centralized Authentication System FP7-ICT-2013-10 Investigador responsável	European Union
2013/07 - 2015/12	PEPITA: PropErty PreservIng Topology Adaptation grant.Provided by PTCRIS: 128734 128734 Provided by PTCRIS: 128734 Investigador responsável 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. Concluído
2014/02 - 2015/01	GreenTM: Green Transactional Memory 133383 Provided by PTCRIS: 133383 grant.Provided by PTCRIS: 133383 Investigador	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
2010 - 2015	Euro-TM: Transactional Memories: Foundations, Algorithms, Tools, and Applications. ICT COST Action IC1001 Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union Concluído
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 Concluído
2010/11 - 2014/04	ADAAS: Assuring Dependability in Architecture-based Adaptive Systems Provided by PTCRIS: 111193 111193 Investigador	Fundação para a Ciência e a Tecnologia, I.P. Concluído
2010/05/01 - 2013/10/31	Computação de alto desempenho em grande escala sobre a Internet PTDC/EIA-EIA/102212/2008 Universidade de Coimbra, Portugal Universidade de Coimbra Departamento de Engenharia Civil, Portugal Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010/05 - 2013/10	HPCLSI: High-Performance Computing over the Large-Scale Internet grant.Provided by PTCRIS: 102212 102212 Provided by PTCRIS: 102212 Investigador	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
2010 - 2013	Cloud-TM. A novel programming paradigm for the Cloud. 257784 Investigador 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 Concluído
2010/01 - 2012/12	ARISTOS: Autonomic ReplicatIon of Software TransactiOnal memorieS 102496 Provided by PTCRIS: 102496 grant.Provided by PTCRIS: 102496 Investigador	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
2010 - 2012	FastFIX: Monitoring Control for Remote Software Maintenance 258109 Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Union Concluído
2008/01 - 2011/03	PASTRAMY: Persistent and highly Availabe Software TRansactional MemorY grant.Provided by PTCRIS: 72405 Provided by PTCRIS: 72405 72405 Investigador	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
2008/01 - 2010/12	Redico: Dynamic Reconfiguration of Communication Protocols grant.Provided by PTCRIS: 71752 71752 Provided by PTCRIS: 71752 Investigador responsável	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
2005 - 2009	DYNAMO: Dynamic Communication Networks. COST Action 295 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluído
2003 - 2009	MiNEMA: Middleware for Network Eccentric and Mobile Applications MiNEMA ESF Scientific Programme Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Science Foundation Concluído
2005/07 - 2008/06	P-SON: Probabilistically-Structured Overlay Networks 60941 Provided by PTCRIS: 60941 grant.Provided by PTCRIS: 60941 Investigador	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
2005/05 - 2008/06	MICAS, MIddleware for Context-aware and Adaptive Systems Provided by PTCRIS: 60692 60692 grant.Provided by PTCRIS: 60692 Investigador responsável	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 Concluído
2004 - 2007	GORDA: Open Replication of Databases. STREP 004758 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluído
2002 - 2004	INDIQoS: Qualidade de Serviço (QoS) em sistemas de comunicação indirecta. POSI/ CHS/ 41473/ 2001 Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2002 - 2004	RUMOR: Probabilistic semantically reliable protocols. POSI/ CHS/ 40088/ 2001 Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2002 - 2004	StrongRep: Strongly Consistent Replicated Databases for Gepgraphycally Large-Scale Systems. POSI/ CHS/ 41285/ 2001 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2001 - 2003	SHIFT: Group Communication with Differentiated Messages. POSI/ CHS/ 32869/2000 Investigador responsável	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 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2000 - 2002	GLOBDATA: An Efficient Software Tool for Global Data Access. IST-1999-20997 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Union Concluído
1999 - 2001	Topcom: Comunicação em Grupo Fiável e Orientada à Topologia em Sistemas de Grande Escala Geográfica Praxis/ P/ EEI/ 12202/ 1998 Investigador responsável	Fundação para a Ciência e a Tecnologia Concluído
1999 - 2001	Dear-COTS: Arquitecturas Embebidas e Distribuídas usando Componentes de Uso Genérico Praxis/P/EEI/14187/1998 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
1999 - 2001	Micra: A model for the Development of Mission Critical Applications Praxis/ P/ EEI/ 12160/ 1998 Investigador 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 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union
1993 - 1995	GODC: Group-Oriented Distributed Computing ESPRIT/BRA Working Group 26 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluído
1992 - 1995	Broadcast: Basic Research on Advanced Distributed Computing: from Algorithms to Systems. ESPRIT Basic Research Project 6360 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluído
1986 - 1991	Delta-4: Definition and Design of an Open Dependable Distributed Architecture ESPRIT 818/2252 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	European Union Concluído

Produções

Publicações

Artigo em conferência	Lykhenko, Taras; Soares, Rafael; Rodrigues, Luis. "PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh". Trabalho apresentado em IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Osaka, 2024. Publicado Cláudio Correia; Miguel Correia; Luís Rodrigues. "Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge". Trabalho apresentado em ACM Conference on Computer and Communications Security (ACM CCS 2023), Copenhagen, 2023. Publicado • 10.1145/3576915.3623111 Cláudio Correia; Rita Prates; Correia, Miguel; Rodrigues, Luis. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Trabalho apresentado em Pacific Rim International Symposium on Dependable Computing (PRDC), Singapura, 2023. Publicado João Queirós; Soares, Rafael; Rodrigues, Luis. "Suporte para Coerência Causal Transacional em Sistemas de Microsserviços". Trabalho apresentado em Simpósio de Informática (Inforum), Porto, 2023. Publicado Soares, Rafael; Rodrigues, Luis. "Performance Trade-offs in Transactional Systems". Trabalho apresentado em Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Roma, 2023. Publicado • https://doi.org/10.1145/3578358.3591325 Rodrigo Silva; Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Deduplication vs Privacy Tradeoffs in Cloud Storage". Trabalho apresentado em ACM/SIGAPP Symposium On Applied Computing (SAC), Tallinn, 2023. Publicado Casimiro, Maria; Paolo Romano; Garlan, David; Rodrigues, Luis. "A Framework for Adapting Machine Learning Components". Trabalho apresentado em International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Virtual, 2022. Publicado Miguel Belém; Fouto, Pedro; Lykhenko, Taras; Leitao, Joao; Preguiça, Nuno; Rodrigues, Luis. "Engage: Session Guarantees for the Edge". Trabalho apresentado em International Conference on Computer Communications and Networks, Virtual, 2022. Publicado Lykhenko, Taras; Soares, Rafael; Rodrigues, Luis. "FaaSTCC: efficient transactional causal consistency for serverless computing". Trabalho apresentado em International Middleware Conference, 2021. Publicado • 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". Trabalho apresentado em International Workshop on Automated and verifiable Software sYstem DEvelopment, 2021. Publicado Neiheiser, Ray; Matos, Miguel; Rodrigues, Luís. "Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation". Trabalho apresentado em ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP), 2021. Publicado • 10.1145/3477132.3483584 Epifaneo, Leonardo; Correia, Claudio; Rodrigues, Luis. "Cathode: A Consistency-Aware Data Placement Algorithm for the Edge". Trabalho apresentado em 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". Trabalho apresentado em ACM/SIGAPP Symposium On Applied Computing (SAC), Online, 2021. Aceite para publicação Barradas, D; Santos, Nuno; Rodrigues, Luis; S. Signorello; Ramos, Fernando; Mandeira, Andre. "FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications". Trabalho apresentado em Usenix Network and Distributed System Security Symposium (NDSS), Online, 2021. Aceite para publicação Jigna Zeng; Issa, Shady; Romano, Paolo; Rodrigues, Luis; Haridi, Seif. "Investigating the Semantics of Futures in Transactional Memory Systems". Trabalho apresentado em ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Online, 2021. Aceite para publicação Barradas, Diogo; Santos, Nuno; Rodrigues, Luis; Signorello, Salvatore; Ramos, Fernando M. V.; Madeira, André. "The Nuts and Bolts of Building FlowLens". Trabalho apresentado em Learning from Authoritative Security Experiment Results Workshop, Evento Online, 2021. Em revisão Barradas, D; Nuno Santos; Rodrigues, Luis; Vitor Nunes. "Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC". Trabalho apresentado em The 2020 ACM Conference on Computer and Communications Security (CCS), Online, 2020. Publicado Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "On the unobservability of multimedia-based covert channels for Internet censorship circumvention". Trabalho apresentado em Applied Network Research Workshop -- Internet Society Portugal Chapter (ISOC.PT ANRW), Lisboa, 2020. Publicado Nuno Afonso; Manuel Bravo; Rodrigues, Luis. "Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge". Trabalho apresentado em International Conference on Computer Communications and Networks (ICCCN), Honolulu (HI), 2020. Publicado Casimiro, M.; Didona, D.; Romano, P.; Rodrigues, Luis; Zwaenepoel, W.; Garlan, D.. "Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Singapura, 2020. No prelo Daniel Presser; Luciana Rech; Rodrigues, Luis; Paolo Romano. "EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems". Trabalho apresentado em International Conference on Distributed and Event-Based Systems (DEBS), Montreal, Quebec, 2020. Publicado Correia, Cláudio; Rodrigues, Luis; Correia, Miguel. "Omega: a Secure Event Ordering Service for the Edge". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Valencia, 2020. No prelo Paolo Laffrancini; Rodrigues, Luis; Etienne Riviere; Ramin Sadre; Nuno Machado; João Miranda. "NetSheriff: sheltering software-defined networks from rogue switches". Trabalho apresentado em International Conference in Networked Systems (NETYS), Marrakech, 2020. Publicado Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Ordenação Segura de Eventos na Periferia da Rede". Trabalho apresentado em INForum - Simpósio de Informática, Guimarães, 2019. Publicado Santos, V.; Rodrigues, Luis. "Localized Reliable Causal Multicast". Trabalho apresentado em International Symposium on Network Computing and Applications, Boston, 2019. Publicado • 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". Trabalho apresentado em Enésimo Simpósio de Informática, INForum 2019, Guimarães, 2019. Publicado Laffranchini, P.; Rodrigues, L.; Canini, M.; Krishnamurthy, B.. "Measurements As First-class Artifacts". Trabalho apresentado em International Conference on Computer Communications (INFOCOM), Paris, 2019. Publicado • 10.1109/INFOCOM.2019.8737383 Marçal, J.; Rodrigues, Luis; Matos, M.. "Adaptive information dissemination in the bitcoin network". Trabalho apresentado em The 34th ACM Symposium on Applied Computing, 2019. Publicado • 10.1145/3297280.3297309 Joaquim, P.; Bravo, M.; Rodrigues, L.; Matos, M.. "Hourglass: Leveraging transient resources for time-constrained graph processing in the cloud". Trabalho apresentado em EuroSys 2019, Dresden, 2019. Publicado • 10.1145/3302424.3303964 Martinez, R.G.; Lopes, A.; Rodrigues, L.. "Planning workflow executions when using spot instances in the cloud". Trabalho apresentado em Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), Limassol, 2019. Publicado • 10.1145/3297280.3297313 Bravo, M.; Rodrigues, L.; Neiheiser, R.; Rech, L.. "Policy-based adaptation of a Byzantine fault tolerant distributed graph database". Trabalho apresentado em The IEEE International Symposium on Reliable Distributed Systems, Salvador, 2018. Publicado • 10.1109/SRDS.2018.00017 Barradas, D.; Santos, N.; Rodrigues, L.. "Effective detection of multimedia protocol tunneling using machine learning". Trabalho apresentado em USENIX Security Symposium, Baltimore (MD), 2018. Publicado Zeng, J.; Romano, P.; Barreto, J.; Rodrigues, L.; Haridi, S.. "Online tuning of parallelism degree in parallel nesting transactional memory". Trabalho apresentado em International Parallel and Distributed Processing Symposium (IPDPS), Vancouver, 2018. Publicado • 10.1109/IPDPS.2018.00057 Duarte, F.; Gil, R.; Romano, P.; Lopes, A.; Rodrigues, L.. "Learning non-deterministic impact models for adaptation". Trabalho apresentado em International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, 2018. Publicado • 10.1145/3194133.3194138 Bravo, M.; Rodrigues, L.. "Towards affordable externally consistent guarantees for geo-replicated systems". Trabalho apresentado em Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Porto, 2018. Publicado • 10.1145/3194261.3194264 Carvalho, C.; Porto, D.; Rodrigues, L.; Bravo, M.; Bessani, A.. "Dynamic adaptation of byzantine consensus protocols". Trabalho apresentado em Symposium on Applied Computing (SAC), Pau, 2018. Publicado • 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". Trabalho apresentado em International Conference on Information Networking (ICOIN), Chiang Mai, 2018. Publicado • 10.1109/ICOIN.2018.8343095 Martinez, R.G.; Li, Z.; Lopes, A.; Rodrigues, L.. "Augure: Proactive reconfiguration of cloud applications using heterogeneous resources". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2017. Publicado • 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". Trabalho apresentado em International Conference on Security and Cryptography (SECRYPT), Madrid, 2017. Publicado Gunawardhana, C.; Bravo, M.; Rodrigues, L.. "Unobtrusive deferred update stabilization for efficient geo-replication". Trabalho apresentado em USENIX Annual Technical Conference, Santa Clara, 2017. Publicado Martinez, R.G.; Lopes, A.; Rodrigues, L.. "Automated generation of policies to support elastic scaling in cloud environments". Trabalho apresentado em Symposium on Applied Computing (SAC), Marrakesh, 2017. Publicado • 10.1145/3019612.3019658 Bravo, M.; Rodrigues, L.; Van Roy, P.. "Saturn: A distributed metadata service for causal consistency". Trabalho apresentado em EuroSys, Belgrade, 2017. Publicado • 10.1145/3064176.3064210 Vilaca, Xavier; Rodrigues, Luis. "Accountability in Dynamic Networks". Trabalho apresentado em International Conference on Distributed Computing and Networking (ICDCN), Hyderabad, 2017. Publicado • 10.1145/3007748.3007769 Vilaça, X.; Rodrigues, L.; Silva, J.; Miranda, H.. "Fastrank: Practical lightweight tolerance to rational behaviour in edge assisted streaming". Trabalho apresentado em International Conference on Distributed Computing and Networking (ICDCN), Hyderabad, 2017. Publicado • 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". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Cambridge (MA), 2016. Publicado • 10.1109/NCA.2016.7778594 Silva, J.; Vilaca, X.; Miranda, H.; Rodrigues, L.. "Efficient Free-Rider Detection Using Symmetric Overlays". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2016. Publicado • 10.1109/NCA.2015.21 Monfared, Sharareh; Andrade, Daniel; Rodrigues, Luis; Silva, Joao Nuno; IEEE. "BioALeg - Enabling Biometric Authentication in Legacy Web Sites". Trabalho apresentado em Symposium on Reliable Distributed Systems Workshops (SRDSW), Budapest, 2016. Publicado • 10.1109/SRDSW.2016.15 Zeng, Jingna; Barreto, Joao; Haridi, Seif; Rodrigues, Luis; Romano, Paolo. "The Future(s) of Transactional Memory". Trabalho apresentado em Annual Conference on Parallel Processing (ICPP), Philadelphia (PA), 2016. Publicado • 10.1109/ICPP.2016.57 Khan, A.M.; Vilaca, X.; Rodrigues, L.; Freitag, F.. "A Distributed Auctioneer for Resource Allocation in Decentralized Systems". Trabalho apresentado em International Conference on Distributed Computing Systems, (ICDCS), Nara, 2016. Publicado • 10.1109/ICDCS.2016.38 Bartolomeu, Carlos; Bravo, Manuel; Rodrigues, Luís. "Dynamic adaptation of geo-replicated CRDTs". Trabalho apresentado em Symposium on Applied Computing (SAC), Pisa, 2016. Publicado • 10.1145/2851613.2851641 Machado, N.; Lucia, B.; Rodrigues, L.. "Production-guided concurrency debugging". Trabalho apresentado em ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Barcelona, 2016. Publicado • 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". Trabalho apresentado em Middleware, 2015. Publicado • 10.1145/2814576.2814809 Bravo, M.; Rodrigues, L.; Van Roy, P.. "Towards a scalable, distributed metadata service for causal consistency under partial geo-replication". Trabalho apresentado em Middleware Doctoral Symposium, Vancouver, 2015. Publicado • 10.1145/2843966.2843971 Ferreira, M.; Paiva, J.; Bravo, M.; Rodrigues, L.. "SmartFetch: Efficient support for selective queries". Trabalho apresentado em International Conference on Cloud Computing Technology and Science (CloudCom),, Vancouver, 2015. Publicado • 10.1109/CloudCom.2015.83 Khan, A.M.; Freitag, F.; Rodrigues, L.. "Current trends and future directions in community edge clouds". Trabalho apresentado em International Conference on Cloud Networking (CloudNet), Niagara Falls (ON), 2015. Publicado • 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". Trabalho apresentado em International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON), Cluj-Napoca, 2015. Publicado • 10.1007/978-3-319-43177-2_17 Machado, N.; Lucia, B.; Rodrigues, Luis. "Concurrency debugging with differential schedule projections". Trabalho apresentado em ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI ), Portland (OR), 2015. Publicado • 10.1145/2737924.2737973 Bravo, M.; Romano, P.; Rodrigues, L.; Van Roy, P.. "Reducing the vulnerability window in distributed transactional protocols". Trabalho apresentado em Workshop on Principles and Practice of Consistency for Distributed Data, Bordeaux, 2015. Publicado • 10.1145/2745947.2746688 Vilaça, X.; Rodrigues, L.. "On the range of equilibria utilities of a repeated epidemic dissemination game with a mediator". Trabalho apresentado em International Conference on Distributed Computing and Networking (ICDCN), Goa, 2015. Publicado • 10.1145/2684464.2684482 Leitão, J.; Rodrigues, L.. "Overnesia: A resilient overlay network for virtual super-peers". Trabalho apresentado em International Symposium on Reliable Distributed Systems (SRDS), Nara, 2014. Publicado • 10.1109/SRDS.2014.40 Denysyuk, O.; Rodrigues, Luis. "Random walks on evolving graphs with recurring topologies". Trabalho apresentado em International Symposium on DIStributed Computing (DISC), Austin (TX), 2014. Publicado Tran-The, H.; Rodrigues, Luis; Hung Tran-The; Rodrigues, Luis. "Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks". Trabalho apresentado em International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn, 2014. Publicado Diegues, Nuno; Romano, Paolo; Rodrigues, Luis. "Virtues and Limitations of Commodity Hardware Transactional Memory". Trabalho apresentado em International Conference on Parallel Architectures and Compilation Techniques (PACT), Edmonton (Alberta), 2014. Publicado • 10.1145/2628071.2628080 Alistarh, D.; Denysyuk, O.; Rodrigues, L.; Shavit, N.. "Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems". Trabalho apresentado em Symposium on Principles of Distributed Computing (PODC), Paris, 2014. Publicado • 10.1145/2611462.2611499 Diegues, N.; Orazov, M.; Paiva, J.; Rodrigues, L.; Romano, P.. "Autonomic configuration of hyperdex via analytical modelling". Trabalho apresentado em Symposium On Applied Computing (SAC), Gyeongju, 2014. Publicado • 10.1145/2554850.2554876 Diegues, N.; Romano, P.; Rodrigues, L.. "On the energy and performance of commodity hardware transactional memory". Trabalho apresentado em SIGMETRICS, Austin (TX), 2014. Publicado • 10.1145/2591971.2592030 Paiva, J.; Rodrigues, L.. "Policies for efficient data replication in P2P systems". Trabalho apresentado em International Conference on Parallel and Distributed Systems (ICPADS), Seoul, 2013. Publicado • 10.1109/ICPADS.2013.63 Bravo, M.; Machado, N.; Romano, P.; Rodrigues, L.. "Towards effective and efficient search-based deterministic replay". Trabalho apresentado em Workshop on Hot Topics in Dependable Systems (HOTDEP), Nemacolin Woodlands Resort (PA), 2013. Publicado • 10.1145/2524224.2524228 Vilaca, X.; Rodrigues, Luis. "On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game". Trabalho apresentado em International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Osaka, 2013. Publicado • 10.1007/978-3-319-03089-0_15 Paiva, J.; Leitao, J.; Rodrigues, L.. "Rollerchain: A DHT for efficient replication". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), 2013. Publicado • 10.1109/NCA.2013.29 Denysyuk, O.; Rodrigues, L.. "Byzantine renaming in synchronous systems with t < N". Trabalho apresentado em Symposium on Principles of Distributed Computing (PODC), Montreal, 2013. Publicado • 10.1145/2484239.2484261 Denysyuk, O.; Rodrigues, L.. "Order-preserving renaming in synchronous systems with byzantine faults". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Philadelphia, 2013. Publicado • 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". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), 2013. Publicado • 10.1109/DSN.2013.6575311 Almeida, S.; Leitão, J.; Rodrigues, L.. "ChainReaction: A causal+ consistent datastore based on chain replication". Trabalho apresentado em EuroSys, Praga, 2013. Publicado • 10.1145/2465351.2465361 Branco, M.; Leitão, J.; Rodrigues, L.. "Bounded Gossip: A gossip protocol for large-scale datacenters". Trabalho apresentado em Symposium On Applied Computing (SAC), Coimbra, 2013. Publicado • 10.1145/2480362.2480476 Peluso, S.; Fernandes, J.; Romano, P.; Quaglia, F.; Rodrigues, L.. "SPECULA: Speculative replication of software transactional memory". Trabalho apresentado em International Symposium on Reliable Distributed Systems (SRDS), Irvine (CA), 2012. Publicado • 10.1109/SRDS.2012.67 Denysyuk, O.; Rodrigues, L.. "Brief announcement: Order-preserving renaming in synchronous message passing systems with byzantine faults". Trabalho apresentado em Symposium on Principles of Distributed Computing (PODC), Funchal, 2012. Publicado • 10.1145/2332432.2332476 Machado, Nuno; Romano, P.; Rodrigues, L.. "Lightweight cooperative logging for fault replication in concurrent programs". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Boston (MA), 2012. Publicado • 10.1109/DSN.2012.6263953 Vilaça, X.; Denysyuk, O.; Rodrigues, Luis. "Asynchrony and Collusion in the N-party BAR Transfer Problem". Trabalho apresentado em International Colloquium on Structural Information and Communication Complexity (SIROCCO), Reykjavík, 2012. Publicado • 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". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Macau, 2012. Publicado • 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". Trabalho apresentado em International Conference On Principles Of DIstributed Systems (OPODIS), Toulouse, 2011. Publicado • 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". Trabalho apresentado em ACM/IFIP/USENIX 12th International Middleware Conference (Middleware), Lisboa, 2011. Publicado • 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". Trabalho apresentado em International Conference on Cloud Computing Technology and Science (CloudCom ), Athens, 2011. Publicado • 10.1109/CloudCom.2011.90 Carvalho, Nuno; Romano, Paolo; Rodrigues, Luis; IEEE. "A Generic Framework for Replicated Software Transactional Memories". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2011. Publicado • 10.1109/NCA.2011.45 Ruivo, Pedro; Couceiro, Maria; Romano, Paolo; Rodrigues, Luis. "Exploiting Total Order Multicast in Weakly Consistent Transactional Caches". Trabalho apresentado em Pacific Rim International Symposium on Dependable Computing (PRDC), Pasadena (CA), 2011. Publicado • 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". Trabalho apresentado em Conference on Local Computer Networks (LCN), Bonn, 2011. Publicado • 10.1109/LCN.2011.6115305 Paiva, J.; Leitão, J.; Rodrigues, L.. "Rollerchain: A DHTfor high availability". Trabalho apresentado em nternational Symposium on Network Computing and Applications (NCA), Boston (MA), 2011. Publicado • 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". Trabalho apresentado em International Conference on Computer Communication Networks (ICCCN), Maui (HI), 2011. Publicado • 10.1109/ICCCN.2011.6005772 Carvalho, N.; Romano, P.; Rodrigues, L.. "SCert: Speculative Certification in replicated Software Transactional Memories". Trabalho apresentado em International Systems and Storage Conference (SYSTOR), Haifa, 2011. Publicado • 10.1145/1987816.1987830 Carvalho, Nuno; Romano, Paolo; Rodrigues, Luis. "Asynchronous Lease-Based Replication of Software Transactional Memory". Trabalho apresentado em Middleware, Bangalore, 2010. Publicado Carvalho, N.; Romano, P.; Rodrigues, Luis. "Asynchronous lease-based replication of software transactional memory". Trabalho apresentado em Middleware, Bangalore, 2010. Publicado • 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". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), New Dehli, 2010. Publicado • 10.1109/SRDS.2010.19 Couceiro, M.; Romano, P.; Rodrigues, L.. "A machine learning approach to performance prediction of total order broadcast protocols". Trabalho apresentado em International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, 2010. Publicado • 10.1109/SASO.2010.41 Mocito, J.; Rodrigues, Luis; Miranda, H.; Mocito, Jose; Miranda, Hugo. "@Flood: Auto-tunable flooding for wireless ad hoc networks". Trabalho apresentado em EuroPar, Naples, 2010. Publicado • 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". Trabalho apresentado em International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zurich, 2010. Publicado • 10.1145/1859184.1859199 Denysyuk, O.; Rodrigues, L.. "Accessing probabilistic quorums in dynamic networks". Trabalho apresentado em Workshop on Reliability, Availability, and Security, Zurich, 2010. Publicado • 10.1145/1953563.1953565 Mocito, J.; Rodrigues, L.; Miranda, H.. "Communication and coordination support in ad hoc networks for emergency management scenarios". Trabalho apresentado em Emergency Management Workshop, Caen, 2010. Publicado • 10.1145/1815396.1815512 Romano, P.; Palmieri, R.; Quaglia, F.; Carvalho, N.; Rodrigues, L.. "Brief announcement: On speculative replication of transactional systems". Trabalho apresentado em Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, 2010. Publicado • 10.1145/1810479.1810492 Romano, P; Palmieri, R; Quaglia, F; Carvalho, N; Rodrigues, L. "Brief Announcement: On Speculative Replication of Transactional Systems". Trabalho apresentado em Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, 2010. Publicado Monica, Diogo; Leitao, Joao; Rodrigues, Luis; Ribeiro, Carlos. "Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Chicago (IL), 2010. Publicado • 10.1109/DSN.2010.5545006 Allani, M.; Leitão, J.; Garbinato, B.; Rodrigues, L.. "RASM: A reliable algorithm for scalable multicast". Trabalho apresentado em International Conference on Parallel, Distributed and Network-Based Computing (PDP), Pisa, 2010. Publicado • 10.1109/PDP.2010.85 Romano, P.; Palmieriy, R.; Quaglia, F.; Carvalho, N.; Rodrigues, L.. "An optimal speculative transactional replication protocol". Trabalho apresentado em International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taipe, 2010. Publicado • 10.1109/ISPA.2010.94 COUCEIRO, M; ROMANO, P; CARVALHO, N; RODRIGUES, L. "D2STM: Dependable Distributed Software Transactional Memory". Trabalho apresentado em Pacific Rim International Symposium on Dependable Computing (PRDC), Xangai, 2009. Publicado • 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". Trabalho apresentado em International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Lyon, 2009. Publicado • 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". Trabalho apresentado em International Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications (AAA-IDEA), Las Palmas, Gran Canaria, 2009. Publicado • 10.1007/978-3-642-10625-5_48 Torrao, C; Carvalho, N; Rodrigues, Luis. "FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform". Trabalho apresentado em International Symposium on Distributed Objects, Middleware, and Applications (DOA), Vilamoura, 2009. Publicado • 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". Trabalho apresentado em International Workshop on Large-Sacle Distributed Systems and Middleware (LADIS), Big Sky (MT), 2009. Publicado • 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". Trabalho apresentado em International ICST Conference on Autonomic Computing and Communication Systems, Limassol, 2009. Publicado • 10.1007/978-3-642-11482-3_1 Romano, P.; Carvalho, N.; Rodrigues, L.. "Towards distributed software transactional memory systems". Trabalho apresentado em Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Yorktown Heights (NY), 2009. Publicado • 10.1145/1529974.1529980 Mónica, Diogo; Leitão, João; Rodrigues, Luis; Ribeiro, Carlos. "On the Use of Radio Resource Tests inWireless ad hoc Networks". Trabalho apresentado em 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS'09), Estoril, 2009. Publicado FREITAS, F; MARQUES, E; RODRIGUES, R; RIBEIRO, C; FERREIRA, P; RODRIGUES, L; Freitas, F.; et al. "Verme: Worm Containment in Overlay Networks". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Cascais, 2009. Publicado • 10.1109/DSN.2009.5270341 ROMANO, P; Rodrigues, Luis. "An Efficient Weak Mutual Exclusion Algorithm". Trabalho apresentado em International Symposium on Parallel and Distributed Computing, Lisboa, 2009. Publicado • 10.1109/ISPDC.2009.32 ROMANO, P; RODRIGUES, L; CARVALHO, N; Romano, P.; Rodrigues, L.; Carvalho, N.. "The Weak Mutual Exclusion Problem". Trabalho apresentado em International Parallel and Distributed Processing Symposium (IPDPS), Rome, 2009. Publicado • 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". Trabalho apresentado em Middleware Workshops, Leuven, 2008. Publicado • 10.1145/1462735.1462764 Leitão, J.; Rosa, L.; Rodrigues, L.. "Large-scale peer-to-peer autonomic monitoring". Trabalho apresentado em Workshop on Distributed Autonomous Network Management Systems, New Orleans, 2008. Publicado • 10.1109/GLOCOMW.2008.ECP.18 Rodrigues, L.; Carvalho, N.; Miedes, E.. "Supporting linearizable semantics in replicated databases". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2008. Publicado • 10.1109/NCA.2008.22 Carvalho, N.; Cachopo, J.; Rodrigues, L.; Silva, A.R.. "Versioned transactional shared memory for the FénixEDU web application". Trabalho apresentado em Workshop on Dependable Distributed Data Management, Glasgow, 2008. Publicado • 10.1145/1435523.1435526 Rosa, L; Lopes, A; Rodrigues, L; Rosa, L.; Lopes, A.; Rodrigues, L.. "Modelling Adaptive Services for Distributed Systems". Trabalho apresentado em Symposium on Applied Computing, Fortaleza, 2008. Publicado • 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". Trabalho apresentado em International Symposium on Distributed Objects, Middleware, and Applications (DOA), Algarve, 2007. Publicado Leitão, J.; Pereira, J.; Rodrigues, L.; LEITAO, J; PEREIRA, J; RODRIGUES, L. "Epidemic broadcast trees". Trabalho apresentado em International Symposium on Reliable Distributed Systems (SRDS), Beijing, 2007. Publicado • 10.1109/SRDS.2007.4365705 Rosa, L.; Rodrigues, L.; Lopes, A.. "A framework to support multiple reconfiguration strategies". Trabalho apresentado em Autonomics, Rome, 2007. Publicado • 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". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2007. Publicado • 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". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2007. Publicado • 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". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Edinburgh, 2007. Publicado • 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". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Edinburgh, 2007. Publicado • 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". Trabalho apresentado em International Symposium on Pacific Rim Dependable Computing (PRDC), Riverside (CA), 2006. Publicado • 10.1109/PRDC.2006.47 CARVALHO, N; PEREIRA, J; Rodrigues, Luis; Carvalho, N.; Pereira, J.. "Towards a generic group communication service". Trabalho apresentado em International Symposium on Distributed Objects and Applications (DOA), Montpellier, 2006. Publicado Pereira, J.; Oliveira, R.; Rodrigues, Luis; PEREIRA, J; OLIVEIRA, R. "Efficient Epidemic Multicast in Heterogeneous Networks". Trabalho apresentado em International Workshop on Reliability in Decentralized Distributed Systems, Montpellier, 2006. Publicado Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "A power-aware broadcasting algorithm". Trabalho apresentado em International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Helsinki, 2006. Publicado • 10.1109/PIMRC.2006.254191 MOCITO, J; Rodrigues, Luis; Mocito, J.. "Run-time switching between total order algorithms". Trabalho apresentado em Euro-Par, Dresden, 2006. Publicado Rosa, L.; Lopes, A.; Rodrigues, L.. "Policy-driven adaptation of protocol stacks". Trabalho apresentado em Self-adaptability and self-management of context-aware systems workshop (SELF), Santa Clara (CA), 2006. Publicado • 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". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS), San Jose (CA), 2006. Publicado • 10.1109/MOBIQ.2006.340392 MIRANDA, H; Rodrigues, Luis; Miranda, H.; Rodrigues, L.. "A framework to provide anonymity in reputation systems". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS), San Jose (CA), 2006. Publicado • 10.1109/MOBIQ.2006.340391 Rodrigues, L.; Mocito, J.; Carvalho, N.. "From spontaneous total order to uniform total order: Different degrees of optimistic delivery". Trabalho apresentado em Symposium on Applied Computing (SAC), Dijon, 2006. Publicado Carvalho, N.; Araujo, F.; Rodrigues, L.. "Reducing latency in rendezvous-based publish-subscribe systems for wireless Ad Hoc networks". Trabalho apresentado em International Workshop on Distributed Event-Based Sytems (DEBS), Lisboa, 2006. Publicado • 10.1109/ICDCSW.2006.89 Araújo, F.; Rodrigues, Luis; ARAUJO, F. "On the monitoring period for fault-tolerant sensor networks". Trabalho apresentado em Latin-American Symposium on Dependable Computing (LADC), Salvador, 2005. Publicado ARAUJO, F; Rodrigues, Luis; Araújo, F.; Rodrigues, L.. "Long range contacts in overlay networks". Trabalho apresentado em Euro-Par, Lisboa, 2005. Publicado MIRANDA, H; Rodrigues, Luis. "Using a fairness monitoring service to improve load-balancing in DSR". Trabalho apresentado em International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI), Columbus (OH), 2005. Publicado ARAUJO, F; Rodrigues, Luis; KAISER, J; Liu, C.. "CHR: a distributed hash table for wireless ad hoc networks". Trabalho apresentado em International Workshop on Distributed Event-Based Systems (DEBS), Columbus (OH), 2005. Publicado ARAUJO, F; Rodrigues, Luis; Araújo, F.; Rodrigues, L.. "Fast localized Delaunay triangulation". Trabalho apresentado em International Conference on Principles of Distributed Systems (OPODIS), Grenoble, 2004. Publicado PEREIRA, J; Rodrigues, Luis; Pinto, A.; Oliveira, Rui; Pereira, J.; Rodrigues, L.; Oliveira, R.. "Low latency probabilistic broadcast in Wide Area Networks". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Florianopolis, 2004. Publicado • 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". Trabalho apresentado em International Workshop on Factory Communication Systems, Vienna, 2004. Publicado Araújo, F.; Rodrigues, L.; ARAUJO, F; Rodrigues, Luis. "GeoPeer: A location-aware peer-to-peer system". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2004. Publicado 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". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Florence, 2003. Publicado • 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". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), San Francisco (CA), 2003. Publicado • 10.1109/DSN.2003.1209915 Miranda, H.; Rodrigues, L.; MIRANDA, H; Rodrigues, Luis. "Friends and foes: Preventing selfishness in open mobile ad hoc networks". Trabalho apresentado em International Workshop on Mobile Distributed Computing (MDC)., Providence (RI), 2003. Publicado • 10.1109/ICDCSW.2003.1203592 Rodrigues, Luis; Rodrigues, L.. "The road to a more configurable and adaptive communication and coordination support". Trabalho apresentado em Workshop on Future Trends of Distributed Computing Systems, San Juan, 2003. Publicado • 10.1109/FTDCS.2003.1204289 GUIMARAES, M; RODRIGUES, L; Guimarães, M.; Rodrigues, L.. "A genetic algorithm for multicast mapping in publish-subscribe systems". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), 2003. Publicado • 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". Trabalho apresentado em International Workshop on Object-oriented Real-time Dependable Systems, (WORDS), San Diego (CA), 2002. Publicado • 10.1109/WORDS.2002.1000069 Vicente, P.; Rodrigues, L.; VICENTE, P; Rodrigues, Luis. "An indulgent uniform total order algorithm with optimistic delivery". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Osaka, 2002. Publicado • 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.". Trabalho apresentado em Eurasian Conference on Advances in Information and Communication Technology, Teheran, 2002. Publicado • 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". Trabalho apresentado em International Symposium on Distributed Objects and Applications (DOA), Irvine (CA), 2002. Publicado • 10.1007/3-540-36124-3_62 Araújo, F.; Rodrigues, L.; ARAUJO, F; Rodrigues, Luis. "On QoS-aware publish-subscribe". Trabalho apresentado em International Workshop on Distributed Event-Based Systems (DEBS), Vienna, 2002. Publicado • 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". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN), Washington (DC), 2002. Publicado • 10.1109/DSN.2002.1028913 Pereira, J.; Rodrigues, L.; Oliveira, R.; Kermarrec, A.-M.; PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Probabilistic semantically reliable multicast". Trabalho apresentado em International Symposium on Network Computing and Applications (NCA), Boston (MA), 2002. Publicado • 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". Trabalho apresentado em Real-Time Systems Symposium (RTSS), London, 2001. Publicado VENTURA, J; RODRIGUES, J; Rodrigues, Luis; Ventura, J.; Rodrigues, J.; Rodrigues, L.. "Response time analysis of composable micro-protocols". Trabalho apresentado em International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), Magdeburg, 2001. Publicado • 10.1109/ISORC.2001.922857 Antunes, M.; Miranda, H.; Silva, A. R.; Rodrigues, Luis; Martins, J.. "Separating Replication from Distributed Communication: Problems and Solutions". Trabalho apresentado em International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), Phoenix (AZ), 2001. Publicado • 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". Trabalho apresentado em Proceedings of the 21st International Conference on Distributed Computing Systems - 2001, Phoenix (AZ), 2001. Publicado Rodrigues, J.; Miranda, H.; Ventura, J.; Rodrigues, L.; RODRIGUES, J; MIRANDA, H; VENTURA, J; Rodrigues, Luis. "The design of RT-Appia". Trabalho apresentado em International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 2001. Publicado Pereira, Jose; Rodrigues, Luis; Oliveira, Rui; PEREIRA, J; Rodrigues, Luis; OLIVEIRA, R. "Semantically reliable multicast protocols". Trabalho apresentado em Symposium on Reliable Distributed Systems, Nurnberg, 2000. Publicado Miranda, H.; Rodrigues, L.. "Balancing configurability and efficiency in network support tools". Trabalho apresentado em ACM SIGOPS European Workshop, 2000. Publicado • 10.1145/566726.566771 Rodrigues, Luis; Raynal, M.; RAYNAL, M. "Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems". Trabalho apresentado em EuroPar, Munchen, 2000. Publicado • 10.1007/3-540-44520-x_84 Rodrigues, Luis; Guo, Katherine. "Partitionable light-weight groups". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Taipe, 2000. Publicado Rodrigues, L.; Baldoni, R.; Anceaume, E.; Raynal, M.. "Deadline-constrained causal order". Trabalho apresentado em International Symposium on Object-oriented Real-time Distributed Computing, Newport Beach (CA), 2000. Publicado • 10.1109/ISORC.2000.839535 Miranda, H.; Rodrigues, L.. "Flexible communication support for CSCW applications". Trabalho apresentado em Internation Workshop on Groupware (CRIWG), Cancun, 1999. Publicado • 10.1109/SPIRE.1999.796612 Rodrigues, Luis; GUIMARAES, M; RUFINO, J; Rodrigues, Luis; Guimaraes, Mario; Rufino, Jose. "Fault-tolerant clock synchronization in CAN". Trabalho apresentado em Real-Time Systems Symposium (RTSS), Madrid, 1998. Publicado Rodrigues, Luis; GUERRAOUI, R; SCHIPER, A; Rodrigues, L.; Guerraoui, R.; Schiper, A.. "Scalable atomic multicast". Trabalho apresentado em International Conference on Computer Communications and Networks (IC3N), Lafayette (LA), 1998. Publicado • 10.1109/ICCCN.1998.998851 Silva, Cristina; Rodrigues, Luis; Silva, C.; SILVA, C. "A Fault-Tolerant Secure CORBA store using Fragmentation-Redundancy-Scattering". Trabalho apresentado em ECOOP Workshop on Distributed Object Security, Brussels, 1998. Publicado • 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". Trabalho apresentado em International Symposium on Fault-Tolerant Computing (FTCS), Munich, 1998. Publicado • 10.1109/FTCS.1998.689464 Guo, Katherine; Rodrigues, Luis; GUO, K; Rodrigues, Luis. "Dynamic light-weight groups". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Baltimore, 1997. Publicado Rodrigues, Luis; Guo, Katherine; Sargento, Antonio; van Renesse, Robbert; Glade, Brad; Verissimo, Paulo; Birman, Kenneth; et al. "A Transparent light-weight group service". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Niagara-on-the-Lake, 1996. Publicado Rodrigues, Luis E.T.; Fonseca, Henrique; Verissimo, Paulo. "Totally ordered multicast in large-scale systems". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Hong Kong, 1996. Publicado Rodrigues, Luis E.T.; Fonseca, Henrique; Verissimo, Paulo. "Reliable computing over mobile networks". Trabalho apresentado em Workshop on Future Trends of Distributed Computing Systems (FTDCS), Cheju Island, 1995. Publicado Rodrigues, Luis E.T.; Verissimo, Paulo. "Causal separators for large-scale multicast communication". Trabalho apresentado em International Conference on Distributed Computing Systems, Vancouver (BC), 1995. Publicado Rodrigues, L.; Veríssimo, P.. "How to avoid the cost of causal communication in large-scale systems". Trabalho apresentado em ACM-SIGOPS European Workshop, Dagstuhl, 1994. Publicado Rodrigues, Luis; SIEGEL, E; VERISSIMO, P. "A Replication-Transparent Remote Invocation Protocol". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Dana Point (CA), 1994. Publicado Rodrigues, L.; Verissimo, P.; Casimiro, A.; Rodrigues, Luis; VERISSIMO, P; CASIMIRO, A. "Using atomic broadcast to implement a posteriori agreement for clock synchronization". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Princeton (NJ), 1993. Publicado Rodrigues, L.; Verissimo, P.; Rufino, J.. "Low-level processor group membership protocol for LANs". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Pittsburgh (PA), 1993. Publicado Rodrigues, Luis; VERISSIMO, P; RUFINO, J. "A low-level processor group membership protocol for LANS". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Pittsburgh (PA), 1993. Publicado Vogels, W.; Veríssimo, P.; Rodrigues, L.. "Requirements for high performance group support in distributed systems". Trabalho apresentado em ACM SIGOPS European workshop, LeMont Saint-Michel, 1992. Publicado • 10.1145/506378.506418 RODRIGUES, L; VERISSIMO, P. "XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Houston (TX), 1992. Publicado Verissimo, P.; Rodrigues, L.. "A posteriori agreement for fault-tolerant clock synchronization on broadcast networks". Trabalho apresentado em International Symposium on Fault-Tolerant Computing (FTCS), Boston (MA), 1992. Publicado • 10.1109/ftcs.1992.243580 Veríssimo, P.; Rodrigues, L.; Verissimo, Paulo; Rodrigues, Luis. "Group orientation: A paradigm for modern distributed systems". Trabalho apresentado em Workshop on Future Trends of Distributed Computing Systems, Taipe, 1992. Publicado • 10.1145/506378.506417 VERISSIMO, P; RUFINO, J; Rodrigues, Luis. "Enforcing real-time behaviour of LAN-based protocols". Trabalho apresentado em IFAC Workshop on Distributed Computer Control Systems, Semmering, 1991. Publicado 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)". Trabalho apresentado em International Symposium on Fault-Tolerant Computing (FTCS), Newcaste, 1990. Publicado Verissimo, Paulo; Rodrigues, Luis; Baptista, Mario. "AMp. A highly parallel atomic multicast protocol". Trabalho apresentado em SIGCOM, Austin (TX), 1989. Publicado
Artigo em revista	Claudio Correia; Rita Prates; Luís Fonseca; Miguel Correia; Luis Rodrigues. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Formal Aspects of Computing (2024): https://doi.org/10.1145/3685935. 10.1145/3685935 Casimiro, Maria; Soares, Diogo; Garlan, David; Rodrigues, Luis; Romano, Paolo. "Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework". ACM Transactions on Autonomous and Adaptive Systems 19 3 (2024): 1-30. https://doi.org/10.1145/3648682. 10.1145/3648682 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 10.1145/2885495 Paiva, J.; Rodrigues, L.. "On data placement in distributed systems". SIGOPS Operating Systems Review 49 1 (2015): 126-130. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado • 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. Publicado
Capítulo de livro	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. Publicado Correia, A; Pereira, J; Rodrigues, Luis; Carvalho, N; Oliveira, R. "Practical Database Replication". In Replication: Theory and Practice, editado por CharronBost, B; Pedone, F; SCHIPER, A. Springer, 2010. Publicado • 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. Publicado • 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. Publicado • 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. Publicado Rodrigues, Luis; Veríssimo, P.. "Topology-aware algorithms for large-scale communication". In Advances in Distributed Systems, 127-156. Springer, 2000. Publicado • 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. Publicado • 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. Publicado • 10.1007/978-3-642-76484-4_22
Edição de livro	Rodrigues, Luis. Middleware for Network Eccentric and Mobile Applications. Springer. 2009. Publicado • Editor
Livro	Cachin, C.; Guerraoui, R.; Rodrigues, Luis; Cachin, Christian; Guerraoui, Rachid. Introduction to Reliable and Secure Distributed Programming, Second Edition. Springer. 2011. Publicado • 10.1007/978-3-642-15260-3 Guerraoui, R; Rodrigues, Luis. Introduction to Reliable Distributed Programming. Springer. 2006. Publicado Rodrigues, Luis; Veríssimo, Paulo. Distributed Systems for System Architects. 2001. 10.1007/978-1-4615-1663-7
Prefácio / Posfácio	Cao, J.; Ellen, F.; Rodrigues, L.; Ferreira, B.. "Preface". Prefácio para The 22nd International Conference on Principles of Distributed Systems. 2018. Publicado • Editor Mercier, H.; Silva, J.N.; Rodrigues, L.. "Message from the WMCSP 2016 workshop co-chairs". Prefácio para Workshop on Mobility and Cloud Security & Privacy (WMCSP 2016). 2016. Publicado • 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". Prefácio para Euro-Par 2007 Parallel Processing, Proceedings, 974-974. Springer. 2007. Publicado RODRIGUES, L; Rodrigues, L.. "DSN 2007 tutorials: Message from the tutorials chair". Prefácio para Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 817-817. IEEE. 2007. Publicado • 10.1109/DSN.2007.33 Rodrigues, Luis; Mostefaoui, A.; Fetzer, C.; Tsigas, P.. "Distributed systems and algorithms: Introduction". Prefácio para 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05). 2007. Publicado Ahamad, M.; Rodrigues, L.. "Program Co-chair's Message". Prefácio para Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS 2006). IEEE. 2006. Publicado • 10.1109/ICDCS.2006.68 Raynal, M.; Chen, W.-S.E.; Rodrigues, L.. "Message from the program co-chairs". Prefácio para Proceedings of the 22nd International Conference on Distributed Computing Systems. IEEE. 2002. Publicado

Outros

Outra produção

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

Atividades

Orientação

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

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
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) Congresso (Membro da Comissão Científica)
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) Conferência (Membro da Comissão Científica)
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) Congresso (Membro da Comissão Científica)
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) Congresso (Coorganizador)	Association for Computing Machinery (ACM), Estados Unidos 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) Congresso (Presidente da Comissão Organizadora)	Association for Computing Machinery, Estados Unidos 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) Congresso (Coorganizador)	Association for Computing Machinery, Estados Unidos 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) Congresso (Coorganizador)	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) Congresso (Membro da Comissão Científica)
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) Congresso (Membro da Comissão Científica)
2007/08 - 2007/08	Euro-Par 2007. Topic 8: Distributed Systems and Algorithms.Rennes, France. August, 2007. (Topic Chair). (2007/08 - 2007/08) Congresso (Membro da Comissão Científica)
2006/07 - 2006/07	The 26th International Conference on Distributed Computing Systems, Lisboa, Portugal, Julho 2006 (Program Co-Chair). (2006/07 - 2006/07) Congresso (Membro da Comissão Científica)	IEEE, Estados Unidos
2006/06 - 2006/06	The The 26th International Conference on Distributed Computing Systems (ICDCS), FCUL, Lisboa, Portugal, Julho 2006. (2006/06 - 2006/06) Congresso (Membro da Comissão Organizadora)	IEEE, Estados Unidos 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) Congresso (Membro da Comissão Científica)
2005/06 - 2005/06	The 25th International Conference on Distributed Computing Systems (ICDCS), Columbus, Ohio, USA, June 2005. (Track Chair) (2005/06 - 2005/06) Congresso (Membro da Comissão Científica)	IEEE, Estados Unidos
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) Congresso (Membro da Comissão Científica)	IEEE, Estados Unidos
2001/10 - 2001/10	The 15th International Symposium on DIStributed Computing (DISC), Lisboa, Portugal, Outubro de 2001. (2001/10 - 2001/10) Congresso (Coorganizador)	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) Congresso (Membro da Comissão Organizadora)	Instituto de Engenharia de Sistemas e Computadores, Portugal IEEE, Estados Unidos