Learning Techniques for Pseudo-Boolean Solving. - José Faustino Fragoso Femenin dos Santos; Vasco Manquinho (LPAR Workshops, 2008)

Sensor-based self-calibration of the iCub's head. - José Fragoso Santos; Alexandre Bernardino; José Santos-Victor (IROS, 2010)

Typing illegal information flows as program effects. - Ana Almeida Matos; José Fragoso Santos (PLAS, 2012)

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. - José Fragoso Santos; Tamara Rezk (SEC, 2014)

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. - Ana Gualdina Almeida Matos; José Fragoso Santos; Tamara Rezk (TGC, 2014)

Enforcing secure information flow in client-side Web applications. (Vers l'établissement du flux d'information sûr dans les applications Web côté client). - José Fragoso Femenin dos Santos (2014)

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. - José Fragoso Santos; Thomas P. Jensen; Tamara Rezk; Alan Schmitt (TGC, 2015)

Modular Monitor Extensions for Information Flow Security in JavaScript. - José Fragoso Santos; Tamara Rezk; Ana Almeida Matos (TGC, 2015)

DOM: Specification and Client Reasoning. - Azalea Raad; José Fragoso Santos; Philippa Gardner (APLAS, 2016)

Mashic compiler: Mashup sandboxing based on inter-frame communication. - Zhengqin Luo; José Fragoso Santos; Ana Almeida Matos; Tamara Rezk (J. Comput. Secur., 2016)

Towards Logic-Based Verification of JavaScript Programs. - José Fragoso Santos; Philippa Gardner; Petar Maksimovic 001; Daiva Naudziuniene (CADE, 2017)

Symbolic Execution for JavaScript. - José Fragoso Santos; Petar Maksimovic 001; Théotime Grohens; Julian Dolby; Philippa Gardner (PPDP, 2018)

JaVerT: JavaScript verification toolchain. - José Fragoso Santos; Petar Maksimovic 001; Daiva Naudziuniene; Thomas Wood 001; Philippa Gardner (Proc. ACM Program. Lang., 2018)

JaVerT 2.0: compositional symbolic execution for JavaScript. - José Fragoso Santos; Petar Maksimovic 001; Gabriela Cunha Sampaio; Philippa Gardner (Proc. ACM Program. Lang., 2019)

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. - Gabriela Sampaio; José Fragoso Santos; Petar Maksimovic 001; Philippa Gardner (ECOOP, 2020)

Gillian, part i: a multi-language platform for symbolic execution. - José Fragoso Santos; Petar Maksimovic 001; Sacha-Élie Ayoun; Philippa Gardner (PLDI, 2020)

Gillian: Compositional Symbolic Execution for All. - José Fragoso Santos; Petar Maksimovic 001; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2020)

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). - Gabriela Sampaio; José Fragoso Santos; Petar Maksimovic 001; Philippa Gardner (Dagstuhl Artifacts Ser., 2020)

Gillian, Part II: Real-World Verification for JavaScript and C. - Petar Maksimovic 001; Sacha-Élie Ayoun; José Fragoso Santos; Philippa Gardner (CAV (2), 2021)

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. - Mikolás Janota; António Morgado 001; José Fragoso Santos; Vasco Manquinho (CP, 2021)

Hybrid Information Flow Control for Low-Level Code. - Eduardo Geraldo; José Fragoso Santos; João Costa Seco (SEFM, 2021)

Gillian: A Multi-Language Platform for Unified Symbolic Analysis. - Petar Maksimovic 001; José Fragoso Santos; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2021)

Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. - Mafalda Ferreira; Tiago Brito; José Fragoso Santos; Nuno Santos 001 (CCS, 2022)

Concolic Execution for WebAssembly. - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (ECOOP, 2022)

TestSelector: Automatic Test Suite Selection for Student Projects. - Filipe Marques; António Morgado 001; José Fragoso Santos; Mikolás Janota (RV, 2022)

Wasmati: An efficient static vulnerability scanner for WebAssembly. - Tiago Brito; Pedro Lopes; Nuno Santos 001; José Fragoso Santos (Comput. Secur., 2022)

TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version. - Filipe Marques; António Morgado 001; José Fragoso Santos; Mikolás Janota (CoRR, 2022)

Concolic Execution for WebAssembly (Artifact). - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (Dagstuhl Artifacts Ser., 2022)

Toward Tool-Independent Summaries for Symbolic Execution. - Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos (ECOOP, 2023)

Rexstepper: a Reference Debugger for JavaScript Regular Expressions. - Luís Almeida 001; Miguel Gonzaga; José Fragoso Santos; Rui Abreu 001 (ICSE Companion, 2023)

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. - Frederico Ramos; Diogo Costa Reis; Miguel Trigo; António Morgado 001; José Fragoso Santos (ISSTA, 2023)

RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. - Mafalda Ferreira; Tiago Brito; José Fragoso Santos; Nuno Santos 001 (SP, 2023)

Toward Tool-Independent Summaries for Symbolic Execution (Artifact). - Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos (Dagstuhl Artifacts Ser., 2023)

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. - Tiago Brito; Mafalda Ferreira; Miguel Monteiro; Pedro Lopes; Miguel Barros; José Fragoso Santos; Nuno Santos 001 (IEEE Trans. Reliab., 2023)

Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. - Mafalda Ferreira; Miguel Monteiro; Tiago Brito; Miguel E. Coimbra; Nuno Santos 001; Limin Jia 001; José Fragoso Santos (Proc. ACM Program. Lang., 2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly. - Léo Andrès; Filipe Marques; Arthur Carcano; Pierre Chambart; José Fragoso Santos; Jean-Christophe Filliâtre (Art Sci. Eng. Program., 2024)

Specifying Distributed Hash Tables with Allen Temporal Logic. - Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão 001; Pedro Ákos Costa (FormaliSE, 2025)

Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. - Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos (TACAS (2), 2025)

Automated Exploit Generation for Node.js Packages. - Filipe Marques; Mafalda Ferreira; André Nascimento; Miguel E. Coimbra; Nuno Santos 001; Limin Jia 001; José Fragoso Santos (Proc. ACM Program. Lang., 2025)