People: 1
Luis RodriguesProfessor Catedrático | IID-SC SA-DPSS
Total Publications: 254
- Practical Limitations of Ethereum’s Layer-2
Ray Neiheiser, Gustavo Inácio, Luciana Rech, Carlos Montez, Miguel Matos, Luis Rodrigues,
IEEE Access, DOI 10.1109/ACCESS.2023.3237897, January 2023 - Omega: a Secure Event Ordering Service for for the Edge
Cláudio José Pereira Correia, Miguel Correia, Luis Rodrigues,
IEEE Transactions on Dependable and Secure Computing, vol. 19, n. 5, September 2022 - Fireplug: Efficient and Robust Geo-Replication of Graph Databases
Ray Neiheiser, Luciana Rech, Angel Manuel Bravo Gestoso, Luis Rodrigues, Miguel Correia,
IEEE Transactions on Parallel and Distributed Systems, vol. 31, n. 8, August 2020 - Forensic Analysis of Communication Records of Messaging Applications from Physical Memory
Diogo Miguel Barrinha Barradas, Tiago Brito, David José Nunes Duarte, Nuno Miguel Pereira dos Santos, Luis Rodrigues,
Computers & Security, DOI https://doi.org/10.1016/j.cose.2018.08.013, December 2018 - Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory
Diogo Miguel Barrinha Barradas, Tiago Brito, David Duarte, Nuno Santos, Luis Rodrigues,
Computer & Security, October 2018 - FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming
Xavier Vilaça, Luis Rodrigues, João Silva, Hugo Miranda, Gustavo Correia, Tiago Mauricio,
Pervasive and Mobile Computing, vol. 46, pages 18-33, DOI https://doi.org/10.1016/j.pmcj.2018.02.005, June 2018 - CoopREP: Cooperative Record and Replay of Concurrency Bugs
Nuno Machado, Paolo Romano, Luis Rodrigues,
Software Testing, Verification and Reliability,, vol. 28, n. 1, DOI 10.1002/stvr.1645, January 2018 - GMU: Genuine Multiversion Update-Serializable Partial Data Replication
Sebastiano Peluso, Pedro Ruivo, Paolo Romano, Francesco Quaglia, Luis Rodrigues,
IEEE Transactions on Parallel and Distributed Systems, DOI 10.1109/TPDS.2015.2510998, October 2016 - Concurrency Debugging with Differential Schedule Projections
Nuno Machado, Daniel Quinta, Brandon Lucia, Luis Rodrigues,
ACM Transactions on Software Engineering and Methodology, vol. 25, April 2016 - Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation
Maria Couceiro, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
IEEE Transactions on Parallel and Distributed Systems, vol. 11, n. 26, DOI 10.1109/TPDS.2014.2363460, November 2015 - On the use of Clocks to Enforce Consistency in the Cloud
Manuel Bravo, Nuno Miguel Lourenço Diegues, Jingna Zeng, Paolo Romano, Luis Rodrigues,
IEEE Technical Committee on Data Engineering Bulletin, vol. 38, n. 1, pages 18-31, March 2015 - AutoPlacer: Scalable Self-Tuning Data Placement in Distributed Key-Value Stores
João Paiva, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 9, n. 4, January 2015 - On Data Placement in Distributed Systems
João Paiva, Luis Rodrigues,
SIGOPS Operating Systems Review, vol. 49, n. 1, January 2015 - Optimizing Hyperspace Hashing via Analytical Modelling and Adaptation
Nuno Miguel Lourenço Diegues, M. Orazov, João Paiva, Luis Rodrigues, Paolo Romano,
ACM SIGAPS Applied Computing Review (ACR), December 2014 - On Speculative Replication of Transactional Systems
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luis Rodrigues,
Journal of Computer and System Sciences, vol. 80, n. 1, pages 257-276, February 2014 - A-OSGi: a framework to support the construction of autonomic OSGi-based applications
João Tiago de Jesus Elias Ferreira, João Leitão, Luis Rodrigues,
Int. J. Autonomous and Adaptive Communications Systems, vol. 5, n. 3, pages 292-310, June 2012 - Self-Management of Adaptable Component-Based Applications
Liliana Rosa, Luis Rodrigues, Antónia Lopes, Matti Hiltunen, Rick Schlichting,
IEEE Transactions on Software Engineering, May 2012 - X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
João Leitão, Jose Pereira, Luis Rodrigues, João Marques,
IEEE Transactions on Parallel and Distributed Systems, DOI http://doi.ieeecomputersociety.org/10.1109/TPDS.2012.29, January 2012 - Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories
Paolo Romano, Luis Rodrigues, Nuno Carvalho, João Cachopo,
ACM SIGOPS Operating Systems Review, April 2010 - Reputation in Anonymous Vehicular Networks
Hugo Miranda, Luis Rodrigues,
International Journal of Autonomous and Adaptive Communications Systems, vol. 3, n. 2, pages 178-197, February 2010 - Single-step creation of localized Delaunay triangulations.
Filipe Araujo, Luis Rodrigues,
Wireless Networks, vol. 15, n. 7, pages 845-858, DOI 10.1007/s11276-007-0078-x, October 2009 - An algorithm for dissemination and retrieval of information in wireless ad hoc networks
Hugo Miranda, S. Leggio, Luis Rodrigues, K. Raatikainen,
Concurrency and Computation: Practice and Experience, vol. 21, n. 7, pages 889-904, March 2009 - On the Use of a Reflective Architecture to Augment Database Management Systems
Luis Rodrigues, N. Carvalho, A. Correia, J. Pereira, R. Oliveira, S. Guedes,
Journal of Universal Computer Science, vol. 13, n. 8, pages 1110-1135, August 2007 - Spin-valve MR heads for tape and disk Applications
Peter ten Berge, Thomas S. Plaskett, Hans J. Boeve, G. Albuquerque, João Ferreira, Anabela R. Morais, José L. Leal, Nuno J. Oliveira, Ana T. Freitas, Luís M. Rodrigues, Paulo P. Freitas,
IEEE Transactions on Magnetics, vol. 30, n. 6, pages 2603-2608, November 1995 - Narrow trackwidth TbCo-biased magnetoresistive spin-valve sensors
José L. Leal, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
Journal of Magnetism and Magnetic Materials, vol. 140, n. 3, pages 2215-2216, August 1995 - Unshielded spin-valve sensors exchange-biased by thin TbCo layers
José L. Leal, Nuno J. Oliveira, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
IEEE Transactions on Magnetics,, vol. 30, n. 6, pages 3831-3833, November 1994 - Spin-valve sensors exchange-biased by ultra-thin TbCo films
Paulo P. Freitas, José L. Leal, Nuno J. Oliveira, Luís V. Melo, Luís M. Rodrigues, Ana T. Freitas,
Application Physics Letters, vol. 65, n. 4, pages 493-495, July 1994
- Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
Cláudio José Pereira Correia, Miguel Correia, Luis Rodrigues,
CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, November 2023 - PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
Cláudio Correia, Rita Alexandra Rodrigues Prates, Miguel Correia, Luis Rodrigues,
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE, Singapore, October 2023 - Performance Trade-Offs in Transactional Systems
Rafael Pinto Soares, Luis Rodrigues,
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '23), ACM, ACM, Rome, Italy, May 2023 - Deduplication vs Privacy Tradeoffs in Cloud Storage
Rodrigo de Magalhães Marques dos Santos Silva, Cláudio José Pereira Correia, Miguel Correia, Luis Rodrigues,
SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, March 2023 - Towards a Framework for Adapting Machine Learning Components
Maria da Loura Casimiro, Paolo Romano, David Garlan, Luis Rodrigues,
The 3rd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), September 2022 - Engage: Session Guarantees for the Edge
Miguel Belém, Pedro Fouto, Taras Lykhenko, Joao Leitao, Nuno Preguiça, Luis Rodrigues,
The 31st International Conference on Computer Communications and Networks (ICCCN 2022), IEEE, IEEE, July 2022 - The Nuts and Bolts of Building FlowLens
Diogo Miguel Barrinha Barradas, Nuno Santos, Luis Rodrigues, Fernando M. V. Ramos, Salvatore Signorello, André Filipe Antunes Madeira,
Proceedings of LASER Workshop @ Network and Distributed System Security Symposium (NDSS), December 2021 - FaaSTCC: Efficient Transactional Causal Consistency for Serverless Computing
Rafael Pinto Soares, Taras Lykhenko, Luis Rodrigues,
The 22nd ACM/IFIP International Middleware Conference, December 2021 - Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
Cláudio José Pereira Correia, Leonardo Marques Epifânio, Luis Rodrigues,
The 20th IEEE International Symposium on Network Computing and Applications (NCA 2021), November 2021 - Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
Ray Willy Neiheiser, Miguel Matos, Luis Rodrigues,
The 28th ACM Symposium on Operating Systems Principles (SOSP), Symposium on Operating Systems Principles (SOSP), ACM, ACM, Online, October 2021 - A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems
Maria da Loura Casimiro, David Garlan, Jávier Camara, Paolo Romano, Luis Rodrigues,
Proceedings of the Third International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), June 2021 - Reducing the Subscription Latency in Reliable Causal Publish-Subscribe Systems
Filipa Salema Roseta Pedrosa, Luis Rodrigues,
The 36th ACM/SIGAPP Symposium On Applied Computing (SAC), ACM, ACM, March 2021 - Investigating the Semantics of Futures in Transactional Memory Systems
Jingna Zeng, Shady Alaaeldin Issa, Paolo Romano, Luis Rodrigues, Seif Haridi,
The 26st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), March 2021 - FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications
Diogo Miguel Barrinha Barradas, Nuno Santos, Luis Rodrigues, Salvatore Signorello, André Filipe Antunes Madeira, Fernando M. V. Ramos,
Proceedings of Network and Distributed System Security Symposium (NDSS), February 2021 - Causality Tracking Tradeoffs for Distributed Storage
Hugo Rafael Silva Guerreiro, Luis Rodrigues, Nuno Preguiça, Nívia Quental,
IEEE International Symposium on Network Computing and Applications (NCA), IEEE, IEEE, Online, November 2020 - Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC
Diogo Miguel Barrinha Barradas, Nuno Santos, Luis Rodrigues, Vítor Nunes,
ACM Conference on Computer and Communications Security, ACM, ACM, online, September 2020 - Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge
Nuno Afonso, Angel Manuel Bravo Gestoso, Luis Rodrigues,
The 29th International Conference on Computer Communications and Networks (ICCCN), IEEE, IEEE, Honolulu (HI) USA, August 2020 - Brief Announcement: Investigating the Semantics of Futures in Transactional Memory Systems
Jingna Zeng, Shady Alaaeldin Issa, Seif Haridi, Luis Rodrigues, Paolo Romano,
32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July 2020 - Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs
Maria da Loura Casimiro, Diego Didona, Paolo Romano, Luis Rodrigues, Willy Zwaenepoel, David Garlan,
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems (ICDCS), IEEE, IEEE, Singapore, July 2020 - EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems
Daniel Presser, Frank Siqueira, Luis Rodrigues, Paolo Romano,
Proceedings of the 14th ACM International Conference on Distributed and Event-Based Systems (DEBS), Montreal, Quebec, July 2020 - Omega: a Secure Event Ordering Service for the Edge
Cláudio Correia, Luis Rodrigues, Miguel Correia,
Proceedings of 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE, IEEE, Valência, Spain, June 2020 - NetSheriff: sheltering software-defined networks from rogue switches
Paolo Laffranchini, Luis Rodrigues, Etienne Rivière, Ramin Sadre, João Miranda,
Proceedings of the 8th International Conference in Networked Systems (NETYS), Marrakech, Marocco, June 2020 - Difusão em Grupo Tolerante a Faltas com Ordem Causal Usando Informação Localizada
Válter Santos, Luis Rodrigues,
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, September 2019 - Ordenação Segura de Eventos na Periferia da Rede
Cláudio Correia, Luis Rodrigues, Miguel Correia,
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, September 2019 - Identificação de Canais Encobertos no Skype usando Esboços em SDNs
André Madeira, Diogo Miguel Barrinha Barradas, Nuno Santos, Luis Rodrigues,
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, September 2019 - Concretização Eficiente de Coerência Causal Transaccional na Nuvem
Taras Lykhenko, Luis Rodrigues,
Actas do décimo primeiro Simpósio de Informática (Inforum), Guimarães, Portugal, September 2019 - Localized Reliable Causal Multicast
Válter Santos, Luis Rodrigues,
IEEE International Symposium on Network Computing and Applications (NCA), IEEE, IEEE, September 2019 - Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud
Miguel Matos, Luis Rodrigues, Angel Manuel Bravo Gestoso, Pedro Miguel Marcos Joaquim,
EuroSys, June 2019 - Adaptive information dissemination in the Bitcoin network
Miguel Matos, Luis Rodrigues, João Marçal,
In Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), 2019, June 2019 - Planning Workflow Executions when Using Spot Instances in the Cloud
Richard Joaquín Gil Martinez, Luis Rodrigues,
The 34th ACM Symposium on Applied Computing (SAC), ACM, ACM, Limassol, Cyprus, April 2019 - Measurements as First-class Artifacts
Paolo Laffranchini, Luis Rodrigues, Marco Canini, Balachander Krishnamurthy,
IEEE International Conference on Computer Communications (INFOCOM), IEEE, IEEE, Paris, April 2019 - Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud
Miguel Matos, Luis Rodrigues, Pedro Joaquim, Manuel Bravo,
, December 2018 - Adaptive Information Dissemination in the Bitcoin Network
Miguel Matos, Luis Rodrigues, João Marçal,
, October 2018 - Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database
Ray Neiheiser, Angel Manuel Bravo Gestoso, Luciana Rech, Luis Rodrigues,
Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS), IEEE, IEEE, Salvador, Brasil, October 2018 - Técnicas para Redução da Carga na Rede no Livro-Razão da Bitcoin.
João Marçal, Luis Rodrigues, Miguel Matos,
, September 2018 - Uma Arquitetura Distribuída e Hierárquica para Validação Diferida de Transações em Sistemas de Armazenamento Chave-Valor
João Amaro, Luis Rodrigues, Angel Manuel Bravo Gestoso, Miguel Matos, Paolo Romano,
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, September 2018 - Reduzindo o Custo de Explorar Configurações para Execução de Aplicações na Nuvem
Maria da Loura Casimiro, Diego Didona, Paolo Romano, Luis Rodrigues, Willy Zwaenepoel,
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, September 2018 - Armazenamento de Dados com Coerência Causal na Periferia da Rede
Nuno Afonso, Angel Manuel Bravo Gestoso, Luis Rodrigues,
Actas do décimo Simpósio de Informática (Inforum), Coimbra, Portugal, September 2018 - Effective Detection of Multimedia Protocol Tunneling using Machine Learning
Diogo Miguel Barrinha Barradas, Nuno Miguel Pereira dos Santos, Luis Rodrigues,
Proceedings of the 27th USENIX Security Symposium (USENIX Security '18), Usenix, Usenix, Baltimore (MD), USA, August 2018 - Learning Non-Deterministic Impact Models for Adaptation
Francisco Miguel Caramelo Duarte, Richard Joaquín Gil Martinez, Paolo Romano, Antónia Lopes, Luis Rodrigues,
roceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, May 2018 - Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory
Jingna Zeng, Paolo Romano, João Barreto, Luis Rodrigues, Seif Haridi,
IPDPS, May 2018 - Dynamic Adaptation of Byzantine Consensus Protocols
Daniel Porto, Carlos Eduardo Alves Carvalho, Luis Rodrigues, Alysson Neves Bessani, Angel Manuel Bravo Gestoso,
Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC), ACM, ACM, Pau, France, April 2018 - Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems
Manuel Bravo, Luis Rodrigues,
Proceedings of the 5th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM, ACM, Porto, Portugal, April 2018 - Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases
Ray Neiheiser, Daniel Presser, Luciana Rech, Angel Manuel Bravo Gestoso, Luis Rodrigues, Miguel Correia,
The 32nd International Conference on Information Networking, IEEE, IEEE, Chiang Mai, Thailand,, January 2018 - AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
Richard Joaquín Gil Martinez, Zhongmiao Li, Antónia Lopes, Luis Rodrigues,
The 16th IEEE International Symposium on Network Computing and Applications, IEEE, IEEE, Boston (MA), USA, October 2017 - Adaptacao Dinamica de Protocolos de Consenso Bizantino
Carlos Carvalho, Daniel Porto, Luis Rodrigues, Alysson Neves Bessani,
Actas do nono Simposio de Informatica (Inforum), Aveiro, Portugal, October 2017 - Monitorizacao de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptacao Dinamica
Bernardo Palma, Daniel Porto, Luis Rodrigues,
Actas do nono Simposio de Informatica (Inforum), Aveiro, Portugal, October 2017 - Adaptacao Guiada por Politicas de Sistemas Tolerantes a Faltas Bizantinas
Miguel Neves Pasadinhas, Daniel Porto, Antónia Lopes, Luis Rodrigues,
Actas do nono Simposio de Informatica (Inforum), Aveiro, Lisboa, October 2017 - DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams
Diogo Miguel Barrinha Barradas, Nuno Santos, Luis Rodrigues,
The 17th Privacy Enhancing Technologies Symposium, Minneapolis (MN), USA, July 2017 - Forensic Analysis of Communication Records of Web-based MessagingApplications from Physical Memory.
Diogo Miguel Barrinha Barradas, Tiago Brito, David Duarte, Nuno Santos, Luis Rodrigues,
The 14th International Conference on Security and Cryptography, Madrid, Spain, July 2017 - Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
Angel Manuel Bravo Gestoso, Luis Rodrigues, Chaturi Lanchana Rubasinghe Gunawardhana,
USENIX Annual Technical Conference, Usenix, Usenix, Santa Clara (CA), USA,, July 2017 - Automatic Generation of Policies to Support Elastic Scaling in Cloud Environments
Richard Joaquín Gil Martinez, Antónia Lopes, Luis Rodrigues,
The 32nd ACM/SIGAPP Symposium on Applied Computing (SAC), ACM, ACM, Marrakesh, Morocco, April 2017 - Saturn: a Distributed Metadata Service for Causal Consistency
Angel Manuel Bravo Gestoso, Luis Rodrigues, Peter Van Roy,
EuroSys, ACM, ACM, Belgrade, Serbia, April 2017 - FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming
Xavier Vilaça, Luis Rodrigues, João Silva, Hugo Miranda,
The 18th International Conference on Distributed Computing and Networking , Springer, Springer, January 2017 - Accountability in Dynamic Networks
Xavier Vilaça, Luis Rodrigues,
The 18th International Conference on Distributed Computing and Networking, Springer, Springer, Hyderabad, India, January 2017 - MACHETE: Multi-path Communication for Cloud Security
Diogo Miguel Marcos Raposo, Miguel L. Pardal, Luis Rodrigues, Miguel Correia,
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), IEEE, IEEE, Cambridge (MA), USA, October 2016 - BioALeg-Enabling Biometric Authentication in Legacy Web Sites
Sharareh Moghadam Monfared, Daniel Andrade, Luis Rodrigues, João Nuno de Oliveira e Silva,
Workshop on Mobility and Cloud Security & Privacy (WMCSP 2016) - in conjunction with SRDS 2016:, 2016 IEEE 35th Symposium on Reliable Distributed Systems Wor, IEEE, IEEE, http://ieeexplore.ieee.org/abstract/document/76001, September 2016 - Síntese de Vídeo para Evasão de Censura na Internet
Diogo Miguel Barrinha Barradas, Luis Rodrigues, Nuno Santos,
INFORUM Simpósio de Informática, September 2016 - The Future(s) of Transactional Memory.
Jingna Zeng, João Barreto, Seif Haridi, Luis Rodrigues, Paolo Romano,
The 45th Annual Conference on Parallel Processing (ICPP), IEEE, IEEE, Philadelphia (PA), USA, August 2016 - A Distributed Auctioneer for Resource Allocation in Decentralized Systems
Amin Muhammad Khan, Xavier Vilaça, Luis Rodrigues, Felix Freitag,
The 36th IEEE International Conference on Distributed Computing Systems, (ICDCS), IEEE, IEEE, Nara, Japan, June 2016 - Dynamic Adaptation of Geo-Replicated CRDTs
Carlos Bartolomeu, Angel Manuel Bravo Gestoso, Luis Rodrigues,
The 31st ACM/SIGAPP Symposium on Applied Computing (SAC), Dependable and Adaptive Distributed Systems Track, ACM, ACM, Pisa, Italy, April 2016 - Production-guided Concurrency Debugging
Nuno Machado, Brandon Lucia, Luis Rodrigues,
The 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016), ACM, ACM, Barcelona, Spain, March 2016 - Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage
Maria Couceiro, Gayana Chandrasekara, Manuel Bravo, Matti Hiltunen, Paolo Romano, Luis Rodrigues,
The 16th ACM/IFIP/USENIX Middleware Conference, Springer, Springer, December 2015 - SmartFetch: Efficient Support for Selective Queries
Manuel Ferreira, João Paiva, Manuel Bravo, Luis Rodrigues,
The 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, IEEE, November 2015 - Efficient Free-rider Detection using Symmetric Overlays
João Silva, Xavier Vilaça, Hugo Miranda, Luis Rodrigues,
The 14th IEEE International Symposium on Network Computing and Applications, IEEE, IEEE, Boston, MA, September 2015 - In Search of Semantic Models for Reconciling Futures and Transactional Memory
Jingna Zeng, Paolo Romano, Luis Rodrigues, Seif Haridi, João Barreto,
7th Workshop on the Theory of Transactional Memory, collocated with PODC, July 2015 - Concurrency Debugging with Differential Schedule Projections
Nuno Machado, Brandon Lucia, Luis Rodrigues,
The 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2015), ACM, ACM, Portland (OR), USA, June 2015 - On the Range of Equilibria Utilities of a Repeated Epidemic Dissemination Game with a Mediator
Xavier Vilaça, Luis Rodrigues,
The 16th International Conference on Distributed Computing and Networking (ICDCN 2015), Springer, Springer, Goa, India, January 2015 - Random Walks on Evolving Graphs with Recurring Topologies
Oksana Denysyuk, Luis Rodrigues,
The 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT)he 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS 2014)he 33rd IEEE International Symposium on Reliable Distribu, Austin (TX), USA, October 2014 - Overnesia: a Resilient Overlay Network for Virtual Super-Peers
João Leitão, Luis Rodrigues,
The 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT)he 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS 2014)he 33rd IEEE International Symposium on Reliable Distribu, Nara, Japan, October 2014 - Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks
Hung Tran-The, Luis Rodrigues,
The 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT)he 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS 2014), Paderborn, Germany, September 2014 - Virtues and Limitations of Commodity Hardware Transactional Memory
Nuno Miguel Lourenço Diegues, Paolo Romano, Luis Rodrigues,
The 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT), Edmonton, Alberta, Canada, August 2014 - Balls-into-Leaves: Sub-logarithmic Renaming in Synchronous Message-Passing Systems
Dan Alistarh, Oksana Denysyuk, Luis Rodrigues, Nir Shavit,
The 33rd ACM Symposium on Principles of Distributed Computing (PODC), ACM, ACM, July 2014 - Autonomic Configuration of HyperDex via Analytical Modelling
Nuno Miguel Lourenço Diegues, Muhammet Orazow, João Paiva, Luis Rodrigues, Paolo Romano,
The 29th Symposium On Applied Computing (SAC 2014), ACM, ACM, Gyeongju, Korea, March 2014 - Autonomic Configuration of HyperDex via Analytical Modelling
Nuno Miguel Lourenço Diegues, M. Orazov, João Paiva, Luis Rodrigues, Paolo Romano,
29th ACM Symposium On Applied Computing (SAC), March 2014 - Policies for Efficient Data Replication in P2P Systems.
João Paiva, Luis Rodrigues,
The 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2013), Seoul, Korea, December 2013 - Towards Effective and Efficient Search-Based Deterministic Replay
Manuel Bravo, Nuno Machado, Paolo Romano, Luis Rodrigues,
9th Workshop on Hot Topics in Dependable Systems (HotDep’13), Springer, Springer, November 2013 - Towards Effective and Efficient Search-Based Deterministic Replay
Angel Manuel Bravo Gestoso, Nuno Machado, Paolo Romano, Luis Rodrigues,
The 9th Workshop on Hot Topics in Dependable Systems, Nemacolin Woodlands Resort (PA), USA, November 2013 - Cooperation in Planetary-Scale Epidemic Dissemination
Xavier Vilaça, Luis Rodrigues,
The Workshop on Planetary Scale Distributed Systems (in conjunction with SRDS), Braga, Portugal, September 2013 - Auto-Configuração de Bases de dados NoSQL Multi-Dimensionais
Nuno Miguel Lourenço Diegues, Moammed Orazov, João Paiva, Luis Rodrigues, Paolo Romano,
Proc. INFORUM 2013, Springer, Springer, September 2013 - Rollerchain: a DHT for Efficient Replication
João Paiva, João Leitão, Luis Rodrigues,
The 12th IEEE International Symposium on Network Computing and Applications (IEEE NCA13), Cambridge, MA, USA, August 2013 - Order-preserving Renaming in Synchronous Systems with Byzantine Faults
Oksana Denysyuk, Luis Rodrigues,
The 33rd International Conference on Distributed Computing Systems (ICDCS 2013), Philadelphia, USA, July 2013 - Byzantine Renaming in Synchronous Systems with t < N
Oksana Denysyuk, Luis Rodrigues,
The 32nd ACM Symposium on Principles of Distributed Computing (PODC), Montreal, Canada, July 2013 - Property-Driven Cooperative Logging for Concurrency Bugs Replication
Nuno Machado, Paolo Romano, Luis Rodrigues,
The 15th USENIX Workshop on Hot Topics in Parallelism (HotPar '13) , San Jose, California, June 2013 - Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation
Maria Couceiro, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Budapest, Hungary, June 2013 - AutoPlacer: scalable self-tuning data placement in distributed key-value stores
João Paiva, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
The 10th International Conference on Autonomic Computing (ICAC '13), San Jose, California, June 2013 - ChainReaction a Causal+ Consistent Datastore based on Chain Replication
Sérgio Almeida, João Leitão, Luis Rodrigues,
EuroSys 2013, ACM, ACM, Prague, Czech Republic, April 2013 - Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters
Miguel Branco, João Leitão, Luis Rodrigues,
The 28th Symposium On Applied Computing (SAC 2013), ACM, ACM, Coimbra, Portugal, March 2013 - On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
Xavier Vilaça, Luis Rodrigues,
The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013), Osaka, Japan, November 2012 - SPECULA: Speculative Replication of Software Transactional Memory
Sebastiano Peluso, João Fernandes, Paolo Romano, Francesco Quaglia, Luis Rodrigues,
The 31st International Symposium on Reliable Distributed Systems, IEEE, IEEE, Irvine, California, USA, October 2012 - Brief Announcement: Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults
Oksana Denysyuk, Luis Rodrigues,
The 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Madeira, Portugal, July 2012 - Distributed Software Transactional Memories: A Summary of Research @ IST/INESC-ID
Luis Rodrigues, Paolo Romano,
The 5th Workshop Large Scale Distributed Systems and Middleware (LADIS 2012), Madeira, Portugal, July 2012 - Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
Nuno Machado, Paolo Romano, Luis Rodrigues,
The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Boston, MA, USA, June 2012 - Improving Early Detection of Software Merge Conflicts
Mário Guimarães, António Rito Silva,
34th International Conference on Software Engineering (ICSE2012), IEEE, pages 342-352, IEEE, Zurich, Switzerland, June 2012 - Asynchrony and Collusion in the N-party BAR Transfer Problem
Xavier Vilaça, Oksana Denysyuk, Luis Rodrigues,
The 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2012), Reykjavik, Iceland, June 2012 - When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication
Sebastiano Peluso, Pedro Ruivo, Paolo Romano, Francesco Quaglia, Luis Rodrigues,
The 32nd International Conference on Distributed Computing Systems (ICDCS-32), Macau, China, June 2012 - Making Software Integration Really Continuous
Mário Guimarães, António Rito Silva,
5th International Conference on Fundamental Approaches to Software Engineering (FASE2012), LNCS, Springer, vol. 7212, pages 332-346, Springer, 332-346, March 2012 - N-party BAR Transfer
Xavier Vilaça, João Leitão, Miguel Correia, Luis Rodrigues,
15th International Conference On Principles of Distributed Systems, December 2011 - N-party BAR Transfer
Miguel Correia, Luis Rodrigues, João Leitão, Xavier Vilaça,
, December 2011 - PolyCert: Polymorphic Self-Optimizing Replication for In-Memory Transactional Grids
Maria Couceiro, Paolo Romano, Luis Rodrigues,
Proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference, Lisboa, Portugal, December 2011 - N-party BAR Transfer
Xavier Vilaça, João Leitão, Miguel Correia, Luis Rodrigues,
Proceedings of the the 15th International Conference On Principles Of DIstributed Systems (OPODIS), Springer, Springer, Toulouse, France, December 2011 - N-party BAR Transfer.
Miguel Correia, Xavier Vilaça, Luis Rodrigues,
In Proceedings of the 15th International Conference On Principles of Distributed Systems (OPODIS), December 2011 - Exploiting Total Order Multicast in Weakly Consistent Transactional Caches
Pedro Ruivo, Maria Couceiro, Paolo Romano, Luis Rodrigues,
Proceedings of the 17th Pacific Rim International Symposium on Dependable Computing (PRDC 11), IEEE, IEEE, December 2011 - Goal-Oriented Self-management of In-memory Distributed Data Grid Platforms
Liliana Rosa, Luis Rodrigues, Antónia Lopes,
Proceedings of the 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2011), IEEE, IEEE, Athens, Greece, November 2011 - Topology Stability-Aware Multicast Protocol for MANETs
José Mocito, Oksana Denysyuk, Luis Rodrigues, Hugo Miranda,
Proceedings of the 36th Annual IEEE Conference on Local Computer Networks, IEEE, IEEE, Bonn, Germany, October 2011 - SPECULA: um Protocolo de Replicação Preditiva para Memória Transaccional por Software Distribuída
João Fernandes, Nuno Carvalho, Paolo Romano, Luis Rodrigues,
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, September 2011 - N-party BAR transfer: Motivation, Definition and Challenges
Xavier Vilaça, João Leitão, Luis Rodrigues,
3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems, Rome, Italy, September 2011 - Transferência de Dados entre Grupos de Processos no Modelo BAR
Xavier Vilaça, João Leitão, Luis Rodrigues,
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, September 2011 - Replicação Parcial em Sistemas de Memória Transaccional
Pedro Ruivo, Maria Couceiro, Paolo Romano, Luis Rodrigues,
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, September 2011 - Reprodução de Faltas em Programas Concorrentes Através da Combinação de Múltiplos Históricos Parciais
Nuno Machado, Paolo Romano, Luis Rodrigues,
Actas do terceiro Simpósio de Informática (Inforum), Coimbra, Portugal, September 2011 - Boosting STM Replication via Speculation
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Luis Rodrigues,
3rd Workshop on the Theory of Transactional Memory (WTTM 2011), September 2011 - A Generic Framework for Replicated Software Transactional Memories
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
10th IEEE International Symposium on Network Computing and Applications (IEEE NCA11), IEEE, pages (short paper, IEEE, Cambridge (MA), USA, August 2011 - Tutorial on Distributed Transactional Memories
Maria Couceiro, Paolo Romano, Luis Rodrigues,
International Conference on High Performance Computing & Simulation, July 2011 - Low-Coupling Cluster-based Multipath Routing for Wireless Mesh Networks
Cristina Fonseca, José Mocito, Luis Rodrigues,
20th International Conference on Computer Communication Networks (ICCCN), IEEE, IEEE, Maui, Hawaii, USA, July 2011 - SCert: Speculative Certification in Replicated Software Transactional Memories
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
4th Annual International Systems and Storage Conference (SYSTOR 2011), Haifa, Israel, May 2011 - Tutorial on Distributed Software Transactional Memories
Paolo Romano, Luis Rodrigues,
ACM/IFIP/USENIX 11th Middleware Conference, ACM Press, ACM Press, Bangalore, India, November 2010 - Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay
Mário Ferreira, João Leitão, Luis Rodrigues,
The 29th IEEE Symposium on Reliable Distributed Systems, IEEE, IEEE, New Delhi, India, October 2010 - Asynchronous Lease-based Replication of Software Transactional Memory
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
Proceedings of the ACM/IFIP/USENIX 11th Middleware Conference, ACM Press, ACM Press, October 2010 - Monitorização Adaptativa baseada em Clusters Semi-circulares para Redes em Malha sem Fios.
Ricardo Pinto, José Mocito, Luis Rodrigues,
10a Conferência sobre Redes de Computadores, Braga, Portugal, October 2010 - Encaminhamento Multi-Rota de Baixo Acoplamento para Redes Sem-Fios em Malha
Cristina Fonseca, José Mocito, Luis Rodrigues,
10a Conferência sobre Redes de Computadores, Braga, Portugal, October 2010 - A Machine Learning Approach to Performance Prediction of Total Order Broadcast Protocols
Maria Couceiro, Paolo Romano, Luis Rodrigues,
Proc. 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE Computer Society Press, IEEE Computer Society Press, September 2010 - Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares.
Mário Ferreira, João Leitão, Luis Rodrigues,
Segundo Simpósio de Informática (Inforum), Braga, Portugal, September 2010 - Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos
João Alveirinho, João Leitão, João Paiva, Luis Rodrigues,
Segundo Simpósio de Informática (Inforum), Braga, Portugal, September 2010 - @Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks
José Mocito, Luis Rodrigues,
The 16th Euro-Par, schia, Naples, Italy, August 2010 - Accessing Probabilistic Quorums in Dynamic Networks
Oksana Denysyuk, Luis Rodrigues,
WRAS 2010: The 3rd ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security, ACM, ACM, Zurich, Switzerland, July 2010 - Random Walk on Directed Dynamic Graphs
Oksana Denysyuk, Luis Rodrigues,
The 2nd International Workshop on Dynamic Networks: Algorithms and Security, Bordeaux, France, July 2010 - Flexible and Efficient Resource Location in Large-Scale Systems
João Alveirinho, João Paiva, João Leitão, Luis Rodrigues,
Tthe 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware, Zurich, Switzerland, July 2010 - Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE, IEEE, Chicago, Illinois, USA, June 2010 - On Speculative Replication of Transactional Systems (Brief Announcement)
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luis Rodrigues,
Proc. 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM Press, ACM Press, June 2010 - Communication and Coordination Support in Ad Hoc Networks for Emergency Management
José Mocito, Luis Rodrigues, Hugo Miranda,
Emergency Management Workshop on the 6th International Wireless Communications and Computing Conference, Caen, France, June 2010 - Bridling Concurrency to Boost Performance In Distributed STMs (Fast Abstract)
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
Proc. 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE Computer Society Press, IEEE Computer Society Press, June 2010 - An Optimal Speculative Transactional Replication Protocol
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luis Rodrigues,
Proc. 8th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), IEEE Computer Society Press, IEEE Computer Society Press, June 2010 - Towards Real-Time Integration
Mário Guimarães, António Rito Silva,
3rd International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE10), ACM, pages 56-63, ACM, Cape Town, South Africa, May 2010 - Bridling Concurrency to Boost Performance In Distributed STMs
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
Proc. 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE Computer Society, IEEE Computer Society, May 2010 - Balancing Gossip Exchanges in Networks with Firewalls
João Leitão, R. van Renesse, Luis Rodrigues,
The 9th International Workshop on Peer-to-Peer Systems, San Jose, CA, USA, April 2010 - RASM: A Reliable Algorithm for Scalable Multicast
Mouna Allani, João Leitão, Benoit Garbinato, Luis Rodrigues,
The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), February 2010 - FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform
Carlos Filipe Lopes Torrão, Nuno Carvalho, Luis Rodrigues,
The 11th International Symposium on Distributed Objects, Middleware, and Applications, Springer, Springer, Vilamoura, Portugal, November 2009 - From Local Impact Functions to Global Adaptation of Service Compositions
Liliana Rosa, Luis Rodrigues, Antónia Lopes, Matti Hiltunen, Rick Schlichting,
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Springer, Springer, November 2009 - HAMP - Protocolo de Difusão em Grupo Para Redes Com Padrões de Mobilidade Heterogéneos
Oksana Denysyuk, José Mocito, Luis Rodrigues,
9a Conferência sobre Redes de Computadores, October 2009 - D2STM: Memória Transaccional em Software Distribuída e Confiável
Maria Couceiro, Paolo Romano, Nuno Carvalho, Luis Rodrigues,
Primeiro Simpósio de Informática (Inforum), U. Lisboa, U. Lisboa, September 2009 - A-OSGi: A framework to support the construction of autonomic OSGi-based applications
João Tiago de Jesus Elias Ferreira, João Leitão, Luis Rodrigues,
thThe Third International ICST Conference on Autonomic Computing and Communication Systems, Springer, Springer, Limassol, Cyprus, September 2009 - FT-OSGi: Extensões à Plataforma OSGi para Tolerância a Faltas
Carlos Filipe Lopes Torrão, Nuno Carvalho, Luis Rodrigues,
Primeiro Simpósio de Informática (Inforum), U. Lisboa, U. Lisboa, September 2009 - Towards the Integration of Distributed Transactional Memories in Application Servers Clusters
Paolo Romano, Nuno Carvalho, Maria Couceiro, Luis Rodrigues, João Cachopo,
Proc. Third International Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications (AAA-IDEA), Las Palmas, Gran Canaria, ICST Lecture Notes, November 2009. , Springer, Springer, September 2009 - Custo da Comutação Dinâmica de Protocolos de Comunicação
Cristina Fonseca, Liliana Rosa, Luis Rodrigues,
Primeiro Simpósio de Informática (Inforum), U. Lisboa, U. Lisboa, September 2009 - D2STM: Dependable Distributed Software Transactional Memory
Maria Couceiro, Paolo Romano, Nuno Carvalho, Luis Rodrigues,
Proc. IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC’09) , IEEE, IEEE, September 2009 - X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
João Leitão, João Marques, Jose Pereira, Luis Rodrigues,
The 28th IEEE International Symposium on Reliable Distributed Systems, IEEE, IEEE, Niagara Falls, New York, U.S.A, September 2009 - Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories,
Paolo Romano, Luis Rodrigues, Nuno Carvalho, João Cachopo,
Proc. 3th ACM Workshop Large Scale Distributed Systems and Middleware (LADIS), Big Sky Resort, Big Sky, MT, October 2009 , ACM Press, ACM Press, September 2009 - Construção Observável de um Quorum de Nós Não-Sybil na Vizinhança Rádio de uma Rede Ad Hoc Sem Fios
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
Inforum - Simposium de Informática, Lisboa, September 2009 - Verme: Worm Containment in Overlay Networks
Filipe Bastos de Freitas, Edgar Mamede Marques, Rodrigo Rodrigues, Carlos Nuno da Cruz Ribeiro, Paulo Ferreira, Luis Rodrigues,
DSN2009: The 39th Annual INESC/IFIP International Conference on Dependable Systems and Networks, IEEE, IEEE, Estoril, Lisbon, June 2009 - On the Use of Radio Resource Tests inWireless ad hoc Networks
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009, June 2009 - An Efficient Weak Mutual Exclusion Algorithm
Paolo Romano, Luis Rodrigues,
8th International Symposium on Parallel and Distributed Computing, IEEE Computer Society Press, IEEE Computer Society Press, April 2009 - The Weak Mutual Exclusion Problem
Paolo Romano, Luis Rodrigues, Nuno Carvalho,
Proc. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE Computer Society Press, IEEE Computer Society Press, Rome, Italy, January 2009 - Large-Scale Peer-to-Peer Autonomic Monitoring
João Leitão, Liliana Rosa, Luis Rodrigues,
GLOBECOM Workshops, IEEE, pages 1-5, IEEE, New Orleans, USA, November 2008 - Towards Distributed Software Transactional Memory Systems
Paolo Romano, Nuno Carvalho, Luis Rodrigues,
Proc. 2th ACM Workshop Large Scale Distributed Systems and Middleware (LADIS), ACM Press, ACM Press, York Town, New York, USA, September 2008 - Supporting Linearizable Semantics in Replicated Databases
Luis Rodrigues, Nuno Carvalho, Emili Miedes,
7th IEEE International Symposium on Network Computing and Applications , IEEE, IEEE, Cambridge, MA, USA, July 2008 - Versioned Transactional Shared Memory for the FénixEDU Web Application
Nuno Carvalho, João Cachopo, Luis Rodrigues, António Rito Silva,
Second Workshop on Dependable Distributed Data Management, Springer, Springer, Glasgow, UK, March 2008 - Modelling Adaptive Services for Distributed Systems
Liliana Rosa, Antónia Lopes, Luis Rodrigues,
The 23rd ACM Symposium on Applied Computing, ACM, pages 2174-2180, ACM, Fortaleza, Ceara, Brazil , March 2008 - A Framework to Support Multiple Reconfiguration Strategies
Luis Rodrigues, L. Rosa, A. Lopes,
First International Conference on Autonomic Computing and Communication Systems, ACM, ACM, October 2007 - Verme: Worm Containment in Peer-to-Peer Overlays
Filipe Bastos de Freitas, Rodrigo Rodrigues, Carlos Nuno da Cruz Ribeiro, Paulo Ferreira, Luis Rodrigues,
Proc. of the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07), January 2007 - Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments
Sandra Teixeira, Pedro Vicente, Alexandre Pinto, Hugo Miranda, Luis Rodrigues, Jorge Martins, António Rito Silva,
International Symposium on Distributed Objects and Applications (DOA), LNCS, Springer Verlag, pages 965-980, Springer Verlag, Irvine (CA), USA, October 2002 - Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos
Sandra Teixeira, Pedro Vicente, Alexandre Pinto, Hugo Miranda, Luis Rodrigues, Jorge Martins, António Rito Silva,
Quinta Conferência sobre Redes de Computadores (CRC'02), Faro, Portugal, September 2002 - Separating Replication from Distributed Communication: Problems and Solutions
Miguel Antunes, Hugo Miranda, António Rito Silva, Luis Rodrigues, Jorge Martins,
IEEE Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures, Phoenix, Arizona, USA, April 2001 - Group Communication Support for Dependable Multi-User Object-Oriented Environments
Hugo Miranda, Miguel Antunes, Luis Rodrigues, António Rito Silva,
SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), Nürnberg, Germany, October 2000 - Spin-valve MR heads for tape and disk Applications
Peter ten Berge, Thomas S. Plaskett, Hans J. Boeve, G. Albuquerque, João Ferreira, Anabela R. Morais, José L. Leal, Nuno J. Oliveira, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
33 rd IEEE international magnetics conference, IEEE, vol. 31, pages 2603-2608, IEEE, April 1995 - Narrow track magnetoresistive spin-valve sensors
José L. Leal, Nuno J. Oliveira, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
In the Thin Film Conference, September 1994 - Magnetoresistive spin-valve sensors
José L. Leal, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
International conference on magnetism, August 1994 - Unshielded spin-valve sensors exchange-biased by thin TbCo layers
José L. Leal, Nuno J. Oliveira, Luís M. Rodrigues, Ana T. Freitas, Paulo P. Freitas,
, In MMM-Intermag Conference, June 1994
- Self-tuning Distributed Transactional Memories
Maria Couceiro, Diego Didona, Luis Rodrigues, Paolo Romano,
Transactional Memory: Foundations, Algorithms, Tools and Applications Springer, Springer, February 2015 - Self-tuning in Distributed Transactional Memory
Maria Couceiro, Diego Didona, Paolo Romano, Luis Rodrigues,
Transactional Memory. Foundations, Algorithms, Tools, and Applications, Springer, January 2015 - Dynamic Tuning of Communication Services Using High-level Goal Policies
Liliana Rosa, Luis Rodrigues, Antónia Lopes,
Book 2 on Software Engineering for Self-Adaptive Systems, LNCS 7475, Springer, January 2013 - Towards Autonomic Transactional Replication for Cloud Environments
Maria Couceiro, Paolo Romano, Luis Rodrigues,
European Research Activities in Cloud Computing, Cambridge Scholars Publishing, January 2012 - Gossip-Based Broadcast
João Leitão, Jose Pereira, Luis Rodrigues,
Handbook of Peer-to-Peer Networking, Springer, February 2010 - On Adding Structure to Unstructured Overlay Networks
João Leitão, Nuno Carvalho, Jose Pereira, Luis Rodrigues,
Handbook of Peer-to-Peer Networking, Springer, February 2010 - Practical Database Replication
Alfranio Correia, Jose Pereira, Luis Rodrigues, Nuno Carvalho, Rui Oliveira,
Replication Theory and Practice, Springer, January 2010 - Gossip-Based Dissemination
R. Friedman, A.-M. Kermarrec, H. Miranda, Luis Rodrigues,
Middleware for Network Eccentric and Mobile Applications, Springer, March 2009
- Autonomic Computing and Communication Systems: Selected Papers from Autonomics 2008
Antonio Manzalini, Daniele Miorandi, Luis Rodrigues, Fabrice Saffre,
International Journal of Autonomous and Adpative Communications Systems, vol. 4, n. 1, January 2011
- Proceedings of the 22nd International Conference on Principles of Distributed Systems
Jiannong Cao, Faith Ellen, Luis Rodrigues, Bernardo ferreira,
, LIPICS, Hong Kong, China, December 2018
- Middleware for Network Eccentric and Mobile Applications
B. Garbinato, H. Mirada, Luis Rodrigues,
, Springer, March 2009
- Introduction to Reliable and Secure Distributed Programming
Christian Cachin, Rachid Guerraoui, Luis Rodrigues,
, Springer, January 2011
- Investigating the Semantics of Futures in Transactional Memory Systems
Jingna Zeng, Shady Alaaeldin Issa, Seif Haridi, Luis Rodrigues, Paolo Romano,
TechnicalReport, INESC-ID Lisboa, n. 3, October 2019 - Virtues and Limitations of Commodity Hardware Transactional Memory
Nuno Miguel Lourenço Diegues, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 7, March 2015 - Cloud-TM: Transactional, Object-oriented, Self-tuning Cloud Data Store
Paolo Romano, Mark Little, Francesco Quaglia, Luis Rodrigues, Vittorio Amos Ziparo,
TechnicalReport, INESC-ID Lisboa, n. 13, May 2014 - Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation
Maria Couceiro, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 9, May 2014 - AutoPlacer: Scalable Self-Tuning Data Placement in Distributed Key-value Stores
João Paiva, Pedro Ruivo, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 8, April 2014 - Cloud-TM: Transactional, Object-oriented, Self-tuning Cloud Data Store
Paolo Romano, Mark Little, Francesco Quaglia, Luis Rodrigues, Vittorio Amos Ziparo,
TechnicalReport, INESC-ID Lisboa, n. 7, April 2014 - The moment of truth: virtues and limitations of commodity Hardware Transactional Memory
Nuno Miguel Lourenço Diegues, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 29, December 2013 - On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
Xavier Vilaça, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 20, July 2013 - Rollerchain: a DHT for Efficient Replication
João Paiva, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 12, June 2013 - Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters
Miguel Branco, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 26, September 2012 - SPECULA: Speculative Replication of Software Transactional Memory
Sebastiano Peluso, João Fernandes, Paolo Romano, Francesco Quaglia, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 12, April 2012 - When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication
Sebastiano Peluso, Pedro Ruivo, Paolo Romano, Francesco Quaglia, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 47, October 2011 - Goal-Oriented Self-management of In-memory Distributed Data Grid Platforms
Liliana Rosa, Luis Rodrigues, Antónia Lopes,
TechnicalReport, INESC-ID Lisboa, n. 43, September 2011 - Self-management of Distributed Systems Using High-level Goal Policies
Liliana Rosa, Luis Rodrigues, Antónia Lopes,
TechnicalReport, INESC-ID Lisboa, n. 42, September 2011 - Self-management of Adaptable Component-based Applications
Liliana Rosa, Luis Rodrigues, Antónia Lopes, Matti Hiltunen, Richard Schlichting,
TechnicalReport, INESC-ID Lisboa, n. 35, July 2011 - PolyCert: Polymorphic Self-Optimizing Replication for In-Memory Transactional Grids
Maria Couceiro, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 27, May 2011 - N-party BAR Transfer
Xavier Vilaça, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 19, May 2011 - Rollerchain: a DHT for High Availability
João Paiva, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 20, May 2011 - Rollerchain: a DHT for High Availability
João Paiva, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 46, November 2010 - Flexible and Efficient Resource Location in Large-Scale Systems
João Alveirinho, João Paiva, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 37, October 2010 - Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay
Mário Ferreira, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 28, May 2010 - Asynchronous Lease-based Replication of Software Transactional Memory
Nuno Carvalho, Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 29, May 2010 - Adaptive Group Communication
Tiago José Pinto Taveira, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 5, January 2010 - Resource Location in P2P Systems
João Alveirinho, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 2, January 2010 - Multipath Routing for Wireless Mesh Networks
Cristina Fonseca, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 1, January 2010 - WMM - Wireless Mesh Monitoring
Ricardo Pinto, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 4, January 2010 - Live-Streaming in Overlay Networks
Mário Ferreira, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 3, January 2010 - Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
TechnicalReport, INESC-ID Lisboa, n. 55, December 2009 - RASM: A Reliable Algorithm for Scalable Multicast
Mouna Allani, João Leitão, Benoit Garbinato, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 52, November 2009 - On Speculative Replication of Transactional Systems
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 38, July 2009 - Overnesia: a Robust Overlay Network for Virtual Super-Peers
João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 36, July 2009 - Construção Observável de um Sistema de Quorum de Nós Não-Sybil na Vizinhança Rádio de uma Rede Ad Hoc Sem Fios
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
TechnicalReport, INESC-ID Lisboa, n. 34, June 2009 - A-OSGi: A framework to support the construction of autonomic OSGi-based applications
João Tiago de Jesus Elias Ferreira, João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 33, May 2009 - On the Use of Radio Resource Tests in Wireless ad hoc Networks
Diogo Miguel da Costa e Castro Mónica de Oliveira, João Leitão, Luis Rodrigues, Carlos Nuno da Cruz Ribeiro,
TechnicalReport, INESC-ID Lisboa, n. 29, May 2009 - D2STM: Dependable Distributed Software Transactional Memory
Maria Couceiro, Paolo Romano, Nuno Carvalho, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 30, May 2009 - Comutação Dinâmica de Protocolos de Comunicação: uma Comparação entre Comutadores Genéricos e Especializados
Cristina Fonseca, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 2, January 2009 - Cache Coherence in Distributed and Replicated Transactional Memory Systems
Maria Couceiro, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 4, January 2009 - Group Communication in Mobile Ad Hoc Networks
Oksana Denysyuc, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 3, January 2009 - An Efficient Weak Mutual Exclusion Algorithm
Paolo Romano, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 5, January 2009 - X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
João Leitão, João Marques, Jose Pereira, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 11, January 2009 - Overnesia: an Overlay Network for Virtual Super-Peers
João Leitão, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 56, December 2008 - The Weak Mutual Exclusion Problem
Paolo Romano, Luis Rodrigues, Nuno Carvalho,
TechnicalReport, INESC-ID Lisboa, n. 52, November 2008 - Topology Aware Gossip Overlays
João Leitão, José Orlando Roque Nascimento Pereira, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 36, January 2008 - Verme: Worm Containment in Peer-to-Peer Overlays
Filipe Bastos de Freitas, Rodrigo Rodrigues, Carlos Nuno da Cruz Ribeiro, Paulo Ferreira, Luis Rodrigues,
TechnicalReport, INESC-ID Lisboa, n. 22, November 2006
- Automatic Bug Detection in R
Luís Miguel da Conceição Rodrigues, Instituto Superior Técnico, Universidade de Lisboa, Lisboa, Portugal, Thesis, November 2020 - Real-Time Integration - Improving Collaboration in Software Development
Mário Guimarães, Universidade de Lisboa, Thesis, July 2013 - Monitorização de Qualidade de Serviço de VoIP em redes sem fios
Luis Rodrigues, Ricardo Aguiar, Instituto Superior Técnico, Universidade de Lisboa, Thesis, September 2006 - Biógrafo Pessoal
Carlos Rodrigues, Luis Rodrigues, Instituto Superior Técnico, Thesis, September 2005
Total Supervisions: 86
- Multi-consistency support in micro-services
Rafael Pinto Soares
Luis Rodrigues (advisor),
Doctoral Thesis, Universidade de Lisboa, 2021-10-01 - Ongoing - Safeguarding Distributed Data Storage at the Edge
Cláudio José Pereira Correia
Luis Rodrigues (advisor), Miguel Correia (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-02-01 - 2024-06-28 - Scalable and Efficient Frameworks for Distributed Ledgers,
Ray Willy Neiheiser
Luis Rodrigues (advisor), Miguel Matos (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-01-01 - 2022-03-01 - Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention
Diogo Miguel Barrinha Barradas
Luis Rodrigues (advisor), Nuno Santos (coadvisor)
Doctoral Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2016-01-01 - 2021-03-30 - Managing Incentives in Community Network Clouds
Amin Muhammad Khan
Luis Rodrigues (advisor), Felix Freitag (coadvisor)
Doctoral Thesis, Universidade de Lisboa, 2014-09-01 - 2016-06-01 - Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
Richard Joaquín Gil Martinez
Luis Rodrigues (advisor), Peter Van Roy (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2013-09-01 - 2019-03-01 - Geo-Replicated Key Value Stores
Angel Manuel Bravo Gestoso
Luis Rodrigues (advisor),
Doctoral Thesis, Universidade de Lisboa, 2013-09-01 - 2018-05-01 - Cooperative Concurrency Debugging
Nuno Machado
Luis Rodrigues (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-10-01 - 2016-06-01 - Sustaining Cooperation in Dependable Systems: a Game Theoretical Approach
Xavier Vilaça
Luis Rodrigues (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-10-01 - 2016-12-01 - Distributed Computing on Dynamic Networks
Oksana Denysyuk
Luis Rodrigues (advisor),
Doctoral Thesis, Universidade de Lisboa, 2010-02-01 - 2014-10-01 - Data Placement in Distributed Systems
João Paiva
Luis Rodrigues (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-01-01 - 2015-05-01 - Autonomic Replicated Software Transactional Memory
Maria Couceiro
Luis Rodrigues (advisor), Paolo Romano (coadvisor)
Doctoral Thesis, Universidade de Lisboa, 2009-10-01 - 2015-07-01 - A Generic and Distributed Dependable Software Transactional Memory
Nuno Carvalho
Luis Rodrigues (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2011-12-01 - Desenvolvimento de Aplicações Distribuídas Adaptativas
Liliana Rosa
Luis Rodrigues (advisor), Antónia Lopes (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2007-09-01 - 2012-07-01 - Disseminação de Informação
João Leitão
Luis Rodrigues (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2007-09-01 - 2012-06-01 - Real-Time Integration - Improving Collaboration in Software Development
Mário Guimarães
António Rito Silva (advisor),
Doctoral Thesis (before Bologna), Universidade de Lisboa, 2006-11-01 - 2013-07-01
- Shared Logs With Support for Multi-Consistency
Francisco Carvalho
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2024-09-18 - Ongoing - Design of Geo-Distributed Shared Logs
Inês Martins Calado de Sousa Cardeira
Luis Rodrigues (advisor),
Master's Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2024-04-29 - Ongoing - O uso de pseudónimos em Smart Retail
Guilherme José Silva Santos
Luis Rodrigues (advisor),
Master's Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2024-02-01 - Ongoing - Detection of Invariant Violations in Microservices
João Fitas
Luis Rodrigues (advisor), António Rito Silva (advisor),
Master's Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2023-09-01 - Ongoing - Dynamic Trees for Byzantine Consensus Protocols
Tomás Araújo Pereira
Luis Rodrigues (advisor), Miguel Matos (coadvisor)
Master's Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2023-09-01 - Ongoing - Use of Pseudonyms in Smart Retail Applications
Guilherme José Silva Santos
Luis Rodrigues (advisor),
Master's Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2023-09-01 - Ongoing - Leader Selection in Byzantine Consensus Protocols
Gonçalo Alexandre da Silva Carvalho
Luis Rodrigues (advisor), Miguel Matos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-07-01 - Ongoing - Automatic detection of anomalies in micro-service architectures
Valentim Dias Romão
Luis Rodrigues (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - 2023-11-17 - Self-adapting BFT consensos
Helena Carolina Delgado Teixeira
Luis Rodrigues (advisor), Miguel Matos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - 2023-11-21 - Transactional causal consistency for micro-services architectures
João Miguel Rocha Queirós
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - 2023-11-13 - Deduplication vs Privacy Tradeoffs in Cloud Storage
Rodrigo de Magalhães Marques dos Santos Silva
Luis Rodrigues (advisor), Miguel Correia (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Dynamic Adaptation of Publish-Subscribe Systems
Sara Patrícia Fernandes Machado
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2021-10-01 - Ongoing - Federated Learning for Predicting the Next Node in Action Flows
Daniel Francisco Lopes
Luis Rodrigues (advisor), João Nadkarni (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Window Based Monitoring: Packet Drop Detection in the Network Data Plane
Afonso De Paiva e Pona Corte-Real Gonçalves
Luis Rodrigues (advisor), Fernando M. V. Ramos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Microservice Decomposition for Transactional Causal Consistent Platforms
Madalena Costa Gonçalves Carlos Santos
Luis Rodrigues (advisor),
Master's Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2020-07-01 - 2022-06-01 - LoCaPS: Localized Causal Publish-Subscribe
Filipa Salema Roseta Pedrosa
Luis Rodrigues (advisor),
Master's Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2020-01-01 - 2020-11-01 - Causality Tracking Trade-offs for Distributed Storage
Hugo Rafael Silva Guerreiro
Luis Rodrigues (advisor), Nuno Preguiça (coadvisor)
Master's Thesis, Universidade de Lisboa, 2019-10-01 - 2020-11-01 - Automatic Bug Detection in R
Luís Miguel da Conceição Rodrigues
João Coelho Garcia (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-11-01 - Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
Leonardo Marques Epifânio
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Dynamic Reconfiguration of the Data Aggregation Topology at the Edge
Tiago Miguel Calhanas Gonçalves
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-07-01 - 2021-01-01 - ENGAGE: Session Guaranties for the Edge
Miguel Leitão Belém
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-07-01 - 2020-11-01 - Identification of Skype Covert Channels using Sketches in SDNs
André Filipe Antunes Madeira
Luis Rodrigues (advisor), Nuno Miguel Pereira dos Santos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Localized Reliable Causal Multicast
Válter Santos
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Omega: a Secure Event Ordering Service for the Edge
Cláudio José Pereira Correia
Luis Rodrigues (advisor), Miguel Correia (coadvisor)
Master's Thesis, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Efficient Implementation of Causal Consistent Transactions in the Cloud
Taras Lykhenko
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2018-08-01 - 2019-09-01 - A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores
João Bernardo Sena Amaro
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-06-01 - 2018-11-01 - Mechanisms for Providing Causal Consistency on Edge Computing
Nuno Cerqueira Afonso
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-06-01 - 2018-11-01 - Adaptive Information Dissemination in the Bitcoin Network
João Esteves Marçal
Miguel Matos (advisor), Luis Rodrigues (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2017-10-01 - 2018-11-01 - Byzantine Fault Tolerant Monitoring of Distributed Systems
Bernardo Brito da Palma
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2016-09-01 - 2017-10-01 - Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures
Pedro Miguel Marcos Joaquim
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2016-09-01 - 2017-10-01 - Policy-Based Adaptation of Byzantine Fault Tolerant Systems
Miguel Neves Pasadinhas
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2016-09-01 - 2017-12-01 - Dynamic Adaptation of Byzantine Fault Tolerant Protocols
Carlos Eduardo Alves Carvalho
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2016-07-01 - 2017-10-01 - Fault Isolation in Software Defined Networks
João Sales Henriques Miranda
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-10-01 - 2016-11-01 - Learning Adaptation Models Under Non-Determinism
Francisco Miguel Caramelo Duarte
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-10-01 - 2016-11-01 - ByTAM: a Byzantine Fault Tolerant Adaptation Manager
Frederico Miguel Reis Sabino
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-09-01 - 2016-09-01 - Unobservable Covert Streaming for Internet Censorship Circumvention
Diogo Miguel Barrinha Barradas
Luis Rodrigues (advisor), Nuno Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-09-01 - 2016-09-01 - On the Unobservability of Multimedia-based Covert Channels for Internet Censorship Circumvention
Diogo Miguel Barrinha Barradas
Luis Rodrigues (advisor), Nuno Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-01-10 - 2016-10-30 - Adaptive Quorums for Cloud Storage Systems
Gayana Chandrasekara
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2015-01-01 - 2015-07-01 - Relaxed Logging for Replay of Multithreaded Applications
Aliaksandra Sankova
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2014-10-01 - 2015-07-01 - Dynamic Adaptation of Geo-Replicated CRDTs
Carlos Bartolomeu
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2014-09-01 - 2015-10-01 - Efficient Free-rider Detection using Symmetric Overlays
João Silva
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2014-09-01 - 2015-10-01 - Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
Chaturi Lanchana Rubasinghe Gunawardhana
Luis Rodrigues (advisor),
Master's Thesis, Universidade de Lisboa, 2014-08-01 - 2016-07-01 - Replication and Data Placement in Distributed Key-Value Stores
Manuel Ferreira
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2013-09-01 - 2014-10-01 - Data locality aware partitioning schemes for large-scale data stores
Muhammet Orazow
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2013-01-01 - 2013-07-01 - Fault Reproduction for Multithreaded Applications
Angel Manuel Bravo Gestoso
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2012-07-01 - 2013-07-01 - Geo-Replication in Large Scale Cloud Computing Applications
Sérgio Almeida
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-09-01 - 2012-10-01 - Topology-aware Gossip Dissemination for Large-scale Datacenters
Miguel Branco
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-09-01 - 2012-10-01 - Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
Nuno Machado
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-10-01 - N-Party BAR Transfer
Xavier Vilaça
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-10-01 - Replicação Parcial para Sistemas de Memória Transaccional por Software
Pedro Ruivo
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-10-01 - Speculative Execution on Replicated and Distributed Software Transactional Memory Systems
João Fernandes
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-10-01 - Adaptive Group Communication
Tiago José Pinto Taveira
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-09-01 - 2010-10-01 - Live Streaming in Overlay Networks
Mário Ferreira
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-09-01 - 2010-10-01 - Multipath Routing for Wireless Mesh Networks
Cristina Fonseca
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-09-01 - 2010-10-01 - Resource Location in P2P Systems
João Alveirinho
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-09-01 - 2010-10-01 - WMM: Wireless Mesh Monitoring
Ricardo Pinto
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-09-01 - 2010-10-01 - A-OSGi: A framework to support the construction of autonomic OSGi-based applications
João Tiago de Jesus Elias Ferreira
Luis Rodrigues (advisor), João Redol (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-11-01 - Cache Coherence in Distributed and Replicated Transactional Memory Systems
Maria Couceiro
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-09-01 - Cache Coherence in Distributed and Replicated Transactional Memory Systems
Oksana Denysyuk
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-11-01 - FT-OSGi: Fault-Tolerance extensions for the OSGi Service Platform
Carlos Filipe Lopes Torrão
Luis Rodrigues (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-10-01 - Thwarting the Sybil Attack in Wireless Ad Hoc Networks
Diogo Miguel da Costa e Castro Mónica de Oliveira
Carlos Nuno da Cruz Ribeiro (advisor), Luis Rodrigues (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-07-01
- An Architecture to Offer Transactional Strong Consistency for FaaS Applications
Rafael Pinto Soares
Luis Rodrigues (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2020-07-01 - 2021-11-01 - Proof of Timely-Retrievability for Storage Systems at the Edge
Rita Alexandra Rodrigues Prates
Luis Rodrigues (advisor), Miguel Correia (coadvisor)
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2020-07-01 - 2021-11-01 - Desenvolvimento de um simulador de protocolo de população
Lidia Maria Carvalho de Freitas
Luis Rodrigues (advisor),
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-03-01 - 2016-06-01 - Simuladores de redes dinâmicos
João André Dias Figueiredo
Luis Rodrigues (advisor),
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-03-01 - 2016-06-01 - Data Placement for Transactional Systems
Zhongmiao Li
Luis Rodrigues (advisor), Paolo Romano (coadvisor)
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2012-02-01 - 2012-09-01 - Estágio no âmbito de Protocolo celebrado entre INESC-ID e Escola Secundária
David Andrade da Mota Veiga
Luis Rodrigues (advisor), João Leitão (coadvisor)
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-05-01 - 2010-09-01 - Monitorização de Qualidade de Serviço de VoIP em redes sem fios
Ricardo Aguiar, Luis Rodrigues
Mário Serafim Nunes (advisor),
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2005-10-01 - 2006-09-01 - Biógrafo Pessoal
Carlos Rodrigues, Luis Rodrigues
Joaquim Armando Pires Jorge (advisor), Daniel Jorge Viegas Gonçalves (coadvisor)
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2004-09-01 - 2005-09-01
- Aluno de licenciatura
Diogo Seca Repas Gonçalves
Luis Rodrigues (advisor), Diogo Miguel Barrinha Barradas (coadvisor)
Internship, Instituto Superior Técnico, Universidade de Lisboa, 2018-12-01 - 2019-01-01
Posts/Pages: 18
Professor Luís Vidigal Award
The ceremony for the prestigious Prize “Prémio Prof. Luís Vidigal” and diploma was held within the 18th Electrical and Computer Engineering Conference on March 5, 2018, Monday, at 14:00, at the IST Congress Center. The ceremony was attended by Prof. Luís Miguel Silveira, researcher…
INESC-ID Board of Directors’ term renewed until 2025
The INESC ID Board of Directors has renewed its current term, originally set for 2022-2023, until the end of 2024. The Board, led by Inês Lynce as President, alongside João Paulo Carvalho, Miguel Pupo Correia, Nuno Roma, and Helena Galhardas, who now assumes the role…
INESC ID, INOV and INESC MN together in the 1st INESC LX annual meeting
On November 3rd, 2023, took place the first joint Meeting of INESC Lx, a consortium of the INESC institutions based in Lisbon: INESC-ID, INOV and INESC MN. Over 270 members of the three institutions met at Hotel Golf Mar, near Lisbon, for a full day…
INESC-ID researchers recognized in Research.com rankings
Several INESC-ID researchers have recently been recognized across multiple thematic Research.Com rankings, both nationally and internationally. In the fields of Computer Science and Electrical and Computer Engineering we find a number of INESC-ID researchers: Ana Paiva, Joaquim Jorge, Miguel Pupo Correia, Luís Rodrigues, Rodrigo Rodrigues,…
INESC-ID researchers are among the best scientists in the world in the field of Computer Science
5 INESC-ID researchers are among the world’s top computer scientists, according to the 7th edition of Top Scientists Ranking for Computer Science & Electronics, released by Guide2Research. Once again, the highest number of Portuguese scientists is affiliated with Instituto Superior Técnico. Among the 24 Portuguese…
INESC-ID’s researchers distinguished by ISOC Portugal
Researchers Diogo Barradas, Nuno Santos, and Luís Rodrigues were distinguished with the ANRW ISOC.PT 2020 Prize: Best Research Paper and Internet Impact Acknowledge Mention, with paper “On the unobservability of multimedia-based covert channels for Internet censorship circumvention”. Using multimedia covert channels for Internet censorship circumvention…
INESC-ID Researchers in the Ranking of the World’s Best Scientists in Computer Science
Three researchers from INESC-ID were recognized in the 6th edition of the annual ranking for the world’s best scientists in Computer Science and Electronics, released by Guide2Research. The researcher’s Ana Paiva, Joaquim Jorge, and Luís Rodrigues were distinguished together with thirteen Portuguese scientists. This ranking…
Awards
The INESC-ID Awards were created in 2009. These awards are bestowed once a year, usually at the annual general institutional kick-off meeting. The jury is composed by the members of the Advisory Board, an independent committee made of world class experts. The existence of awards...
2013 Prizes and International Recognition
INESC-ID researchers were awarded the following prizes recognizing the excellence of the R&D activities developed: Best Paper Award to the article Lightweight identification of captured memory for Software Transactional Memory, at the 13th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2013), Italy, Dec2013,…
Organisation
BOARD OF DIRECTORS Inês Lynce João Paulo Carvalho Helena Galhardas Nuno Roma Miguel Pupo Correia INESC-ID's general management is implemented by its Board of Directors (BD), which drives scientific matters and long-term strategic objectives. The Board of Directors (BD), composed of the President and...
Renata Castelo Branco at the final of the 3MThesis competition with her work on algorithms to draw buildings
How can one use algorithms to draw buildings? That is the question that Renata Castelo Branco, a junior researcher at INESC-ID, from the scientific area Graphics and Interaction, and a PhD student in Computer Engineering at Instituto Superior Técnico, answered to, in three minutes and…
INESC ID researchers among the World’s Top 2% Most Influential Scientists
Stanford has released the World’s Top 2% Most Influential Scientists lists, featuring fourteen INESC ID researchers among the 200 thousand World’s most cited scientists. This annual recognition comprises two lists naming top scientists, doctors, engineers, and mathematicians, one referring to 2022 most influential scientists and…
INESC-ID researchers recognized in Stanford’s list of top 2% most-cited
Several INESC-ID researchers have been included in the comprehensive data sets comprising Stanford’s list of the World’s top 2% most-cited researchers in 2021 via Elsevier. Comprising two worldwide listings of 200,000 researchers (signalling those who were the most influential in 2021, as well as across…
INESC-ID Awards 2020
The INESC-ID Awards 2020 symbolic ceremony took place on February 23, during the 20th Scientific Council Plenary Meeting, an entirely online event. Miguel Pupo Correia, Rui Henriques and Miguel Terra Neves were the big winners, who saw their work recognized. Winners 2020 Researcher: Miguel Nuno…
40 Years of Science and Knowledge: The ability to create new technology-based companies
The second session to celebrate INESC 40th years will take place on October 8, at 5 p.m., at Calouste Gulbenkian Foundation (Auditorium II). This session will be transmitted live. Programme 17:00 Opening session Leonel Sousa (INESC Lisboa/IST) 17:10 Keynote speech Carlos Moedas (Fundação Calouste Gulbenkian)…
5 New Pojects Approved at CMU Call 2019
INESC-ID had just recently approved 5 research projets under the FCT Call for the Carnegie Mellon Portugal program, under a total of 7 research projets that will be funded under this call. These 5 exploratory research projects where submitted in 2019 and will be supported…
INESC-ID new management bodies
A new Board of Directors and a new Scientific Council Board were recently elected to the 2018-2019 biennium. The new Board of Directors is composed by: Leonel Sousa, Rodrigo Rodrigues, Luís Correia, Inês Lynce and Jorge Fernandes. The new Scientific Council Board will be led…
2014 Seminars and Meetings
INESC-ID participates in the programs between Portugal and CMU (Carnegie-Mellon University) and with Portugal/MIT (Massachusetts Institute of Technology). Other partnerships include Cadence Design Systems, TU Darmstadt, IST, ISCTE, Universidade da Madeira, Escola Superior de Tecnologia e Gestão de Beja, Escola Superior de Tecnologia de Setúbal,…