Publications

Books

Book Chapters: 1

2018

- Valeria Cardellini and Tihana Galinac Grbac and Andreas Kassler and Francesco Lo Presti and Antonio Marotta and Matteo Nardelli and Luís Veiga, Integrating SDN and NFV with QoS-Aware Service Composition, chapter of Autonomous Control for a Reliable Internet of Services , May. 2018, Springer [bibTex]

Articles

International Journal Articles: 17

2019

- Daniel Castro and Paolo Romano and João Barreto, Hardware Transactional Memory meets Memory Persistency, article in Journal of Parallel and Distributed Computing vol. 130 pp. 63-79, to appear on 2019, Elsevier [DOI Article link] [bibTex]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga, Interoperable and Network-Aware Service Workflows for Big Data Executions at Internet Scale, article in Concurrency and Computation: Practice and Experience, to appear on 2019, Wiley [bibTex]
- Shady Alaaeldin Issa and Pascal Felber and Alexander Matveev and Paolo Romano, Extending Hardware Transactional Memory Capacity via Rollback-Only Transactions and Suspend/Resume, article in Distributed Computing, Oct. 2019 [bibTex]
- Pradeeban Kathiravelu and Ashish Sharma and Helena Galhardas and Peter Van Roy and Luís Veiga, On-demand big data integration, article in Distributed and Parallel Databases vol. 37 (2) pp. 273–295, Jun. 2019, Springer [DOI Article link] [bibTex]
- João Nuno de Oliveira e Silva and Manuel Beja da Costa and Magdalena Jurczuk and Bernardo Marques , Evaluation of new approaches to the access of official monitoring results for live bivalves molluscs, article in European journal of public health, Feb. 2019, Oxford academics [Article] [DOI Article link] [bibTex]
- Sandro Pinto and Nuno Santos, Demystifying Arm TrustZone: A Comprehensive Survey, article in ACM Computing Surveys, Jan. 2019 [bibTex]
- João Caramujo and Alberto Rodrigues da Silva and Sharareh Moghadam Monfared and André Ribeiro and Pável Calado and Travis Breaux, RSL-IL4Privacy: A Domain-Specific Language for the Specification of Privacy-Aware Requirements, article in Requirements Engineering vol. 24 (1), Jan. 2019, Springer [DOI Article link] [bibTex]

2018

- Mennan Selimi and Llorenç Cerdà-Alabern and Felix Freitag and Luís Veiga and Arjuna Sathiaseelan and Jon Crowcroft, A Lightweight Service Placement Approach for Community Network Micro-Clouds, article in Journal of Grid Computing (JoGC), to appear on 2018, Springer [bibTex]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga, Composing Network Service Chains at the Edge: A Resilient and Adaptive Software-Defined Approach, article in Transactions on Emerging Telecommunications Technologies, to appear on 2018, Wiley [bibTex]
- 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]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga, SD-CPS: Software-Defined Cyber-Physical Systems. Taming the Challenges of CPS with Workflows at the Edge, article in Cluster Computing, to appear on 2018, Springer [bibTex]
- Naercio David Pedro Magaia and Carlos Borrego and Paulo Rogério Pereira and Miguel Correia, ePRIVO: An enhanced PRIvacy-preserVing Opportunistic routing protocol for Vehicular Delay-Tolerant Networks, article in IEEE Transactions on Vehicular Technology vol. 67 (11) pp. 11154-11168, Nov. 2018, IEEE [Article] [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]
- Naercio David Pedro Magaia and Zhengguo Sheng and Paulo Rogério Pereira and Miguel Correia, REPSYS: A robust and distributed incentive scheme for collaborative caching and dissemination in content-centric cellular-based Vehicular Delay-Tolerant Networks, article in IEEE Wireless Communications Magazine vol. 25 (3) pp. 65-71, Jun. 2018, IEEE [Article] [DOI Article link] [bibTex]
- João M.P.Cardoso and João Moreira and Luís Veiga, CONTEXTWA-Middleware and Context Inference Techniques from Data-Streams for the Development of Context-Aware Services using Mobile Devices, article in Impact, Mar. 2018, Science Impact Ltd [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: 38

2019

- Sérgio da Silva Mendes and José Simão and Luís Veiga, Oversubscribing MicroClouds with Energy-aware Scheduling for Docker Containers, presented at 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019), Mar. 2019 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Duarte Tovar de Carvalho Patrício and José Simão and Luís Veiga and Paulo Ferreira, Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications, presented at ACM EuroSys 2019, Mar. 2019 [bibTex]
- Ricardo Filipe and Shady Alaaeldin Issa and Paolo Romano and João Barreto, Stretching the capacity of Hardware Transactional Memory in IBM POWER architectures, presented at Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (PPoPP '19), Feb. 2019 [DOI Article link] [bibTex]
- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]

2018

- Sérgio Esteves and Helena Galhardas and Luís Veiga, Adaptive Execution of Continuous and Data-intensive Workflows with Machine Learning, presented at Middleware, Dec. 2018 [bibTex]
- David R. Matos and Miguel Pardal and Georg Carle and Miguel Correia, RockFS: Cloud-backed File System Resilience to Client-Side Attacks , presented at ACM/IFIP/USENIX 19th International Middleware Conference, Dec. 2018 [bibTex]
- Nuno Miguel de Oliveira Duarte and Shileshi Yalew and Nuno Santos and Miguel Correia, Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions , presented at MobiQuitous, Nov. 2018 [bibTex]
- Diogo Miguel Pardal Calado and Miguel Pardal, Tamper-proof incentive scheme for mobile crowdsensing systems , presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2018 [bibTex]
- João Ferreira and Miguel Pardal, Witness-based location proofs for mobile devices , presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2018 [bibTex]
- Igor Zavalyshyn and Nuno Miguel de Oliveira Duarte and Nuno Santos, HomePad: A Privacy-aware Smart Hub for Home Environments, presented at ACM/IEEE Symposium on Edge Computing (SEC), Oct. 2018 [bibTex]
- 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]
- Shady Alaaeldin Issa and Paolo Romano and Tiago Lopes, Speculative Read-Write Locks, presented at ACM/IFIP/USENIX 19th International Middleware Conference (Middleware), Oct. 2018 [bibTex]
- Rui Claro and José Portêlo and Miguel Pardal and Raquel Pinho, Big Data Privacy by Design Computation Platform, presented at 4th International Conference on Machine Learning, Optimization, and Data Science (LOD), Sep. 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, 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]
- Zhongmiao Li and Peter Van Roy and Paolo Romano, Transparent Speculation in Geo-Replicated Transactional Data Stores., presented at In Proceedings of the ACM 27th International Symposium on High-Performance Parallel and Distributed Computing (HPDC), Aug. 2018 [bibTex]
- Igor Zavalyshyn and Nuno Miguel de Oliveira Duarte and Nuno Santos, An Extended Case Study about Securing Smart Home Hubs through N-Version Programming, presented at SECRYPT, Jul. 2018 [bibTex]
- Pedro Guilherme Simões Ribeiro and Nuno Santos and Nuno Miguel de Oliveira Duarte, DBStore: A TrustZone-backed Database Management System for Mobile Applications, presented at SECRYPT, Jul. 2018 [bibTex]
- Filipe Miguel Marcos Apolinário and Miguel Pardal and Miguel Correia, S-Audit: Efficient Data Integrity Verification for Cloud Storage , presented at 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18), Jul. 2018 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira and Ruslan Synytsky and Tetiana Fydorenchyk and Jia Rao and Hang Huang and Song Wu , Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications, presented at ACM - SIGPLAN Symposium on Memory Management (ISMM), Philadelphia (USA), June 18, 2018, Jun. 2018 [bibTex]
- Miguel Matos and Francisco Maia and Nuno Machado and José Ribeiro, Totally Ordered Replication for Massive Scale Key-Value Stores, Jun. 2018 [bibTex] [PDF]
- David Daharewa Gureya and Rodrigo Rodrigues and Paolo Romano and Pramod Bhatotia and Vivien Quéma and João Barreto, Asymmetry-aware Page Placement for Contemporary NUMA Architectures, presented at 8th Workshop on Systems for Multi-core and Heterogeneous Architectures (SFMA 2018), Eurosys workshops, May. 2018 [bibTex]
- Marcus Vinicius Paulino Gomes and Miguel Pardal, Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application, presented at International Conference on Ambient Systems, Networks and Technologies (ANT), May. 2018 [bibTex]
- Pedro Luís Galvão Raminhas and Shady Alaaeldin Issa and Paolo Romano, Enhancing Efficiency of Hybrid Transactional Memory via Dynamic Data Partitioning Schemes, presented at 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), 2018, May. 2018 [bibTex]
- Daniel Castro and Paolo Romano and João Barreto, Hardware Transactional Memory meets Persistent Memory, presented at IEEE International Parallel & Distributed Processing Symposium (IPDPS), May. 2018 [bibTex]
- João Manuel Policarpo Moreira and Helena Galhardas and Miguel Pardal, LeanBench: comparing software stacks for batch and query processing of IoT data, presented at International Conference on Ambient Systems, Networks and Technologies (ANT), May. 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]
- Rodrigo Tavares Fernandes and José Simão and Luís Veiga, EcoVMBroker: Energy-aware Scheduling for Multi-layer Datacenters, presented at 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr. 2018 [bibTex]
- Pedro Luís Galvão Raminhas and Miguel Matos and Paolo Romano, Fine-grained Transaction Scheduling in Replicated Databases via Symbolic Execution , presented at 12th EuroSys Doctoral Workshop (EuroDW 2018), Apr. 2018 [bibTex]
- David Rogério Póvoa de Matos and Miguel Pardal and Pedro Adão and António Rito Silva and Miguel Correia, Securing Electronic Health Records in the Cloud, presented at 1st Workshop on Privacy by Design in Distributed Systems, 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]
- Pradeeban Kathiravelu and Marco Chiesa and Pedro de B Marcos and Marco Canini and Luís Veiga, Moving Bits with a Fleet of Shared Virtual Routers, presented at IFIP Networking 2018 Conference, Mar. 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: 3

2018

- Pedro Guilherme Simões Ribeiro and Nuno Santos and Nuno Miguel de Oliveira Duarte, Sistema de Gestão de Bases de Dados para Aplicações Móveis apoiado por TrustZone, presented at INFORUM, Sep. 2018 [bibTex]
- David Daharewa Gureya and Rodrigo Rodrigues and Paolo Romano and Pramod Bhatotia and Vivien Quema and João Barreto, Tackling memory asymmetry in NUMA architectures, presented at Inforum, Sep. 2018 [bibTex]
- 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: 7

2019

- Pradeeban Kathiravelu advised by Luís Veiga and Peter Van Roy, Software-Defined Systems for Network-Aware Service Composition and Workflow Placement, PhD Thesis at Instituto Superior Técnico, ULisboa / Université catholique de Louvain, Jul. 2019 [bibTex]
- Richard Joaquín Gil Martinez advised by Luis Rodrigues, Aluno de Doutoramento, PhD Thesis, Mar. 2019 [bibTex]

2018

- Sérgio Esteves advised by Luís Veiga and João Nuno de Oliveira e Silva, ​Techniques for Enhancing the Performance of Data-intensive Management Systems, PhD Thesis at Instituto Superior Técnico, ULisboa, Dec. 2018 [bibTex]
- Sileshi Demesie advised by Miguel Correia and Seif Haridi, Mobile Device Security with ARM TrustZone, PhD Thesis at Instituto Superior Técnico, Nov. 2018 [bibTex]
- Shady Alaaeldin Issa advised by Paolo Romano and Vladimir Vlassov, Techniques for enhancing the efficiency of Transactional Memory, PhD Thesis at IST & KTH, Oct. 2018 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno advised by Paulo Ferreira, novaVM: Enhanced Java Virtual Machine for Big Data Applications, PhD Thesis at University of Lisbon / IST, Sep. 2018 [bibTex]
- Angel Manuel Bravo Gestoso advised by Luis Rodrigues, Geo-Replicated Key Value Stores, PhD Thesis at Universidade de Lisboa, May. 2018 [bibTex]

MSc Theses: 23

2019

- Cláudia Fiore advised by Miguel Matos and Ricardo Chaves, Providing trust to multi-cloud storage platforms through the blockchain, MSc Thesis, Feb. 2019 [bibTex]

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]
- Paulo Jorge Almeida dos Anjos advised by Miguel Matos and Miguel Correia, Blockchain as a consensus service, MSc Thesis, Nov. 2018 [bibTex]
- João Miguel Soares de Matos Neves advised by Miguel Matos, Container network topology modelling,, MSc Thesis, Nov. 2018 [bibTex]
- Miguel Cândido Viegas advised by Paolo Romano and Miguel Matos, Fine grained transaction scheduling in replicated databases via symbolic execution, MSc Thesis, Nov. 2018 [bibTex]
- Francisco Miguel Polaco Santos advised by Miguel Matos and Rodrigo Rodrigues, Large scale membership and consistency, 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]
- Pedro Guilherme Simões Ribeiro advised by Nuno Santos, Security for Mobile Ticketing Applications, MSc Thesis, Nov. 2018 [bibTex]
- Maria da Loura Casimiro advised by Paolo Romano and João Nuno de Oliveira e Silva, A recommender-based approach to self-tuning of cloud systems, MSc Thesis, Oct. 2018 [bibTex]
- Constantin Zavgorodnii advised by Paulo Ferreira, DTBM - Detecting Travel and Behavioral Mode, MSc Thesis, Oct. 2018 [bibTex]
- Tiago João dos Santos Lopes advised by Paolo Romano, Speculative Read-Write Lock Elision, MSc Thesis, Jul. 2018 [bibTex]
- Rui Nuno Lopes Claro advised by Miguel Pardal and José Portêlo, Big Data Privacy by Design Computation Platform, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- João Ricardo Marques dos Santos advised by Nuno Santos and David Dias, DClaims: A Censorship-Resistant Web Annotations System, MSc Thesis, Jun. 2018 [bibTex]
- Miguel Correia Guerra advised by Miguel Correia, Dynamic Security Analysis using Virtual Machine Introspection, MSc Thesis, Jun. 2018 [bibTex]
- Ricardo Manuel Mota de Moura advised by Miguel Pardal and Miguel Correia, MultiTLS: secure channel with cipher diversity, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Isabel Cristina Monteiro da Costa advised by Miguel Pardal and Miguel Correia, PREMIUM: Private Reactive Multipath Communication Middleware, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Ricardo Miranda advised by Miguel Pardal and António Manuel Raminhos Cordeiro Grilo, Sensor Data Market for the Internet of Things, MSc Thesis at IST-UL, Jun. 2018 [bibTex]
- Pedro Miguel Reis Queiroga Branco Valério advised by Miguel Pardal and António Manuel Raminhos Cordeiro Grilo, Smart Place Manager: provisioning, deployment and monitoring of cloud-based application servers, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Luis Manuel Tavares Jordão Alves advised by Luís Veiga and Sérgio Esteves, Stream-Economics - Resource Efficiency in Flink Stream Processing with Accuracy Awareness and Load-Shedding, MSc Thesis, Jun. 2018 [bibTex]
- João Daniel Jorge Machado advised by Miguel Pardal, Trusted Cooperative Exchange System for Security Vulnerabilities and Exposures, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Anabela Sofia Martins Borges advised by Miguel Correia and Ibéria Vitória Medeiros, Whitebox fuzzing for web application security, MSc Thesis, Jun. 2018 [bibTex]
- Davide Leoni advised by Paolo Romano, Integrating Transactional Memory Support in the TensorFlow Framework, MSc Thesis at Rome University, Jan. 2018 [bibTex]

as Editors

Edited Books: 1

2018

- Aris Gkoulalas-Divanis and Miguel Correia and Mirco Marchetti and Dimiter R. Avresky, editors, Proceedings of the 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), Nov. 2018, IEEE [bibTex]

Other Publications: 1

2018

- José Camacho and Alberto Cunha and Miguel Pardal, editors, IoT Middleware for Precision Agriculture: Workforce Monitoring in Olive Fields , Apr. 2018 [bibTex]

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: 5

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]

2018

- Sérgio Esteves and Gianmarco De Francisci Morales and Rodrigo Rodrigues and Marco Serafini and Luís Veiga, Aion: It’s Never too Late in Event-Time Streams, INESC-ID Tec. Rep. 6/2018, May. 2018 [bibTex]
- Pradeeban Kathiravelu and Ashish Sharma and Helena Galhardas and Peter Van Roy and Luís Veiga, On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research, INESC-ID Tec. Rep. 3/2018, Apr. 2018 [bibTex]
- Sérgio Esteves and João Nuno de Oliveira e Silva and Luís Veiga, Palpatine: Mining Frequent Sequences for Data Prefetching in NoSQL Distributed Key-Value Stores, INESC-ID Tec. Rep. 2/2018, Mar. 2018 [bibTex]