See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Joanna Cecilia da Silva Santos
Software Vulnerabilities Detection
Program Analysis
Software Verification
Software Architecture Reverse Engineering
Formal Modeling Of Architectural Properties
About
Prof. Santos’ research lies in understanding weaknesses and vulnerabilities through empirical studies to devise novel automated techniques for the development of secure software systems, from inception to deployment. Her work draws on program analysis, software verification, and machine learning algorithms to solve software engineering and security problems such as software vulnerabilities detection, reasoning and formal modeling of architectural properties, and software architecture reverse engineering.
Research Performance Summary
2011-2026
Active Research Span
First Recorded Paper
JOnline: proposta preliminar de um juiz online didático para o ensino de programação
Year:
2011
Citations:
17
Venue:
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de
Latest Recorded Paper
Security in the Age of AI Teammates: An Empirical Study of Agentic Pull Requests on GitHub
Year:
2026
Citations:
0
Venue:
arXiv preprint arXiv:2601.00477
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Santos
Mirakhorli
Siddiq
Research Impact by Period
Papers
16
Citations
156
Avg. Citations / Paper
9.8
H-Index
5
Papers
26
Citations
997
Avg. Citations / Paper
38.3
H-Index
14
Papers
11
Citations
280
Avg. Citations / Paper
25.5
H-Index
7
Papers
5
Citations
24
Avg. Citations / Paper
4.8
H-Index
2
Contact and Professional Links
Detected Research Keywords
Code Generation Techniques
Catalog Security Architecture
Security Architecture Weaknesses
Security Assessment Generated
Assessment Generated Code
Vulnerabilities Related Architectural
Related Architectural Security
Architectural Security Tactics
Call Graph Construction
De Um Juiz