Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tevfik Bultan
@article{DBLP:journals/software/KadronNPBPS24,
author = {Ismet Burak Kadron and
Yannic Noller and
Rohan Padhye and
Tevfik Bultan and
Corina S. Pasareanu and
Koushik Sen},
title = {Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing},
journal = {{IEEE} Softw.},
volume = {41},
number = {1},
pages = {98--104},
year = {2024},
url = {https://doi.org/10.1109/MS.2023.3237981},
doi = {10.1109/MS.2023.3237981},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/KadronNPBPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SahaGLBB23,
author = {Seemanta Saha and
Surendra Ghentiyala and
Shihua Lu and
Lucas Bang and
Tevfik Bultan},
title = {Obtaining Information Leakage Bounds via Approximate Model Counting},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1488--1509},
year = {2023},
url = {https://doi.org/10.1145/3591281},
doi = {10.1145/3591281},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SahaGLBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EiersSB23,
author = {William Eiers and
Ganesh Sankaran and
Tevfik Bultan},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Quantitative Policy Repair for Access Control on the Cloud},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {564--575},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598078},
doi = {10.1145/3597926.3598078},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/EiersSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SahaSSSLSB23,
author = {Seemanta Saha and
Laboni Sarker and
Md Shafiuzzaman and
Chaofan Shou and
Albert Li and
Ganesh Sankaran and
Tevfik Bultan},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Rare Path Guided Fuzzing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1295--1306},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598136},
doi = {10.1145/3597926.3598136},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SahaSSSLSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se4safeml/DowningB23,
author = {Mara Downing and
Tevfik Bultan},
editor = {Marsha Chechik and
Sebastian G. Elbaum and
Boyue Caroline Hu and
Lina Marsso and
Meriel von Stein},
title = {The Case for Scalable Quantitative Neural Network Analysis},
booktitle = {Proceedings of the 1st International Workshop on Dependability and
Trustworthiness of Safety-Critical Systems with Machine Learned Components,
SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023},
pages = {22--25},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3617574.3617862},
doi = {10.1145/3617574.3617862},
timestamp = {Wed, 20 Dec 2023 10:05:15 +0100},
biburl = {https://dblp.org/rec/conf/se4safeml/DowningB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SahaDBB22,
author = {Seemanta Saha and
Mara Downing and
Tegan Brennan and
Tevfik Bultan},
title = {{PREACH:} {A} Heuristic for Probabilistic Reachability to Identify
Hard to Reach Statements},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1706--1717},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510227},
doi = {10.1145/3510003.3510227},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SahaDBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EiersSLOPB22,
author = {William Eiers and
Ganesh Sankaran and
Albert Li and
Emily O'Mahony and
Benjamin Prince and
Tevfik Bultan},
title = {Quantifying Permissiveness of Access Control Policies},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1805--1817},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510233},
doi = {10.1145/3510003.3510233},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/EiersSLOPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/KadronSOVB22,
author = {Ismet Burak Kadron and
Chaofan Shou and
Emily O'Mahony and
Yilmaz Vural and
Tevfik Bultan},
editor = {Evangelos Niforatos and
Gerd Kortuem and
Nirvana Meratnia and
Joshua Siegel and
Florian Michahelles},
title = {Targeted Black-Box Side-Channel Mitigation for IoT{\unicode{10033}}},
booktitle = {Proceedings of the 12th International Conference on the Internet of
Things, IoT 2022, Delft, The Netherlands, November 7-10, 2022},
pages = {49--56},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567445.3567447},
doi = {10.1145/3567445.3567447},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iot/KadronSOVB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EiersSLOPB22,
author = {William Eiers and
Ganesh Sankaran and
Albert Li and
Emily O'Mahony and
Benjamin Prince and
Tevfik Bultan},
title = {Quacky: Quantitative Access Control Permissiveness Analyzer{\unicode{10033}}},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {163:1--163:5},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3559530},
doi = {10.1145/3551349.3559530},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/EiersSLOPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KadronB22,
author = {Ismet Burak Kadron and
Tevfik Bultan},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {{TSA:} a tool to detect and quantify network side-channels},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1760--1764},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3558938},
doi = {10.1145/3540250.3558938},
timestamp = {Thu, 10 Nov 2022 11:14:54 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KadronB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09004,
author = {Seemanta Saha and
Laboni Sarker and
Md Shafiuzzaman and
Chaofan Shou and
Albert Li and
Ganesh Sankaran and
Tevfik Bultan},
title = {Rare-Seed Generation for Fuzzing},
journal = {CoRR},
volume = {abs/2212.09004},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09004},
doi = {10.48550/ARXIV.2212.09004},
eprinttype = {arXiv},
eprint = {2212.09004},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShouKSB21,
author = {Chaofan Shou and
Ismet Burak Kadron and
Qi Su and
Tevfik Bultan},
title = {CorbFuzz: Checking Browser Security Policies with Fuzzing},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {215--226},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678636},
doi = {10.1109/ASE51524.2021.9678636},
timestamp = {Mon, 24 Jan 2022 16:18:34 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ShouKSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00398,
author = {Chaofan Shou and
Ismet Burak Kadron and
Qi Su and
Tevfik Bultan},
title = {CorbFuzz: Checking Browser Security Policies with Fuzzing},
journal = {CoRR},
volume = {abs/2109.00398},
year = {2021},
url = {https://arxiv.org/abs/2109.00398},
eprinttype = {arXiv},
eprint = {2109.00398},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrennanSB20,
author = {Tegan Brennan and
Seemanta Saha and
Tevfik Bultan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {{JVM} fuzzing for JIT-induced side-channel detection},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1011--1023},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380432},
doi = {10.1145/3377811.3380432},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BrennanSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KadronRB20,
author = {Ismet Burak Kadron and
Nicol{\'{a}}s Rosner and
Tevfik Bultan},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Feedback-driven side-channel analysis for networked applications},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {260--271},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397365},
doi = {10.1145/3395363.3397365},
timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
biburl = {https://dblp.org/rec/conf/issta/KadronRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrennanRB20,
author = {Tegan Brennan and
Nicol{\'{a}}s Rosner and
Tevfik Bultan},
title = {{JIT} Leaks: Inducing Timing Side Channels through Just-In-Time Compilation},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {1207--1222},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00007},
doi = {10.1109/SP40000.2020.00007},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/BrennanRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BocicBR19,
author = {Ivan Bocic and
Tevfik Bultan and
Nicol{\'{a}}s Rosner},
title = {Inductive verification of data model invariants in web applications
using first-order logic},
journal = {Autom. Softw. Eng.},
volume = {26},
number = {2},
pages = {379--416},
year = {2019},
url = {https://doi.org/10.1007/s10515-018-0249-2},
doi = {10.1007/S10515-018-0249-2},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BocicBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SahaEKBB19,
author = {Seemanta Saha and
William Eiers and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Incremental Attack Synthesis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {16},
year = {2019},
url = {https://doi.org/10.1145/3364452.336445759},
doi = {10.1145/3364452.336445759},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SahaEKBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EiersSBB19,
author = {William Eiers and
Seemanta Saha and
Tegan Brennan and
Tevfik Bultan},
title = {Subformula Caching for Model Counting and Quantitative Program Analysis},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {453--464},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00050},
doi = {10.1109/ASE.2019.00050},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/EiersSBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/RosnerKBB19,
author = {Nicol{\'{a}}s Rosner and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Profit: Detecting and Quantifying Side Channels in Networked Applications},
booktitle = {26th Annual Network and Distributed System Security Symposium, {NDSS}
2019, San Diego, California, USA, February 24-27, 2019},
publisher = {The Internet Society},
year = {2019},
url = {https://www.ndss-symposium.org/ndss-paper/profit-detecting-and-quantifying-side-channels-in-networked-applications/},
timestamp = {Mon, 01 Feb 2021 08:42:22 +0100},
biburl = {https://dblp.org/rec/conf/ndss/RosnerKBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Bultan19,
author = {Tevfik Bultan},
editor = {Supratik Chakraborty and
Jorge A. Navas},
title = {Quantifying Information Leakage Using Model Counting Constraint Solvers},
booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International
Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12031},
pages = {30--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41600-3\_3},
doi = {10.1007/978-3-030-41600-3\_3},
timestamp = {Mon, 16 Mar 2020 13:24:49 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Bultan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019,
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8790403/proceeding},
isbn = {978-1-7281-0869-8},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019c,
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
2019},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8790387/proceeding},
isbn = {978-1-7281-1764-5},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05322,
author = {Seemanta Saha and
William Eiers and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Incremental Adaptive Attack Synthesis},
journal = {CoRR},
volume = {abs/1905.05322},
year = {2019},
url = {http://arxiv.org/abs/1905.05322},
eprinttype = {arXiv},
eprint = {1905.05322},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11710,
author = {Seemanta Saha and
Ismet Burak Kadron and
William Eiers and
Lucas Bang and
Tevfik Bultan},
title = {Attack Synthesis for Strings using Meta-Heuristics},
journal = {CoRR},
volume = {abs/1907.11710},
year = {2019},
url = {http://arxiv.org/abs/1907.11710},
eprinttype = {arXiv},
eprint = {1907.11710},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Bultan18,
author = {Tevfik Bultan},
title = {Side-Channel Analysis via Symbolic Execution and Model Counting},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {55},
year = {2018},
url = {https://doi.org/10.1145/3282517.3302416},
doi = {10.1145/3282517.3302416},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Bultan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SahaKEBB18,
author = {Seemanta Saha and
Ismet Burak Kadron and
William Eiers and
Lucas Bang and
Tevfik Bultan},
title = {Attack Synthesis for Strings using Meta-Heuristics},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {56},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282527},
doi = {10.1145/3282517.3282527},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SahaKEBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TsiskaridzeBMBS18,
author = {Nestan Tsiskaridze and
Lucas Bang and
Joseph McMahan and
Tevfik Bultan and
Timothy Sherwood},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Information Leakage in Arbiter Protocols},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {404--421},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_24},
doi = {10.1007/978-3-030-01090-4\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/TsiskaridzeBMBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BangRB18,
author = {Lucas Bang and
Nicol{\'{a}}s Rosner and
Tevfik Bultan},
title = {Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2018, London, United Kingdom, April 24-26, 2018},
pages = {307--322},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSP.2018.00029},
doi = {10.1109/EUROSP.2018.00029},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BangRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LinYJB18,
author = {Chun{-}Han Lin and
Fang Yu and
Jie{-}Hong Roland Jiang and
Tevfik Bultan},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Static detection of {API} call vulnerabilities in iOS executables},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {394--395},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3195024},
doi = {10.1145/3183440.3195024},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LinYJB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrennanSB18,
author = {Tegan Brennan and
Seemanta Saha and
Tevfik Bultan},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Symbolic path cost analysis for side-channel detection},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {424--425},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3195039},
doi = {10.1145/3183440.3195039},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BrennanSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BrennanSBP18,
author = {Tegan Brennan and
Seemanta Saha and
Tevfik Bultan and
Corina S. Pasareanu},
editor = {Frank Tip and
Eric Bodden},
title = {Symbolic path cost analysis for side-channel detection},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {27--37},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213867},
doi = {10.1145/3213846.3213867},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BrennanSBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AydinEBBGBY18,
author = {Abdulbaki Aydin and
William Eiers and
Lucas Bang and
Tegan Brennan and
Miroslav Gavrilov and
Tevfik Bultan and
Fang Yu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Parameterized model counting for string and numeric constraints},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {400--410},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236064},
doi = {10.1145/3236024.3236064},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AydinEBBGBY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BultanYAA17,
author = {Tevfik Bultan and
Fang Yu and
Muath Alkhalaf and
Abdulbaki Aydin},
title = {String Analysis for Software Verification and Security},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68670-7},
doi = {10.1007/978-3-319-68670-7},
isbn = {978-3-319-68668-4},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/BultanYAA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BultanZ17,
author = {Tevfik Bultan and
Andreas Zeller},
title = {Guest editorial: emerging areas in automated software engineering
research},
journal = {Autom. Softw. Eng.},
volume = {24},
number = {4},
pages = {863--864},
year = {2017},
url = {https://doi.org/10.1007/s10515-017-0223-4},
doi = {10.1007/S10515-017-0223-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BultanZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {328--342},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.8},
doi = {10.1109/CSF.2017.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB17,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Symbolic model extraction for web application verification},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {724--734},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.72},
doi = {10.1109/ICSE.2017.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BocicB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrennanTRAB17,
author = {Tegan Brennan and
Nestan Tsiskaridze and
Nicol{\'{a}}s Rosner and
Abdulbaki Aydin and
Tevfik Bultan},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Constraint normalization and parameterized caching for quantitative
program analysis},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {535--546},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106303},
doi = {10.1145/3106237.3106303},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrennanTRAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2017,
editor = {Tevfik Bultan and
Koushik Sen},
title = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703},
doi = {10.1145/3092703},
isbn = {978-1-4503-5076-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {401},
year = {2017},
url = {http://eprint.iacr.org/2017/401},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BasuB16,
author = {Samik Basu and
Tevfik Bultan},
title = {On deciding synchronizability for asynchronously communicating systems},
journal = {Theor. Comput. Sci.},
volume = {656},
pages = {60--75},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.09.023},
doi = {10.1016/J.TCS.2016.09.023},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BasuB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BasuB16,
author = {Samik Basu and
Tevfik Bultan},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Automated Choreography Repair},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {13--30},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_2},
doi = {10.1007/978-3-662-49665-7\_2},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/BasuB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bultan16,
author = {Tevfik Bultan},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Side Channel Analysis Using a Model Counting Constraint Solver and
Symbolic Execution (Invited Talk)},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {6:1--6:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.6},
doi = {10.4230/LIPICS.FSTTCS.2016.6},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Bultan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YuSLCWB16,
author = {Fang Yu and
Ching{-}Yuan Shueh and
Chun{-}Han Lin and
Yu{-}Fang Chen and
Bow{-}Yaw Wang and
Tevfik Bultan},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {Optimal sanitization synthesis for web application vulnerability repair},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {189--200},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931050},
doi = {10.1145/2931037.2931050},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/YuSLCWB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BocicB16,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Finding access control bugs in web applications with CanCheck},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {155--166},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970350},
doi = {10.1145/2970276.2970350},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BocicB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAPPB16,
author = {Lucas Bang and
Abdulbaki Aydin and
Quoc{-}Sang Phan and
Corina S. Pasareanu and
Tevfik Bultan},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {String analysis for side channels with segmented oracles},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {193--204},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950362},
doi = {10.1145/2950290.2950362},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BangAPPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuRBIDSZ15,
author = {Jian Lu and
David S. Rosenblum and
Tevfik Bultan and
Val{\'{e}}rie Issarny and
Schahram Dustdar and
Margaret{-}Anne D. Storey and
Dongmei Zhang},
title = {Roundtable: The Future of Software Engineering for Internet Computing},
journal = {{IEEE} Softw.},
volume = {32},
number = {1},
pages = {91--97},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.15},
doi = {10.1109/MS.2015.15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LuRBIDSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/NijjarBB15,
author = {Jaideep Nijjar and
Ivan Bocic and
Tevfik Bultan},
title = {Data Model Property Inference, Verification, and Repair for Web Applications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {24},
number = {4},
pages = {25:1--25:27},
year = {2015},
url = {https://doi.org/10.1145/2699691},
doi = {10.1145/2699691},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/NijjarBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AydinBB15,
author = {Abdulbaki Aydin and
Lucas Bang and
Tevfik Bultan},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Automata-Based Model Counting for String Constraints},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {255--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_15},
doi = {10.1007/978-3-319-21690-4\_15},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/AydinBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB15,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Coexecutability for Efficient Verification of Data Model Updates},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {744--754},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.87},
doi = {10.1109/ICSE.2015.87},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BocicB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BocicB15,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Efficient Data Model Verification with Many-Sorted Logic {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {42--52},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.48},
doi = {10.1109/ASE.2015.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BocicB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BocicB15,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Data Model Bugs},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {393--399},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_27},
doi = {10.1007/978-3-319-17524-9\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BocicB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAB15,
author = {Lucas Bang and
Abdulbaki Aydin and
Tevfik Bultan},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Automatically computing path complexity of programs},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {61--72},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786863},
doi = {10.1145/2786805.2786863},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BangAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bultan15,
author = {Tevfik Bultan},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {String Analysis for Vulnerability Detection and Repair},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {3--9},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_1},
doi = {10.1007/978-3-319-23404-5\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Bultan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/YuABI14,
author = {Fang Yu and
Muath Alkhalaf and
Tevfik Bultan and
Oscar H. Ibarra},
title = {Automata-based symbolic string analysis for vulnerability detection},
journal = {Formal Methods Syst. Des.},
volume = {44},
number = {1},
pages = {44--70},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0189-1},
doi = {10.1007/S10703-013-0189-1},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/YuABI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/KrintzJDPWB14,
author = {Chandra Krintz and
Hiranya Jayathilaka and
Stratos Dimopoulos and
Alexander Pucher and
Rich Wolski and
Tevfik Bultan},
title = {Cloud Platform Support for {API} Governance},
booktitle = {2014 {IEEE} International Conference on Cloud Engineering, Boston,
MA, USA, March 11-14, 2014},
pages = {615--618},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IC2E.2014.90},
doi = {10.1109/IC2E.2014.90},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic2e/KrintzJDPWB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB14,
author = {Ivan Bocic and
Tevfik Bultan},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Inductive verification of data model invariants for web applications},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {620--631},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568281},
doi = {10.1145/2568225.2568281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BocicB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AydinAB14,
author = {Abdulbaki Aydin and
Muath Alkhalaf and
Tevfik Bultan},
title = {Automated Test Generation from Vulnerability Signatures},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.32},
doi = {10.1109/ICST.2014.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AydinAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlkhalafAB14,
author = {Muath Alkhalaf and
Abdulbaki Aydin and
Tevfik Bultan},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Semantic differential repair for input validation and sanitization},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {225--236},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610401},
doi = {10.1145/2610384.2610401},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlkhalafAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BasuB14,
author = {Samik Basu and
Tevfik Bultan},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Automatic verification of interactions in asynchronous systems with
unbounded buffers},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {743--754},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643016},
doi = {10.1145/2642937.2643016},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BasuB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/OuederniSB13,
author = {Meriem Ouederni and
Gwen Sala{\"{u}}n and
Tevfik Bultan},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Compatibility Checking for Asynchronously Communicating Software},
booktitle = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
pages = {310--328},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_19},
doi = {10.1007/978-3-319-07602-7\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/OuederniSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bultan13,
author = {Tevfik Bultan},
editor = {Dirk Beyer and
Michele Boreale},
title = {Analyzing Interactions of Asynchronously Communicating Software Components
- (Invited Paper)},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {1--4},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_1},
doi = {10.1007/978-3-642-38592-6\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bultan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NijjarBB13,
author = {Jaideep Nijjar and
Ivan Bocic and
Tevfik Bultan},
title = {An integrated data model verifier with property templates},
booktitle = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE
2013, San Francisco, CA, USA, May 25, 2013},
pages = {29--35},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/FormaliSE.2013.6612274},
doi = {10.1109/FORMALISE.2013.6612274},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NijjarBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NijjarB13,
author = {Jaideep Nijjar and
Tevfik Bultan},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Data model property inference and repair},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {202--212},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483768},
doi = {10.1145/2483760.2483768},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/NijjarB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6684409/proceeding},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/SalaunBR12,
author = {Gwen Sala{\"{u}}n and
Tevfik Bultan and
Nima Roohi},
title = {Realizability of Choreographies Using Process Algebra Encodings},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {5},
number = {3},
pages = {290--304},
year = {2012},
url = {https://doi.org/10.1109/TSC.2011.9},
doi = {10.1109/TSC.2011.9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/SalaunBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlkhalafBG12,
author = {Muath Alkhalaf and
Tevfik Bultan and
Jose L. Gallegos},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Verifying client-side input validation functions using string analysis},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {947--957},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227124},
doi = {10.1109/ICSE.2012.6227124},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlkhalafBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlkhalafCFBOK12,
author = {Muath Alkhalaf and
Shauvik Roy Choudhary and
Mattia Fazzini and
Tevfik Bultan and
Alessandro Orso and
Christopher Kruegel},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {ViewPoints: differential string analysis for discovering client- and
server-side input validation inconsistencies},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {56--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336760},
doi = {10.1145/2338965.2336760},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlkhalafCFBOK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NijjarB12,
author = {Jaideep Nijjar and
Tevfik Bultan},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Unbounded data model verification using {SMT} solvers},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {210--219},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351706},
doi = {10.1145/2351676.2351706},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NijjarB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BasuBO12,
author = {Samik Basu and
Tevfik Bultan and
Meriem Ouederni},
editor = {John Field and
Michael Hicks},
title = {Deciding choreography realizability},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {191--202},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103680},
doi = {10.1145/2103656.2103680},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BasuBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BasuBO12,
author = {Samik Basu and
Tevfik Bultan and
Meriem Ouederni},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synchronizability for Verification of Asynchronously Communicating
Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {56--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_5},
doi = {10.1007/978-3-642-27940-9\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BasuBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2012,
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596},
doi = {10.1145/2393596},
isbn = {978-1-4503-1614-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/YuBI11,
author = {Fang Yu and
Tevfik Bultan and
Oscar H. Ibarra},
title = {Relational String Verification Using Multi-Track Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {8},
pages = {1909--1924},
year = {2011},
url = {https://doi.org/10.1142/S0129054111009112},
doi = {10.1142/S0129054111009112},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/YuBI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YuAB11,
author = {Fang Yu and
Muath Alkhalaf and
Tevfik Bultan},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Patching vulnerabilities with sanitization synthesis},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {251--260},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985828},
doi = {10.1145/1985793.1985828},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YuAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NijjarB11,
author = {Jaideep Nijjar and
Tevfik Bultan},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Bounded verification of Ruby on Rails data models},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {67--77},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001429},
doi = {10.1145/2001420.2001429},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/NijjarB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YuBH11,
author = {Fang Yu and
Tevfik Bultan and
Ben Hardekopf},
editor = {Alex Groce and
Madanlal Musuvathi},
title = {String Abstractions for String Verification},
booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
pages = {20--37},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8\_3},
doi = {10.1007/978-3-642-22306-8\_3},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/YuBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BasuB11,
author = {Samik Basu and
Tevfik Bultan},
editor = {Sadagopan Srinivasan and
Krithi Ramamritham and
Arun Kumar and
M. P. Ravindra and
Elisa Bertino and
Ravi Kumar},
title = {Choreography conformance via synchronizability},
booktitle = {Proceedings of the 20th International Conference on World Wide Web,
{WWW} 2011, Hyderabad, India, March 28 - April 1, 2011},
pages = {795--804},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1963405.1963516},
doi = {10.1145/1963405.1963516},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BasuB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1},
doi = {10.1007/978-3-642-24372-1},
isbn = {978-3-642-24371-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2010,
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19589-1},
doi = {10.1007/978-3-642-19589-1},
isbn = {978-3-642-19588-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HalleBHAV10,
author = {Sylvain Hall{\'{e}} and
Tevfik Bultan and
Graham Hughes and
Muath Alkhalaf and
Roger Villemaire},
title = {Runtime Verification of Web Service Interface Contracts},
journal = {Computer},
volume = {43},
number = {3},
pages = {59--66},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.76},
doi = {10.1109/MC.2010.76},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HalleBHAV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HalleEBB10,
author = {Sylvain Hall{\'{e}} and
Taylor Ettema and
Chris Bunch and
Tevfik Bultan},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Eliminating navigation errors in web applications via model checking
and runtime enforcement of navigation state machines},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {235--244},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859044},
doi = {10.1145/1858996.1859044},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HalleEBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BultanYB10,
author = {Tevfik Bultan and
Fang Yu and
Aysu Betin{-}Can},
title = {Modular verification of synchronization with reentrant locks},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558623},
doi = {10.1109/MEMCOD.2010.5558623},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BultanYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HalleB10,
author = {Sylvain Hall{\'{e}} and
Tevfik Bultan},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Realizability analysis for message-based interactions using shared-state
projections},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {27--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882298},
doi = {10.1145/1882291.1882298},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HalleB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Bultan10,
author = {Tevfik Bultan},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Software for everyone by everyone},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {69--74},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882377},
doi = {10.1145/1882362.1882377},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Bultan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YuAB10,
author = {Fang Yu and
Muath Alkhalaf and
Tevfik Bultan},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Stranger: An Automata-Based String Analysis Tool for {PHP}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {154--157},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_13},
doi = {10.1007/978-3-642-12002-2\_13},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/YuAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/YuBI10,
author = {Fang Yu and
Tevfik Bultan and
Oscar H. Ibarra},
editor = {Michael Domaratzki and
Kai Salomaa},
title = {Relational String Verification Using Multi-track Automata},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6482},
pages = {290--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18098-9\_31},
doi = {10.1007/978-3-642-18098-9\_31},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/YuBI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-3715,
author = {Ben Rubinger and
Tevfik Bultan},
editor = {Gwen Sala{\"{u}}n and
Xiang Fu and
Sylvain Hall{\'{e}}},
title = {Contracting the Facebook {API}},
booktitle = {Proceedings Fourth International Workshop on Testing, Analysis and
Verification of Web Software, {TAV-WEB} 2010, Antwerp, Belgium, 21
September 2010},
series = {{EPTCS}},
volume = {35},
pages = {63--74},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.35.6},
doi = {10.4204/EPTCS.35.6},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Yavuz-KahveciB09,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
title = {Action Language verifier: an infinite-state model checker for reactive
software specifications},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {3},
pages = {325--367},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0081-1},
doi = {10.1007/S10703-009-0081-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Yavuz-KahveciB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HalleHBA09,
author = {Sylvain Hall{\'{e}} and
Graham Hughes and
Tevfik Bultan and
Muath Alkhalaf},
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {Generating Interface Grammars from {WSDL} for Automated Verification
of Web Services},
booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5900},
pages = {516--530},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4\_38},
doi = {10.1007/978-3-642-10383-4\_38},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/HalleHBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BultanFF09,
author = {Tevfik Bultan and
Chris Ferguson and
Xiang Fu},
title = {A Tool for Choreography Analysis Using Collaboration Diagrams},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {856--863},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.100},
doi = {10.1109/ICWS.2009.100},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/BultanFF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SalaunB09,
author = {Gwen Sala{\"{u}}n and
Tevfik Bultan},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Realizability of Choreographies Using Process Algebra Encodings},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {167--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_12},
doi = {10.1007/978-3-642-00255-7\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SalaunB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/StengelB09,
author = {Zachary Stengel and
Tevfik Bultan},
editor = {Gregg Rothermel and
Laura K. Dillon},
title = {Analyzing singularity channel contracts},
booktitle = {Proceedings of the Eighteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
2009},
pages = {13--24},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572272.1572275},
doi = {10.1145/1572272.1572275},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/StengelB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/YuAB09,
author = {Fang Yu and
Muath Alkhalaf and
Tevfik Bultan},
title = {Generating Vulnerability Signatures for String Manipulating Programs
Using Automata-Based Forward and Backward Symbolic Analyses},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {605--609},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.20},
doi = {10.1109/ASE.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/YuAB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YuBI09,
author = {Fang Yu and
Tevfik Bultan and
Oscar H. Ibarra},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Symbolic String Verification: Combining String Analysis and Size Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {322--336},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_28},
doi = {10.1007/978-3-642-00768-2\_28},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/YuBI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BultanH08,
author = {Tevfik Bultan and
Constance L. Heitmeyer},
title = {Applying infinite state model checking and other analysis techniques
to tabular requirements specifications of safety-critical systems},
journal = {Des. Autom. Embed. Syst.},
volume = {12},
number = {1-2},
pages = {97--137},
year = {2008},
url = {https://doi.org/10.1007/s10617-008-9014-2},
doi = {10.1007/S10617-008-9014-2},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/BultanH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/BultanF08,
author = {Tevfik Bultan and
Xiang Fu},
title = {Choreography Modeling and Analysis with Collaboration Diagrams},
journal = {{IEEE} Data Eng. Bull.},
volume = {31},
number = {3},
pages = {27--30},
year = {2008},
url = {http://sites.computer.org/debull/A08Sept/bultan.pdf},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/debu/BultanF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/BultanF08,
author = {Tevfik Bultan and
Xiang Fu},
title = {Specification of realizable service conversations using collaboration
diagrams},
journal = {Serv. Oriented Comput. Appl.},
volume = {2},
number = {1},
pages = {27--39},
year = {2008},
url = {https://doi.org/10.1007/s11761-008-0022-7},
doi = {10.1007/S11761-008-0022-7},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/BultanF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HughesB08,
author = {Graham Hughes and
Tevfik Bultan},
title = {Automated verification of access control policies using a {SAT} solver},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {6},
pages = {503--520},
year = {2008},
url = {https://doi.org/10.1007/s10009-008-0087-9},
doi = {10.1007/S10009-008-0087-9},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HughesB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HughesB08,
author = {Graham Hughes and
Tevfik Bultan},
title = {Interface Grammars for Modular Software Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {5},
pages = {614--632},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.72},
doi = {10.1109/TSE.2008.72},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HughesB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bultan08,
author = {Tevfik Bultan},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Service Choreography and Orchestration with Conversations},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {2--3},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_2},
doi = {10.1007/978-3-540-85361-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bultan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HughesBA08,
author = {Graham Hughes and
Tevfik Bultan and
Muath Alkhalaf},
editor = {Tevfik Bultan and
Tao Xie},
title = {Client and server verification for web services using interface grammars},
booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
2008},
pages = {40--46},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390832.1390839},
doi = {10.1145/1390832.1390839},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HughesBA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanX08,
author = {Tevfik Bultan and
Tao Xie},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Workshop on testing, analysis and verification of web software {(TAV-WEB}
2008)},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {311--312},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390670},
doi = {10.1145/1390630.1390670},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BultanX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuWGB08,
author = {Fang Yu and
Chao Wang and
Aarti Gupta and
Tevfik Bultan},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Modular verification of web services using efficient symbolic encoding
and summarization},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {192--202},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453127},
doi = {10.1145/1453101.1453127},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/YuWGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YuBCI08,
author = {Fang Yu and
Tevfik Bultan and
Marco Cova and
Oscar H. Ibarra},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Symbolic String Verification: An Automata-Based Approach},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {306--324},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_21},
doi = {10.1007/978-3-540-85114-1\_21},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/YuBCI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2008t,
editor = {Tevfik Bultan and
Tao Xie},
title = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-053-1},
timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2008t.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Betin-CanBLLT07,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Mikael Lindvall and
Benjamin Lux and
Stefan Topp},
title = {Eliminating synchronization faults in air traffic control software
via design for verification with concurrency controllers},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {2},
pages = {129--178},
year = {2007},
url = {https://doi.org/10.1007/s10515-007-0008-2},
doi = {10.1007/S10515-007-0008-2},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Betin-CanBLLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/LindvallRDMZBBAAABHFSTPH07,
author = {Mikael Lindvall and
Ioana Rus and
Paolo Donzelli and
Atif M. Memon and
Marvin V. Zelkowitz and
Aysu Betin{-}Can and
Tevfik Bultan and
Christopher Ackermann and
Bettina Anders and
Sima Asgari and
Victor R. Basili and
Lorin Hochstein and
J{\"{o}}rg Fellmann and
Forrest Shull and
Roseanne Tesoriero Tvedt and
Daniel Pech and
Daniel Hirschbach},
title = {Experimenting with software testbeds for evaluating new technologies},
journal = {Empir. Softw. Eng.},
volume = {12},
number = {4},
pages = {417--444},
year = {2007},
url = {https://doi.org/10.1007/s10664-006-9034-0},
doi = {10.1007/S10664-006-9034-0},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/LindvallRDMZBBAAABHFSTPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Betin-CanB07,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Highly dependable concurrent programming using design for verification},
journal = {Formal Aspects Comput.},
volume = {19},
number = {2},
pages = {243--268},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0017-0},
doi = {10.1007/S00165-006-0017-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Betin-CanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HughesB07,
author = {Graham Hughes and
Tevfik Bultan},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Interface grammars for modular software model checking},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {39--49},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273471},
doi = {10.1145/1273463.1273471},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/HughesB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarlasB07,
author = {Elliot Barlas and
Tevfik Bultan},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Netstub: a framework for verification of distributed java applications},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {24--33},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321638},
doi = {10.1145/1321631.1321638},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BarlasB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuBP07,
author = {Fang Yu and
Tevfik Bultan and
Erik Peterson},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Automated size analysis for {OCL}},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {331--340},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287671},
doi = {10.1145/1287624.1287671},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YuBP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BultanF07,
author = {Tevfik Bultan and
Xiang Fu},
title = {Specification of Realizable Service Conversations Using Collaboration
Diagrams},
booktitle = {{IEEE} International Conference on Service-Oriented Computing and
Applications, {SOCA} 2007, 19-20 June 2007, Newport Beach, California,
{USA}},
pages = {122--132},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SOCA.2007.41},
doi = {10.1109/SOCA.2007.41},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soca/BultanF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuBFZ07,
author = {Jianwen Su and
Tevfik Bultan and
Xiang Fu and
Xiangpeng Zhao},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Towards a Theory of Web Service Choreographies},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {1--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_1},
doi = {10.1007/978-3-540-79230-7\_1},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/SuBFZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/BultanFS07,
author = {Tevfik Bultan and
Xiang Fu and
Jianwen Su},
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Analyzing Conversations: Realizability, Synchronizability, and Verification},
booktitle = {Test and Analysis of Web Services},
pages = {57--85},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9\_3},
doi = {10.1007/978-3-540-72912-9\_3},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swb/BultanFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BultanSF06,
author = {Tevfik Bultan and
Jianwen Su and
Xiang Fu},
title = {Analyzing Conversations of Web Services},
journal = {{IEEE} Internet Comput.},
volume = {10},
number = {1},
pages = {18--25},
year = {2006},
url = {https://doi.org/10.1109/MIC.2006.1},
doi = {10.1109/MIC.2006.1},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/BultanSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartzisB06,
author = {Constantinos Bartzis and
Tevfik Bultan},
title = {Efficient BDDs for bounded arithmetic constraints},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {1},
pages = {26--36},
year = {2006},
url = {https://doi.org/10.1007/s10009-004-0171-8},
doi = {10.1007/S10009-004-0171-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartzisB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BultanH06,
author = {Tevfik Bultan and
Constance L. Heitmeyer},
title = {Analyzing tabular requirements specifications using infinite state
model checking},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695895},
doi = {10.1109/MEMCOD.2006.1695895},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BultanH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2006t,
editor = {Tevfik Bultan},
title = {Proceedings of the 2006 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2006), {TAV-WEB} 2006, Portland, Maine, USA, July 17, 2006},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-458-8},
timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2006t.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/FuBS05,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
title = {Realizability of Conversation Protocols with Message Contents},
journal = {Int. J. Web Serv. Res.},
volume = {2},
number = {4},
pages = {68--93},
year = {2005},
url = {https://doi.org/10.4018/jwsr.2005100104},
doi = {10.4018/JWSR.2005100104},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwsr/FuBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KrishnamurthiB05,
author = {Shriram Krishnamurthi and
Tevfik Bultan},
title = {Discussion summary: characteristics of web services and their impact
on testing, analysis and verification},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {1},
pages = {5},
year = {2005},
url = {https://doi.org/10.1145/1039174.1039189},
doi = {10.1145/1039174.1039189},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KrishnamurthiB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuBS05,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
title = {Synchronizability of Conversations among Web Services},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {12},
pages = {1042--1055},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.141},
doi = {10.1109/TSE.2005.141},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FuBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Yavuz-KahveciBB05,
author = {Tuba Yavuz{-}Kahveci and
Constantinos Bartzis and
Tevfik Bultan},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Action Language Verifier, Extended},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {413--417},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_40},
doi = {10.1007/11513988\_40},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Yavuz-KahveciBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/Betin-CanB05,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Verifiable Web Services with Hierarchical Interfaces},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.128},
doi = {10.1109/ICWS.2005.128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/Betin-CanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SuBF05,
author = {Jianwen Su and
Tevfik Bultan and
Xiang Fu},
editor = {Jorge Cardoso and
Amit P. Sheth},
title = {Web Service Interactions: Analysis and Design},
booktitle = {Proceedings of the {ICWS} 2005 Second International Workshop on Semantic
and Dynamic Web Processes, SDWP@ICWS 2005, Orlando, Florida, USA,
July 11, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {140},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-140/talk2.pdf},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/SuBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanBLLT05,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Mikael Lindvall and
Benjamin Lux and
Stefan Topp},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Application of design for verification with concurrency controllers
to air traffic control software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {14--23},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101914},
doi = {10.1145/1101908.1101914},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Betin-CanBLLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Yavuz-KahveciB05,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
title = {Verification of parameterized hierarchical state machines using action
language verifier},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487897},
doi = {10.1109/MEMCOD.2005.1487897},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Yavuz-KahveciB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BultanHO05,
author = {Tevfik Bultan and
Constance L. Heitmeyer and
John O'Leary},
title = {Panel on design for verification},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {232--235},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487920},
doi = {10.1109/MEMCOD.2005.1487920},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BultanHO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BultanB05,
author = {Tevfik Bultan and
Aysu Betin{-}Can},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Scalable Software Model Checking Using Design for Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {337--346},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_36},
doi = {10.1007/978-3-540-69149-5\_36},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BultanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Betin-CanBF05,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Xiang Fu},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Design for verification for asynchronously communicating Web services},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005},
pages = {750--759},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060745.1060853},
doi = {10.1145/1060745.1060853},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/Betin-CanBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangBIK04,
author = {Zhe Dang and
Tevfik Bultan and
Oscar H. Ibarra and
Richard A. Kemmerer},
title = {Past pushdown timed automata and safety verification},
journal = {Theor. Comput. Sci.},
volume = {313},
number = {1},
pages = {57--71},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.004},
doi = {10.1016/J.TCS.2003.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangBIK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
title = {Conversation protocols: a formalism for specification and verification
of reactive electronic services},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {19--37},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.004},
doi = {10.1016/J.TCS.2004.07.004},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BultanFS04,
author = {Tevfik Bultan and
Xiang Fu and
Jianwen Su},
editor = {Farn Wang},
title = {Tools for Automated Verification of Web Services},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {8--10},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_4},
doi = {10.1007/978-3-540-30476-0\_4},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BultanFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartzisB04,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Widening Arithmetic Automata},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {321--333},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_25},
doi = {10.1007/978-3-540-27813-9\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BartzisB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{WSAT:} {A} Tool for Formal Analysis of Web Services},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {510--514},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_48},
doi = {10.1007/978-3-540-27813-9\_48},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
title = {Realizability of Conversation Protocols With Message Contents},
booktitle = {Proceedings of the {IEEE} International Conference on Web Services
(ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
pages = {96},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICWS.2004.1314728},
doi = {10.1109/ICWS.2004.1314728},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Model checking {XML} manipulating software},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {252--262},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007547},
doi = {10.1145/1007512.1007547},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanB04,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Verifiable Concurrent Programming Using Concurrency Controllers},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10025},
doi = {10.1109/ASE.2004.10025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Betin-CanB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ShuklaBH04,
author = {Sandeep K. Shukla and
Tevfik Bultan and
Constance L. Heitmeyer},
title = {Panel: given that hardware verification has been an uphill battle,
what is the future of software verification?},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {157--158},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459845},
doi = {10.1109/MEMCOD.2004.1459845},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ShuklaBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {Stuart I. Feldman and
Mike Uretsky and
Marc Najork and
Craig E. Wills},
title = {Analysis of interacting {BPEL} web services},
booktitle = {Proceedings of the 13th international conference on World Wide Web,
{WWW} 2004, New York, NY, USA, May 17-20, 2004},
pages = {621--630},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/988672.988756},
doi = {10.1145/988672.988756},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BartzisB03,
author = {Constantinos Bartzis and
Tevfik Bultan},
title = {Efficient Symbolic Representations for Arithmetic Constraints in Verification},
journal = {Int. J. Found. Comput. Sci.},
volume = {14},
number = {4},
pages = {605--624},
year = {2003},
url = {https://doi.org/10.1142/S0129054103001911},
doi = {10.1142/S0129054103001911},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BartzisB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Yavuz-KahveciB03,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
title = {A symbolic manipulator for automated verification of reactive systems
with heterogeneous data types},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {15--33},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0091-4},
doi = {10.1007/S10009-002-0091-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Yavuz-KahveciB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartzisB03,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Efficient Image Computation in Infinite State Model Checking},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {249--261},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_26},
doi = {10.1007/978-3-540-45069-6\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BartzisB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartzisB03,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Hubert Garavel and
John Hatcliff},
title = {Construction of Efficient BDDs for Bounded Arithmetic Constraints},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {394--408},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_28},
doi = {10.1007/3-540-36577-X\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartzisB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FuBS03,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {Conversation Protocols: {A} Formalism for Specification and Verification
of Reactive Electronic Services},
booktitle = {Implementation and Application of Automata, 8th International Conference,
{CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2759},
pages = {188--200},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45089-0\_18},
doi = {10.1007/3-540-45089-0\_18},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/FuBS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BultanFHS03,
author = {Tevfik Bultan and
Xiang Fu and
Richard Hull and
Jianwen Su},
editor = {Guszt{\'{a}}v Hencsey and
Bebo White and
Yih{-}Farn Robin Chen and
L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Steve Lawrence},
title = {Conversation specification: a new approach to design and analysis
of e-service composition},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference,
{WWW} 2003, Budapest, Hungary, May 20-24, 2003},
pages = {403--410},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775152.775210},
doi = {10.1145/775152.775210},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/BultanFHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Betin-CanB03,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Interface-Based Specification and Verification of Concurrency Controllers},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {464--479},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80007-6},
doi = {10.1016/S1571-0661(05)80007-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Betin-CanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraSDBK02,
author = {Oscar H. Ibarra and
Jianwen Su and
Zhe Dang and
Tevfik Bultan and
Richard A. Kemmerer},
title = {Counter Machines and Verification Problems},
journal = {Theor. Comput. Sci.},
volume = {289},
number = {1},
pages = {165--189},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00268-7},
doi = {10.1016/S0304-3975(01)00268-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraSDBK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Yavuz-KahveciB02,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
editor = {Alessandro Armando},
title = {Heuristics for Efficient Manipulation of Composite Constraints},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {57--71},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_6},
doi = {10.1007/3-540-45988-X\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Yavuz-KahveciB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Yavuz-KahveciB02,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
editor = {Phyllis G. Frankl},
title = {Specification, verification, and synthesis of concurrency control
components},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {169--179},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566199},
doi = {10.1145/566172.566199},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/Yavuz-KahveciB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Yavuz-KahveciB02,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Automated Verification of Concurrent Linked Lists with Counters},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {69--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_8},
doi = {10.1007/3-540-45789-5\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Yavuz-KahveciB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wes/FuBS02,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {Christoph Bussler and
Richard Hull and
Sheila A. McIlraith and
Maria E. Orlowska and
Barbara Pernici and
Jian Yang},
title = {Formal Verification of e-Services and Workflows},
booktitle = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International
Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2512},
pages = {188--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36189-8\_15},
doi = {10.1007/3-540-36189-8\_15},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wes/FuBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BartzisB02,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Automata-Based Representations for Arithmetic Constraints in Automated
Verification},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {282--288},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_30},
doi = {10.1007/3-540-44977-9\_30},
timestamp = {Thu, 02 Jun 2022 15:19:47 +0200},
biburl = {https://dblp.org/rec/conf/wia/BartzisB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraBS01,
author = {Oscar H. Ibarra and
Tevfik Bultan and
Jianwen Su},
title = {On Reachability and Safety in Infinite-State Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {12},
number = {6},
pages = {821--836},
year = {2001},
url = {https://doi.org/10.1142/S0129054101000898},
doi = {10.1142/S0129054101000898},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/IbarraBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DelzannoB01,
author = {Giorgio Delzanno and
Tevfik Bultan},
editor = {Toby Walsh},
title = {Constraint-Based Verification of Client-Server Protocols},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {286--301},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_20},
doi = {10.1007/3-540-45578-7\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DelzannoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BultanY01,
author = {Tevfik Bultan and
Tuba Yavuz{-}Kahveci},
title = {Action Language Verifier},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {382--386},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989834},
doi = {10.1109/ASE.2001.989834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BultanY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Yavuz-KahveciTB01,
author = {Tuba Yavuz{-}Kahveci and
Murat Tuncer and
Tevfik Bultan},
editor = {Tiziana Margaria and
Wang Yi},
title = {A Library for Composite Symbolic Representations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {52--66},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_5},
doi = {10.1007/3-540-45319-9\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Yavuz-KahveciTB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FuBHS01,
author = {Xiang Fu and
Tevfik Bultan and
Richard Hull and
Jianwen Su},
editor = {Tiziana Margaria and
Wang Yi},
title = {Verification of Vortex Workflows},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {143--157},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_11},
doi = {10.1007/3-540-45319-9\_11},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FuBHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DangBIK01,
author = {Zhe Dang and
Tevfik Bultan and
Oscar H. Ibarra and
Richard A. Kemmerer},
editor = {Bruce W. Watson and
Derick Wood},
title = {Past Pushdown Timed Automata},
booktitle = {Implementation and Application of Automata, 6th International Conference,
{CIAA} 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2494},
pages = {74--86},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36390-4\_7},
doi = {10.1007/3-540-36390-4\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/DangBIK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Bultan00,
author = {Tevfik Bultan},
title = {A composite model checking toolset for analyzing software systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {37--38},
year = {2000},
url = {https://doi.org/10.1145/340855.340868},
doi = {10.1145/340855.340868},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Bultan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BultanGL00,
author = {Tevfik Bultan and
Richard Gerber and
Christopher League},
title = {Composite model-checking: verification with type-specific symbolic
representations},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {9},
number = {1},
pages = {3--50},
year = {2000},
url = {https://doi.org/10.1145/332740.332746},
doi = {10.1145/332740.332746},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BultanGL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DangIBKS00,
author = {Zhe Dang and
Oscar H. Ibarra and
Tevfik Bultan and
Richard A. Kemmerer and
Jianwen Su},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Binary Reachability Analysis of Discrete Pushdown Timed Automata},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {69--84},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_9},
doi = {10.1007/10722167\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DangIBKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/IbarraBS00,
author = {Oscar H. Ibarra and
Tevfik Bultan and
Jianwen Su},
editor = {Catuscia Palamidessi},
title = {Reachability Analysis for Some Models of Infinite-State Transition
Systems},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {183--198},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_15},
doi = {10.1007/3-540-44618-4\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/IbarraBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bultan00,
author = {Tevfik Bultan},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Action Language: a specification language for model checking reactive
systems},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {335--344},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337219},
doi = {10.1145/337180.337219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Bultan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraSDBK00,
author = {Oscar H. Ibarra and
Jianwen Su and
Zhe Dang and
Tevfik Bultan and
Richard A. Kemmerer},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Conter Machines: Decidable Properties and Applications to Verification
Problems},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {426--435},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_38},
doi = {10.1007/3-540-44612-5\_38},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IbarraSDBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bultan00,
author = {Tevfik Bultan},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {{BDD} vs. Constraint-Based Model Checking: An Experimental Evaluation
for Asynchronous Concurrent Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {441--455},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_30},
doi = {10.1007/3-540-46419-0\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Bultan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BultanGP99,
author = {Tevfik Bultan and
Richard Gerber and
William W. Pugh},
title = {Model-checking concurrent systems with unbounded integer variables:
symbolic representations, approximations, and experimental results},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {4},
pages = {747--789},
year = {1999},
url = {https://doi.org/10.1145/325478.325480},
doi = {10.1145/325478.325480},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BultanGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/AykanatBH98,
author = {Cevdet Aykanat and
Tevfik Bultan and
Ismail Haritaoglu},
title = {A fast neural-network algorithm for {VLSI} cell placement},
journal = {Neural Networks},
volume = {11},
number = {9},
pages = {1671--1684},
year = {1998},
url = {https://doi.org/10.1016/S0893-6080(98)00089-6},
doi = {10.1016/S0893-6080(98)00089-6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nn/AykanatBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanGL98,
author = {Tevfik Bultan and
Richard Gerber and
Christopher League},
editor = {Mary Lou Soffa and
Michal Young and
Will Tracz},
title = {Verifying Systems with Integer Constraints and Boolean Predicates:
{A} Composite Approach},
booktitle = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
March 2-5, 1998},
pages = {113--123},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/271771.271799},
doi = {10.1145/271771.271799},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BultanGL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BultanGP97,
author = {Tevfik Bultan and
Richard Gerber and
William W. Pugh},
editor = {Orna Grumberg},
title = {Symbolic Model Checking of Infinite State Systems Using Presburger
Arithmetic},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {400--411},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_39},
doi = {10.1007/3-540-63166-6\_39},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BultanGP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanFG96,
author = {Tevfik Bultan and
Jeffrey Fischer and
Richard Gerber},
editor = {Steve J. Zeil and
Will Tracz},
title = {Compositional Verification by Model Checking for Counter-Examples},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {224--238},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226321},
doi = {10.1145/229000.226321},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BultanFG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/BultanA95,
author = {Tevfik Bultan and
Cevdet Aykanat},
title = {Circuit partitioning using mean field annealing},
journal = {Neurocomputing},
volume = {8},
number = {2},
pages = {171--194},
year = {1995},
url = {https://doi.org/10.1016/0925-2312(94)00016-L},
doi = {10.1016/0925-2312(94)00016-L},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/BultanA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BultanA92,
author = {Tevfik Bultan and
Cevdet Aykanat},
title = {A New Mapping Heuristic Based on Mean Field Annealing},
journal = {J. Parallel Distributed Comput.},
volume = {16},
number = {4},
pages = {292--305},
year = {1992},
url = {https://doi.org/10.1016/0743-7315(92)90013-D},
doi = {10.1016/0743-7315(92)90013-D},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BultanA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/BultanA91,
author = {Tevfik Bultan and
Cevdet Aykanat},
title = {Circuit partitioning using parallel mean field annealing algorithms},
booktitle = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
pages = {534--541},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/SPDP.1991.218253},
doi = {10.1109/SPDP.1991.218253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/BultanA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
