Publications

Articles

International Journal Articles: 4

2018

- Diogo Miguel Barrinha Barradas and Tiago Brito and David José Nunes Duarte and Nuno Miguel Pereira dos Santos and Luis Rodrigues, Forensic Analysis of Communication Records of Messaging Applications from Physical Memory, article in Computers & Security, to appear on 2018, Elsevier [DOI Article link] [bibTex]
- Diogo Miguel Barrinha Barradas and Tiago Brito and David Duarte and Nuno Santos and Luis Rodrigues, Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory, article in Computer & Security, Oct. 2018, Elsevier [bibTex]
- Xavier Vilaça and Luis Rodrigues and João Silva and Hugo Miranda and Gustavo Correia and Tiago Mauricio, FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming, article in Pervasive and Mobile Computing vol. 46 pp. 18-33, Jun. 2018, Elsevier [DOI Article link] [bibTex]
- Nuno Machado and Paolo Romano and Luis Rodrigues, CoopREP: Cooperative Record and Replay of Concurrency Bugs, article in Software Testing, Verification and Reliability, vol. 28 (1), Jan. 2018, Wiley [DOI Article link] [bibTex]

International Conferences: 10

2018

- Ray Neiheiser and Angel Manuel Bravo Gestoso and Luciana Rech and Luis Rodrigues, Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database, presented at Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS), Oct. 2018 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues, Effective Detection of Multimedia Protocol Tunneling using Machine Learning, presented at USENIX Security, Aug. 2018 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Miguel Pereira dos Santos and Luis Rodrigues, Effective Detection of Multimedia Protocol Tunneling using Machine Learning, presented at Proceedings of the 27th USENIX Security Symposium (USENIX Security '18), Aug. 2018 [bibTex]
- Francisco Miguel Caramelo Duarte and Richard Joaquín Gil Martinez and Paolo Romano and Antónia Lopes and Luis Rodrigues, Learning Non-Deterministic Impact Models for Adaptation, presented at roceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May. 2018 [bibTex]
- Jingna Zeng and Paolo Romano and João Barreto and Luis Rodrigues and Seif Haridi, Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory, presented at IPDPS, May. 2018 [bibTex]
- Daniel Porto and Carlos Eduardo Alves Carvalho and Luis Rodrigues and Alysson Bessany and Angel Manuel Bravo Gestoso, Dynamic Adaptation of Byzantine Consensus Protocols, presented at Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC), Apr. 2018 [bibTex]
- Manuel Bravo and Luis Rodrigues, Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems, presented at Proceedings of the 5th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr. 2018 [bibTex]
- Ray Neiheiser and Daniel Presser and Luciana Rech and Angel Manuel Bravo Gestoso and Luis Rodrigues and Miguel Correia, Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases, presented at The 32nd International Conference on Information Networking, Jan. 2018 [bibTex]

National Conferences: 1

2018

- João Marçal and Luis Rodrigues and Miguel Matos, Técnicas para Redução da Carga na Rede no Livro-Razão da Bitcoin., Sep. 2018 [bibTex]

Dissertations

PhD Theses: 2

2019

- Richard Joaquín Gil Martinez advised by Luis Rodrigues, Aluno de Doutoramento, PhD Thesis, Mar. 2019 [bibTex]

2018

- Angel Manuel Bravo Gestoso advised by Luis Rodrigues, Geo-Replicated Key Value Stores, PhD Thesis at Universidade de Lisboa, May. 2018 [bibTex]

MSc Theses: 3

2018

- João Bernardo Sena Amaro advised by Luis Rodrigues, A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores, MSc Thesis, Nov. 2018 [bibTex]
- João Esteves Marçal advised by Miguel Matos and Luis Rodrigues, Adaptive Information Dissemination in the Bitcoin Network, MSc Thesis, Nov. 2018 [bibTex]
- Nuno Cerqueira Afonso advised by Luis Rodrigues, Mechanisms for Providing Causal Consistency on Edge Computing, MSc Thesis, Nov. 2018 [bibTex]

as Editors

Edited Proceedings: 1

2018

- Jiannong Cao and Faith Ellen and Luis Rodrigues and Bernardo ferreira, editors, Proceedings of the 22nd International Conference on Principles of Distributed Systems, Dec. 2018, LIPICS [bibTex]

Reports

Technical Reports: 1

2019

- Jingna Zeng and Shady Alaaeldin Issa and Seif Haridi and Luis Rodrigues and Paolo Romano, Investigating the Semantics of Futures in Transactional Memory Systems, INESC-ID Tec. Rep. 3/2019, Oct. 2019 [bibTex]