Publications

Books

Book Chapters: 10

2020

- Arnaldo Luis de Gouveia and Miguel Correia, XGBoost(ing) Network Intrusion Detection, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Deep Learning for Network Intrusion Detection: An Empirical Assessment, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Gil Mouta and Miguel Pardal and João Bota and Miguel Correia, SPATIO: end-uSer Protection Against ioT IntrusiOns, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Luís Sacramento and Ibéria Vitória de Sousa Medeiros and João Bota and Miguel Correia, Detecting Botnets and Unknown Network Attacks in Big Traffic Data, chapter of Botnets: Architectures, Countermeasures, and Challenges, Jan. 2020 [bibTex]
- Miguel Correia, From Byzantine Consensus to Blockchain Consensus, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Tiago Rosado and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, A Blockchain Use Case for Car Registration, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Luís Filipe Dias and Miguel Correia, Big Data Analytics for Intrusion Detection: An Overview, chapter of Handbook of Research on Machine and Deep Learning Applications for Cyber Security, Jan. 2020, IGI Global [bibTex]

2019

- Pramod Bhatotia and Umut A Acar and Flavio P Junqueira and Rodrigo Rodrigues, Incremental Sliding Window Analytics, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]
- Henrique Moniz and João Leitão and Ricardo J Dias and Johannes Gehrke and Nuno Preguiça and Rodrigo Rodrigues, Achieving Low Latency Transactions for Geo-replicated Storage with Blotter, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]
- Do Le Quoc and Dhanya R. Krishnan and Pramod Bhatotia and Christof Fetzer and Rodrigo Rodrigues, Incremental Approximate Computing, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]

Articles

International Journal Articles: 18

2020

- Paulo Ferreira and Constantin Zavgorodnii and Luís Veiga, edgeTrans - Edge Transport Mode Detection, article in Pervasive and Mobile Computing, to appear on 2020, Elsevier [DOI Article link] [bibTex]
- Ray Neiheiser and Luciana Rech and Angel Manuel Bravo Gestoso and Luis Rodrigues and Miguel Correia, Fireplug: Efficient and Robust Geo-Replication of Graph Databases, article in IEEE Transactions on Parallel and Distributed Systems vol. 31 (8), Aug. 2020, IEEE [bibTex]
- João Miguel Leão Guerreiro and Rui Moura and João Nuno de Oliveira e Silva, TEEnder: SGX Enclave Migration using HSMs, article in Computers & Security, May. 2020, Elsevier B.V. [DOI Article link] [bibTex] [PDF]
- Zhongmiao Li and Paolo Romano and Peter Van Roy, Transparent Speculation in Geo-Replicated Transactional Data Stores, article in Jurnal of Parallel and Distributed Computing, May. 2020, Elsevier [bibTex]

2019

- Daniel Castro and Paolo Romano and João Barreto, Hardware Transactional Memory meets Memory Persistency, article in Journal of Parallel and Distributed Computing vol. 130 pp. 63-79, to appear on 2019, Elsevier [DOI Article link] [bibTex]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga, Interoperable and Network-Aware Service Workflows for Big Data Executions at Internet Scale, article in Concurrency and Computation: Practice and Experience, to appear on 2019, Wiley [DOI Article link] [bibTex]
- Vasco Amaral and Beatriz Norberto and Miguel Goulão and Paulo Jorge Fernandes Carreira and José Simão and Luís Veiga and Marco Aldinucci and Siegfried Benker and Andrea Bracciali and Edgars Celms and Luís Miguel Parreira Correia and Clemens Grelck and Helen Karatza and Christoph Kessler and Peter Kilpatrick and Hugo Martiniano and Ilias Mavridis and Sabri Pllana and Ana Respício and Ari Visa, Programming languages for data-Intensive HPC applications: A systematic mapping study, article in Parallel Computing, to appear on 2019, Elsevier [DOI Article link] [bibTex]
- José Simão and Sérgio Esteves and André Filipe Pardal Pires and Luís Veiga, GC-Wise: A Self-adaptive approach for memory-performance efficiency in Java VMs, article in Future Generation Computer Systems vol. 100 pp. 674-688, Nov. 2019, Elsevier [DOI Article link] [bibTex]
- Ezequiel Zorzal and António Mauricio Lança Tavares de Sousa and Daniel Mendes and Rafael Kuffner dos Anjos and Daniel Pires de Sá Medeiros and Soraia Paulo and Pedro Rodrigues and José João Mendes and Vincent Delmas and Jean-François Uhl and José Mogorrón and Joaquim Armando Pires Jorge and Daniel Simões Lopes, Anatomy Studio: a Tool for Virtual Dissection Through Augmented 3D Reconstruction, article in Computers and Graphics vol. 85 pp. 74-84, Oct. 2019, Elsevier [Article] [DOI Article link] [bibTex]
- Shady Alaaeldin Issa and Pascal Felber and Alexander Matveev and Paolo Romano, Extending Hardware Transactional Memory Capacity via Rollback-Only Transactions and Suspend/Resume, article in Distributed Computing, Oct. 2019 [bibTex]
- Pradeeban Kathiravelu and 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 vol. 22 pp. 661-677, Sep. 2019, Springer [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 vol. 37 (2) pp. 273–295, Jun. 2019, Springer [DOI Article link] [bibTex]
- 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) vol. 17 (1) pp. 169-189, Mar. 2019, Springer [DOI Article link] [bibTex]
- Ibéria Vitória de Sousa Medeiros and Miguel Beatriz and Nuno Ferreira Neves and Miguel Correia, SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, article in IEEE Transactions on Reliability (68) pp. 1168-1188, Mar. 2019 [bibTex]
- Paulo Nunes and Ibéria Vitória de Sousa Medeiros and José Fonseca and Nuno Ferreira Neves and Miguel Correia and Marco Vieira, An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios, article in Computing vol. 101 (2) pp. 161-185, Feb. 2019 [bibTex]
- João Nuno de Oliveira e Silva and Manuel Beja da Costa and Magdalena Jurczuk and Bernardo Marques, Evaluation of new approaches to the access of official monitoring results for live bivalves molluscs, article in European journal of public health, Feb. 2019, Oxford academics [Article] [DOI Article link] [bibTex]
- Sandro Pinto and Nuno Santos, Demystifying Arm TrustZone: A Comprehensive Survey, article in ACM Computing Surveys vol. 51 (6) pp. 36, Jan. 2019 [bibTex]
- João Caramujo and Alberto Rodrigues da Silva and Sharareh Moghadam Monfared and André Ribeiro and Pável Calado and Travis Breaux, RSL-IL4Privacy: A Domain-Specific Language for the Specification of Privacy-Aware Requirements, article in Requirements Engineering vol. 24 (1), Jan. 2019, Springer [DOI Article link] [bibTex]

International Conferences: 83

2021

- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues and Salvatore Signorello and Fernando Ramos and André Filipe Antunes Madeira, FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications, presented at Proceedings of Network and Distributed System Security Symposium (NDSS), Feb. 2021 [bibTex]

2020

- Eduardo Gomes and Igor Zavalyshyn and Nuno Santos and João Nuno de Oliveira e Silva and Axel Legay, Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications, presented at Proceedings of IEEE International Conference on Trust, Security and Privacy in Computing and Communications 2020 (TrustCom), Dec. 2020 [bibTex]
- Igor Zavalyshyn and Nuno Santos and Ramin Sadre and Axel Legay, My House, My Rules: A Private-by-Design Smart Home Platform, presented at Proceedings of 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous), Dec. 2020 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos, Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels, presented at Proceedings of International Workshop on Distributed Infrastructure for Common Good (DICG) @ Middleware'20, Dec. 2020 [bibTex]
- Hugo Rafael Silva Guerreiro and Luis Rodrigues and Nuno Preguiça and Nívia Quental, Causality Tracking Tradeoffs for Distributed Storage, presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Gonçalo Medeiros Serapicos Montalvão Marques and António Rito Silva and Manuel Portela, Classification in the LdoD Archive: A Crowdsourcing and Gamification Approach, presented at The 22nd International Conference on Asia-Pacific Digital Libraries (ICADL 2020), Nov. 2020 [bibTex]
- Miguel Matos and Paolo Romano and Shady Alaaeldin Issa and Miguel Viegas and Pedro Luís Galvão Raminhas and Nuno Machado, Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [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, presented at IEEE 19th International Symposium on Network Computing and Applications (NCA 2020) - Best Student Paper Award, Nov. 2020 [bibTex]
- José Bernardo Guimarães Rocha and Luís Filipe Costa and Rui Prada and António Rito Silva and Daniel Jorge Viegas Gonçalves and Pedro Miguel Póvoa Correia, Quizzes (as a tool for self-regulated learning) in Software Engineering Education, presented at 32nd IEEE International Conference on Software Engineering Education & Training (CSEE&T 2020), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Renata Alves Castelo Branco and Inês Alexandra do Côrro Caetano and Inês Isabel Chinita Pereira and António Menezes Leitão, The Collaborative Algorithmic Design Notebook, presented at Imaginable Futures: Design Thinking, and the Scientific Method - proceedings of the 54th International Conference of the Architectural Science Association (ANZAScA) 2020 , Nov. 2020 [bibTex]
- António Rito Silva, A Formal Verification of the Integration of Activity and Goal-Based Workflows, presented at FoPAS 2020: Frontiers of Process Aware Systems, 2020 IEEE 24th International Enterprise Distributed Object Computing Workshop (EDOCW), Oct. 2020 [DOI Article link] [bibTex]
- Gabriel Antunes Maia and Rui Claro and Miguel Pardal, CROSS City: Wi-Fi Location Proofs for Smart Tourism, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Henrique Figueiredo dos Santos and Rui Claro and Leonardo S. Rocha and Miguel Pardal, STOP: a location spoofing resistant vehicle inspection system, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Luis Santos and Inês Alexandra do Côrro Caetano and Inês Isabel Chinita Pereira and António Menezes Leitão, A Generative System for the Design of High-Performing Shading Devices: Exploring the Daylight Potential of Weaving Patterns, presented at Planning Post Carbon Cit ies: Proceedings of PLEA 2020, Sep. 2020 [bibTex]
- Diogo Serranito and André Ferreira Ferrão Couto e Vasconcelos and Sérgio Guerreiro and Miguel Correia, Blockchain Ecosystem for Verifiable Qualifications, presented at 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep. 2020 [bibTex]
- Miguel Matos and Miguel Pardal and Miguel Antão Pereira Amaral and Hugues Mercier, FaultSee: Reproducible Fault Injection in Distributed Systems, presented at European Dependable Computing Conference , Sep. 2020 [bibTex]
- João Francisco Almeida and António Rito Silva, Monolith Migration Complexity Tuning Through the Application of Microservices Patterns, presented at 14th European Conference on Software Architecture (ECSA20), Sep. 2020 [DOI Article link] [bibTex]
- Ricardo Moura and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues and Vitor Manuel Sobrinho Nunes, Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC, presented at ACM Conference on Computer and Communications Security, Sep. 2020 [bibTex]
- Nuno Afonso and Angel Manuel Bravo Gestoso and Luis Rodrigues, Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge, presented at The 29th International Conference on Computer Communications and Networks (ICCCN), Aug. 2020 [bibTex]
- Inês Alexandra do Côrro Caetano and Sara Garcia and Inês Isabel Chinita Pereira and António Menezes Leitão, Creativity inspired by analysis: An algorithmic design system for designing structurally feasible façades, presented at RE: Anthropocene, Proceedings ofthe 25th International Conference ofthe Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) 2020, Aug. 2020 [bibTex]
- Muhammad Bilal and Marco Serafini and Marco Canini and Rodrigo Rodrigues, Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads, presented at 46th International Conference on Very Large Data Bases (VLDB 2020), Aug. 2020 [bibTex] [PDF]
- Alexandro Baldassin and Rafael Murari and João P. L. de Carvalho and Guido Araujo and Daniel Castro and João Barreto and Paolo Romano, NV-PhTM: An Efficient Phase-Based Transactional System for Non-volatile Memory, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par), Aug. 2020 [DOI Article link] [bibTex]
- Tiago M Dias and Pedro Miguel Fernandes Sampaio and Pedro Miguel Florindo Miguens Matutino, A Portable Lab for the Practical Study of Modern Computer Engineering, presented at XIV Congreso TAEE - Tecnología, Aprendizaje y Enseñanza de la Electrónica, Jul. 2020 [bibTex]
- Jingna Zeng and Shady Alaaeldin Issa and Seif Haridi and Luis Rodrigues and Paolo Romano, Brief Announcement: Investigating the Semantics of Futures in Transactional Memory Systems, presented at 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jul. 2020 [bibTex]
- Daniel Presser and Frank Siqueira and Luis Rodrigues and Paolo Romano, EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems, presented at Proceedings of the 14th ACM International Conference on Distributed and Event-Based Systems (DEBS), Jul. 2020 [bibTex]
- Maria da Loura Casimiro and Diego Didona and Paolo Romano and Luis Rodrigues and Willy Zwaenepoel and David Garlan, Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs, presented at Proceedings of the 40th IEEE International Conference on Distributed Computing Systems (ICDCS), Jul. 2020 [bibTex]
- Tiago M Dias and Pedro Miguel Fernandes Sampaio and Diogo Cardoso and Claúdio Prates and Ricardo Jesus and Tiago Costa, Open-Source Power Outlet System for IoT-based Smart Homes, presented at 2020 International Conference on Smart Energy Systems and Technologies (SEST), Jul. 2020 [bibTex]
- Pedro Miguel Florindo Miguens Matutino and Tiago M Dias and Pedro Miguel Fernandes Sampaio, Teaching Hardware/Software Co-Design Using a Project-Based Learning Strategy, presented at XIV Congreso TAEE - Tecnología, Aprendizaje y Enseñanza de la Electrónica, Jul. 2020 [bibTex]
- Paulo Silva and David Vavřička and João Barreto and Miguel Matos, Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum, presented at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2020 [DOI Article link] [bibTex]
- Paolo Laffranchini and Luis Rodrigues and Etienne Riviere and Ramin Sadre and João Miranda, NetSheriff: sheltering software-defined networks from rogue switches, presented at Proceedings of the 8th International Conference in Networked Systems (NETYS), Jun. 2020 [bibTex]
- Cláudio Correia and Luis Rodrigues and Miguel Correia, Omega: a Secure Event Ordering Service for the Edge, presented at Proceedings of 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2020 [bibTex]
- Rafael Belchior and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, Towards Secure, Decentralized, and Automatic Audits with Blockchain, presented at European Conference on Information Systems (ECIS), Jun. 2020 [bibTex]
- David Gureya and João Neto and Reza Karimi and João Barreto and Pramod Bhatotia and Vivien Quema and Rodrigo Rodrigues and Paolo Romano and Vladimir Vlassov, Bandwidth-Aware Page Placement in NUMA, presented at 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May. 2020 [DOI Article link] [bibTex]
- David Cerdeira and Nuno Santos and Pedro Fonseca and Sandro Pinto, SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems, presented at IEEE Symposium on Security and Privacy, May. 2020 [bibTex]
- Miguel Matos and Shady Alaaeldin Issa and Paulo Gouveia and João Neves and Carlos Segarra and Luca Liechti and Valerio Schiavoni, Kollaps: decentralized and dynamic topology emulation, presented at EuroSys, Apr. 2020 [bibTex] [PDF]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga and Elhadj Benkhelifa, Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet, presented at IEEE International Conference on Software Defined Systems (SDS 2020), Apr. 2020 [DOI Article link] [bibTex]
- Nuno Alexandre Vieira Santos and António Rito Silva, A Complexity Metric for Microservices Architecture Migration, presented at 2020 IEEE International Conference on Software Architecture (ICSA), Mar. 2020 [DOI Article link] [bibTex]
- João Santos and Nuno Santos and David Dias, Censorship-resistant Web Annotations Based on Ethereum and IPFS, presented at Proceedings of ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2020 [bibTex]
- Ricardo Miranda and Miguel Pardal and António Manuel Raminhos Cordeiro Grilo, SenSmart: Sensor Data Market for the Internet of Things, presented at ACM/SIGAPP 35th Symposium On Applied Computing (SAC'2020), Mar. 2020 [DOI Article link] [bibTex]
- Miguel E. Coimbra and A. P. Francisco and Luís M. S. Russo and Guillermo de Bernardo and Susana Ladra and Gonzalo Navarro, On dynamic succinct graph representations, presented at Data Compression Conference (DCC), Jan. 2020 [bibTex]

2019

- Luis Filipe Xavier Cavaco de Mendonça Dias and Helder Reia and Rui Neves and Miguel Correia, OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zoom, presented at 13th International Conference on Network and System Security, Dec. 2019 [bibTex]
- Erick Lavoie and Laurie Hendren and Frederic Desprez and Miguel Correia, Pando: Personal Volunteer Computing in Browsers, presented at 2019 ACM/IFIP/USENIX International Middleware Conference, Dec. 2019 [bibTex]
- Rafael Kuffner dos Anjos and António Mauricio Lança Tavares de Sousa and Daniel Mendes and Daniel Pires de Sá Medeiros and Mark Billinghurst and Craig Anslow and Joaquim Armando Pires Jorge, Adventures in hologram space: Exploring the design space of eye-to-eye volumetric telepresence, presented at 25th ACM Symposium on Virtual Reality Software and Technology, Nov. 2019 [bibTex]
- Joaquim Armando Pires Jorge and Rafael Kuffner dos Anjos and Ricardo Silva, Dynamic Occlusion Handling for Real-Time AR Applications, presented at The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, Nov. 2019 [bibTex]
- António Mauricio Lança Tavares de Sousa and Daniel Mendes and Rafael Kuffner dos Anjos and Daniel Simões Lopes and Joaquim Armando Pires Jorge, Negative Space: Workspace Awareness in 3D Face-to-Face Remote Collaboration, presented at The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, Nov. 2019 [bibTex]
- Tanja E. J. Vos and I. S. W. B. Prasetya and Gordon Fraser and Ivan Martinez-Ortiz and Ivan Perez-Colado and Rui Prada and José Bernardo Guimarães Rocha and António Rito Silva, Product-Focused Software Process Improvement, presented at PROFES 2019 - International Conference on Product-Focused Software Process Improvement, Nov. 2019 [DOI Article link] [bibTex]
- Duarte Nunes Félix de Oliveira and António Rito Silva and Manuel Portela, Social Media Aware Virtual Editions for the Book of Disquiet, presented at 21st International Conference on Asia-Pacific Digital Libraries (ICADL 2019), Nov. 2019 [DOI Article link] [bibTex]
- Subhajit Sidhanta and Ricardo J Dias and Rodrigo Rodrigues, A More Consistent Understanding of Consistency, presented at 38th International Symposium on Reliable Distributed Systems, Oct. 2019 [bibTex] [PDF]
- Miguel Carvalho and João Nuno de Oliveira e Silva, RConnected Middleware: Location based services for IoT environments, presented at 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS), Oct. 2019 [DOI Article link] [bibTex]
- Miguel Matos and Miguel Antão Pereira Amaral and Valerio Schiavoni and Luca Liechti and Peter Kropf and João Neves, THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems, presented at In International Symposium on Reliable Distributed Systems, Oct. 2019 [bibTex]
- Arseniy Zaostrovnykh and Solal Pirelli and Rishabh Iyer and Matteo Rizzo and Luis Pedrosa and Katerina Argyraki and George Candea, Verifying Software Network Functions with No Verification Expertise, presented at SOSP, Oct. 2019 [bibTex]
- Paulo Ferreira and Andriy Zabolotnyy and João Barreto, Bicycle Mode Activity Detection with Bluetooth Low Energy Beacons (short paper), presented at 18th IEEE International Symposium on Network Computing and Applications (NCA 2019), Sep. 2019 [DOI Article link] [bibTex]
- Valter Santos and Luis Rodrigues, Difusão em Grupo Tolerante a Faltas com Ordem Causal Usando Informação Localizada, presented at Actas do décimo primeiro Simpósio de Informática (Inforum), Sep. 2019 [bibTex]
- Luís Fernando Ambrósio Nunes and Nuno Alexandre Vieira Santos and António Rito Silva, From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts, presented at European Conference on Software Architecture (ECSA), Sep. 2019 [DOI Article link] [bibTex]
- Daniel Castro and Paolo Romano and Aleksandar Ilic and Amin M Khan, HeTM: Transactional Memory for Heterogeneous Systems, presented at International Conference on Parallel Architectures and Compilation Techniques (PACT), Sep. 2019 [DOI Article link] [bibTex]
- Válter Santos and Luis Rodrigues, Localized Reliable Causal Multicast, presented at IEEE International Symposium on Network Computing and Applications (NCA), Sep. 2019 [bibTex]
- Inês Isabel Chinita Pereira and Catarina Garcia Belém and António Menezes Leitão, Optimizing Exhibition Spaces: A Multi-Objective Approach, presented at Architecture in the Age of the 4th Industrial Revolution: Proceedings of the 37th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Sep. 2019 [bibTex] [PDF]
- Maria João de Maya Gomes Cunha e Sammer and António Menezes Leitão, Visual Input Mechanisms in Textual Programming for Architecture, presented at Architecture in the Age of the 4th Industrial Revolution: Proceedings of the 37th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Sep. 2019 [bibTex] [PDF]
- Valter Balegas and Sergio Duarte and Carla Ferreira and Rodrigo Rodrigues and Nuno Preguiça, IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases, presented at Proc. International Conference on Very Large Databases, Aug. 2019 [bibTex]
- Carlos Sérgio Figueira Faria and Miguel Correia, BlockSim: Blockchain Simulator, presented at IEEE Blockchain Symposium, Jul. 2019 [bibTex]
- Rafael André Pestana Belchior and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, JusticeChain: Using Blockchain to Protect Justice Logs, presented at 27th International Conference on Cooperative Information Systems - CoopIS, Jul. 2019 [bibTex]
- Miguel Carvalho and Ana Tomé and João Nuno de Oliveira e Silva, OPDisp - Open Architecture for Extensible Public Displays, presented at OPDisp - Open Architecture for Extensible Public Displays. In: Stephanidis C. (eds) HCI International 2019 - Posters. HCII 2019, Jul. 2019 [DOI Article link] [bibTex]
- Luiz Julião Braga Filho and João Nuno de Oliveira e Silva and Nizam Omar, Um conjunto de bases de dados para suportar agentes inteligentes em domínios de roteamento da Internet Infrastructure, presented at ANAIS DO WORKSHOP PRÉ-IETF (WPIETF), Jul. 2019 [DOI Article link] [bibTex]
- Miguel Matos and Luis Rodrigues and João Marçal, Adaptive information dissemination in the Bitcoin network, presented at In Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), 2019, Jun. 2019 [bibTex]
- Erick Lavoie and Laurie Hendren and Frederic Desprez and Miguel Correia, Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC, presented at International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2019, Jun. 2019 [bibTex]
- Miguel Matos and Luis Rodrigues and Angel Manuel Bravo Gestoso and Pedro Miguel Marcos Joaquim, Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud, presented at EuroSys, Jun. 2019 [bibTex]
- Luiz Julião Braga Filho and Patricia Takako Endo and Nizam Omar and João Nuno de Oliveira e Silva, On Intelligent, Autonomous and Collaborative Agents to Manage Internet Routing Domains, presented at Iberian Conference on Information Systems and Technologies (CISTI), Jun. 2019 [DOI Article link] [bibTex]
- João Nuno de Oliveira e Silva and Luis Murta and Daniel Silveira and Carlos Domínguez Sánchez, Porting the AIR hypervisor to the ARM architecture with the MIURA1 onboard software as use case, presented at DASIA (Data Systems in Aerospace) 2019, Jun. 2019 [bibTex]
- Luiz Julião Braga Filho and João Nuno de Oliveira e Silva and Patricia Endo and Nizam Omar, Structure for Knowledge Acquisition, Use, Learning and Collaboration Inter Agents over Internet Infrastructure Domains, presented at Intelligent Computing - Proceedings of the 2019 Computing Conference, Volume 1, Jun. 2019 [bibTex]
- Catarina Garcia Belém and Luís Santos and António Menezes Leitão, On the Impact of Machine Learning: Architecture without Architects?, presented at “Hello, Culture”: Proceedings of the 18th Computer-Aided Architectural Design Futures (CAAD Futures) Conference, May. 2019 [bibTex] [PDF]
- Catarina Garcia Belém and António Menezes Leitão, Conflicting Goals in Architecture: A study on Multi-Objective Optimisation, presented at Intelligent & Informed: Proceedings of the 24th Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) Conference , Apr. 2019 [bibTex] [PDF]
- Maria João de Maya Gomes Cunha e Sammer and António Menezes Leitão and Inês Alexandra do Côrro Caetano, From Visual Input to Visual Output in Textual Programming, presented at Intelligent & Informed: Proceedings of the 24th Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) Conference, Apr. 2019 [bibTex] [PDF]
- Paolo Laffranchini and Luis Rodrigues and Marco Canini and Balachander Krishnamurthy, Measurements as First-class Artifacts, presented at IEEE International Conference on Computer Communications (INFOCOM), Apr. 2019 [bibTex]
- Richard Gil Martinez and Luis Rodrigues, Planning Workflow Executions when Using Spot Instances in the Cloud, presented at The 34th ACM Symposium on Applied Computing (SAC), Apr. 2019 [bibTex]
- Sérgio da Silva Mendes and José Simão and Luís Veiga, Oversubscribing MicroClouds with Energy-aware Scheduling for Docker Containers, presented at 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019), Mar. 2019 [bibTex]
- Rodrigo Fraga Barcelos Paulus Bruno and Duarte Tovar de Carvalho Patrício and José Simão and Luís Veiga and Paulo Ferreira, Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications, presented at ACM EuroSys 2019, Mar. 2019 [bibTex]
- Rishabh Iyer and Luis Pedrosa and Arseniy Zaostrovnykh and Solal Pirelli and Katerina Argyraki and George Candea, Performance Contracts for Software Network Functions, presented at NSDI, Feb. 2019 [bibTex]
- Ricardo Filipe and Shady Alaaeldin Issa and Paolo Romano and João Barreto, Stretching the capacity of Hardware Transactional Memory in IBM POWER architectures, presented at Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (PPoPP '19), Feb. 2019 [DOI Article link] [bibTex]
- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]
- António Mauricio Lança Tavares de Sousa and Rafael Kuffner dos Anjos and Daniel Mendes and Mark Billinghurst and Joaquim Armando Pires Jorge, WARPING DEIXIS: Distorting Gestures to Enhance Collaboration, presented at CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019), Jan. 2019 [DOI Article link] [bibTex]

National Conferences: 8

2019

- Taras Lykhenko and Luis Rodrigues, Concretização Eficiente de Coerência Causal Transaccional na Nuvem, presented at Actas do décimo primeiro Simpósio de Informática (Inforum), Sep. 2019 [bibTex]
- Gabriel Antunes Maia and Miguel Pardal, CROSS: loCation pROof techniqueS for consumer mobile applicationS, presented at INForum 2019, Sep. 2019 [bibTex]
- Miguel Antão Pereira Amaral and Miguel Pardal and Miguel Matos, FaultSee: Avaliação Reproduzível de Sistemas Distribuídos Sujeitos a Faltas, presented at INForum 2019, Sep. 2019 [bibTex]
- André Madeira and Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues, Identificação de Canais Encobertos no Skype usando Esboços em SDNs, presented at Actas do décimo primeiro Simpósio de Informática (Inforum), Sep. 2019 [bibTex]
- Pedro Esperança do Carmo and Miguel Pardal, IoT Neighborhood Watch: device monitoring for anomaly detection, presented at INForum 2019, Sep. 2019 [bibTex]
- Henrique Figueiredo dos Santos and Miguel Pardal, Operation STOP: itinerary verification for smart vehicle inspections, presented at INForum 2019, Sep. 2019 [bibTex]
- Claudio Correia and Luis Rodrigues and Miguel Correia, Ordenação Segura de Eventos na Periferia da Rede, presented at Actas do décimo primeiro Simpósio de Informática (Inforum), Sep. 2019 [bibTex]
- Sheng Wang and Rui Claro and Miguel Pardal, SPYKE: Security ProxY with Knowledge-based intrusion prEvention, presented at INForum 2019, Sep. 2019 [bibTex]

National Journal Articles: 1

2020

- Tolentino Martins and Miguel Pardal and José Borges, Gestão de Vulnerabilidade e Risco no Suporte à Decisão, article in Proelium, Jan. 2020 [bibTex]

Dissertations

PhD Theses: 7

2020

- Jingna Zeng advised by Paolo Romano and Seif Haridi, Augmenting Transactional Memory with the Future Abstraction, PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
- Zhongmiao Li advised by Paolo Romano and Peter Van Roy, Speculation in Partially-Replicated Transactional Data Stores, PhD Thesis at Instituto Superior Tecnico & Catholic University of Louvain, May. 2020 [bibTex]

2019

- Amin Mohtasham advised by João Barreto, Fair and Efficient Parallelism Tuning in Multi-programmed Environments, PhD Thesis at Universidade de Lisboa, Dec. 2019 [bibTex]
- Luiz Julião Braga Filho advised by João Nuno de Oliveira e Silva and Nizam Omar, Environment for Knowledge Acquisition by Restricted Domain Names in Internet Infrastructure, PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa / Universidade Presbiteriana Mackenzie, Oct. 2019 [bibTex]
- Pradeeban Kathiravelu advised by Luís Veiga and Peter Van Roy, Software-Defined Systems for Network-Aware Service Composition and Workflow Placement, PhD Thesis at Instituto Superior Técnico, ULisboa / Université catholique de Louvain, Jul. 2019 [bibTex]
- David Rogério Póvoa de Matos advised by Miguel Correia and Miguel Pardal, Intrusion Recovery in Cloud Computing, PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]
- Richard Joaquín Gil Martinez advised by Luis Rodrigues and Peter van Roy, Automated Planning to Support the Deployment and Management of Applications in Cloud Environments, PhD Thesis at Universidade de Lisboa e Universite Catholique Leuven, Mar. 2019 [bibTex]

MSc Theses: 32

2020

- Hugo Rafael Silva Guerreiro advised by Luis Rodrigues and Nuno Preguiça, Causality Tracking Trade-offs for Distributed Storage, MSc Thesis at Universidade de Lisboa e Universite Catholique Leuven, Nov. 2020 [bibTex]
- Miguel Leitão Belém advised by Luis Rodrigues, ENGAGE: Session Guaranties for the Edge, MSc Thesis, Nov. 2020 [bibTex]
- João Gonçalo da Silva Antunes advised by Luís Veiga, Pulsarcast - Scalable and reliable pub-sub over P2P networks, MSc Thesis at Instituto Superior Técnico, ULisboa, Jun. 2020 [bibTex]

2019

- Tiago Miguel Santos Rodrigues advised by António Menezes Leitão, Dynamic Invocation, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2019 [bibTex]
- Miguel Antão Pereira Amaral advised by Miguel Pardal and Miguel Matos, FaultSee: interactive fault injection in distributed systems, MSc Thesis, Dec. 2019 [bibTex]
- Daniel Matos Fermoselle da Silva advised by António Menezes Leitão, Reverse Algorithmic Design of Buildings, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2019 [bibTex] [PDF]
- Tiago Miguel Borralho Pereira advised by Daniel Jorge Viegas Gonçalves, VisMillion and Change, MSc Thesis, Dec. 2019 [bibTex]
- Nuno Alexandre Vieira Santos advised by António Rito Silva, A Complexity Metric for Microservices Architecture Migration, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Nuno Manuel Bagulho Gonçalves advised by António Rito Silva and Manuel Portela, A Product Family for Digital Humanities Repositories, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- André Pereira Rodrigues advised by António Rito Silva, Blended Workflow introduction of skip and redo operations, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Henrique Figueiredo dos Santos advised by Miguel Pardal, CAPTOR: loCAtion Proofs for goods TranspOrtation Reports, MSc Thesis, Nov. 2019 [bibTex]
- Pedro Miguel Filipe Santa Rita Monteiro advised by António Rito Silva, Collaborative software development: from goals to coding, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Gabriel Antunes Maia advised by Miguel Pardal, CROSS: loCation pROofs for Smart touriSm in the city, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2019 [bibTex]
- João Pedro Santana Calisto advised by Paulo Ferreira and Luís Veiga, detectP2P – P2P Detection of Travel Mode, MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2019 [bibTex]
- André Filipe Antunes Madeira advised by Luis Rodrigues and Nuno Miguel Pereira dos Santos, Identification of Skype Covert Channels using Sketches in SDNs, MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]
- Pedro Esperança do Carmo advised by Miguel Pardal and João Nuno de Oliveira e Silva, IoT Neighbourhood Watch, MSc Thesis, Nov. 2019 [bibTex]
- Gonçalo Alexandre Torrão Garcia advised by Luís Veiga, Melange: A Hybrid Approach to Tracing Heterogeneous Distributed Systems, MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2019 [bibTex]
- João Pedro Martins Serras advised by António Rito Silva and Nuno Catarino, Multi-Cloud Deployment and Execution of Earth Observation Services, MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
- Cláudio José Pereira Correia advised by Luis Rodrigues and Miguel Correia, Omega: a Secure Event Ordering Service for the Edge, MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]
- Tiago Filipe Ribeiro Gonçalves advised by Miguel Pardal, Privacy-preserving data market for threat sharing, MSc Thesis, Nov. 2019 [bibTex]
- Rui Miguel Pereira Barata advised by Miguel Pardal and Miguel Correia, RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications, MSc Thesis, Nov. 2019 [bibTex]
- João António Mateus Tiago advised by Luís Veiga, Startrail - Adaptative Network Caching for Peer-to-peer File Systems, MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2019 [bibTex]
- Ricardo José Cordeiro Xavier advised by João Barreto, CoopMap: Democratizing Community Maps using Crowdsourcing, MSc Thesis, Oct. 2019 [bibTex]
- Diogo Peres Castilho advised by João Barreto and Miguel Matos, Etherspace: Practical Proof-of-Space for Blockchains, MSc Thesis, Oct. 2019 [bibTex]
- Luis Carlos da Silva Aguiar advised by João Barreto and Miguel Matos, Melhoramento do Protocolo de disseminação do Ethereum, MSc Thesis, Oct. 2019 [bibTex]
- Taras Lykhenko advised by Luis Rodrigues, Efficient Implementation of Causal Consistent Transactions in the Cloud, MSc Thesis at Universidade de Lisboa, Sep. 2019 [bibTex]
- José Maria Rodrigues de Freitas advised by António Menezes Leitão and Miguel José das Neves Pires Amado, Algorithmic Tree-Inspired Design: A Link Between Manual and Performative Methodologies, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jul. 2019 [bibTex]
- José Eduardo Brissos Raposo advised by António Rito Silva and Manuel Portela, LdoD Visualization Reading The Book of Disquiet with Information Visualization Techniques, MSc Thesis, Jun. 2019 [bibTex]
- Sheng Wang advised by Miguel Pardal, Privacy protection proxy for IoT data endpoints, MSc Thesis, Jun. 2019 [bibTex]
- Maria João de Maya Gomes Cunha e Sammer advised by António Menezes Leitão and Miguel José das Neves Pires Amado, The Expressive Power of Programming Languages in Architecture, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, May. 2019 [bibTex] [PDF]
- Inês Isabel Chinita Pereira advised by António Menezes Leitão, Towards Lighting Optimization: A Performance-Based Approach, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, May. 2019 [bibTex] [PDF]

Internships: 1

2019

- José Eduardo Sapina Teixeira Brás advised by Miguel Pardal, Estágio de Verão, short term traineeship (before Bolonha), Aug. 2019 [bibTex]

as Editors

Other Publications: 7

2020

- Salvatore Signorello, editor, Programmable Virtual Networks, Oct. 2020 [bibTex]
- Hugo Rafael Fecha Martins and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Discussão de Perguntas", Jul. 2020 [bibTex]
- Daniel Luis Lopes Serafim and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- Tiago Alexandre Teixeira Fonseca and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- Manuel Silva Goulão and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- João José Tacanho Marques and António Rito Silva, editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
- Pedro Manuel Lopes Pereira and António Rito Silva, editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]

Technologies

International Patents: 1

2019

- Himanshu Raj and Nuno Santos and Paul England and Stefan Saroiu and Alastair Wolman, Trusted language runtime on a mobile platform, Patent Nº 10496824, Dec. 2019 [bibTex]

Reports

Technical Reports: 2

2021

- Daniel Castro and Paolo Romano and João Barreto and Alexandro Baldassin, Scalable Persistent Hardware Transactions, INESC-ID Tec. Rep. 1/2021, Jan. 2021 [bibTex] [PDF]

2019

- Jingna Zeng and Shady Alaaeldin Issa and Seif Haridi and Luis Rodrigues and Paolo Romano, Investigating the Semantics of Futures in Transactional Memory Systems, INESC-ID Tec. Rep. 3/2019, Oct. 2019 [bibTex]