TB
Tevfik Bultan
cs.SEcs.CRbiomedical implantsBraincoverage-guided fuzzingcs.AIcs.PLElectric StimulationMachine Learningneural networks
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Vijay Ganesh +9
1 version
Preprints & journals
13 papers in the corpus · 1998–2026Quantitative Symbolic Patch Impact Analysis2605.13885v1 · Laboni Sarker, Abdus Satter, Tevfik Bultan2026 · 0 citationsNASA Formal Methods Symposium (NFM) 2026
Program Analysis Guided LLM Agent for Proof-of-Concept Generation2604.07624v1 · Achintya Desai, Md Shafiuzzaman, Wenbo Guo et al.2026 · 0 citationsarXiv
Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery2604.06506v1 · Md Shafiuzzaman, Achintya Desai, Wenbo Guo et al.2026 · 2 citationsarXiv
Fuzzing the brain: automated stress testing for the safety of ML-driven neurostimulation.41730246 · Downing, Mara, Peng, Matthew, Granley, Jacob et al.2026 · 1 citationJournal of neural engineering. 2026;23(2)
Software Security Analysis in 2030 and Beyond: A Research Roadmap2409.17844v1 · Marcel Bohme, Eric Bodden, Tevfik Bultan et al.2024 · 11 citationsarXiv
UEFI Vulnerability Signature Generation using Static and Symbolic Analysis2407.07166v2 · Md Shafiuzzaman, Achintya Desai, Laboni Sarker et al.2024 · 1 citationarXiv
Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation2404.01535v2 · Laboni Sarker, Mara Downing, Achintya Desai et al.2024 · 2 citationsIn Proceedings of the 2026 IEEE/ACM Third International Conference on AI Foundation Models and Software Engineering (FORGE'26), April 12-13, 2026, Rio de Janeiro, Brazil. ACM, New York, NY, USA, 12 pages
Rare-Seed Generation for Fuzzing2212.09004v1 · Seemanta Saha, Laboni Sarker, Md Shafiuzzaman et al.2022 · 0 citationsarXiv
CorbFuzz: Checking Browser Security Policies with Fuzzing2109.00398v1 · Chaofan Shou, Ismet Burak Kadron, Qi Su et al.2021 · 8 citationsarXiv
Attack Synthesis for Strings using Meta-Heuristics1907.11710v1 · Seemanta Saha, Ismet Burak Kadron, William Eiers et al.2019 · 5 citationsarXiv
Incremental Adaptive Attack Synthesis1905.05322v1 · Seemanta Saha, William Eiers, Ismet Burak Kadron et al.2019 · 2 citationsarXiv
Contracting the Facebook API1009.3715v1 · Ben Rubinger, Tevfik Bultan2010 · 8 citationsEPTCS 35, 2010, pp. 63-74
A fast neural-network algorithm for VLSI cell placement.12662737 · Aykanat, Cevdet, Bultan, Tevfik, Haritaoğlu, Ismail2019 · 15 citationsNeural networks : the official journal of the International Neural Network Society. 1998;11(9):1671-1684
Career total: 264 works. 13 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.