Publications

Books

Books: 1

2017

- Miguel Correia and Paulo Jorge Sousa, Seguranca no Software, book, Sep. 2017, NCA [bibTex]

Book Chapters: 3

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]

2017

- José Simão and Luís Veiga, A taxonomy of adaptive resource management mechanisms in virtual machines: recent progress and challenges, chapter of Cloud Computing, Jun. 2017, Springer [bibTex]
- Gonçalo Avelar and José Simão and Luís Veiga, Cloud-supported certification for energy-efficient web browsing and services, chapter of Cloud Computing, Jun. 2017, Springer [bibTex]

Articles

International Journal Articles: 16

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]
- 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]
- 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 pp. 1-23, Sep. 2018, Springer [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]

2017

- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, A study on Garbage Collection Algorithms for Big Data Environments, article in ACM Computing Surveys, Dec. 2017, ACM [bibTex]
- Sérgio Esteves and Nico Janssens and Bart Theeten and Luís Veiga, Empowering Stream Processing through Edge Clouds, article in SIGMOD Record, to appear on 2017, ACM [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Fernando Luís Todo-Bomb Ferreira da Costa and Paulo Ferreira, freeCycles - Efficient Multi-Cloud Computing Platform., article in Journal of Grid Computing., Nov. 2017, Springer [bibTex]
- Luís Veiga and Didier El Baz and João M.P.Cardoso, Recent advances in computational science and engineering research (Editorial), article in Journal of Computational Science vol. 23 pp. 118, Nov. 2017, Elsevier [DOI Article link] [bibTex]
- Pedro Sá da Costa and Fernando Ramos and Miguel Correia, On the Design of Resilient Multicloud MapReduce, article in IEEE Cloud Computing vol. 4 (4) pp. 74-82, Jul. 2017 [Article] [DOI Article link] [bibTex]
- Ibrahim Tariq Javed and Rebecca Copeland and Noel Crespi and Marc Emmelmann and Ancuta Corici and Ahmed Bouabdallah and Tuo Zhang and Saad El Jaouhari and Felix Beierle and Sebastian Göndör and Axel Küpper and Kevin Corre and Jean-Michel Crom and Frank OberleIngo Friese and Ana Caldeira and Gil Dias and Nuno Santos and Ricardo Chaves and Ricardo Lopes Pereira, Cross-domain identity and discovery framework for web calling services, article in Annals of Telecommunications, Jun. 2017, Springer Paris [DOI Article link] [bibTex] [PDF]
- Nuno Miguel Lourenço Diegues and Paolo Romano and Stoyan Garbatov, Seer: Probabilistic Scheduling for Hardware Transactional Memory, article in ACM Trans. Comput. Syst vol. 35 (3) pp. 1-41, Mar. 2017, ACM [DOI Article link] [bibTex]
- Hylson Netto and Lau Cheuk Lung and Miguel Correia and Aldelir Fernando Luiz and Luciana Moreira Sá de Souza, State machine replication in containers managed by Kubernetes, article in Journal of Systems Architecture vol. 73 pp. 1-60, Feb. 2017 [bibTex]

International Conferences: 62

2018

- 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]
- 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]
- 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]
- 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]

2017

- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, OLM2: Automatic Profiling for Object Lifetime-Aware Memory Management for HotSpot Big Data Applications., presented at ACM/IFIP/USENIX 18th International Middleware Conference 2017, Dec. 2017 [bibTex]
- David Rogério Matos and Miguel Pardal and Miguel Correia, Rectify: Black-Box Intrusion Recovery in PaaS Clouds, presented at Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, Dec. 2017 [bibTex]
- André Joaquim and Miguel Pardal and Miguel Correia, Vulnerability-Tolerant Transport Layer Security, presented at Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS), Dec. 2017 [bibTex]
- Miguel E. Coimbra and Mennan Selimi and A. P. Francisco and Felix Freitag and Luís Veiga, Gelly-Scheduling: Distributed Graph Processing for Service Placement in Community Networks, presented at 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Nov. 2017 [bibTex]
- Miguel E. Coimbra, Gelly-Scheduling: Distributed Graph Processing for Service Placement in Community Networks, presented at 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Nov. 2017 [bibTex]
- Miguel Elias Bastos Pires and Srivatsan Ravi and Rodrigo Rodrigues, Generalized Paxos Made Byzantine (and Less Complex), presented at Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Nov. 2017 [bibTex]
- Naercio David Pedro Magaia and Paulo Rogério Pereira and Miguel Correia, REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks, presented at 20th ACM International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, Nov. 2017 [DOI Article link] [bibTex]
- David Dias and Luís Veiga, rowserCloud.js - A federated community cloud served by a P2P overlay network on top of the web platform, presented at 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Nov. 2017 [bibTex]
- Richard Joaquín Gil Martinez and Zhongmiao Li and Antónia Lopes and Luis Rodrigues, AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources, presented at The 16th IEEE International Symposium on Network Computing and Applications, Oct. 2017 [DOI Article link] [bibTex]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, DroidPosture: A Trusted Posture Assessment Service for Mobile Devices, presented at 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct. 2017 [bibTex]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, Hail to the Thief: Protecting Data from Mobile Ransomware with ransomSafeDroid, presented at 16th IEEE International Symposium on Network Computing and Applications, Oct. 2017 [bibTex]
- Duarte Tovar de Carvalho Patrício and Rodrigo Fraga Barcelos Paulus Bruno and José Simão and Paulo Ferreira and Luís Veiga, Locality-Aware GC Optimisations for Big Data Workloads, presented at Cloud and Trusted Computing 2017 (C&TC 2017), International Symposium on Secure Virtual Infrastructures,, Oct. 2017 [bibTex]
- Sileshi Demesie Yalew and Pedro Mendonça and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps, presented at 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct. 2017 [bibTex]
- Miguel Matos, A practical framework for privacy-preserving NoSQL databases., presented at International Symposium on Reliable Distributed Systems, Sep. 2017 [bibTex]
- Annamaria Pompili and Alberto Abad and Paolo Romano and Isabel P. Martins and Rita Cardoso and Helena Santos and Joana Carvalho and Isabel Guimeraes and Joaquim J Ferreira, Automatic Detection of Parkinson's Disease: An Experimental Analysis of Common Speech Production Tasks Used for Diagnosis, presented at International Conference on Text Speech and Dialogue (TSD), Sep. 2017 [DOI Article link] [bibTex] [PDF]
- Artur José Lourenço Fonseca and José Simão and Luís Veiga, FairCloud: Truthful Cloud Scheduling with Continuous and Combinatorial Auctions, presented at Cloud and Trusted Computing - International Symposium on Secure Virtual Infrastructures, Sep. 2017 [bibTex]
- Filipe Bastos de Freitas and João Leitão and Nuno Preguiça and Rodrigo Rodrigues, Fine-Grained Consistency Upgrades for Online Services, presented at 36th IEEE Symposium on Reliable Distributed Systems, SRDS 2017, Sep. 2017 [bibTex]
- Duarte Tovar de Carvalho Patrício and José Simão and Luís Veiga, Locality-Aware GC Optimisations for Java Big Data Workloads, presented at Cloud and Trusted Computing 2017 - International Symposium on Secure Virtual Infrastructures, Sep. 2017 [bibTex]
- Paulo Nunes and Ibéria Vitória de Sousa Medeiros and José Fonseca and Nuno Neves and Miguel Correia and Marco Vieira, On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study, presented at 13th European Dependable Computing Conference (EDCC 2017), Sep. 2017 [bibTex]
- José Simão and Sérgio Esteves and Luís Veiga, SmartGC: Online Memory Management Prediction for PaaS Cloud Models, presented at 25th International Conference on Cooperative Information Systems, Sep. 2017 [bibTex]
- Erick Lavoie and Laurie Hendren and Miguel Correia, Xor-Based Topology Management Beyond Kademlia, presented at 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep. 2017 [bibTex]
- Zhongmiao Li and Peter Van Roy and Paolo Romano, Enhancing Throughput of Partially Replicated State Machines via Multi-Partition Operation Scheduling, presented at The 16th IEEE International Symposium on Network Computing and Applications (NCA), Aug. 2017 [bibTex]
- Bruno Miguel das Neves Dantas and Calmenelias Pino Fleitas and Alexandre Teixeira de Almeida and João Nuno Gonçalves Forja and A. P. Francisco and José Simão and Cátia Vaz, NGSPipes: Fostering Reproducibility and Scalability in Biosciences, presented at 8th International Conference on Bioinformatics, Computational Biology, and Health Informatics, Aug. 2017 [bibTex]
- Pradeeban Kathiravelu and Yiru Chen and Ashish Sharma and Helena Galhardas and Peter Van Roy and Luís Veiga, On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration, presented at VLDB Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH), Aug. 2017 [bibTex] [PDF]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, T2Droid: A TrustZone-based Dynamic Analyser for Android Applications, presented at 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Aug. 2017 [bibTex]
- Miguel Rodrigues Bento Barros da Costa and Nuno Miguel de Oliveira Duarte and Nuno Miguel Pereira dos Santos and Paulo Ferreira, TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenario, presented at ACM Eighteenth International Symposium on Mobile ad Hoc Networking and Computing (MobiHoc'17), Jul. 2017 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues, DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams, presented at The 17th Privacy Enhancing Technologies Symposium, Jul. 2017 [bibTex]
- Zhongmiao Li and Peter Van Roy and Paolo Romano, Exploiting speculation in partially replicated transactional data stores, presented at Symposium on Cloud Computing (SoCC), Jul. 2017 [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 MessagingApplications from Physical Memory., presented at The 14th International Conference on Security and Cryptography, Jul. 2017 [bibTex]
- Miguel B. Costa and Nuno O. Duarte and Nuno Santos and Paulo Ferreira, TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios, presented at International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Jul. 2017 [bibTex]
- Angel Manuel Bravo Gestoso and Luis Rodrigues and Chaturi Lanchana Rubasinghe Gunawardhana, Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication, presented at USENIX Annual Technical Conference, Jul. 2017 [bibTex]
- Arnaldo Gouveia and Miguel Correia, A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection, presented at International Work-Conference on Artificial Neural Networks (IWANN), Jun. 2017 [bibTex]
- Daniel Castro and Paolo Romano and Diego Didona and Willy Zwaenepoel, An Analytical Model of Hardware Transactional Memory, presented at 25th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Jun. 2017 [bibTex]
- Paulo Chainho and Steffen Drüsedow and Ricardo Lopes Pereira and Ricardo Chaves and Nuno Santos and Kay Haensge and Anton Roman Portabales, Decentralized communications: Trustworthy interoperability in peer-to-peer networks, presented at 2017 European Conference on In Networks and Communications (EuCNC), Jun. 2017 [bibTex] [PDF]
- Ibéria Medeiros and Miguel Beatriz and Nuno Ferreira Neves and Miguel Correia, Demonstrating a Tool for Injection Attack Prevention in MySQL, presented at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2017 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Luis Oliveira and Paulo Ferreira, NG2C: Pretenuring N-Generational GC for HotSpot Big Data Applications, presented at s. International ACM - SIGPLAN Symposium on Memory Management (ISMM), Jun. 2017 [bibTex]
- Naercio David Pedro Magaia and Carlos Borrego and Paulo Rogério Pereira and Miguel Correia, PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks, presented at IFIP Networking 2017, Jun. 2017 [DOI Article link] [bibTex]
- Paulo Chainho and Anastasius Gavras and Steffen Druesedow and Ricardo Lopes Pereira and Ricardo Chaves and Nuno Santos and Bernardo Marques Graça, reTHINK Core Framework, a New Way for Establishing Communication Channels Between Endpoints, presented at European Conference on Networks and Communications (EuCNC), Jun. 2017 [bibTex]
- Pedro Sá da Costa and Fernando Ramos and Miguel Correia, Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce, presented at 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May. 2017 [bibTex]
- Emmanouil Dimogerontakis and João Neto and Roc Meseguer and Leandro Navarro and Luís Veiga, Client-Side Routing-Agnostic Gateway Selection for heterogeneous Wireless Mesh Networks, presented at IFIP/IEEE International Symposium on Integrated Network Management (IM 2017), May. 2017 [bibTex]
- Emmanouil Dimogerontakis and Roc Meseguer and Leandro Navarro and S.F. Ochoa and Luís Veiga, Community Sharing of Spare Network Capacity, presented at IEEE International Conference on Networking, Sensing and Control (ICNSC 2017), May. 2017 [bibTex]
- Emmanouil Dimogerontakis and Roc Meseguer and Leandro Navarro and S.F. Ochoa and Luís Veiga, Design Trade- offs of Crowdsourced Web Access in Community Networks, presented at IEEE 21st International Conference on Computer Supported Cooperative Work in Design (CSCWD 2017), May. 2017 [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, presented at 31st International Symposium on DIStributed Computing (DISC), May. 2017 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, SD-CPS: Taming the challenges of Cyber-Physical Systems with a Software-Defined approach, presented at IEEE 4th International Conference on Software Defined Systems (SDS 2017), May. 2017 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, SDN middlebox architecture for resilient transfers, presented at IEEE 15th Integrated Network and Service Management (IM 2017), May. 2017 [bibTex]
- Richard Joaquín Gil Martinez and Antónia Lopes and Luis Rodrigues, Automatic Generation of Policies to Support Elastic Scaling in Cloud Environments, presented at The 32nd ACM/SIGAPP Symposium on Applied Computing (SAC), Apr. 2017 [bibTex]
- Henrique Moniz and João Leitão and Ricardo Dias and Johannes Gehrke and Nuno Preguiça and Rodrigo Rodrigues, Blotter: Low Latency Transactions for Geo-Replicated Storage, presented at Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Apr. 2017 [bibTex]
- Mennan Selimi and Llorenç Cerdà-Alabern and Marc Sanchez Artigas and Felix Freitag and Luís Veiga, Practical Service Placement Approach for Microservices Architecture, presented at IEEE/ACM 17th International Symposium On Cluster, Cloud And Grid (CCGRID 2017), Apr. 2017 [bibTex]
- Angel Manuel Bravo Gestoso and Luis Rodrigues and Peter van Roy, Saturn: a Distributed Metadata Service for Causal Consistency, presented at EuroSys, Apr. 2017 [DOI Article link] [bibTex]
- Xavier Vilaça and Luis Rodrigues, Accountability in Dynamic Networks, presented at The 18th International Conference on Distributed Computing and Networking, Jan. 2017 [DOI Article link] [bibTex]
- Xavier Vilaça and Luis Rodrigues and João Silva and Hugo Miranda, FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming, presented at The 18th International Conference on Distributed Computing and Networking , Jan. 2017 [DOI Article link] [bibTex]
- Daniel Castro and Diego Didona and Paolo Romano, Towards White-Box Modeling of Hardware Transactional Memory Systems, presented at 12th ACM SIGPLAN Workshop on Transactional Computing / 2017 Workshop on the Theory of Transactional Memory (TRANSACT), Jan. 2017 [bibTex]

National Conferences: 6

2017

- Carlos Carvalho and Daniel Porto and Luis Rodrigues and Alysson Bessani, Adaptacao Dinamica de Protocolos de Consenso Bizantino, presented at Actas do nono Simposio de Informatica (Inforum), Oct. 2017 [bibTex]
- Miguel Pasadinhas and Daniel Porto and Antonia Lopes and Luis Rodrigues, Adaptacao Guiada por Politicas de Sistemas Tolerantes a Faltas Bizantinas, presented at Actas do nono Simposio de Informatica (Inforum), Oct. 2017 [bibTex]
- Bernardo Palma and Daniel Porto and Luis Rodrigues, Monitorizacao de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptacao Dinamica, presented at Actas do nono Simposio de Informatica (Inforum), Oct. 2017 [bibTex]
- Diogo Leandro Palma Monteiro and Paulo Ferreira, TrustedVote - Trusted Computing for Internet Voting, presented at INFORUM - nformatics Symposium, Oct. 2017 [bibTex]
- Godinho Quissico and Daniel Castro and João Barreto, PART: Árvore ART em Memória Persistente, presented at Inforum, Sep. 2017 [bibTex]
- Pedro Marcelo Pires Alcobia and João Barreto, Sistema de guarda de bicicletas em meio urbano, presented at Inforum, Sep. 2017 [bibTex]

National Journal Articles: 1

2017

- José Manuel Nunes Salvador Tribolet and Paulo Ferreira and Miguel Correia and Carlos Nuno da Cruz Ribeiro and Pedro Adão and Nelson Escravana., Cybersecurity: the role of informatics engineering, article in Revista da Ordem dos Engenheiros, May. 2017 [Article] [bibTex]

Dissertations

PhD Theses: 5

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]

2017

- Pedro Sá da Costa advised by Miguel Correia and Fernando Ramos, Dependable MapReduce in a Cloud-of-Clouds, PhD Thesis at Universidade de Lisboa, Nov. 2017 [bibTex]
- Naercio David Pedro Magaia advised by Paulo Rogério Pereira and Miguel Correia, Efficient and Secure Routing in Wireless Ad Hoc Networks, PhD Thesis at Instituto Superior Técnico, Univesity of Lisbon, Jul. 2017 [bibTex]
- Emmanouil Dimogerontakis advised by Leandro Navarro (UPC) and Luís Veiga, Internet Sharing in Community Networks, PhD Thesis at University Polytechnic of Catalunya (UPC) and Instituto Superior Técnico, ULisboa, May. 2017 [bibTex]
- Mennan Selimi advised by Felix Freitag (UPC) and Luís Veiga, On the Service Placement in Community Network Micro-Clouds, PhD Thesis at University Polytechnic of Catalunya (UPC) and Instituto Superior Técnico, ULisboa, May. 2017 [bibTex]

MSc Theses: 35

2018

- 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]

2017

- Miguel Neves Pasadinhas advised by Luis Rodrigues, Policy-Based Adaptation of Byzantine Fault Tolerant Systems, MSc Thesis at Universidade de Lisboa, Dec. 2017 [bibTex]
- João Manuel Policarpo Moreira advised by Miguel Pardal and Helena Galhardas, Comparing software stacks for Big Data batch processing, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2017 [bibTex]
- Filipe Duarte Bento Custódio advised by Ricardo Chaves and Nuno Santos, Crypto Cloud , MSc Thesis, Nov. 2017 [bibTex]
- Sérgio da Silva Mendes advised by Luís Veiga and José Simão, Energy4Cloud, MSc Thesis, Nov. 2017 [bibTex]
- Pedro Marcelo Pires Alcobia advised by João Barreto, Estacionamento seguro para bicicletas em meio urbano, MSc Thesis, Nov. 2017 [bibTex]
- Miguel Elias Bastos Pires advised by Rodrigo Rodrigues, Generalized Paxos made Byzantine, Visigoth and Less Complex, MSc Thesis, Nov. 2017 [bibTex]
- Pedro Miguel dos Santos Mendonça advised by Miguel Correia and Shileshi Yalew, Software Authenticity Protection in Smartphones using ARM Trustzone, MSc Thesis, Nov. 2017 [bibTex]
- João Ricardo Pais Ferreira advised by Miguel Pardal, SureThing - User Device Location Certification, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2017 [bibTex]
- Diogo Miguel Pardal Calado advised by Miguel Pardal, This4That - A Secure incentive scheme for Internet of Things data sharing, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2017 [bibTex]
- André Santos Tavares advised by Rodrigo Rodrigues, Variable Data Consistency in Parse Server, MSc Thesis at Instituto Superior Técnico, Nov. 2017 [bibTex]
- Andriy Zabolotnyy advised by Paulo Ferreira, BikeApp - Detecting Cyclists Activity and Location using Bluetooth Low Energy Technology, MSc Thesis, Oct. 2017 [bibTex]
- Bernardo Brito da Palma advised by Luis Rodrigues, Byzantine Fault Tolerant Monitoring of Distributed Systems, MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
- Artur José Lourenço Fonseca advised by Luís Veiga and José Simão, Cloud-Auctions, MSc Thesis, Oct. 2017 [bibTex]
- Carlos Eduardo Alves Carvalho advised by Luis Rodrigues, Dynamic Adaptation of Byzantine Fault Tolerant Protocols, MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
- Nuno Fangueiro advised by Paolo Romano, Exploiting Hardware Transactional Memory to Accelerate Concurrent Spatio-Temporal Indexes, MSc Thesis at Ist, Lisbon University , Oct. 2017 [bibTex]
- Ricardo Jorge Lopes Abreu advised by Paulo Ferreira, GeoFriends-Recommendation System in Location Based Social Networks, MSc Thesis, Oct. 2017 [bibTex]
- Pedro Miguel Marcos Joaquim advised by Luis Rodrigues, Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures, MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
- Tomás Costa advised by António Manuel Raminhos Cordeiro Grilo and Paulo Pereira, Peer-to-peer Communication in Android Devices: Web Access over na Ad Hoc Network, MSc Thesis at IST-UL, Oct. 2017 [bibTex]
- Carlos Ribeiro advised by Paolo Romano and Bruno Martins, Scalable and Memory-Efficient Approaches for Spatial Data Downscaling Leveraging Machine Learning, MSc Thesis at Ist, Lisbon University , Oct. 2017 [bibTex]
- Diogo Leandro Palma Monteiro advised by Paulo Ferreira, TrustedVote-Trusted Computing for Internet Voting, MSc Thesis, Oct. 2017 [bibTex]
- Duarte Miguel Pais Alves Baptista advised by João Barreto, A new approach to organization and tracking of Walking School Buses, MSc Thesis, Jun. 2017 [bibTex]
- André Santos advised by Paolo Romano, A recommendation system approach to online tuning of Transactional Memory, MSc Thesis at Ist, Lisbon University , May. 2017 [bibTex]
- António Maria de Sousa Nunes Marques Pinto advised by João Barreto and Paulo Ferreira, Promoting urban bicycle use through next-generation cycle track-and-score systems, MSc Thesis, May. 2017 [bibTex]
- Rui Diogo David dos Santos advised by Paulo Ferreira and João Barreto, Multrack: A Framework for Using Multiple Location Technologies Simultaneously, MSc Thesis, Feb. 2017 [bibTex]
- Ivo Lopes Pinto advised by Miguel Correia and Paulo Jorge Sousa, Security Risks in Healthcare, MSc Thesis, Feb. 2017 [bibTex]

Graduation Theses: 1

2017

- Humberto Silva and João Penas advised by José Simão, GeoDroid - Sistema de Apoio a Trabalho de Campo de Geologia, Graduation Thesis at Instituto Superior de Engenharia de Lisboa, Jul. 2017 [bibTex]

as Editors

Other Publications: 1

2017

- Rui Policarpo Duarte and Daniel Porto and João Ferreira Loff and Rodrigo Rodrigues and Luis Ceze, editors, Making data center computations fast, but not so furious, Apr. 2017 [bibTex]

Reports

Technical Reports: 9

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]

2017

- Daniel Castro and Paolo Romano and João Barreto, Commodity Hardware Transactions in Persistent Memory, INESC-ID Tec. Rep. 6/2017, Jun. 2017 [bibTex]
- Duarte Tovar de Carvalho Patrício and José Simão and Luís Veiga, Gang-GC: Locality-aware Parallel Data Placement Optimizations for Key-Value Storages, INESC-ID Tec. Rep. 5/2017, Feb. 2017 [bibTex]
- Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Gelly-Scheduling: Distributed Graph Processing for Network Service Placement, INESC-ID Tec. Rep. 4/2017, Feb. 2017 [bibTex]