Publications
Filter Publications: 2019 - 2021
Articles
International Journal Articles: 15
2020
- Multiple fault localization of software programs: A systematic literature review, article in Information and Software Technology vol. 124, to appear on 2020, Elsevier BV [DOI Article link] [bibTex] [PDF]
, - A Game AI Competition to foster Collaborative AI research and development, article in IEEE Transactions on Games pp. 1-12, Sep. 2020, IEEE [DOI Article link] [bibTex]
, - Assessing regulatory features of the current transcriptional network of Saccharomyces cerevisiae, article in Scientific Reports, Sep. 2020, Nature [DOI Article link] [bibTex]
, - Disruptions in Timetables: A Case Study at Universidade de Lisboa, article in Journal of Scheduling, Jun. 2020 [bibTex]
, - Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors, article in Cancer Research vol. 80 (11), Jun. 2020 [DOI Article link] [bibTex]
, - A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells, article in Computer Methods and Programs in Biomedicine vol. 192, Mar. 2020 [DOI Article link] [bibTex]
, - Revision of Boolean models of regulatory networks using stable state observations, article in Journal of Computational Biology vol. 27 (2) pp. 144-155, Feb. 2020, Mary Ann Liebert, Inc. [DOI Article link] [bibTex]
, - YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts, article in Nucleic Acids Research vol. 48 pp. D642-D649, Jan. 2020, Oxford University Press [DOI Article link] [bibTex]
, 2019
- {RC2:} an Efficient MaxSAT Solver, article in Journal on Satisfiability, Boolean Modeling and Computation vol. 11 (1) pp. 53--64, to appear on 2019 [DOI Article link] [bibTex]
, - Impact of Changing Cell-Cell Communication Network in Models of Epithelial Pattern Formation, article in IFAC-PapersOnLine vol. 52 (26) pp. 38-44, Oct. 2019 [DOI Article link] [bibTex]
, - Virtual machine consolidation using constraint-based multi-objective optimization, article in Journal of Heuristics vol. 25 (3) pp. 339-375, Jun. 2019 [DOI Article link] [bibTex]
, - Room Usage Optimization in Timetabling: A Case Study at Universidade de Lisboa, article in Operations Research Perspectives vol. 6 pp. 100092, May. 2019 [DOI Article link] [bibTex]
, - On Logical Bifurcation Diagrams, article in Journal of Theoretical Biology vol. 466 pp. 39-63, Apr. 2019 [DOI Article link] [bibTex]
, - EpiLog: A software for the logical modelling of epithelial dynamics, article in F1000Research vol. 7 pp. 1145, Mar. 2019, F1000 Research, Ltd. [DOI Article link] [bibTex]
, - Repairing Boolean logical models from time-series data using Answer Set Programming, article in Algorithms for Molecular Biology vol. 14 pp. 9, Mar. 2019 [DOI Article link] [bibTex]
, International Conferences: 29
2021
- SOAR: A Synthesis Approach for Data Science API Refactoring, presented at International Conference on Software Engineering (ICSE), May. 2021 [bibTex]
, - UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles, presented at SIAM International Conference on Data Mining, Apr. 2021 [bibTex]
, 2020
- UnchartIt: An Interactive Framework for Program Recovery from Charts, presented at IEEE/ACM International Conference on Automated Software Engineering, Oct. 2020 [bibTex]
, - Minimal Perturbation in University Timetabling with Maximum Satisfiability, presented at 17th Intl. Conf. on Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20), Sep. 2020 [DOI Article link] [bibTex]
, - ModRev - Model Revision tool for Boolean logical models of biological regulatory networks, presented at 18th Intl. Conf. on Computational Methods in Systems Biology (CMSB'20), Sep. 2020 [DOI Article link] [bibTex]
, - Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks, presented at 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) – 5th International Workshop on Reliability and Security Data Analysis (RSDA), Aug. 2020 [bibTex] [PDF]
, - ITC 2019: University Course Timetabling with MaxSAT, presented at Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021:, Aug. 2020 [bibTex]
, - SAT-Based Encodings for Optimal Decision Trees with Explicit Paths., presented at Theory and Applications of Satisfiability Testing - {SAT} 2020, Jul. 2020 [DOI Article link] [bibTex]
, - Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection, presented at 15th ACM ASIA Conference on Computer and Communications Security, Jul. 2020 [bibTex] [PDF]
, - SmartBugs: A Framework to Analyze Solidity Smart Contracts, presented at 35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, Jul. 2020 [bibTex] [PDF]
, - SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex]
, - A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications, presented at European Conference on Object-Oriented Programming (ECOOP 2020), Jun. 2020 [bibTex] [PDF]
, - Gillian, Part I: A Multi-language Platform for Symbolic Execution, presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Apr. 2020 [DOI Article link] [bibTex] [PDF]
, - Extending Narrative Planning Domains with Linguistic Resources, presented at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), Jan. 2020 [bibTex] [PDF]
, - Visual Sketching: From Image Sketches to Code, presented at The 42th International Conference on Software Engineering (ICSE'20), Jan. 2020 [bibTex] [PDF]
, 2019
- Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts, presented at 42nd International Conference on Software Engineering (ICSE 2020), Dec. 2019 [bibTex] [PDF]
, - Narrative Planning Model Acquisition from Text Summaries and Descriptions, presented at AAAI Conference on Artificial Intelligence (AAAI-20), Nov. 2019 [bibTex] [PDF]
, - Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving, presented at 25th International Conference Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
, - Encodings for Enumeration-Based Program Synthesis, presented at 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
, - Logic, Algebra, and Geometry at the Foundation of Computer Science, presented at Formal Methods Teaching Workshop (FMTea), Aug. 2019 [bibTex] [PDF]
, - Model-Based Diagnosis with Multiple Observations, presented at International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Aug. 2019 [DOI Article link] [bibTex]
, - Open and Interactive Learning Resources for Algorithmic Problem Solving, presented at 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCert), Aug. 2019 [bibTex] [PDF]
, - DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
, - DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
, - Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization, presented at 28th International Joint Conference on Artificial Intelligence (IJCAI19), May. 2019 [bibTex] [PDF]
, - Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms, presented at 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May. 2019 [bibTex]
, - Model revision of Boolean regulatory networks at stable state, presented at International Symposium on Bioinformatics Research and Applications, May. 2019 [DOI Article link] [bibTex]
, - Efficient Symmetry Breaking for SAT-Based Minimum {DFA} Inference, presented at International Conference Language and Automata Theory and Applications, Mar. 2019 [DOI Article link] [bibTex]
, - Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]
, National Conferences: 1
2019
- Solving Motion and Action Planning for a Cooperative Agent Problem Using Geometry Friends, presented at EPIA Conference on Artificial Intelligence, Sep. 2019 [DOI Article link] [bibTex]
, Dissertations
PhD Theses: 1
2019
- Vasco Manquinho and Inês Lynce, Constraint-Based Multi-Objective Combinatorial Optimization, PhD Thesis at IST - Universidade de Lisboa, Jun. 2019 [bibTex]
advised by MSc Theses: 10
2021
- Inês Lynce and Miguel Neves, Pure Function Synthesis in the OutSystems Plataform, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]
advised by 2020
- Vasco Manquinho and Miguel Neves, CUBES: A New Dimension in Query Synthesis From Examples, MSc Thesis at IST - Universidade de Lisboa, Nov. 2020 [bibTex]
advised by - Inês Lynce and Miguel Neves, FOREST: An interactive multi-tree synthesizer for regular expressions, MSc Thesis at Instituto Superior Técnico, Nov. 2020 [bibTex]
advised by 2019
- Vasco Manquinho and Luis Guerra e Silva, Data Center Optimization using vitual machine profiles, MSc Thesis, Nov. 2019 [bibTex]
advised by - Vasco Manquinho and Nuno Roma, Flying Tourist Problem An Integer Linear Programming Approach, MSc Thesis, Nov. 2019 [bibTex]
advised by - Mikolas Janota and Vasco Manquinho, New Language for Program Test Generation, MSc Thesis, Nov. 2019 [bibTex]
advised by - Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, MSc Thesis, Nov. 2019 [bibTex]
advised by - Inês Lynce and Vasco Manquinho, DeepData: Machine Learning in the Marine Ecosystems, MSc Thesis at Instituto Superior Técnico, Oct. 2019 [bibTex]
advised by - Inês Lynce and Vasco Manquinho, Program Synthesis from Noisy Tabular Data, MSc Thesis, Oct. 2019 [bibTex]
advised by - Inês Lynce and Miguel Ventura, Program Synthesis with Formal Methods for outsystems language, MSc Thesis at Instituto Superior Técnico, May. 2019 [bibTex]
advised by