???global.info.a_carregar???
Luís Rodrigues owns an Engineering Degree (1986), a MSc (1991), and a PhD (1996) in Electrotechnical Engineering and Computers by the Instituto Superior Técnico (IST), U. Lisboa. He obtained the title of ``Agregado em Informática'' from the Faculdade de Ciências da U. Lisboa in 2003. He started his academic career as a teaching assistant in 1989, in the Departamento de Engenharia Electrotécnica e Computadores of Instituto Superior Técnico (IST), U. Lisboa. From October 1996 to July 2007 he was a faculty member of the Departamento de Informática of the Faculdade de Ciências (FC) da U. Lisboa. Since 2017, he is a full Professor of the Departamento de Engenharia Informática of IST. He served as head of department both at FC ULisboa and at IST ULisboa. From 1986 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at INESC. From 1997-2007, he was a (founding) member of the LASIGE laboratory at University of Lisbon, first as a member of the Navigators group and later as the leader of the Distributed Algorithms and Network Protocols group. From July 2007 he is a member of the Distributed Systems Group at INESC-ID Lisboa. He served as Director of the LASIGE in 2004-2005 and he served as director of INESC-ID Lisboa from 2014-2017. The focus of his work is on researching and teaching algorithms for building reliable distributed systems that are both sound and efficient to implement. As a result, he has combined theory and practice in more than 12 international research projects with the industry and has published more than 200 scientific papers in these areas. He is the co-author of two textbooks on distributed computing. He has supervised 17 PhD students and more than 60 MSc students. On Google Scholar he shown a h-index of 47 and more than 9K citations to his work.
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
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
Investigador responsável
Fundação para a Ciência e a Tecnologia
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
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
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
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2010/05 - 2013/10 HPCLSI: High-Performance Computing over the Large-Scale Internet
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
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
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
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
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
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
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. 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
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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
  86. 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
  87. 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
  88. Carvalho, Nuno; Romano, Paolo; Rodrigues, Luis. "Asynchronous Lease-Based Replication of Software Transactional Memory". Trabalho apresentado em Middleware, Bangalore, 2010.
    Publicado
  89. 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
  90. 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
  91. 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
  92. 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
  93. 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
  94. 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
  95. 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
  96. 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
  97. 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
  98. 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
  99. 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
  100. 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
  101. 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
  102. 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
  103. 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
  104. 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
  105. 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
  106. 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
  107. 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
  108. 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
  109. 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
  110. 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
  111. 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
  112. 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
  113. 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
  114. 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
  115. 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
  116. 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
  117. 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
  118. 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
  119. 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
  120. 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
  121. 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
  122. 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
  123. 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
  124. 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
  125. 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
  126. 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
  127. MOCITO, J; Rodrigues, Luis; Mocito, J.. "Run-time switching between total order algorithms". Trabalho apresentado em Euro-Par, Dresden, 2006.
    Publicado
  128. 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
  129. 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
  130. 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
  131. 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
  132. 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
  133. 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
  134. ARAUJO, F; Rodrigues, Luis; Araújo, F.; Rodrigues, L.. "Long range contacts in overlay networks". Trabalho apresentado em Euro-Par, Lisboa, 2005.
    Publicado
  135. 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
  136. 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
  137. 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
  138. 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
  139. 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
  140. 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
  141. 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
  142. 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
  143. 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
  144. 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
  145. 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
  146. 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
  147. 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
  148. 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
  149. 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
  150. 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
  151. 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
  152. 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
  153. 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
  154. 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
  155. 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
  156. 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
  157. 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
  158. 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
  159. 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
  160. 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
  161. Rodrigues, Luis; Guo, Katherine. "Partitionable light-weight groups". Trabalho apresentado em International Conference on Distributed Computing Systems (ICDCS), Taipe, 2000.
    Publicado
  162. 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
  163. 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
  164. 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
  165. 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
  166. 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
  167. 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
  168. 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
  169. 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
  170. 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
  171. 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
  172. 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
  173. 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
  174. 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
  175. 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
  176. 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
  177. 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
  178. 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
  179. RODRIGUES, L; VERISSIMO, P. "XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE". Trabalho apresentado em Symposium on Reliable Distributed Systems (SRDS), Houston (TX), 1992.
    Publicado
  180. 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
  181. 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
  182. 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
  183. 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
  184. Verissimo, Paulo; Rodrigues, Luis; Baptista, Mario. "AMp. A highly parallel atomic multicast protocol". Trabalho apresentado em SIGCOM, Austin (TX), 1989.
    Publicado
Artigo em revista
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Paiva, J.; Rodrigues, L.. "On data placement in distributed systems". SIGOPS Operating Systems Review 49 1 (2015): 126-130.
    Publicado • 10.1145/2723872.2723890
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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.
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  1. Couceiro, M.; Didona, D.; Rodrigues, Luis; Romano, P.. "Self-tuning in distributed transactional memory". In Transactional Memory. Foundations, Algorithms, Tools, and Applications. Springer, 2015.
  2. 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
  3. Miranda, H.; Leggio, S.; Rodrigues, Luis; Raatikainen, K.. "Epidemic dissemination for probabilistic data storage". In Global data management, 124-145. IOS Press, 2012.
    Publicado
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  1. Rodrigues, Luis. Middleware for Network Eccentric and Mobile Applications. Springer. 2009.
    Publicado • Editor
Livro
  1. 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
  2. Guerraoui, R; Rodrigues, Luis. Introduction to Reliable Distributed Programming. Springer. 2006.
    Publicado
  3. Rodrigues, Luis; Veríssimo, Paulo. Distributed Systems for System Architects. 2001.
    10.1007/978-1-4615-1663-7
Prefácio / Posfácio
  1. Cao, J.; Ellen, F.; Rodrigues, L.; Ferreira, B.. "Preface". Prefácio para The 22nd International Conference on Principles of Distributed Systems. 2018.
    Publicado • Editor
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  1. 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
  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
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