Publications
 
   
Publications for year between 2016 and 2017


Book Chapters: 4
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]
-Narcis Cardona and Luís M. Correia and Roberto Verdone, Introduction, chapter of Cooperative Radio Communications for Green Smart Environments, Aug. 2016, River Publishers, [bibTex]
-Narcis Cardona and Luís M. Correia and Roberto Verdone, Green and Efficient RAN Architectures, chapter of Cooperative Radio Communications for Green Smart Environments, Aug. 2016, River Publishers, [bibTex]

International Journal Articles: 14
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, to appear on 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 pp. 467-480, Oct. 2016, IEEE, [DOI Article link][bibTex]
-Slawomir J. Ambroziak and Luís M. Correia and Ryszard J. Katulski, Michal Mackowiak, and Carla Oliveira, An Off-Body Channel Model for Body Area Networks in Indoor Environments, article in IEEE Transactions on Antennas and Propagation pp. 4022-4035, Sep. 2016, [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 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 pp. 122-136, Jul. 2016, Elsevier, [bibTex]
-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 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, Apr. 2016, ACM, [bibTex]
-António Menezes Leitão and Inês Alexandra do Côrro Caetano and Hugo Filipe Fonseca Correia, Processing architecture, article in International Journal of Architectural Computing pp. 147-157, Apr. 2016, [Article][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 pp. 54-69, Mar. 2016, [bibTex]
-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. pp. 81-92, Mar. 2016, IEEE, [bibTex]
-Afonso Oliveira and Teresa Maria Sá Ferreira Vazão Vasques, Low-power and lossy networks under mobility: A survey, article in , Mar. 2016, [Article][DOI Article link][bibTex]
-Fernando Carvalho and João Cachopo, Optimizing memory transactions for large-scale programs, article in Journal of Parallel and Distributed Computing pp. 13-24, Mar. 2016, Elsevier, [DOI Article link][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 pp. 371-383, Mar. 2016, Oxford University Press, [DOI Article link][Supplementary Material][bibTex]
-Ivo Anjo and João Cachopo, Design of a Method-Level Speculation framework for boosting irregular JVM applications, article in Journal of Parallel and Distributed Computing pp. 13-25, Jan. 2016, Elsevier, [DOI Article link][bibTex]
International Conferences: 52
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, ACM, [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, ACM, [bibTex]
-João Barreto and Miguel Rodrigues Bento Barros da Costa, 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, ACM, [DOI Article link][bibTex]
-Krzysztof Piotrowski and Augusto Casaca and Marijn Jongerden and Francisco Melo and Daniel Garrido and Marcel Geers and Jacobo Peralta, A hierarchical architecture for an energy management system, presented at 10th Mediterranean Conference on Power Generation, Transmission, Distribution and Energy Conversion (Medpower 2016), Belgrade, Servia, Nov. 2016, IEEE, [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, IEEE, [bibTex]
-André Santos and Fan Chen and Bruno Soares 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, Integrated simulation model of power system protection schemes and process bus communication networks, presented at IEEE Electrical Power and Energy Conference, Ottawa, Canada, Oct. 2016, IEEE, [DOI Article link][bibTex]
-Diogo Miguel Marcos Raposo and Miguel Pardal and Luis Rodrigues and Miguel Correia, MACHETE: Multi-path Communicatio-n for Cloud Security, presented at The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Oct. 2016, IEEE, [bibTex]
-Bruno Rodrigues Timóteo Lopes and Ricardo Lopes Pereira, ShopAssist - A Unified Location-Aware System for Shopping, presented at Global Information Infrastructure and Networking Symposium (GIIS), 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, IEEE, [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, IEEE, [bibTex]
-Andrea Marotta and Luís M. Correia, "A model to evaluate C-RAN architectures deployment impact in urban scenarios", presented at CoBCom’2016 - International Conference on Broadband Communications for Next Generation Networks and Multimedia Applications, Sep. 2016, [bibTex]
-João Q. Pires and Luís M. Correia and Henrique Ribeiro, "LTE Fixed to Mobile Subscribers QoE Evaluation", presented at CoBCom’2016 - International Conference on Broadband Communications for Next Generation Networks and Multimedia Applications, 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, IEEE, [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]
-Sancha Pereira and André Alves and Nuno Santos and Ricardo Chaves, Storekeeper: A SecurityEnhanced Cloud Storage Aggregation Service, presented at IEEE 35th Symposium on Reliable Distributed Systems (SRDS), Sep. 2016, [bibTex]
-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, IEEE, [DOI Article link][bibTex]
-Slawomir J. Ambroziak, Kenan Turbic and Luís M. Correia, "Radio Channel Measurements in Body-to-Body Communications in Different Scenarios", presented at AP-RASC’2016 - 1st URSI Asia-Pacific Radio Science Conference, Aug. 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, presented at IEEE 41st Conference on Local Computer Networks (LCN 2016), Aug. 2016, IEEE, [bibTex]
-Inês Alexandra do Côrro Caetano and António Menezes Leitão, DrAFT: an Algorithmic Framework for Facade Design, presented at Complexity & Simplicity - Proceedings of the 34th eCAADe Conference - Volume 1, Aug. 2016, Herneoja, Aulikki; Toni Österlund and Piia Markkanen (eds.), [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]
-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, IEEE, [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, Springer, [bibTex]
-Inês Alexandra do Côrro Caetano and António Menezes Leitão, Using Processing with Architectural 3D Modelling, presented at Complexity & Simplicity - Proceedings of the 34th eCAADe Conference, Aug. 2016, Herneoja, Aulikki; Toni Österlund and Piia Markkanen (eds.), [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, Springer, [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]
-Inês Alexandra do Côrro Caetano and António Menezes Leitão, Exploring Buildings' Surface Patterns, presented at Architecture In-Play International Conferences Proceedings, Jul. 2016, Guimarães, Nuno; Paio, Alexandra; Osório, Filipa Crespo; Oli, [DOI Article link][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, IEEE, [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, IEEE, [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]
-Mário Serafim Nunes and António Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Nuno Silva and Francisco Basadre and Paulo Rodrigues and Francisco Melo and Luis Gaspar, Fault Detection and Location in Low Voltage Grids Based on RF-Mesh Sensor Networks, presented at CIRED Workshop 2016, Jun. 2016, CIRED, [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, IEEE, [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]
-Slawomir J. Ambroziak, Kenan Turbic, Carla Oliveira and Luís M. Correia, "Fading Modelling in Dynamic Off-Body Channels", presented at EuCAP’2016 - 10th European Conference on Antennas and Propagation, Apr. 2016, [bibTex]
-Manuel Ferreira, Carla Oliveira, Filipe Cardoso and Luís M. Correia, "SAR Assessment of Google Glasses At Cellular Wireless Frequency Bands", presented at EuCAP’2016 - 10th European Conference on Antennas and Propagation, Apr. 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, IEEE, [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, IEEE, [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, ACM, [bibTex]
-Mário Serafim Nunes and António Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Nuno Silva and Paulo Rodrigues and Francisco Basadre and Francisco Melo and Luís Gaspar, Fault Detectioin and Location in Low Voltage Grids based on Distributed Monitoring, presented at IEEE Internatiuonal Energy Conference 2016, Apr. 2016, IEEE Explorer, [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, SCITEPRESS, [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]
-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, ACM, [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]
-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, IEEE, [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]
-Sofia Teixeira de Vasconcelos Feist and Guilherme Barreto and Bruno Filipe Belo Ferreira and António Menezes Leitão, Portable generative design for building information modelling, presented at Proceedings of the 21st International Conference on Computer-Aided Architectural Design Research in Asia (CAADRIA 2016), 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, ACM, [bibTex]
-Inês Alexandra do Côrro Caetano and António Menezes Leitão, Processing for Architecture, presented at ASK.the.Conference 2016 proceedings: Education for Research, Research for Creativity, Feb. 2016, Jan Slyk and Lia Bezerra (Eds.), [bibTex]
National Conferences: 6
2016
-Sofia Teixeira de Vasconcelos Feist and António Menezes Leitão, A-BIM: Algorithmic-based Building Information Modelling, presented at PTbim: 1º Congresso Português de Building Information Modelling, Nov. 2016, [bibTex]
-Inês Alexandra do Côrro Caetano and António Menezes Leitão and Francisco Teixeira Bastos, Aplicação do design generativo nas tecnologias BIM, presented at PTbim: 1º Congresso Português de Building Information Modelling, Nov. 2016, Miguel Azenha, João Poças Martins, José Granja (Eds.), [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]
-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]
-Manuel Ferreira, Carla Oliveira, Filipe Cardoso and Luís M. Correia, "SAR from Google Glasses" (in Portuguese), presented at V Congresso de Proteção Contra Radiações da Comunidade dos Países de Língua Portuguesa, Mar. 2016, [bibTex]

PhD Theses: 8
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 on 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 on 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 on Instituto Superior Técnico, UL, Nov. 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 on , Sep. 2016, [bibTex]
-Sina Khatibi advised by Luís M. Correia and Antonio José Castelo Branco Rodrigues, Raymond Knopp, Susana Isabel Barreto de M, Radio Resource Management Strategies in Virtual Networks, PhD Thesis on Instituto Superior Tecnico, Technical University of Lisbon, Jul. 2016, [bibTex]
-Nuno de Ferraz Almeida e Peixoto Machado advised by Luis Rodrigues, Cooperative Concurrency Debugging, PhD Thesis on 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 on Universidade de Lisboa, Jun. 2016, [bibTex]
-Luis Pina advised by Luís Veiga and Michael William Hicks, Practical Dynamic Software Updating, PhD Thesis on Instituto Superior Técnico, ULisboa, Jan. 2016, [bibTex]
MSc Theses: 52
2016
-Nikola Koevski advised by Luís Veiga and Rodrigo Rodrigues, Advanced Sampling in Stream Processing Systems, MSc Thesis on Instituto Superior Técnico, ULisboa, Nov. 2016, [bibTex]
-José Miguel Querido Guita advised by Luís M. Correia, Balancing load in LTE urban networks via inter-frequency handovers, MSc Thesis on , Nov. 2016, [bibTex]
-João Miguel Marques Sampaio advised by Ricardo Lopes Pereira, BASA: Building Automation and Security on Android, MSc Thesis on IST, Nov. 2016, [bibTex]
-Karan Hamirshi Balu advised by Miguel Pardal and Miguel Correia, DARSHANA: Detecting Route Hijacking for Communication Confidentiality, MSc Thesis on , Nov. 2016, [bibTex]
-Hugo Miguel Inácio Rodrigues da Silva advised by Luís M. Correia, Design of C-RAN Fronthaul and Virtualisation for Existing LTE Networks, MSc Thesis on , Nov. 2016, [bibTex]
-Luís Sacramento advised by Miguel Correia and João Bota, Detection of Unknown Network Attackers Through Flow Analysis, MSc Thesis on Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016, [bibTex]
-Rui José Gil Garcia Mangas Pereira advised by Ricardo Lopes Pereira, Domain Registry: a Highly Available Infrastructure for Hyperty Discovery, MSc Thesis on , Nov. 2016, [bibTex]
-João Sales Henriques Miranda advised by Luis Rodrigues, Fault Isolation in Software Defined Networks, MSc Thesis on Universidade de Lisboa, IST, Nov. 2016, [bibTex]
-Guilherme Barreto advised by António Menezes Leitão, Generative Design for Building Information Modeling, MSc Thesis on Universidade de Lisboa, 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 on 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 on IST, Nov. 2016, [bibTex]
-Tiago João Castro Gonçalves Frazão Monteiro advised by Luís M. Correia, Implementation Analysis of Cloud Radio Access Network Architecture in Small Cells, MSc Thesis on , Nov. 2016, [bibTex]
-João Montez advised by António Manuel Raminhos Cordeiro Grilo, Jamming-aware Routing in Military Wireless Sensor Networks, MSc Thesis on 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 on 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 on , Nov. 2016, [bibTex]
-Pedro de Almeida Braz advised by Ricardo Lopes Pereira, Mastering the Concurrency of Shared Path TCP Connections, MSc Thesis on IST, Nov. 2016, [bibTex]
-André Pimenta Alves advised by Ricardo Chaves and Nuno Santos, Multi-OS on the Cloud, MSc Thesis on , Nov. 2016, [bibTex]
-Diogo Frazão advised by Miguel Correia and João Redol, PARADISE - Preventive Advertising fRAud Detection Intelligent SystEm, MSc Thesis on 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 on , Nov. 2016, [bibTex]
-Renato David Silva Rosa advised by Luís Veiga, Processamento aproximado de grafos (Approximate Graph Processing), MSc Thesis on Instituto Superior Técnico, ULisboa, Nov. 2016, [bibTex]
-Rafael Jorge Barreira advised by Helena Galhardas and Paulo Ferreira, ProntAPP++: Uma aplicação móvel para medicamentos, MSc Thesis on , Nov. 2016, [bibTex]
-Gonçalo Nuno de Brito Galado da Costa Grazina advised by Paulo Ferreira, RaspEnergy - Detecting power supply failures, MSc Thesis on , Nov. 2016, [bibTex]
-Gonçalo Atanásio advised by António Manuel Raminhos Cordeiro Grilo and António Joaquim Serralheiro, Rede de Sensores Acústicos para Vigilância e Aquisição de Alvos em Operações Militares Terrestres, MSc Thesis on Instituto Superior Técnico - Universidade de Lisboa, 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 on , 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 on Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016, [bibTex]
-Gil Alexandre Marques Dias advised by Ricardo Chaves and Nuno Santos, Secure hyper-linked entities in dynamic networks, MSc Thesis on , Nov. 2016, [bibTex]
-Mariana Paulo advised by Miguel Correia and José Ramos, Security Testing in Continuous Integration Systems, MSc Thesis on 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 on Instituto Superior Técnico - Universidade de Lisboa, Nov. 2016, [bibTex]
-Pedro Dinis Anrtónio Cardoso Gomes advised by Paulo Rogério Pereira, Social routing protocol for delay tolerant networks, MSc Thesis on Instituto Superior Técnico/Universidade de Lisboa, Nov. 2016, [bibTex]
-Filipe Alexandre Lourenço Teixeira advised by Paulo Ferreira, Termite: Emulation Test-bed for Encounter Networks, MSc Thesis on IST, Nov. 2016, [bibTex]
-Ricardo Manuel Nunes Vieira advised by Paolo Romano and Aleksandar Ilic, Transactional Memory for Heterogeneous CPU-GPU Systems, MSc Thesis on 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 on Instituto Superior Técnico, Nov. 2016, [bibTex]
-André de Matos Joaquim advised by Miguel Correia and Miguel Pardal, vtTLS: A Vulnerability-Tolerant Communication Protocol, MSc Thesis on , Nov. 2016, [bibTex]
-Sharareh Moghadam Monfared advised by João Nuno de Oliveira e Silva, Web Authentication Using a Personal Secure Device, MSc Thesis on , 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 on 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 on , Oct. 2016, [bibTex]
-Frederico Miguel Reis Sabino advised by Luis Rodrigues, ByTAM: a Byzantine Fault Tolerant Adaptation Manager, MSc Thesis on 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 on 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 on 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 on Instituto Superior Técnico, Jun. 2016, [bibTex]
-Sofia Teixeira de Vasconcelos Feist advised by António Menezes Leitão, Design Generativo, MSc Thesis on , Jun. 2016, [bibTex]
-Bruno Filipe Belo Ferreira advised by António Menezes Leitão, Generative Design for BIM, MSc Thesis on , Jun. 2016, [bibTex]
-Artur José Brás Mayer Alkaim advised by António Menezes Leitão, Geração Procedimental, MSc Thesis on , Jun. 2016, [bibTex]
-Henrique Duarte Lopes Rocha advised by Ricardo Lopes Pereira and Paulo Guilherme Gonçalves Chainho, Hyper-linked Communicatios: WebRTC enabled asynchronous collaboration, MSc Thesis on IST, Jun. 2016, [bibTex]
-Bruno Rodrigues Timóteo Lopes advised by Ricardo Lopes Pereira, ShopAssist - A Unified, Interactive, Location-Aware System for Shopping, MSc Thesis on IST, 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 on Instituto Superior Técnico, May 2016, [bibTex]
-Guilherme Ferreira advised by António Menezes Leitão, IDE For Generative Design, MSc Thesis on , May 2016, [bibTex]
-Rafael José Trindade Reia advised by António Menezes Leitão, Refactoring for Racket, MSc Thesis on , May 2016, [bibTex]
-Fábio miguel Gonçalves Pinheiro advised by António Menezes Leitão, Restrições Geométricas, MSc Thesis on , May 2016, [bibTex]
-Nuno André Jeremias de Aniceto advised by Andreas Wichert and João Carlos Serrenho Dias Pereira, Uma pesquisa sobre algoritmos de descrição de imagens, MSc Thesis on , May 2016, [bibTex]
-Nuno Miguel Lopes dos Santos advised by Renato Jorge Caleira Nunes and Paulo Rogério Pereira, Dispensador de Medicamentos, MSc Thesis on Instituto Superior Técnico/Universidade de Lisboa, Jan. 2016, [bibTex]
-Diogo José Dias Lucas advised by Renato Jorge Caleira Nunes and Paulo Rogério Pereira, Middleware para controladores domóticos, MSc Thesis on Instituto Superior Técnico/Universidade de Lisboa, Jan. 2016, [bibTex]
Graduation Theses: 2
2016
-Lidia Maria Carvalho de Freitas advised by Luis Rodrigues, Desenvolvimento de um simulador de protocolo de população, Graduation Thesis on , Jun. 2016, [bibTex]
-João André Dias Figueiredo advised by Luis Rodrigues, Simuladores de redes dinâmicos, Graduation Thesis on , Jun. 2016, [bibTex]

Edited Books: 1
2016
-João Rodrigues and Pedro Cardoso and Jânio Monteiro and Mauro Figueiredo, editors, Handbook of Research on Human-Computer Interfaces, Developments, and Applications, Jun. 2016, IGI Global, [bibTex]
Edited Proceedings: 2
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]

Standards: 1
2016
-Rui Santos Cruz and Mário Serafim Nunes and João Pedro Taveira Pinto Silva and Jinwei Xia and Rachel Huang and Deng Lingli, Peer-to-Peer Streaming Tracker Protocol (PPSTP), Standard RFC 7846 , PROPOSED STANDARD, issued by IETF, May 2016, [bibTex]

Technical Reports: 8
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]
-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]