logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

Tevfik Bultan

university of california

39H-index
238Paper Count
5.6KCitation Count
Published Papers 11
Publication Date
logo
Fuzzing the brain: automated stress testing for the safety of ML-driven neurostimulation
errJournal of Neural Engineering
IF3.8
err2026-03-05
err0
errOAAI
errMara Downing; Matthew Peng; Jacob Granley; Michael Beyeler; Tevfik Bultan
errShare
errSave
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
errIEEE SOFTWARE
IF3
err2024-01-01
err0
PREAI
errKadron, Ismet Burak; Noller, Yannic; Padhye, Rohan; Bultan, Tevfik; Pasareanu, Corina S.; Sen, Koushik
errShare
errSave
Data Model Property Inference, Verification, and Repair for Web Applications
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2015-09-02
err1
PREAI
errNijjar, Jaideep; Bocic, Ivan; Bultan, Tevfik
errShare
errSave
Roundtable The Future of Software Engineering for Internet Computing
errIEEE SOFTWARE
IF3
err2015-01-01
err7
errOAAI
errLu, Jian; Rosenblum, David S.; Bultan, Tevfik; Issarny, Valerie; Dustdar, Schahram; Storey, Margaret-Anne; Zhang, Dongmei
errShare
errSave
Realizability of Choreographies Using Process Algebra Encodings
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2012-01-01
err47
PREAI
errSalauen, Gwen; Bultan, Tevfik; Roohi, Nima
errShare
errSave
Interface grammars for modular software model checking
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2008-09-01
err9
errOAAI
errHughes, Graham; Bultan, Tevfik
errShare
errSave
Experimenting with software testbeds for evaluating new technologies
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2007-02-21
err8
errOAAI
errLindvall, Mikael; Rus, Ioana; Donzelli, Paolo; Memon, Atif; Zelkowitz, Marvin; Betin-Can, Aysu; Bultan, Tevfik; Ackermann, Chris; Anders, Bettina; Asgari, Sima; Basili, Victor; Hochstein, Lorin; Fellmann, Joerg; Shull, Forrest; Tvedt, Roseanne; Pech, Daniel; Hirschbach, Daniel
errShare
errSave
Analyzing conversations of Web services
errIEEE INTERNET COMPUTING
IF4.4
err2006-01-01
err48
PREAI
errBultan, T; Su, JW; Fu, X
errShare
errSave
Synchronizability of conversations among Web services
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2005-12-01
err84
PREAI
errFu, X; Bultan, T; Su, JW
errShare
errSave
Composite model-checking: Verification with type-specific symbolic representations
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2000-01-01
err21
errOAAI
errBultan, T; Gerber, R; League, C
errShare
errSave
A fast neural-network algorithm for VLSI cell placement
errNEURAL NETWORKS
IF6.3
err1998-12-01
err13
PREAI
errAykanat, C; Bultan, T; Haritaoglu, I
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Schahram Dustdar
H-index: 83 · Papers: 1.3K
V
Victor R. Basili
H-index: 73 · Papers: 557
K
Koushik Sen
H-index: 65 · Papers: 252
张
张冬梅 (Dongmei Zhang)
H-index: 53 · Papers: 543
M
Margaret‐Anne Storey
H-index: 51 · Papers: 242
View more