×

zbMATH — the first resource for mathematics

Bultan, Tevfik

Compute Distance To:
Author ID: bultan.tevfik Recent zbMATH articles by "Bultan, Tevfik"
Published as: Bultan, Tevfik
External Links: MGP · Wikidata
Documents Indexed: 38 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 137 times in 96 Documents Cited by Year
Binary reachability analysis of discrete pushdown timed automata. Zbl 0974.68085
Dang, Zhe; Ibarra, Oscar H.; Bultan, Tevfik; Kemmerer, Richard A.; Su, Jianwen
19
2000
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1071.68002
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
12
2004
Deciding choreography realizability. Zbl 1321.68183
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem
11
2012
Action Language Verifier, extended. Zbl 1081.68640
Yavuz-Kahveci, Tuba; Bartzis, Constantinos; Bultan, Tevfik
9
2005
Counter machines and verification problems. Zbl 1061.68095
Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard A.
8
2002
Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
7
2009
Widening arithmetic automata. Zbl 1103.68606
Bartzis, Constantinos; Bultan, Tevfik
7
2004
Reachability analysis for some models of infinite-state transition systems. Zbl 0999.68139
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen
7
2000
Efficient symbolic representations for arithmetic constraints in verification. Zbl 1101.68642
Bartzis, Constantinos; Bultan, Tevfik
6
2003
Counter machines: Decidable properties and applications to verification problems. Zbl 0996.68091
Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard
6
2000
Synchronizability for verification of asynchronously communicating systems. Zbl 1325.68139
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem
4
2012
Relational string verification using multi-track automata. Zbl 1234.68270
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
4
2011
Relational string verification using multi-track automata. Zbl 1297.68280
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
4
2011
Action language verifier: An infinite-state model checker for reactive software specifications. Zbl 1185.68427
Yavuz-Kahveci, Tuba; Bultan, Tevfik
4
2009
Automated verification of concurrent linked lists with counters. Zbl 1015.68510
Yavuz-Kahveci, Tuba; Bultan, Tevfik
4
2002
WSAT: A tool for formal analysis of web services. Zbl 1103.68613
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2004
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1279.68210
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2003
On deciding synchronizability for asynchronously communicating systems. Zbl 1353.68195
Basu, Samik; Bultan, Tevfik
2
2016
Past pushdown timed automata and safety verification. Zbl 1069.68065
Dang, Zhe; Bultan, Tevfik; Ibarra, Oscar H.; Kemmerer, Richard A.
2
2004
Heuristics for efficient manipulation of composite constraints. Zbl 1057.68638
Yavuz-Kahveci, Tuba; Bultan, Tevfik
2
2002
Formal verification of e-services and workflows. Zbl 1022.68656
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
2
2002
On reachability and safety in infinite-state systems. Zbl 1319.68084
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen
2
2001
Constraint-based verification of client-server protocols. Zbl 1067.68624
Delzanno, Giorgio; Bultan, Tevfik
2
2001
Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272
Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.
1
2014
Highly dependable concurrent programming using design for verification. Zbl 1121.68027
Betin-Can, Aysu; Bultan, Tevfik
1
2007
Interface-based specification and verification of concurrency controllers. Zbl 1271.68132
Betin-Can, Aysu; Bultan, Tevfik
1
2003
Construction of efficient BDDs for bounded arithmetic constraints. Zbl 1031.68542
Bartzis, Constantinos; Bultan, Tevfik
1
2003
Verification of Vortex workflows. Zbl 0978.68716
Fu, Xiang; Bultan, Tevfik; Hull, Richard; Su, Jianwen
1
2001
BDD vs. constraint-based model checking: An experiment evaluation for asynchronous concurrent systems. Zbl 0971.68656
Bultan, Tevfik
1
2000
Circuit partitioning using mean field annealing. Zbl 0833.68085
Bultan, Tevfik; Aykanat, Cevdet
1
1995
On deciding synchronizability for asynchronously communicating systems. Zbl 1353.68195
Basu, Samik; Bultan, Tevfik
2
2016
Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272
Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.
1
2014
Deciding choreography realizability. Zbl 1321.68183
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem
11
2012
Synchronizability for verification of asynchronously communicating systems. Zbl 1325.68139
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem
4
2012
Relational string verification using multi-track automata. Zbl 1234.68270
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
4
2011
Relational string verification using multi-track automata. Zbl 1297.68280
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
4
2011
Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
7
2009
Action language verifier: An infinite-state model checker for reactive software specifications. Zbl 1185.68427
Yavuz-Kahveci, Tuba; Bultan, Tevfik
4
2009
Highly dependable concurrent programming using design for verification. Zbl 1121.68027
Betin-Can, Aysu; Bultan, Tevfik
1
2007
Action Language Verifier, extended. Zbl 1081.68640
Yavuz-Kahveci, Tuba; Bartzis, Constantinos; Bultan, Tevfik
9
2005
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1071.68002
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
12
2004
Widening arithmetic automata. Zbl 1103.68606
Bartzis, Constantinos; Bultan, Tevfik
7
2004
WSAT: A tool for formal analysis of web services. Zbl 1103.68613
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2004
Past pushdown timed automata and safety verification. Zbl 1069.68065
Dang, Zhe; Bultan, Tevfik; Ibarra, Oscar H.; Kemmerer, Richard A.
2
2004
Efficient symbolic representations for arithmetic constraints in verification. Zbl 1101.68642
Bartzis, Constantinos; Bultan, Tevfik
6
2003
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1279.68210
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2003
Interface-based specification and verification of concurrency controllers. Zbl 1271.68132
Betin-Can, Aysu; Bultan, Tevfik
1
2003
Construction of efficient BDDs for bounded arithmetic constraints. Zbl 1031.68542
Bartzis, Constantinos; Bultan, Tevfik
1
2003
Counter machines and verification problems. Zbl 1061.68095
Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard A.
8
2002
Automated verification of concurrent linked lists with counters. Zbl 1015.68510
Yavuz-Kahveci, Tuba; Bultan, Tevfik
4
2002
Heuristics for efficient manipulation of composite constraints. Zbl 1057.68638
Yavuz-Kahveci, Tuba; Bultan, Tevfik
2
2002
Formal verification of e-services and workflows. Zbl 1022.68656
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
2
2002
On reachability and safety in infinite-state systems. Zbl 1319.68084
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen
2
2001
Constraint-based verification of client-server protocols. Zbl 1067.68624
Delzanno, Giorgio; Bultan, Tevfik
2
2001
Verification of Vortex workflows. Zbl 0978.68716
Fu, Xiang; Bultan, Tevfik; Hull, Richard; Su, Jianwen
1
2001
Binary reachability analysis of discrete pushdown timed automata. Zbl 0974.68085
Dang, Zhe; Ibarra, Oscar H.; Bultan, Tevfik; Kemmerer, Richard A.; Su, Jianwen
19
2000
Reachability analysis for some models of infinite-state transition systems. Zbl 0999.68139
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen
7
2000
Counter machines: Decidable properties and applications to verification problems. Zbl 0996.68091
Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard
6
2000
BDD vs. constraint-based model checking: An experiment evaluation for asynchronous concurrent systems. Zbl 0971.68656
Bultan, Tevfik
1
2000
Circuit partitioning using mean field annealing. Zbl 0833.68085
Bultan, Tevfik; Aykanat, Cevdet
1
1995
all top 5

Cited by 176 Authors

27 Ibarra, Oscar H.
15 Dang, Zhe
10 Bultan, Tevfik
5 Fischer, Thomas Robert
5 McQuillan, Ian
5 Su, Jianwen
4 Cui, Cewei
4 Demri, Stéphane P.
4 Kemmerer, Richard A.
3 Trân, Nicholas Q.
3 Yu, Fang
2 Bartoletti, Massimo
2 Basu, Samik
2 Bouajjani, Ahmed
2 Chevrou, Florent
2 Cimoli, Tiziana
2 Deng, Ting
2 Eremondi, Joey
2 Finkel, Alain
2 Fioravanti, Fabio
2 Fu, Xiang
2 Habermehl, Peter
2 Huai, Jinpeng
2 Hurault, Aurelie
2 Leroux, Jérôme
2 Li, Qin
2 Pettorossi, Alberto
2 Pietro, Pierluigi San
2 Proietti, Maurizio
2 Quéinnec, Philippe
2 Senni, Valerio
2 Vojnar, Tomáš
2 Yavuz, Tuba
2 Zunino, Roberto
1 Abdulla, Parosh Aziz
1 Abío, Ignasi
1 Akroun, Lakhdar
1 Alkhalaf, Muath
1 Autili, Marco
1 Avdyukhin, Dmitry
1 Bantegui, Michael
1 Barbanera, Franco
1 Barceló, Pablo
1 Basile, Davide
1 Benerecetti, Massimo
1 Bersani, Marcello M.
1 Berzish, Murphy
1 Betin-Can, Aysu
1 Bocchi, Laura
1 Bouchy, Florent
1 Bozga, Marius
1 Carbone, Marco
1 Češka, Milan
1 Chao, Cai
1 Chen, Hao
1 Chen, Zhenbang
1 Clempner, Julio B.
1 Dai, Fei
1 Dalla Preda, Mila
1 Degano, Pierpaolo
1 de’Liguoro, Ugo
1 Delzanno, Giorgio
1 Ding, Zuohua
1 Dingel, Juergen
1 Dolby, Julian
1 D’Souza, Deepak
1 Du, Zongxia
1 Egecioglu, Omer
1 Eisinger, Jochen
1 Erlebach, Pavel
1 Fan, Wenfei
1 Ferrari, Gian Luigi
1 Fiadeiro, José Luiz
1 Gabbrielli, Maurizio
1 Ganesh, Vijay
1 Gerede, Cagdas Evren
1 Ghilardi, Silvio
1 Giallorenzo, Saverio
1 Giordano, Laura
1 Godlevsky, A. B.
1 Gorton, Stephen
1 Goubault-Larrecq, Jean
1 Grigorev, Semyon
1 Guo, Huipeng
1 Hameurlain, Nabil
1 Harju, Tero
1 Hildebrandt, Thomas T.
1 Hongli, Yang
1 Hooimeijer, Pieter
1 Huang, Bi
1 Hutton, William J. III
1 Inverardi, Paola
1 Iosif, Radu
1 Karhumaki, Juhani
1 Kazhamiakin, Raman
1 Klaedtke, Felix
1 Lanese, Ivan
1 Laporte, Gilbert
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Letychevs’kyĭ, Oleksandr Oleksandrovych
...and 76 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.