Publications

Books

Books: 1

2017

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

Book Chapters: 5

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]

2016

- 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: Principles, Systems and Applications, Oct. 2016, Springer [bibTex]
- José Simão and Luís Veiga, Adaptive Mechanisms and Techniques for Cloud Execution Infrastructures and Platforms, chapter of Cloud Computing: Principles, Systems and Applications, Oct. 2016, Springer [bibTex]

Articles

International Journal Articles: 25

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]

2016

- Sebastiano Peluso and Pedro Ruivo and Paolo Romano and Francesco Quaglia and Luis Rodrigues, GMU: Genuine Multiversion Update-Serializable Partial Data Replication, article in IEEE Transactions on Parallel and Distributed Systems, Oct. 2016 [DOI Article link] [bibTex]
- José Simão and Luís Veiga, Partial Utility-driven Scheduling for Flexible SLA and Pricing Arbitration in Cloud, article in IEEE Transactions on Cloud Computing vol. 4 (4) pp. 467-480, Oct. 2016, IEEE [DOI Article link] [bibTex]
- Mennan Selimi and Felix Freitag and Llorenç Cerdà-Alabern and Luís Veiga, Performance Evaluation of a Distributed Storage Service in Community Network Clouds, article in Concurrency and Computation: Practice and Experience vol. 28 (11) pp. 3131-3148, Aug. 2016, Wiley [Article] [DOI Article link] [bibTex]
- Alysson Bessani and Nuno Ferreira Neves and Wagner Dantas and Alexandre Fonseca and Rui Manuel Ramos Teixeira da Silva and Pedro Luz and Miguel Correia, JITeR: Just-in-time application-layer routing, article in Computer Networks vol. 104 pp. 122-136, Jul. 2016, Elsevier [bibTex] [PDF]
- Leila Sharifi and Llorenç Cerdà-Alabern and Felix Freitag and Luís Veiga, Energy Efficient Cloud Service Provisioning: Keeping Data Center Granularity in Perspective, article in Journal of Grid Computing vol. 14 (2) pp. 299–325, Jun. 2016, Springer [Article] [DOI Article link] [bibTex]
- Nuno Machado and Daniel Quinta and Brandon Lucia and Luis Rodrigues, Concurrency Debugging with Differential Schedule Projections, article in ACM Transactions on Software Engineering and Methodology vol. 25, Apr. 2016, ACM [bibTex]
- Ibéria Vitória de Sousa Medeiros and Nuno F. Neves and Miguel Correia, Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining, article in IEEE Transaction on Reliability vol. 65 (3) pp. 54-69, Mar. 2016 [bibTex] [PDF]
- Valter Balegas and Cheng Li and Mahsa Najafzadeh and Daniel Porto and Allen Clement and Sergio Duarte and C. Ferreira and Johannes Gehrke and João Leitão and Nuno Preguiça and Rodrigo Rodrigues and Marc Shapiro and Viktor Vafeiadis, Geo-Replication: Fast If Possible, Consistent If Necessary, article in IEEE Data Eng. Bull. vol. 39 (1) pp. 81-92, Mar. 2016, IEEE [bibTex]
- Sérgio Esteves and Luís Veiga, WaaS: Workflow-as-a-Service for the Cloud with Scheduling of Continuous and Data-intensive Workflows, article in Computer Journal, ISSN 0010-4620 vol. 59 (3) pp. 371-383, Mar. 2016, Oxford University Press [DOI Article link] [Supplementary Material] [bibTex]

International Conferences: 108

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]

2016

- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, ALMA-GC-assisted JVM Live Migration for Java Server Applications, presented at ACM/IFIP/USENIX 17th International Middleware Conference 2016, Dec. 2016 [bibTex]
- João Barreto and Miguel Rodrigues Bento Barros da Costa and Paulo Ferreira and , João Bernardino and Bossuyt Evelien and Jan Christiaens and Nick Deham and Elke Franchois and Vleugels Ilse, Increasing Bicycle Usage in Smart Cities, presented at International Workshop on SmartCities: People, Technology and Data (IWSC16), in conjunction with 2016 ACM/IFIP/USENIX Middleware, Dec. 2016 [bibTex]
- Miguel Carvalho and João Nuno de Oliveira e Silva, RConnected - a middleware for Mobile Services in IoT Environments, presented at ACM/IFIP/USENIX Middleware 2016, Dec. 2016 [DOI Article link] [bibTex]
- Leila Sharifi and Felix Freitag and Luís Veiga, ARTA: An Economic Middleware to Exchange Pervasive Energy and Computing Resources, presented at IEEE International Conference on Smart Grid Communications (SmartGridComm 2016): , Nov. 2016 [bibTex]
- Diogo Miguel Marcos Raposo and Miguel Pardal and Luis Rodrigues and Miguel Correia, MACHETE: Multi-path Communication for Cloud Security, presented at The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Oct. 2016 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, Selective Redundancy in Network-as-a-Service: Differentiated QoS in Multi-tenant Clouds, presented at International Workshop on Enterprise Integration, Interoperability and Networking (EI2N 2016), Oct. 2016 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, Software-Defined Simulations for Continuous Development of Cloud and Data Center Networks, presented at 24th International Conference on Cooperative Information Systems (CoopIS 2016), , Oct. 2016 [bibTex]
- André Negrão and Luís Veiga and Paulo Ferreira, Task Based Load Balancing for Cloud Aware Massively Multiplayer Online Games, presented at 16th IEEE International Symposium on Network Computing and Applications (IEEE NCA16), Oct. 2016 [bibTex]
- Daniel Caixinha and Pradeeban Kathiravelu and Luís Veiga, ViTeNA: An SDN-based virtual network embedding algorithm for multi-tenant data centers, presented at 16th IEEE International Symposium on Network Computing and Applications (IEEE NCA16), Oct. 2016 [bibTex]
- André Joaquim and Miguel Pardal and Miguel Correia, vtTLS: A Vulnerability-Tolerant Communication Protocol, presented at 15th IEEE International Symposium on Network Computing and Applications, Oct. 2016 [bibTex]
- Tiago Brito and Nuno O. Duarte and Nuno Santos, ARM TrustZone for Secure Image Processing on the Cloud, presented at 35th Symposium on Reliable Distributed Systems (SRDS) Workshops, Sep. 2016 [bibTex]
- Sharareh Moghadam Monfared and Daniel Andrade and Luis Rodrigues and João Nuno de Oliveira e Silva, BioALeg-Enabling Biometric Authentication in Legacy Web Sites, presented at Workshop on Mobility and Cloud Security & Privacy (WMCSP 2016) - in conjunction with SRDS 2016:, Sep. 2016 [DOI Article link] [bibTex]
- Karan Hamirshi Balu and Miguel Pardal and Miguel Correia, DARSHANA: Detecting Route Hijacking For Communication Confidentiality, presented at 15th IEEE International Symposium on Network Computing and Applications, Sep. 2016 [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Feature Set Tuning for Machine Learning based Network Intrusion Detection, presented at 15th IEEE International Symposium on Network Computing and Applications, Sep. 2016 [bibTex]
- David Rogério Póvoa de Matos and Miguel Correia, NoSQL Undo: Recovering NoSQL Databases by Undoing Operations, presented at 15th IEEE International Symposium on Network Computing and Applications, Sep. 2016 [bibTex]
- António Goulão and Nuno O. Duarte and Nuno Santos, ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications, presented at 35th Symposium on Reliable Distributed Systems (SRDS), Sep. 2016 [bibTex]
- Sancha Pereira and André Alves and Nuno Santos and Ricardo Chaves, Storekeeper: A Security Enhanced Cloud Storage Aggregation Service, presented at IEEE 35th Symposium on Reliable Distributed Systems (SRDS), Sep. 2016 [bibTex] [PDF]
- Daniel Andrade and Thor Kristoffersen and Ivar Rummelhoff and Alex Gerdov and João Nuno de Oliveira e Silva, Thwarting Data Exfiltration by Repackaged Applications, presented at Workshop on Mobility and Cloud Security & Privacy (WMCSP 2016) - in conjunction with SRDS 2016:, Sep. 2016 [DOI Article link] [bibTex]
- Mennan Selimi and Llorenç Cerdà-Alabern and Liang Wang and Arjuna Sathiaseelan and Luís Veiga and Felix Freitag, Bandwidth-aware Service Placement in Community Network Clouds, presented at IEEE 41st Conference on Local Computer Networks (LCN 2016), Aug. 2016 [bibTex]
- Christine Blakemore and João Redol and Miguel Correia, Fingerprinting for Web Applications: from Devices to Related Groups, presented at 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Aug. 2016 [bibTex]
- Diego Didona and Nuno Miguel Lourenço Diegues and Rachid Guerraoui and Anne-Marie Kermarrek and Paolo Romano, ProteusTM: Abstraction Meets Performance in Transactional Memory, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016, Aug. 2016 [bibTex] [PDF]
- Jingna Zeng and João Barreto and Seif Haridi and Luis Rodrigues and Paolo Romano, The Future(s) of Transactional Memory., presented at The 45th Annual Conference on Parallel Processing (ICPP), Aug. 2016 [bibTex]
- Mennan Selimi and Davide Vega and Felix Freitag and Luís Veiga, Towards Network-Aware Service Placement in Community Network Micro-Clouds, presented at Euro-Par 2016: Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Aug. 2016 [bibTex]
- Francisco João Lourenço Silvério and Ana Certal and Carlos Mão de Ferro and Joana F. Monteiro and José Almeida Cruz and Ricardo Ribeiro and João Nuno de Oliveira e Silva, Automatic System for Zebrafish Counting in Fish Facility Tanks, presented at ICIAR 2016 - International Conference on Image Analysis and Recognition, Jul. 2016 [DOI Article link] [bibTex]
- Ibéria Vitória de Sousa Medeiros and Nuno Ferreira Neves and Miguel Correia, DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities, presented at IEEE International Symposium on Software Testing and Analysis (ISSTA), Jul. 2016 [bibTex]
- Amin Muhammad Khan and Xavier Vilaça and Luis Rodrigues and Felix Freitag, A Distributed Auctioneer for Resource Allocation in Decentralized Systems, presented at The 36th IEEE International Conference on Distributed Computing Systems, (ICDCS), Jun. 2016 [bibTex]
- Pradeeban Kathiravelu and Tihana Galinac Grbac and Luís Veiga, Building Blocks of Mayan: Componentizing the eScience Workflows through Software-Defined Service Composition, presented at IEEE International Conference on Web Services, ICWS 2016, Jun. 2016 [bibTex]
- Ibéria Vitória de Sousa Medeiros and Nuno Ferreira Neves and Miguel Correia, Equipping WAP with WEAPONS to Detect Vulnerabilities, presented at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2016 [bibTex]
- Bruno Braga and Nuno Santos, P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services, presented at 9th IEEE International Conference on Cloud Computing (Cloud), Jun. 2016 [bibTex]
- João Barreto and Amin Mohtasham, RUBIC: Online Parallelism Tuning for Collocated Transactional Memory Applications, presented at 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jun. 2016 [DOI Article link] [bibTex]
- Pradeeban Kathiravelu and Tihana Galinac Grbac and Luís Veiga, A FIRM approach for software-defined service composition, presented at 39th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2016, May. 2016 [bibTex]
- Pedro Sá da Costa and Xiao Bai and Fernando Ramos and Miguel Correia, Medusa: An Efficient Cloud Fault-Tolerant MapReduce, presented at 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May. 2016 [bibTex]
- Filipe Bastos de Freitas and João Carlos Antunes Leitão and Nuno Preguiça and Rodrigo Rodrigues, Characterizing the Consistency of Online Services, presented at 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2016, Apr. 2016 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, CHIEF: Controller Farm for Clouds of Software-Defined Community Networks, presented at 3rd IEEE International Symposium on Software Defined Systems (SDS-2016), colocated with IEEE International Conference on Cloud Engineering Workshop (IC2E 2016), Apr. 2016 [bibTex]
- Carlos Bartolomeu and Angel Manuel Bravo Gestoso and Luis Rodrigues, Dynamic Adaptation of Geo-Replicated CRDTs, presented at The 31st ACM/SIGAPP Symposium on Applied Computing (SAC), Dependable and Adaptive Distributed Systems Track, Apr. 2016 [bibTex]
- Pascal Felber and Shady Alaaeldin Issa and Alexander Matveev and Paolo Romano, Hardware Read-Write Lock Elision, presented at European Conference on Computer Systems (EuroSys),, Apr. 2016 [bibTex]
- Alberto Rodrigues da Silva and João Caramujo and Sharareh Moghadam Monfared and Pável Calado and Travis Breaux, Improving the Specification and Analysis of Privacy Policies: The RSLingo4Privacy Approach, presented at Proceedings of ICEIS’2016 Conference, Apr. 2016 [bibTex]
- Dhanya R Krishnan and Do Le Quoc and Pramod Bhatotia and Christof Fetzer and Rodrigo Rodrigues, IncApprox: A Data Analytics System for Incremental Approximate Computing, presented at Proc. 25th International World Wide Web Conference (WWW 2016), Apr. 2016 [bibTex] [PDF]
- Valter Balegas and Nuno Preguiça and Sergio Duarte and C. Ferreira and Rodrigo Rodrigues, Making Weak Consistency Great Again, presented at Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2016)., Apr. 2016 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, NG2C: N-Generational GC for Big Data Memory Management, presented at 6th International Workshop on Cloud Data and Platforms (CloudDP 2016), Co-located with EuroSys 2016, Apr. 2016 [bibTex]
- Diego Didona and Nuno Miguel Lourenço Diegues and Rachid Guerraoui and Anne-Marie Kermarrek, ProteusTM: Abstraction Meets Performance in Transactional Memory, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016, Apr. 2016 [bibTex] [PDF]
- Pradeeban Kathiravelu and Luís Veiga, SENDIM for Incremental Development of Cloud Networks: Simulation, Emulation and Deployment Integration Middleware, presented at IEEE International Conference on Cloud Engineering, IC2E 2016, Apr. 2016 [bibTex]
- Ibrahim Tariq Javed and Rebecca Copeland and Noel Crespi and Felix Beierle and Sebastian Göndör and Axel Küpper and Marc Emmelmann and Ancuta Corici and Kevin Corre and Jean-Michel Crom and Ahmed Bouabdallah and Frank Oberle and Ingo Friese and Ana Caldeira and Gil Dias and Ricardo Chaves and Nuno Santos, Global Identity and Reachability Framework for Interoperable P2P Communication Services, presented at 19th International ICIN Conference - Innovations in Clouds, Internet and Networks, Mar. 2016 [bibTex]
- Ibéria Vitória de Sousa Medeiros and Miguel Beatriz and Nuno Ferreira Neves and Miguel Correia, Hacking the DBMS to Prevent Injection Attacks, presented at 6th ACM Conference on Data and Application Security and Privacy (CoDASPy), Mar. 2016 [bibTex]
- Paulo R. Pinho Filho and Luciana de Oliveira Rech and Lau Cheuk Lung and Miguel Correia and Lásaro Jonas Camargos, Priority-Based State Machine Replication with PRaxos, presented at 30th IEEE International Conference on Advanced Information Networking and Applications, Mar. 2016 [bibTex]
- Nuno Machado and Brandon Lucia and Luis Rodrigues, Production-guided Concurrency Debugging, presented at The 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016), Mar. 2016 [bibTex]

National Conferences: 15

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]

2016

- João Barreto and Duarte Miguel Pais Alves Baptista, A new approach to organization and tracking of Walking School Buses, presented at INFORUM, Sep. 2016 [bibTex]
- José Miguel Nobre de Brito Camacho and Miguel Pardal, Agricultura de Precisão com Sensores e Tecnologias da Internet das Coisas, presented at INForum, Sep. 2016 [bibTex]
- Tiago Miguel Correia Diogo and Miguel Pardal, Arranque Seguro de Redes 6LoWPAN para prevenir Ataques Vampiro na Internet das Coisas, presented at INForum, Sep. 2016 [bibTex]
- Gonçalo Nuno de Brito Galado da Costa Grazina and Paulo Jorge Tavares Guedes, DroidEnergy - Detecting and Alerting Users of Power Supply Failures, presented at INFORUM (Simpósio de Informática), Sep. 2016 [bibTex]
- Igor Zavalyshyn and Nuno O. Duarte and Nuno Santos, Efficient Location-aware Message Delivery for Encounter Networks, presented at INFORUM Simpósio de Informática, Sep. 2016 [bibTex]
- Pedro Almeida, Tiago Schafer, André Lourenço and José Simão, Monitorização do processo de condução e alertas baseados no contexto, presented at Inforum, Sep. 2016 [bibTex]
- Calmenelias Pino Fleitas and Bruno Miguel das Neves Dantas and A. P. Francisco and Cátia Vaz and José Simão, NGSPipes: From Specification to Automatic Deployment of NGS pipelines, presented at Inforum, Sep. 2016 [bibTex]
- Diogo Miguel Barrinha Barradas and Luis Rodrigues and Nuno Santos, Síntese de Vídeo para Evasão de Censura na Internet, presented at INFORUM Simpósio de Informática, Sep. 2016 [bibTex]
- Tomás Alexandre Diniz de Pinho and Miguel Pardal, UpdaThing: um sistema de atualizações seguro para a Internet das Coisas , presented at INForum, Sep. 2016 [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: 12

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]

2016

- André Negrão advised by Paulo Ferreira and Luís Veiga, Interest Aware Consistency Management and Cloud Aware Resource Provisioning for Distributed Interactive Applications, PhD Thesis at Instituto Superior Técnico, ULisboa, Dec. 2016 [bibTex]
- Xavier Araújo Morgado Vilaça advised by Luis Rodrigues, Sustaining Cooperation in Dependable Systems: a Game Theoretical Approach, PhD Thesis at Instituto Superior Técnico, Universidade Técnica de Lisboa, Dec. 2016 [bibTex]
- Leila Sharifi advised by Luís Veiga and Felix Freitag, Energy-aware Service Provisioning in P2P-assisted Cloud Ecosystems, PhD Thesis at Instituto Superior Técnico, UL, Nov. 2016 [bibTex]
- Nuno Miguel Lourenço Diegues advised by Paolo Romano, Algorithms for Enhancing the Performance Robustness of Transactional Memory Systems, PhD Thesis at IST, Lisbon University, Sep. 2016 [bibTex]
- Ibéria Vitória de Sousa Medeiros advised by Miguel Correia and Nuno Ferreira Neves, Detection of Vulnerabilities and Automatic Protection for Web Applications, PhD Thesis, Sep. 2016 [bibTex]
- Nuno de Ferraz Almeida e Peixoto Machado advised by Luis Rodrigues, Cooperative Concurrency Debugging, PhD Thesis at Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun. 2016 [bibTex]
- Amin Khan advised by Luis Rodrigues and Felix Freitag, Managing Incentives in Community Network Clouds, PhD Thesis at Universidade de Lisboa, Jun. 2016 [bibTex]
- Luis Pina advised by Luís Veiga and Michael William Hicks, Practical Dynamic Software Updating, PhD Thesis at Instituto Superior Técnico, ULisboa, Jan. 2016 [bibTex] [PDF]

MSc Theses: 73

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

2016

- Filipe Miguel Marques Tavares advised by Miguel Pardal and Artur Arsénio, Multiple Device Localization System, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2016 [bibTex]
- Nikola Koevski advised by Luís Veiga and Rodrigo Rodrigues, Advanced Sampling in Stream Processing Systems, MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2016 [bibTex] [PDF]
- Tiago Luis de Oliveira Brito advised by Nuno Santos, Darkroom: The Use of ARM TrustZone For Secure Data Processing on the Cloud , MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
- Karan Hamirshi Balu advised by Miguel Pardal and Miguel Correia, DARSHANA: Detecting Route Hijacking for Communication Confidentiality, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- Luís Sacramento advised by Miguel Correia and João Bota, Detection of Unknown Network Attackers Through Flow Analysis, MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
- João Sales Henriques Miranda advised by Luis Rodrigues, Fault Isolation in Software Defined Networks, MSc Thesis at Universidade de Lisboa, IST, Nov. 2016 [bibTex]
- João Pedro Martins Graça advised by João Nuno de Oliveira e Silva, GeoSharding - optimization of data partitioning in sharded georeferenced databases, MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
- Filipe Miguel Guerreiro advised by Paulo Ferreira and Luís Veiga, Graph based Localization Information Repository, MSc Thesis at IST, Nov. 2016 [bibTex]
- José Miguel Nobre de Brito Camacho advised by Miguel Pardal and Alberto Manuel Ramos da Cunha, IoT Middleware for Precision Agriculture, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- Francisco Miguel Caramelo Duarte advised by Luis Rodrigues, Learning Adaptation Models Under Non-Determinism, MSc Thesis at U. Lisboa, IST, Nov. 2016 [bibTex]
- Diogo Miguel Marcos Raposo advised by Miguel Pardal and Miguel Correia, MACHETE: Multi-path Communication for Security, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- André Pimenta Alves advised by Ricardo Chaves and Nuno Santos, Multi-OS on the Cloud, MSc Thesis, Nov. 2016 [bibTex]
- Diogo Frazão advised by Miguel Correia and João Redol, PARADISE - Preventive Advertising fRAud Detection Intelligent SystEm, MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
- Eugénio Alves da Silva advised by Miguel Correia, Practical use of Partially Homomorphic Cryptography, MSc Thesis, Nov. 2016 [bibTex]
- Renato David Silva Rosa advised by Luís Veiga, Processamento aproximado de grafos (Approximate Graph Processing), MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2016 [bibTex] [PDF]
- Gonçalo Nuno de Brito Galado da Costa Grazina advised by Paulo Ferreira, RaspEnergy - Detecting power supply failures, MSc Thesis, Nov. 2016 [bibTex]
- Ana Sofia Lameira Caldeira advised by Nuno Santos and Ricardo Chaves, Runtime Support fo Hiperty Execution in a Web-Centric P2P Service Architecture, MSc Thesis, Nov. 2016 [bibTex]
- Filipe Apolinário advised by Miguel Pardal and Miguel Correia, SafeAudit: A Software Library for Efficient Data Integrity Verification on Commercial Clouds, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- Tiago Miguel Correia Diogo advised by Miguel Pardal, Secure Bootstrapping for 6LoWPAN Networks to prevent Vampire Attacks in the Internet of Things, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- Gil Alexandre Marques Dias advised by Ricardo Chaves and Nuno Santos, Secure hyper-linked entities in dynamic networks, MSc Thesis, Nov. 2016 [bibTex]
- Mariana Paulo advised by Miguel Correia and José Ramos, Security Testing in Continuous Integration Systems, MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
- David Lopes advised by António Manuel Raminhos Cordeiro Grilo and Carlos Nuno da Cruz Ribeiro, Segurança em Redes Ad-hoc Táticas Baseadas no Protocolo CRAN, MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, Nov. 2016 [bibTex]
- António Monteiro advised by Nuno Santos, ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications, MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
- Filipe Alexandre Lourenço Teixeira advised by Paulo Ferreira, Termite: Emulation Test-bed for Encounter Networks, MSc Thesis at IST, Nov. 2016 [bibTex]
- Ricardo Manuel Nunes Vieira advised by Paolo Romano and Aleksandar Ilic, Transactional Memory for Heterogeneous CPU-GPU Systems, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- João Pedro Cohen Rocheteau e Silva Ramos advised by João Nuno de Oliveira e Silva and Nuno Santos, TrustPi, a Software Development Framework for TrustZone-enabled Hardware, MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
- Marta Sequeira advised by Nuno Santos, Trustversion: A Secrecy-Protected Version Control System, MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
- Tomás Alexandre Diniz de Pinho advised by Miguel Pardal, UpdaThing: A secure and open firmware update system for Internet of Things devices, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- André de Matos Joaquim advised by Miguel Correia and Miguel Pardal, vtTLS: A Vulnerability-Tolerant Communication Protocol, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
- Sharareh Moghadam Monfared advised by João Nuno de Oliveira e Silva, Web Authentication Using a Personal Secure Device, MSc Thesis, Nov. 2016 [bibTex]
- Sancha Pereira advised by Nuno Santos and Ricardo Chaves, Storekeeper: Building a Secure File Sharing Platform Out of Freely Available Cloud Storage, MSc Thesis at Instituto Superior Técnico, Oct. 2016 [bibTex]
- Tasneem Akhthar advised by Luís Veiga, Tenant-Aware Big-Data Scheduling with Software-Defined Networking, MSc Thesis at Instituto Superior Técnico, ULisboa, Oct. 2016 [bibTex]
- Frederico Miguel Reis Sabino advised by Luis Rodrigues, ByTAM: a Byzantine Fault Tolerant Adaptation Manager, MSc Thesis at U. Lisboa, IST, Sep. 2016 [bibTex]
- Diogo Miguel Barrinha Barradas advised by Luis Rodrigues and Nuno Santos, Unobservable Covert Streaming for Internet Censorship Circumvention, MSc Thesis at Universidade de Lisboa, IST, Sep. 2016 [bibTex]
- Chaturi Lanchana Rubasinghe Gunawardhana advised by Luis Rodrigues, Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication, MSc Thesis at U. Lisboa, Jul. 2016 [bibTex]
- João Carlos de Oliveira Quintas advised by Nuno Santos and J. Monteiro, A MIPS32 Simulator for Educational Use at IST and Beyond, MSc Thesis at Instituto Superior Técnico, Jun. 2016 [bibTex]
- Francisco João Lourenço Silvério advised by João Nuno de Oliveira e Silva and José Almeida Cruz, Automatic Fish Counting in Aquariums, MSc Thesis at Instituto Superior Técnico, May. 2016 [bibTex]
- Bruno Filipe Gonçalves Candeias advised by Rodrigo Rodrigues, Bandwidth-efficient incremental iterative computations with bounded staleness, MSc Thesis at Nova University of Lisbon, May. 2016 [bibTex]
- Bruno Miguel Cruz Braga advised by Nuno Santos, P-Cop: Securing PaaS Against Cloud Administration Threats, MSc Thesis, May. 2016 [bibTex]
- David Pereira Alves Neves Lopes advised by João Leitão and Rodrigo Rodrigues, WEAQL: Scaling Relational Databases through Weak Consistency, MSc Thesis at Universidade Nova de Lisboa, Apr. 2016 [bibTex]

Graduation Theses: 4

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]

2016

- João Nuno Gonçalves Forja and Alexandre Teixeira de Almeida advised by José Simão and Cátia Vaz, NGS4Cloud: Cloud-based NGS Data Processing, Graduation Thesis at Instituto Superior de Engenharia de Lisboa, Sep. 2016 [bibTex]
- Lidia Maria Carvalho de Freitas advised by Luis Rodrigues, Desenvolvimento de um simulador de protocolo de população, Graduation Thesis, Jun. 2016 [bibTex]
- João André Dias Figueiredo advised by Luis Rodrigues, Simuladores de redes dinâmicos, Graduation Thesis, Jun. 2016 [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]

Edited Proceedings: 3

2016

- Nuno Roma and Luís Veiga, editors, International Workshop on Optimization of Energy Efficient HPC & Distributed Systems (OPTIM 2016), colocated with The International Conference on High Performance Computing & Simulation (HPCS 2016), Jul. 2016, ACM, IEEE, IFIP [bibTex]
- Carlos Soares and João Cardoso and João Mendes-Moreira and Luís Veiga, editors, 1st Workshop on Engineering Context-Aware Applications and Services (ECAAS 2016), colocated with IEEE Mobile Data Management (MDM 2016), Jun. 2016, IEEE [bibTex]
- Cristian Cadar and Peter Pietzuch and Kimberly Keeton and Rodrigo Rodrigues, editors, Proceedings of the Eleventh European Conference on Computer Systems, EuroSys 2016, Apr. 2016, ACM [bibTex]

Technologies

Laboratory Prototypes: 2

2016

- Miguel Costa and Nuno Duarte and Nuno Santos, TrUbi - Restricted Operations for Android, Laboratory prototype, Dec. 2016 [bibTex]
- Tiago Luis de Oliveira Brito and Nuno Duarte and Nuno Santos, Darkroom - TrustZone-based Runtime for the Cloud, Laboratory protoype, Nov. 2016 [bibTex]

Reports

Technical Reports: 17

2018

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

2016

- Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Joint Map-Match Modeling of GPS Traces, INESC-ID Tec. Rep. 13/2016, Dec. 2016 [bibTex]
- Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Scalability of Graph Clustering Methods with Distributed Systems, INESC-ID Tec. Rep. 14/2016, Dec. 2016 [bibTex]
- Pradeeban Kathiravelu and Luís Veiga, SD-CPS : Taming the Challenges of Cyber-Physical Systems with a Software-Defined Approach, INESC-ID Tec. Rep. 10/2016, Dec. 2016 [bibTex]
- Miguel Carvalho Valente Esaguy Coimbra and A. P. Francisco and Luís Veiga, Study on Resource Efficiency of Distributed Graph Processing, INESC-ID Tec. Rep. 17/2016, Dec. 2016 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, NG2C: N-Generational GC for Big Data Applications, INESC-ID Tec. Rep. 8/2016, Nov. 2016 [bibTex]
- Sérgio Esteves and Helena Galhardas and Luís Veiga, Smart Scheduling of Continuous Data-Intensive Workflows with Machine Learning Triggered Execution, INESC-ID Tec. Rep. 9/2016, Oct. 2016 [bibTex]
- Mennan Selimi and Llorenç Cerdà-Alabern and Liang Wang and Arjuna Sathiaseelan and Luís Veiga and Felix Freitag, Bandwidth-aware Service Placement in Community Network Clouds, INESC-ID Tec. Rep. 11/2016, Mar. 2016 [bibTex]
- Pradeeban Kathiravelu and Xiao Chen and Dipesh Dugar Mitthalal and Luís Veiga, JikesRVM: Internal Mechanisms Study and Garbage Collection with MMTk, INESC-ID Tec. Rep. 12/2016, Jan. 2016 [bibTex]