José Fragoso Santos

Statistics

Publications

Citations

206

H-Index

Active since

2015

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

Imperial College London

University of Lisbon

London Institute for Mathematical Sciences

José Fragoso Santos is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, formal verification, and software engineering.

ORCID

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringVerificationFormal MethodsSoftware TestingSoftware Design

Publications per year

2015–2024

Publications

Wasmati: An efficient static vulnerability scanner for WebAssembly

Tiago Brito, Pedro Lopes, Nuno M. Santos et al. · Computers & Security · 2022 · 33 citations · Full text

Gillian, part i: a multi-language platform for symbolic execution

José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al. · 2020 · 29 citations · Full text

Program Checking, Engineering, Verification +20

JaVerT: JavaScript verification toolchain

José Fragoso Santos, Petar Maksimović, Daiva Naudžiūnienė et al. · Proceedings of the ACM on Programming Languages · 2017 · 28 citations · Full text

Engineering, Verification, Dynamic Nature +20

JaVerT 2.0: compositional symbolic execution for JavaScript

José Fragoso Santos, Petar Maksimović, Gabriela Sampaio et al. · Proceedings of the ACM on Programming Languages · 2019 · 24 citations · Full text

Engineering, Verification, Javert 2.0 +19

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages

Tiago Brito, Mafalda Ferreira, Miguel Monteiro et al. · IEEE Transactions on Reliability · 2023 · 21 citations · Full text

1–5 of 9