Concepedia

Abdulbaki Aydin

AA

Statistics

Publications

6

Citations

193

H-Index

6

Active since

2014

Affiliations

University of California, Santa Barbara(Current)

Abdulbaki Aydin is an author at University of California, Santa Barbara specializing in engineering, software analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringVerificationSoftware Testing

Publications per year

2014–2018

6

Publications

6

String analysis for side channels with segmented oracles

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan et al. · 2016 · 68 citations

Engineering, Information Leakage, Software Analysis +20

Semantic differential repair for input validation and sanitization

Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan · 2014 · 44 citations

Engineering, Semantic Differential Repair, Verification +20

Parameterized model counting for string and numeric constraints

Abdulbaki Aydin, William Eiers, Lucas Bang et al. · 2018 · 32 citations · Full text

Engineering, Verification, Software Engineering +22

Automatically computing path complexity of programs

Lucas Bang, Abdulbaki Aydin, Tevfik Bultan · 2015 · 19 citations

Program Checking, Engineering, Software Engineering +16

Constraint normalization and parameterized caching for quantitative program analysis

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner et al. · 2017 · 17 citations

Mathematical Programming, Program Checking, Engineering +18

1–5 of 6