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

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]
- José Dias and António Manuel Raminhos Cordeiro Grilo, Multi-Hop LoRaWAN Uplink Extension: Speci cation and Prototype Implementation, article in Journal of Ambient Intelligence and Humanized Computing, to appear on 2019, Springer [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]
- Inês Alexandra do Côrro Caetano and António Menezes Leitão, Architecture Meets Computation: an Overview of the Evolution of Computational Design Approaches in Architecture, article in Architectural Science Review, Jan. 2019, Taylor & Francis [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]
- Kenan Turbic and Luís M. Correia and Marko Beko, A Mobility Model for Wearable Antennas in Off-Body Communications on Dynamic Users, article in IEEE Access vol. 6 (1) pp. 63635-63648, Dec. 2018 [bibTex]
- Diego K.N. da Silva and Leslye E.C. Eras and António A. Moreira and Luís M. Correia and Fabrício B. Barros and Gervásio P.S. Cavalcante, A Propagation Model for Mixed Paths Using Dyadic Green’s Functions: A Case Study over the River for a City-River-Forest Path, article in IEEE Antennas and Wireless Propagation Letters vol. 17 (12) pp. 2364-2368, Dec. 2018 [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]
- Leslye E.C. Eras and Diego K.N. da Silva and Fabrício B. Barros and Luís M. Correia and Gervásio P.S. Cavalcante, A Radio Propagation Model for Mixed Paths in Amazon Environments for the UHF Band, article in Wireless Communications and Mobile Computing, Nov. 2018 [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]
- Sérgio Sabino and António Manuel Raminhos Cordeiro Grilo, Centralized Unmanned Aerial Vehicle Mesh Network Placement Scheme: A Multi-Objective Evolutionary Algorithm Approach, article in Sensors vol. 18 (4387), Oct. 2018, MDPI [Article] [DOI Article link] [bibTex]
- Manuel Ferreira and Slawomir Ambroziak and Filipe Cardoso and Jaroslaw Sadowski and Luís M. Correia, Fading Modeling in Maritime Container Terminal Environments, article in IEEE Transactions on Vehicular Technology vol. 67 (10) pp. 9087-9096, Oct. 2018, IEEE [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]
- Behnam RouzBehani and Luís M. Correia and Luisa Caeiro, A Service-Oriented Approach for Radio Resource Management in Virtual RANs, article in Wireless Communications and Mobile Computing, Jul. 2018 [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]
- André dos Santos and Bruno Soares and Fan Chen and Martijn Kuipers and Sérgio Sabino and António Manuel Raminhos Cordeiro Grilo and Paulo Rogério Pereira and Mário Serafim Nunes and Augusto Casaca, Characterization of Substation Process Bus Network Delays, article in IEEE Transactions on Industrial Informatics vol. 14 (5) pp. 2085-2094, May. 2018, IEEE [Article] [DOI Article link] [bibTex]
- Sara Garcia and António Menezes Leitão, Shape grammars as design tools: an implementation of a multipurpose chair grammar, article in Artificial Intelligence for Engineering Design, Analysis and Manufacturing vol. 32 (2) pp. 240-255, May. 2018, Cambridge University Press [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]
- Luis Santos and António Menezes Leitão and Luisa Caldas, A comparison of two light-redirecting fenestration systems using a modified modeling technique for Radiance 3-phase method simulations, article in Solar Energy vol. 161 pp. 47 - 63, Jan. 2018 [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: 62

2019

- Duarte Nunes Félix de Oliveira and António Rito Silva and Manuel Portela, Social Media Aware Virtual Editions for the Book of Disquiet, presented at 21st International Conference on Asia-Pacific Digital Libraries (ICADL 2019), Nov. 2019 [DOI Article link] [bibTex]
- Luís Fernando Ambrósio Nunes and Nuno Alexandre Vieira Santos and António Rito Silva, From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts, presented at European Conference on Software Architecture (ECSA), Sep. 2019 [DOI Article link] [bibTex]
- Henrique Neto do Nascimento and Paulo Rogério Pereira, V-GRADIENT: A Density-Aware Geocast Routing Protocol for Vehicular Delay-Tolerant Networks, presented at 10th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DOCEIS’2019), May. 2019 [DOI Article link] [bibTex]
- 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]
- Eduard Sopin and Anastasia Daraseliya and Luís M. Correia, Performance Analysis of the Offloading Scheme in a Fog Computing System, presented at ICUMT 2018 – 10th International Congress on Ultra-Modern Telecommunications and Control Systems, 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]
- Francisco Xavier Amélio Fernandes and Naercio David Pedro Magaia and Paulo Rogério Pereira, Friendship-based Routing Protocol for Delay-Tolerant Networks, presented at 16th International Conference on Intelligent Transport Systems Telecommunications (ITST'2018), Oct. 2018 [DOI Article link] [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]
- Cintia Almeida Barroca and António Manuel Raminhos Cordeiro Grilo and Paulo Rogério Pereira, Improving Message Delivery in UAV-based Delay Tolerant Networks, presented at 16th International Conference on Intelligent Transport Systems Telecommunications (ITST'2018), Oct. 2018 [DOI Article link] [bibTex]
- Afonso Oliveira and Teresa Maria Sá Ferreira Vazão Vasques and Paulo Galão and Marco Várzea, Performance evaluation of a hierarchical low rate emergency system, presented at http://www.itst2018.org/, Oct. 2018 [DOI Article link] [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]
- Elizabete Moreira and Naercio David Pedro Magaia and Paulo Rogério Pereira, Spray and Locate Routing for Vehicular Delay-Tolerant Networks, presented at 16th International Conference on Intelligent Transport Systems Telecommunications (ITST'2018), Oct. 2018 [DOI Article link] [bibTex]
- Mário Serafim Nunes and Rita Alves and Augusto Casaca and Pedro Póvoa and José Botelho, An Internet of Things Based Platform for Real-Time Management of Energy Consumption in Water Resource Recovery Facilities, presented at First IFIP International Cross-Domain Conference, IFIPIoT 2018, Sep. 2018 [bibTex]
- Behnam RouzBehani and Luís M. Correia and Luisa Caeiro, An Optimised RRM Approach with Multi-Tenant Performance Isolation in Virtual RANs, presented at PIMRC 2018 - 29th IEEE Symposium on Personal, Indoor, Mobile and Radio Communications, Sep. 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 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]
- 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]
- 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]
- Mojgan Barahman and Luís M. Correia and Lucio S. Ferreira, A Fair Computational Resource Management Strategy in C-RAN, presented at CoBCom 2018 - International Conference on Broadband Communications for Next Generation Networks and Multimedia Applications, Jul. 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]
- K. Piotrowski and M. Geers and D. Garrido and J. Chen and J. Peralta and Augusto Casaca and M. Gerards, Balancing Energy Production and Consumption in Energy Efficient Neighbourhoods, presented at 5th IEEE International Energy Conference (Energycon 2018), Jun. 2018 [bibTex]
- André dos Santos and Bruno Soares and Chen Fan and Martijn Kuipers and Sérgio Sabino and António Manuel Raminhos Cordeiro Grilo and Paulo Rogério Pereira and Mário Serafim Nunes and Augusto Casaca, Co-Simulation for the Evaluation of IEC 61850 based Protection Schemes, presented at 20th Power Systems Computation Conference (PSCC'2018), Jun. 2018 [DOI Article link] [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]
- Sérgio Sabino and António Manuel Raminhos Cordeiro Grilo, Topology Control of Unmanned Aerial Vehicle (UAV) Mesh Networks: A Multi-Objective Evolutionary Algorithm Approach, presented at DroNet 2018 - 4th ACM Workshop on Micro Aerial Vehicle Networks, Systems, and Applications, 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]
- Kenan Turbic and Slawomir J. Ambroziak and Luís M. Correia, A Body-Shadowing Model for Off-Body and Body-to-Body Communications, presented at 1st Baltic URSI Symposium, May. 2018 [bibTex]
- Pawel Kosz and Slawomir J. Ambroziak and Jacek Stefanski and Krzysztof Cwalina and Luís M. Correia and Kenan Turbic, An Empirical System Loss Model for Body Area Networks in a Passenger Ferry Environment, presented at 1st Baltic URSI Symposium, May. 2018 [bibTex]
- 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]
- José Dias and António Manuel Raminhos Cordeiro Grilo, LoRaWAN multi-hop uplink extension, presented at The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2018), 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]
- Sérgio Sabino and António Manuel Raminhos Cordeiro Grilo, Routing for Ecient Alarm Aggregation in Smart Grids: A Genetic Algorithm Approach, presented at The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018), May. 2018 [bibTex] [PDF]
- Krzysztof Cwalina and Slawomir J. Ambroziak and Piotr Rajchowski and Luís M. Correia, System Loss in UWB Off-Body Communications in a Ferry Environment, presented at 1st Baltic URSI Symposium, 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]
- Kenan Turbic and Slawomir J. Ambroziak and Luís M. Correia, Fading Characteristics for Dynamic Body-to-Body Channels in Indoor and Outdoor Environments, presented at EuCAP 2018 – 12th European Conference on Antennas and Propagation, 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]
- Behnam RouzBehani and Luís M. Correia and Luisa Caeiro, Radio Resource and Service Orchestration for Virtualised Multi-Tenant Mobile Het-Nets, presented at WCNC 2018 - 16th IEEE Wireless Communications and Networking Conference, 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]
- Andrea Marotta and Koteswararao Kondepu and Dajana Cassioli and Cristian Antonelli and Luís M. Correia and Luca Valcarenghi, Software Defined 5G Converged Access as a viable Techno-Economic Solution, presented at OFC 2018 – Optical Fibre Communication Conference, Mar. 2018 [bibTex]
- Hugo Silva and Luís M. Correia and Pompeu Costa, Design of C-RAN Fronthaul for Existing LTE Networks, presented at ICIN 2018 – 21st Conference on Innovation in Clouds, Internet and Networks, Feb. 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: 9

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]
- Kenan Turbic advised by Luís M. Correia, Power Efficient Communications in Body Area Networks within Smart Cities Infrastructures, PhD Thesis at Instituto Superior Tecnico, Technical University of Lisbon, May. 2019 [bibTex]
- Richard Joaquín Gil Martinez advised by Luis Rodrigues, Aluno de Doutoramento, PhD Thesis, Mar. 2019 [bibTex]
- Behnam Rouzbehani advised by Luís M. Correia, Load-Balancing Mechanisms for C-RAN, PhD Thesis at Instituto Superior Tecnico, Technical University of Lisbon, 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: 51

2019

- Nuno Manuel Bagulho Gonçalves advised by António Rito Silva and Manuel Portela, A Product Family for Digital Humanities Repositories, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Pedro Miguel Filipe Santa Rita Monteiro advised by António Rito Silva, Collaborative software development: from goals to coding, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Henrique Neto do Nascimento advised by Paulo Rogério Pereira, Geocast Routing in Vehicular Delay-Tolerant Networks , MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]
- 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

- Filipe Santos Nobre da Costa advised by Helena Galhardas and João Carlos Serrenho Dias Pereira, Physician-friendly predictive model: application to vasopressors administration and mechanical ventilation prediction, MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Dec. 2018 [bibTex]
- Diogo Gonçalves advised by António Manuel Raminhos Cordeiro Grilo, 4G Network Patch using Drones, MSc Thesis at IST-UL, Nov. 2018 [bibTex]
- 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]
- Alexandre Vieira advised by Luís M. Correia, Analysis of 5G Cellular Radio Network Deployment over several Scenarios, MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, Nov. 2018 [bibTex]
- Anna Agamyrzyansc advised by Luís M. Correia, Analysis on the limits of capacity and coverage extension of ad-hoc UAVs networks , MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, Nov. 2018 [bibTex]
- Duarte Nunes Félix de Oliveira advised by António Rito Silva and Manuel Portela, Automatic Collection of Citations in the LdoD Archive, MSc Thesis at University of Lisbon, 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]
- Ismael Belchior advised by Luís M. Correia, Evaluation of 5G Cellular Network Implementation Over an Existing LTE One , MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, Nov. 2018 [bibTex]
- Pedro Delgado advised by Luís M. Correia, Evaluation of Train Communications in Bridges and other Metallic Structures , MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, 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]
- André Gonçalves Ribeiro advised by Luís M. Correia, Analysis of Antennas’ Locations on Trains for Mobile Communications, MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, Oct. 2018 [bibTex]
- Guilherme Filipe Pereira Querido Ramos advised by António Rito Silva, Blended Workflow Organizational Perspective, MSc Thesis at University of Lisbon, Oct. 2018 [bibTex]
- Gonçalo Medeiros Serapicos Montalvão Marques advised by António Rito Silva and Manuel Portela, Collect Citation in the LdoD Archive Using Crowdsourcing, MSc Thesis at University of Lisbon, Oct. 2018 [bibTex]
- Constantin Zavgorodnii advised by Paulo Ferreira, DTBM - Detecting Travel and Behavioral Mode, MSc Thesis, Oct. 2018 [bibTex]
- Miguel Ângelo dos Santos Cruz advised by António Rito Silva, Reusable Framework for Digital Humanities Repositories, MSc Thesis at University of Lisbon, Oct. 2018 [bibTex]
- Diogo Rafael Lopes Ferreira advised by António Rito Silva and Nuno Almeida, Workflow Engine for Earth Observation Services, MSc Thesis, Oct. 2018 [bibTex]
- Luís Fernando Ambrósio Nunes advised by António Rito Silva, From a Monolithic to a Microservices architecture - Hierarchical clustering modularity re-engineering through transactional contexts, MSc Thesis at University of Lisbon, Sep. 2018 [bibTex]
- Tiago João dos Santos Lopes advised by Paolo Romano, Speculative Read-Write Lock Elision, MSc Thesis, Jul. 2018 [bibTex]
- André Rabaça advised by António Manuel Raminhos Cordeiro Grilo, Aplicação de Tecnologia LoRaWAN à Monitorização de Redes de Distribuição de Energia, MSc Thesis at IST-UL, Jun. 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]
- Frederico Miguel Castelo Madeira advised by António Rito Silva, Blended workflow access control perspective, MSc Thesis at University of Lisbon, 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]
- António Miguel Falcão Barbosa Bacelar de Sousa advised by Renato Jorge Caleira Nunes and Paulo Rogério Pereira, Development of a Domotic Module for DomoBus, MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, 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]
- Bruno Pincho advised by António Manuel Raminhos Cordeiro Grilo, Routing Heuristics in LTE-Advanced Networks, MSc Thesis at IST-UL, 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]
- André Miguel Pereira Rodrigues advised by Rui Santos Cruz, XRAY for JIRA Cloud, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Rute Ramalho Santos advised by Luís M. Correia, Real-time Emulation of Vehicular Non-stationary Channels, MSc Thesis at Instituto Superior Tecnico, Technical University of Lisbon, May. 2018 [bibTex]
- Jorge Simão Madeira Cordeiro de Aragão Goulart advised by Helena Galhardas and João Carlos Serrenho Dias Pereira, Sistema de Gestão de Informação do IPFN: Gestão de Recursos Humanos e Suporte Informático, MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Apr. 2018 [bibTex]
- André Brito da Cruz Eusébio advised by Renato Jorge Caleira Nunes and Paulo Rogério Pereira, Domotic Platform for Energy Management, MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, Feb. 2018 [bibTex]
- Nkusu Felicidade Domingos Quivuna advised by Rui Santos Cruz, Estudo sobre Mecanismos de Segurança Aplicáveis à Difusão de Conteúdos Multimédia Adaptativos e Escaláveis em Redes Peer-to-Peer, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jan. 2018 [bibTex]
- Davide Leoni advised by Paolo Romano, Integrating Transactional Memory Support in the TensorFlow Framework, MSc Thesis at Rome University, Jan. 2018 [bibTex]
- Miguel Oliveira Rodrigues dos Santos advised by Rui Santos Cruz and Paulo Rogério Pereira, Services Load Balancer for a Sofware Defined IXP, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jan. 2018 [bibTex]
- João Pedro Taveira Pinto Silva advised by Rui Santos Cruz and Martijn Kuipers, Wireless Sensor Network for Smartgrid Applications - (Rede de Sensores sem Fios para Aplicac¸oes de Smartgrid), MSc Thesis at Wireless Sensor Network for Smartgrid Applications - (Rede de Sensores sem Fios para Aplicac¸oes de Smartgrid), Jan. 2018 [bibTex]

Internships: 1

2018

- Ramona Di Pompeo advised by Luís M. Correia and Fortunato Santucci, Characterisation of BAN Communications channel in indoor environments in LTE-A deployments for a moving body, short term traineeship at Instituto Superior Tecnico, Technical University of Lisbon, Jan. 2018 [bibTex]

as Editors

Edited Books: 2

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]
- Teresa Maria Sá Ferreira Vazão Vasques and Fernando Henrique Corte Real Mira da Silva and Paulo Rogério Pereira, editors, Proceedings of 2018 16th International Conference on Intelligent Transport System Telecommunications (ITST), Oct. 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]