Publications
Filter Publications: 2022 - 2024
Books
Book Chapters: 1
2022
- Prediction of Gene and Genomic Regulation in Candida Species, Using the PathoYeastract Database: A Comparative Genomics Approach, chapter of Yeast Functional Genomics. Methods in Molecular Biology, May. 2022, Humana [bibTex]
, Articles
International Journal Articles: 18
2023
- A Systematic Literature Review of Static Application Security Testing Tools, article in , to appear on 2023 [bibTex]
, - Exact and Approximate Determination of the Pareto Front Using Minimal Correction Subsets, article in Computers and Operations Research, to appear on 2023 [bibTex]
, - Base editing screens map mutations affecting interferon-γ signaling in cancer, article in Cancer Cell, Jan. 2023 [Article] [DOI Article link] [bibTex]
, - YEASTRACT+: a portal for the exploitation of global transcription regulation and metabolic model data in yeast biotechnology and pathogenesis, article in Nucleic Acids Research vol. 51 pp. D785–D791, Jan. 2023, Oxford University Press [DOI Article link] [bibTex]
, 2022
- Integrating an academic management system with blockchain: A case study, article in Blockchain: Research and Applications vol. 3 (4), Dec. 2022, Elsevier [bibTex]
, - Introducing UniCorT: A University Course Timetabling Tool, article in Journal of Scheduling, to appear on 2022, Springer [DOI Article link] [bibTex]
, - Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly, article in Computers & Security pp. 102745, to appear on 2022, Elsevier [Article] [DOI Article link] [bibTex]
, - Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly, article in Computers & Security, to appear on 2022 [bibTex]
, - Multiple-Input Neural Networks for Time Series Forecasting Incorporating Historical and Prospective Context, article in Data Mining and Knowledge Discovery, Nov. 2022 [bibTex]
, - bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs, article in Journal of Logical and Algebraic Methods in Programming vol. 130, Sep. 2022 [DOI Article link] [Supplementary Material] [bibTex]
, - Pan-cancer proteomic map of 949 human cell lines, article in Cancer Cell vol. 40 pp. 835-849, Aug. 2022 [DOI Article link] [bibTex]
, - DNA methylation fingerprint of hepatocellular carcinoma from tissue and liquid biopsies, article in Scientific Reports, Jul. 2022 [DOI Article link] [bibTex]
, - Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response, article in International Journal of Geo-Information, Jun. 2022 [bibTex]
, - DeepData: Machine Learning in the Marine Ecosystems, article in Expert Systems With Applications, Jun. 2022 [bibTex]
, - Route choice estimation in rail transit systems using smart card data: handling vehicle schedule and walking time uncertainties, article in European Transport and Research Review (ETRR), Jun. 2022 [bibTex]
, - Constraint-based Electoral Districting Using a New Compactness Measure: an application to Portugal, article in Computers and Operations Research, May. 2022, Elsevier [bibTex]
, - A suspension technique for efficient large-scale cancer organoid culturing and perturbation screens, article in Scientific Reports vol. 12, Apr. 2022 [Article] [DOI Article link] [bibTex]
, - Boolean function metrics can assist modelers to check and choose logical rules, article in Journal of Theoretical Biology vol. 538 pp. 111025, Apr. 2022, Elsevier [DOI Article link] [bibTex]
, International Conferences: 25
2023
- Are security commit messages informative? Not enough!, presented at International Conference on Evaluation and Assessment in Software Engineering, to appear on 2023 [bibTex]
, - Best Practices when Writing Security Commit Messages: Are we there yet?, to appear on 2023 [bibTex]
, - Explaining Wikipedia page similarity using network science, presented at World Conference on Information Systems and Technologies, to appear on 2023 [bibTex]
, - Polarization and similarly of news in Portugal and the Philippines, presented at World Conference on Information Systems and Technologies, to appear on 2023 [bibTex]
, - RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks, presented at Proceedings of 44th IEEE Symposium on Security and Privacy (S&P), to appear on 2023 [bibTex]
, , - Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection, presented at International Conference on AI Engineering (CAIN) – Software Engineering for AI (Co-located with the International Conference in Software Engineering), to appear on 2023 [bibTex] [PDF]
, - Graph Neural Networks For Mapping Variables Between Programs, presented at European Conference on Artificial Intelligence (ECAI), Jul. 2023 [bibTex]
, - UpMax: User partitioning for MaxSAT, presented at International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Jul. 2023 [bibTex]
, - Community structure in transcriptional regulatory networks of yeast species, presented at International Conference on Complex Networks (CompleNet), Apr. 2023 [bibTex]
, - New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization, presented at Tools and Algorithms for Construction and Analysis of Systems (TACAS), Apr. 2023 [bibTex]
, 2022
- A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing, presented at 2nd International Workshop on Artificial Intelligence in Software Testing (AIST'22), to appear on 2022 [bibTex] [PDF]
, - Concolic Execution for WebAssembly, presented at Proceedings of European Conference on Object-Oriented Programming (ECOOP), to appear on 2022 [bibTex]
, - Extending EcoAndroid with Automated Detection of Resource Leaks, presented at 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022, to appear on 2022 [bibTex]
, - SAT-based Leximax Optimisation Algorithms, presented at International Conference on Theory and Applications of Satisfiability Testing (SAT), to appear on 2022 [bibTex]
, - SECOM: Towards a convention for security commit messages, presented at International Conference on Mining Software Repositories (MSR), to appear on 2022 [DOI Article link] [bibTex] [PDF]
, - Verified Password Generation from Password Composition Policies, presented at 17th International Conference on integrated Formal Methods (iFM), to appear on 2022 [bibTex] [PDF]
, - Leveraging Practitioners’ Feedback to Improve a Security Linter, presented at 37th IEEE/ACM International Conference on Automated Software Engineering, Nov. 2022 [bibTex] [PDF]
, - MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, presented at 30th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (ESEC/FSE 2022), Nov. 2022 [bibTex]
, - TestSelector: Automatic Test Suite Selection for Student Projects, presented at Runtime Verification, Sep. 2022 [DOI Article link] [bibTex]
, - GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code, presented at 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), Jul. 2022 [bibTex] [PDF]
, - Studying Users' Willingness to Use a Formally Verified Password Manager, presented at PhD Symposium at the 17th International Conference on integrated Formal Methods (iFM), Jun. 2022 [bibTex] [PDF]
, - Consolidation of massive medical emergency events with heterogeneous situational context data sources, presented at 6th International workshop on Data Analytics solutions for Real-LIfe APplications @ EDBT/ICDT 2022, Mar. 2022 [bibTex] [PDF]
, - Automatic Generation of Neural Architecture Search Spaces, presented at AAAI-2022 Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR), Feb. 2022 [bibTex]
, - Functional characterization of transcriptional regulatory networks of yeast species, presented at International School and Conference on Network Science (NetSciX'22), Feb. 2022 [DOI Article link] [bibTex]
, National Conferences: 2
2022
- Community detection for the characterization of transcriptional regulatory networks of yeast species, presented at INForum, Sep. 2022 [bibTex]
, - Predicting blood donor return in Portugal: the role of demographics, presented at 13th INForum - Simpósio de Informática (INForum'22), Sep. 2022 [bibTex]
, Dissertations
MSc Theses: 8
2022
- Pedro T. Monteiro and Rui Miguel Carrasqueiro Henriques, Descriptive and predictive modelling of blood activity in Portugal, MSc Thesis, Dec. 2022 [bibTex]
advised by - João F. Ferreira and Martin Monperrus, KTH Royal Institute of Technology, A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
advised by - João F. Ferreira and Rui Abreu, A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model, MSc Thesis, Nov. 2022 [bibTex]
advised by - Inês Lynce and Miguel Ângelo da Terra Neves, Data Formatting Synthesis by Example, MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
advised by - João F. Ferreira, Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
advised by - João F. Ferreira, GLITCH: Polyglot Code Smell Detection for Infrastructure as Code, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
advised by - Inês Lynce and Alexandre Duarte de Almeida Lemos, Incremental Synthesis of OutSystems Logic, MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
advised by - Pedro T. Monteiro and Inês Lynce, Optimization models for IPST blood collection, MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
advised by Internships: 1
2022
- Rui Miguel Carrasqueiro Henriques and Vasco Manquinho, Descriptive and predictive analysis of spatiotemporal data in urban domain, short term traineeship, Jun. 2022 [bibTex]
advised by Technologies
International Patents: 1
2022
- Dna methylation biomarkers for hepatocellular carcinoma, Patent Nº 20222435661, May. 2022, Ophiomics [bibTex]
,