Publications
Filter Publications: 2019 - 2021
Books
Book Chapters: 10
2020
- 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]
, - 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]
, - 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]
, - Detecting Botnets and Unknown Network Attacks in Big Traffic Data, chapter of Botnets: Architectures, Countermeasures, and Challenges, Jan. 2020 [bibTex]
, - From Byzantine Consensus to Blockchain Consensus, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
, - A Blockchain Use Case for Car Registration, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
, - 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
- Incremental Sliding Window Analytics, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]
, - Achieving Low Latency Transactions for Geo-replicated Storage with Blotter, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]
, - Incremental Approximate Computing, chapter of Encyclopedia of Big Data Technologies, Feb. 2019, Springer [bibTex]
, Articles
International Journal Articles: 18
2020
- edgeTrans - Edge Transport Mode Detection, article in Pervasive and Mobile Computing, to appear on 2020, Elsevier [DOI Article link] [bibTex]
, - 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]
, - TEEnder: SGX Enclave Migration using HSMs, article in Computers & Security, May. 2020, Elsevier B.V. [DOI Article link] [bibTex] [PDF]
, - Transparent Speculation in Geo-Replicated Transactional Data Stores, article in Jurnal of Parallel and Distributed Computing, May. 2020, Elsevier [bibTex]
, 2019
- 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]
, - 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]
, - Programming languages for data-Intensive HPC applications: A systematic mapping study, article in Parallel Computing, to appear on 2019, Elsevier [DOI Article link] [bibTex]
, - 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]
, - 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]
, - Extending Hardware Transactional Memory Capacity via Rollback-Only Transactions and Suspend/Resume, article in Distributed Computing, Oct. 2019 [bibTex]
, - 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]
, - On-demand big data integration, article in Distributed and Parallel Databases vol. 37 (2) pp. 273–295, Jun. 2019, Springer [DOI Article link] [bibTex]
, - 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]
, - SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, article in IEEE Transactions on Reliability (68) pp. 1168-1188, Mar. 2019 [bibTex]
, - 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]
, - 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]
, - Demystifying Arm TrustZone: A Comprehensive Survey, article in ACM Computing Surveys vol. 51 (6) pp. 36, Jan. 2019 [bibTex]
, - 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
- 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
- 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]
, - 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]
, - 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]
, - Causality Tracking Tradeoffs for Distributed Storage, presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
, - 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]
, - Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [bibTex]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - STOP: a location spoofing resistant vehicle inspection system, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
, - 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]
, - Blockchain Ecosystem for Verifiable Qualifications, presented at 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep. 2020 [bibTex]
, - FaultSee: Reproducible Fault Injection in Distributed Systems, presented at European Dependable Computing Conference , Sep. 2020 [bibTex]
, - 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]
, - MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - NetSheriff: sheltering software-defined networks from rogue switches, presented at Proceedings of the 8th International Conference in Networked Systems (NETYS), Jun. 2020 [bibTex]
, - 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]
, - Towards Secure, Decentralized, and Automatic Audits with Blockchain, presented at European Conference on Information Systems (ECIS), Jun. 2020 [bibTex]
, - Bandwidth-Aware Page Placement in NUMA, presented at 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May. 2020 [DOI Article link] [bibTex]
, - SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems, presented at IEEE Symposium on Security and Privacy, May. 2020 [bibTex]
, - Kollaps: decentralized and dynamic topology emulation, presented at EuroSys, Apr. 2020 [bibTex] [PDF]
, - 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]
, - A Complexity Metric for Microservices Architecture Migration, presented at 2020 IEEE International Conference on Software Architecture (ICSA), Mar. 2020 [DOI Article link] [bibTex]
, - Censorship-resistant Web Annotations Based on Ethereum and IPFS, presented at Proceedings of ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2020 [bibTex]
, - 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]
, - On dynamic succinct graph representations, presented at Data Compression Conference (DCC), Jan. 2020 [bibTex]
, 2019
- OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zoom, presented at 13th International Conference on Network and System Security, Dec. 2019 [bibTex]
, - Pando: Personal Volunteer Computing in Browsers, presented at 2019 ACM/IFIP/USENIX International Middleware Conference, Dec. 2019 [bibTex]
, - 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]
, - 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]
, - 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]
, - Product-Focused Software Process Improvement, presented at PROFES 2019 - International Conference on Product-Focused Software Process Improvement, Nov. 2019 [DOI Article link] [bibTex]
, - 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]
, - A More Consistent Understanding of Consistency, presented at 38th International Symposium on Reliable Distributed Systems, Oct. 2019 [bibTex] [PDF]
, - 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]
, - THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems, presented at In International Symposium on Reliable Distributed Systems, Oct. 2019 [bibTex]
, - Verifying Software Network Functions with No Verification Expertise, presented at SOSP, Oct. 2019 [bibTex]
, - 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]
, - 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]
, - 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]
, - HeTM: Transactional Memory for Heterogeneous Systems, presented at International Conference on Parallel Architectures and Compilation Techniques (PACT), Sep. 2019 [DOI Article link] [bibTex]
, - Localized Reliable Causal Multicast, presented at IEEE International Symposium on Network Computing and Applications (NCA), Sep. 2019 [bibTex]
, - 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]
, - 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]
, - IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases, presented at Proc. International Conference on Very Large Databases, Aug. 2019 [bibTex]
, , - JusticeChain: Using Blockchain to Protect Justice Logs, presented at 27th International Conference on Cooperative Information Systems - CoopIS, Jul. 2019 [bibTex]
, - 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]
, - 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]
, - 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]
, - 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]
, - Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud, presented at EuroSys, Jun. 2019 [bibTex]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - 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]
, - Measurements as First-class Artifacts, presented at IEEE International Conference on Computer Communications (INFOCOM), Apr. 2019 [bibTex]
, - Planning Workflow Executions when Using Spot Instances in the Cloud, presented at The 34th ACM Symposium on Applied Computing (SAC), Apr. 2019 [bibTex]
, - Oversubscribing MicroClouds with Energy-aware Scheduling for Docker Containers, presented at 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019), Mar. 2019 [bibTex]
, - Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications, presented at ACM EuroSys 2019, Mar. 2019 [bibTex]
, , - 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]
, - Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]
, - 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
- 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]
, - CROSS: loCation pROof techniqueS for consumer mobile applicationS, presented at INForum 2019, Sep. 2019 [bibTex]
, - FaultSee: Avaliação Reproduzível de Sistemas Distribuídos Sujeitos a Faltas, presented at INForum 2019, Sep. 2019 [bibTex]
, - 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]
, - IoT Neighborhood Watch: device monitoring for anomaly detection, presented at INForum 2019, Sep. 2019 [bibTex]
, - Operation STOP: itinerary verification for smart vehicle inspections, presented at INForum 2019, Sep. 2019 [bibTex]
, - 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]
, - SPYKE: Security ProxY with Knowledge-based intrusion prEvention, presented at INForum 2019, Sep. 2019 [bibTex]
, National Journal Articles: 1
2020
,Dissertations
PhD Theses: 7
2020
- Paolo Romano and Seif Haridi, Augmenting Transactional Memory with the Future Abstraction, PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
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]
advised by 2019
- João Barreto, Fair and Efficient Parallelism Tuning in Multi-programmed Environments, PhD Thesis at Universidade de Lisboa, Dec. 2019 [bibTex]
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]
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]
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]
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]
advised by MSc Theses: 32
2020
- 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]
advised by 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]
advised by 2019
- António Menezes Leitão, Dynamic Invocation, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2019 [bibTex]
advised by - Miguel Pardal and Miguel Matos, FaultSee: interactive fault injection in distributed systems, MSc Thesis, Dec. 2019 [bibTex]
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]
advised by 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]
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]
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]
advised by - Miguel Pardal, CAPTOR: loCAtion Proofs for goods TranspOrtation Reports, MSc Thesis, Nov. 2019 [bibTex]
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]
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]
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]
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]
advised by - Miguel Pardal and João Nuno de Oliveira e Silva, IoT Neighbourhood Watch, MSc Thesis, Nov. 2019 [bibTex]
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]
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]
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]
advised by advised by - Miguel Pardal and Miguel Correia, RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications, MSc Thesis, Nov. 2019 [bibTex]
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]
advised by - João Barreto, CoopMap: Democratizing Community Maps using Crowdsourcing, MSc Thesis, Oct. 2019 [bibTex]
advised by - João Barreto and Miguel Matos, Etherspace: Practical Proof-of-Space for Blockchains, MSc Thesis, Oct. 2019 [bibTex]
advised by - João Barreto and Miguel Matos, Melhoramento do Protocolo de disseminação do Ethereum, MSc Thesis, Oct. 2019 [bibTex]
advised by - Luis Rodrigues, Efficient Implementation of Causal Consistent Transactions in the Cloud, MSc Thesis at Universidade de Lisboa, Sep. 2019 [bibTex]
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]
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]
advised by - António Menezes Leitão, Optimization of Time-Consuming Objective Functions: Derivative-Free Approaches and their Application in Architecture, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex] [PDF]
advised by 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]
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]
advised by Internships: 1
2019
advised byas Editors
Other Publications: 7
2020
- Programmable Virtual Networks, Oct. 2020 [bibTex]
, editor, - Estágio de Verão "QuizzesTutor - Discussão de Perguntas", Jul. 2020 [bibTex]
, editors, - Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
, editors, - Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
, editors, - Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
, editors, - Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
, editors, - Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
, editors, Technologies
International Patents: 1
2019
- Trusted language runtime on a mobile platform, Patent Nº 10496824, Dec. 2019 [bibTex]
, Reports
Technical Reports: 2
2021
,2019
- Investigating the Semantics of Futures in Transactional Memory Systems, INESC-ID Tec. Rep. 3/2019, Oct. 2019 [bibTex]
,