Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(59)
Xiang Fu
28
Jianwen Su (苏建文)
28
Oscar H. Ibarra
13
Fang Yu
11
Tuba Yavuz-kahveci
10
Conferences
(23)
ISSTA
7
TACAS
7
MEMOCODE
6
ASE
6
CAV
6
Journals
(22)
ACM Sigsoft Software Engineering Notes
7
STTT
3
TCS
3
COMPUTER
2
TSE
2
Keywords
(203)
Embed
Subscribe
Academic
Authors
Tevfik Bultan
Edit
Tevfik Bultan
University of California Santa Barbara
Publications: 123
|
Citations: 2142
|
G-Index: 43
|
H-Index: 22
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
59 co-authors
from 1991 to 2011
; Cited by
1940 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(123)
BibTeX
|
RIS
|
RefWorks
Download
Patching vulnerabilities with sanitization synthesis
(
Citations: 1
)
Fang Yu
,
Muath Alkhalaf
,
Tevfik Bultan
Conference:
International Conference on Software Engineering - ICSE
, pp. 251-260, 2011
Choreography conformance via synchronizability
Samik Basu
,
Tevfik Bultan
Conference:
World Wide Web Conference Series - WWW
, pp. 795-804, 2011
Relational String Verification Using Multitrack Automata
(
Citations: 3
)
Fang Yu
,
Tevfik Bultan
,
Oscar H. Ibarra
Conference:
Workshop on Implementing Automata/Conference on Implementation and Application of Automata - CIAA(WIA)
, pp. 290-299, 2010
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
(
Citations: 3
)
Sylvain Hallé
,
Taylor Ettema
,
Chris Bunch
,
Tevfik Bultan
Conference:
Automated Software Engineering - ASE
, pp. 235-244, 2010
Stranger: An Automata-Based String Analysis Tool for PHP
(
Citations: 3
)
Fang Yu
,
Muath Alkhalaf
,
Tevfik Bultan
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 154-157, 2010
Order by:
Citations
(2142 times by 1402 publications)
Soundness of Workflow Nets: Classification, Decidability, and Analysis
(
Citations: 11
)
Wil M. P. van der Aalst
,
Kees M. van Hee
,
Arthur H. M. ter Hofstede
,
Natalia Sidorova
,
H. M. W. Verbeek
,
Marc Voorhoeve
,
Moe Thandar Wynn
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 333-363, 2011
Patching vulnerabilities with sanitization synthesis
(
Citations: 1
)
Fang Yu
,
Muath Alkhalaf
,
Tevfik Bultan
Conference:
International Conference on Software Engineering - ICSE
, pp. 251-260, 2011
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
(
Citations: 1
)
Kais Klai
,
Samir Tata
,
Jörg Desel
Journal:
Data & Knowledge Engineering - DKE
, vol. 70, no. 5, pp. 467-482, 2011
Interaction-centric modeling of process choreographies
(
Citations: 1
)
Gero Decker
,
Mathias Weske
Journal:
Information Systems - IS
, vol. 36, no. 2, pp. 292-312, 2011
Programs with lists are counter automata
Ahmed Bouajjani
,
Marius Bozga
,
Peter Habermehl
,
Radu Iosif
,
Pierre Moro
,
Tomás Vojnar
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 158-192, 2011
Comments