BibTeX records: Tevfik Bultan

download as .bib file

@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 = {Mon, 09 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ase/BultanZ17},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2017},
  crossref  = {DBLP:conf/csfw/2017},
  url       = {https://doi.org/10.1109/CSF.2017.8},
  doi       = {10.1109/CSF.2017.8},
  timestamp = {Mon, 16 Oct 2017 15:00:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/PhanBPMB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB17,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017},
  url       = {https://doi.org/10.1109/ICSE.2017.72},
  doi       = {10.1109/ICSE.2017.72},
  timestamp = {Thu, 07 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/BocicB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrennanTRAB17,
  author    = {Tegan Brennan and
               Nestan Tsiskaridze and
               Nicol{\'{a}}s Rosner and
               Abdulbaki Aydin and
               Tevfik Bultan},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {http://doi.acm.org/10.1145/3106237.3106303},
  doi       = {10.1145/3106237.3106303},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/BrennanTRAB17},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/3092703},
  doi       = {10.1145/3092703},
  isbn      = {978-1-4503-5076-1},
  timestamp = {Thu, 13 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2017},
  bibsource = {dblp computer science bibliography, http://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} Cryptology ePrint Archive},
  volume    = {2017},
  pages     = {401},
  year      = {2017},
  url       = {http://eprint.iacr.org/2017/401},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/PhanBPMB17},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/BasuB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/BasuB16,
  author    = {Samik Basu and
               Tevfik Bultan},
  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},
  pages     = {13--30},
  year      = {2016},
  crossref  = {DBLP:conf/fase/2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7_2},
  doi       = {10.1007/978-3-662-49665-7_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/BasuB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bultan16,
  author    = {Tevfik Bultan},
  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},
  pages     = {6:1--6:2},
  year      = {2016},
  crossref  = {DBLP:conf/fsttcs/2016},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.6},
  doi       = {10.4230/LIPIcs.FSTTCS.2016.6},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/Bultan16},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/issta/2016},
  url       = {http://doi.acm.org/10.1145/2931037.2931050},
  doi       = {10.1145/2931037.2931050},
  timestamp = {Thu, 14 Jul 2016 15:35:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/YuSLCWB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BocicB16,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {http://doi.acm.org/10.1145/2970276.2970350},
  doi       = {10.1145/2970276.2970350},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BocicB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAPPB16,
  author    = {Lucas Bang and
               Abdulbaki Aydin and
               Quoc{-}Sang Phan and
               Corina S. Pasareanu and
               Tevfik Bultan},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {http://doi.acm.org/10.1145/2950290.2950362},
  doi       = {10.1145/2950290.2950362},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/BangAPPB16},
  bibsource = {dblp computer science bibliography, http://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} Software},
  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, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/software/LuRBIDSZ15},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2699691},
  doi       = {10.1145/2699691},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tosem/NijjarBB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/AydinBB15,
  author    = {Abdulbaki Aydin and
               Lucas Bang and
               Tevfik Bultan},
  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}},
  pages     = {255--272},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4_15},
  doi       = {10.1007/978-3-319-21690-4_15},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/AydinBB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB15,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-1},
  url       = {https://doi.org/10.1109/ICSE.2015.87},
  doi       = {10.1109/ICSE.2015.87},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/BocicB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BocicB15,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.48},
  doi       = {10.1109/ASE.2015.48},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BocicB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BocicB15,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  title     = {Data Model Bugs},
  booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  pages     = {393--399},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9_27},
  doi       = {10.1007/978-3-319-17524-9_27},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/BocicB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAB15,
  author    = {Lucas Bang and
               Abdulbaki Aydin and
               Tevfik Bultan},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/sigsoft/2015},
  url       = {http://doi.acm.org/10.1145/2786805.2786863},
  doi       = {10.1145/2786805.2786863},
  timestamp = {Thu, 10 Sep 2015 15:29:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/BangAB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bultan15,
  author    = {Tevfik Bultan},
  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},
  pages     = {3--9},
  year      = {2015},
  crossref  = {DBLP:conf/spin/2015},
  url       = {https://doi.org/10.1007/978-3-319-23404-5_1},
  doi       = {10.1007/978-3-319-23404-5_1},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/Bultan15},
  bibsource = {dblp computer science bibliography, http://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 in System Design},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/YuABI14},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2014},
  crossref  = {DBLP:conf/ic2e/2014},
  url       = {https://doi.org/10.1109/IC2E.2014.90},
  doi       = {10.1109/IC2E.2014.90},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ic2e/KrintzJDPWB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/BocicB14,
  author    = {Ivan Bocic and
               Tevfik Bultan},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014},
  url       = {http://doi.acm.org/10.1145/2568225.2568281},
  doi       = {10.1145/2568225.2568281},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/BocicB14},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2014},
  crossref  = {DBLP:conf/icst/2014},
  url       = {https://doi.org/10.1109/ICST.2014.32},
  doi       = {10.1109/ICST.2014.32},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/AydinAB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlkhalafAB14,
  author    = {Muath Alkhalaf and
               Abdulbaki Aydin and
               Tevfik Bultan},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/issta/2014},
  url       = {http://doi.acm.org/10.1145/2610384.2610401},
  doi       = {10.1145/2610384.2610401},
  timestamp = {Fri, 03 Feb 2017 11:58:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/AlkhalafAB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BasuB14,
  author    = {Samik Basu and
               Tevfik Bultan},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/2014},
  url       = {http://doi.acm.org/10.1145/2642937.2643016},
  doi       = {10.1145/2642937.2643016},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BasuB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/OuederniSB13,
  author    = {Meriem Ouederni and
               Gwen Sala{\"{u}}n and
               Tevfik Bultan},
  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},
  pages     = {310--328},
  year      = {2013},
  crossref  = {DBLP:conf/facs2/2013},
  url       = {https://doi.org/10.1007/978-3-319-07602-7_19},
  doi       = {10.1007/978-3-319-07602-7_19},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/OuederniSB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bultan13,
  author    = {Tevfik Bultan},
  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},
  pages     = {1--4},
  year      = {2013},
  crossref  = {DBLP:conf/forte/2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6_1},
  doi       = {10.1007/978-3-642-38592-6_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/Bultan13},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013formalise},
  url       = {https://doi.org/10.1109/FormaliSE.2013.6612274},
  doi       = {10.1109/FormaliSE.2013.6612274},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/NijjarBB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/NijjarB13,
  author    = {Jaideep Nijjar and
               Tevfik Bultan},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/issta/2013},
  url       = {http://doi.acm.org/10.1145/2483760.2483768},
  doi       = {10.1145/2483760.2483768},
  timestamp = {Fri, 03 Feb 2017 11:58:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/NijjarB13},
  bibsource = {dblp computer science bibliography, http://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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, http://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. Services Computing},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tsc/SalaunBR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlkhalafBG12,
  author    = {Muath Alkhalaf and
               Tevfik Bultan and
               Jose L. Gallegos},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012},
  url       = {https://doi.org/10.1109/ICSE.2012.6227124},
  doi       = {10.1109/ICSE.2012.6227124},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/AlkhalafBG12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/issta/2012},
  url       = {http://doi.acm.org/10.1145/2338965.2336760},
  doi       = {10.1145/2338965.2336760},
  timestamp = {Fri, 03 Feb 2017 11:58:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/AlkhalafCFBOK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NijjarB12,
  author    = {Jaideep Nijjar and
               Tevfik Bultan},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {http://doi.acm.org/10.1145/2351676.2351706},
  doi       = {10.1145/2351676.2351706},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/NijjarB12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/BasuBO12,
  author    = {Samik Basu and
               Tevfik Bultan and
               Meriem Ouederni},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/popl/2012},
  url       = {http://doi.acm.org/10.1145/2103656.2103680},
  doi       = {10.1145/2103656.2103680},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/BasuBO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BasuBO12,
  author    = {Samik Basu and
               Tevfik Bultan and
               Meriem Ouederni},
  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},
  pages     = {56--71},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9_5},
  doi       = {10.1007/978-3-642-27940-9_5},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/BasuBO12},
  bibsource = {dblp computer science bibliography, http://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       = {http://dl.acm.org/citation.cfm?id=2393596},
  isbn      = {978-1-4503-1614-9},
  timestamp = {Mon, 15 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2012},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijfcs/YuBI11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/YuAB11,
  author    = {Fang Yu and
               Muath Alkhalaf and
               Tevfik Bultan},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {http://doi.acm.org/10.1145/1985793.1985828},
  doi       = {10.1145/1985793.1985828},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/YuAB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/NijjarB11,
  author    = {Jaideep Nijjar and
               Tevfik Bultan},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/issta/2011},
  url       = {http://doi.acm.org/10.1145/2001420.2001429},
  doi       = {10.1145/2001420.2001429},
  timestamp = {Fri, 03 Feb 2017 11:58:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/NijjarB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/YuBH11,
  author    = {Fang Yu and
               Tevfik Bultan and
               Ben Hardekopf},
  title     = {String Abstractions for String Verification},
  booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
               UT, USA, July 14-15, 2011. Proceedings},
  pages     = {20--37},
  year      = {2011},
  crossref  = {DBLP:conf/spin/2011},
  url       = {https://doi.org/10.1007/978-3-642-22306-8_3},
  doi       = {10.1007/978-3-642-22306-8_3},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/YuBH11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/BasuB11,
  author    = {Samik Basu and
               Tevfik Bultan},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/www/2011},
  url       = {http://doi.acm.org/10.1145/1963405.1963516},
  doi       = {10.1145/1963405.1963516},
  timestamp = {Mon, 12 Sep 2016 08:22:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/BasuB11},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/atva/2011},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2010},
  bibsource = {dblp computer science bibliography, http://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   = {{IEEE} 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, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/computer/HalleBHAV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HalleEBB10,
  author    = {Sylvain Hall{\'{e}} and
               Taylor Ettema and
               Chris Bunch and
               Tevfik Bultan},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/kbse/2010},
  url       = {http://doi.acm.org/10.1145/1858996.1859044},
  doi       = {10.1145/1858996.1859044},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/HalleEBB10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2010},
  crossref  = {DBLP:conf/memocode/2010},
  url       = {https://doi.org/10.1109/MEMCOD.2010.5558623},
  doi       = {10.1109/MEMCOD.2010.5558623},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/BultanYB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HalleB10,
  author    = {Sylvain Hall{\'{e}} and
               Tevfik Bultan},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010},
  url       = {http://doi.acm.org/10.1145/1882291.1882298},
  doi       = {10.1145/1882291.1882298},
  timestamp = {Fri, 28 Jan 2011 07:43:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/HalleB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Bultan10,
  author    = {Tevfik Bultan},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010foser},
  url       = {http://doi.acm.org/10.1145/1882362.1882377},
  doi       = {10.1145/1882362.1882377},
  timestamp = {Fri, 28 Jan 2011 07:43:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/Bultan10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YuAB10,
  author    = {Fang Yu and
               Muath Alkhalaf and
               Tevfik Bultan},
  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},
  pages     = {154--157},
  year      = {2010},
  crossref  = {DBLP:conf/tacas/2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2_13},
  doi       = {10.1007/978-3-642-12002-2_13},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/YuAB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/YuBI10,
  author    = {Fang Yu and
               Tevfik Bultan and
               Oscar H. Ibarra},
  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},
  pages     = {290--299},
  year      = {2010},
  crossref  = {DBLP:conf/wia/2010},
  url       = {https://doi.org/10.1007/978-3-642-18098-9_31},
  doi       = {10.1007/978-3-642-18098-9_31},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/YuBI10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-3715,
  author    = {Ben Rubinger and
               Tevfik Bultan},
  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.},
  pages     = {63--74},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3306},
  url       = {https://doi.org/10.4204/EPTCS.35.6},
  doi       = {10.4204/EPTCS.35.6},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-3715},
  bibsource = {dblp computer science bibliography, http://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 in System Design},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/Yavuz-KahveciB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HalleHBA09,
  author    = {Sylvain Hall{\'{e}} and
               Graham Hughes and
               Tevfik Bultan and
               Muath Alkhalaf},
  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},
  pages     = {516--530},
  year      = {2009},
  crossref  = {DBLP:conf/icsoc/2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4_38},
  doi       = {10.1007/978-3-642-10383-4_38},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/HalleHBA09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/icws/2009},
  url       = {https://doi.org/10.1109/ICWS.2009.100},
  doi       = {10.1109/ICWS.2009.100},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/BultanFF09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SalaunB09,
  author    = {Gwen Sala{\"{u}}n and
               Tevfik Bultan},
  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},
  pages     = {167--182},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7_12},
  doi       = {10.1007/978-3-642-00255-7_12},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifm/SalaunB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/StengelB09,
  author    = {Zachary Stengel and
               Tevfik Bultan},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/issta/2009},
  url       = {http://doi.acm.org/10.1145/1572272.1572275},
  doi       = {10.1145/1572272.1572275},
  timestamp = {Fri, 03 Feb 2017 11:57:34 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/StengelB09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/kbse/2009},
  url       = {https://doi.org/10.1109/ASE.2009.20},
  doi       = {10.1109/ASE.2009.20},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/YuAB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YuBI09,
  author    = {Fang Yu and
               Tevfik Bultan and
               Oscar H. Ibarra},
  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},
  pages     = {322--336},
  year      = {2009},
  crossref  = {DBLP:conf/tacas/2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2_28},
  doi       = {10.1007/978-3-642-00768-2_28},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/YuBI09},
  bibsource = {dblp computer science bibliography, http://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   = {Design Autom. for Emb. Sys.},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dafes/BultanH08},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 26 Sep 2008 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/debu/BultanF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/soca/BultanF08,
  author    = {Tevfik Bultan and
               Xiang Fu},
  title     = {Specification of realizable service conversations using collaboration
               diagrams},
  journal   = {Service Oriented Computing and Applications},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/soca/BultanF08},
  bibsource = {dblp computer science bibliography, http://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   = {{STTT}},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/HughesB08},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/tse/HughesB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bultan08,
  author    = {Tevfik Bultan},
  title     = {Service Choreography and Orchestration with Conversations},
  booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  pages     = {2--3},
  year      = {2008},
  crossref  = {DBLP:conf/concur/2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9_2},
  doi       = {10.1007/978-3-540-85361-9_2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/Bultan08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/HughesBA08,
  author    = {Graham Hughes and
               Tevfik Bultan and
               Muath Alkhalaf},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/issta/2008t},
  url       = {http://doi.acm.org/10.1145/1390832.1390839},
  doi       = {10.1145/1390832.1390839},
  timestamp = {Thu, 14 Aug 2008 08:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/HughesBA08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanX08,
  author    = {Tevfik Bultan and
               Tao Xie},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/issta/2008},
  url       = {http://doi.acm.org/10.1145/1390630.1390670},
  doi       = {10.1145/1390630.1390670},
  timestamp = {Fri, 03 Feb 2017 11:57:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/BultanX08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuWGB08,
  author    = {Fang Yu and
               Chao Wang and
               Aarti Gupta and
               Tevfik Bultan},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/sigsoft/2008},
  url       = {http://doi.acm.org/10.1145/1453101.1453127},
  doi       = {10.1145/1453101.1453127},
  timestamp = {Thu, 03 Nov 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/YuWGB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/YuBCI08,
  author    = {Fang Yu and
               Tevfik Bultan and
               Marco Cova and
               Oscar H. Ibarra},
  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},
  pages     = {306--324},
  year      = {2008},
  crossref  = {DBLP:conf/spin/2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1_21},
  doi       = {10.1007/978-3-540-85114-1_21},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/YuBCI08},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/issta/2008t},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ase/Betin-CanBLLT07},
  bibsource = {dblp computer science bibliography, http://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   = {Empirical Software Engineering},
  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, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ese/LindvallRDMZBBAAABHFSTPH07},
  bibsource = {dblp computer science bibliography, http://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 Asp. 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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fac/Betin-CanB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/HughesB07,
  author    = {Graham Hughes and
               Tevfik Bultan},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/issta/2007},
  url       = {http://doi.acm.org/10.1145/1273463.1273471},
  doi       = {10.1145/1273463.1273471},
  timestamp = {Fri, 03 Feb 2017 11:56:46 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/HughesB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarlasB07,
  author    = {Elliot Barlas and
               Tevfik Bultan},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/kbse/2007},
  url       = {http://doi.acm.org/10.1145/1321631.1321638},
  doi       = {10.1145/1321631.1321638},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BarlasB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuBP07,
  author    = {Fang Yu and
               Tevfik Bultan and
               Erik Peterson},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/sigsoft/2007},
  url       = {http://doi.acm.org/10.1145/1287624.1287671},
  doi       = {10.1145/1287624.1287671},
  timestamp = {Mon, 03 Nov 2008 10:57:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/YuBP07},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2007},
  crossref  = {DBLP:conf/soca/2007},
  url       = {https://doi.org/10.1109/SOCA.2007.41},
  doi       = {10.1109/SOCA.2007.41},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soca/BultanF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuBFZ07,
  author    = {Jianwen Su and
               Tevfik Bultan and
               Xiang Fu and
               Xiangpeng Zhao},
  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},
  pages     = {1--16},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7_1},
  doi       = {10.1007/978-3-540-79230-7_1},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/SuBFZ07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:conf/swb/BultanFS07,
  author    = {Tevfik Bultan and
               Xiang Fu and
               Jianwen Su},
  title     = {Analyzing Conversations: Realizability, Synchronizability, and Verification},
  booktitle = {Test and Analysis of Web Services},
  pages     = {57--85},
  year      = {2007},
  crossref  = {DBLP:conf/swb/2007taws},
  url       = {https://doi.org/10.1007/978-3-540-72912-9_3},
  doi       = {10.1007/978-3-540-72912-9_3},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/swb/BultanFS07},
  bibsource = {dblp computer science bibliography, http://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 Computing},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/internet/BultanSF06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/BartzisB06,
  author    = {Constantinos Bartzis and
               Tevfik Bultan},
  title     = {Efficient BDDs for bounded arithmetic constraints},
  journal   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/BartzisB06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/memocode/2006},
  url       = {https://doi.org/10.1109/MEMCOD.2006.1695895},
  doi       = {10.1109/MEMCOD.2006.1695895},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/BultanH06},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/issta/2006t},
  bibsource = {dblp computer science bibliography, http://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 Service Res.},
  volume    = {2},
  number    = {4},
  pages     = {68--93},
  year      = {2005},
  url       = {https://doi.org/10.4018/jwsr.2005100104},
  doi       = {10.4018/jwsr.2005100104},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jwsr/FuBS05},
  bibsource = {dblp computer science bibliography, http://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} Software Engineering Notes},
  volume    = {30},
  number    = {1},
  pages     = {5},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1039174.1039189},
  doi       = {10.1145/1039174.1039189},
  timestamp = {Thu, 08 May 2008 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/KrishnamurthiB05},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/FuBS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/Yavuz-KahveciBB05,
  author    = {Tuba Yavuz{-}Kahveci and
               Constantinos Bartzis and
               Tevfik Bultan},
  title     = {Action Language Verifier, Extended},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {413--417},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988_40},
  doi       = {10.1007/11513988_40},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/Yavuz-KahveciBB05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/icws/2005},
  url       = {https://doi.org/10.1109/ICWS.2005.128},
  doi       = {10.1109/ICWS.2005.128},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/Betin-CanB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanBLLT05,
  author    = {Aysu Betin{-}Can and
               Tevfik Bultan and
               Mikael Lindvall and
               Benjamin Lux and
               Stefan Topp},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/kbse/2005},
  url       = {http://doi.acm.org/10.1145/1101908.1101914},
  doi       = {10.1145/1101908.1101914},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/Betin-CanBLLT05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/memocode/2005},
  url       = {https://doi.org/10.1109/MEMCOD.2005.1487897},
  doi       = {10.1109/MEMCOD.2005.1487897},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/Yavuz-KahveciB05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/memocode/2005},
  url       = {https://doi.org/10.1109/MEMCOD.2005.1487920},
  doi       = {10.1109/MEMCOD.2005.1487920},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/BultanHO05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BultanB05,
  author    = {Tevfik Bultan and
               Aysu Betin{-}Can},
  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},
  pages     = {337--346},
  year      = {2005},
  crossref  = {DBLP:conf/vstte/2005},
  url       = {https://doi.org/10.1007/978-3-540-69149-5_36},
  doi       = {10.1007/978-3-540-69149-5_36},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/BultanB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/Betin-CanBF05,
  author    = {Aysu Betin{-}Can and
               Tevfik Bultan and
               Xiang Fu},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/www/2005},
  url       = {http://doi.acm.org/10.1145/1060745.1060853},
  doi       = {10.1145/1060745.1060853},
  timestamp = {Fri, 10 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/www/Betin-CanBF05},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/DangBIK04},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/FuBS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atva/BultanFS04,
  author    = {Tevfik Bultan and
               Xiang Fu and
               Jianwen Su},
  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},
  pages     = {8--10},
  year      = {2004},
  crossref  = {DBLP:conf/atva/2004},
  url       = {https://doi.org/10.1007/978-3-540-30476-0_4},
  doi       = {10.1007/978-3-540-30476-0_4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/atva/BultanFS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartzisB04,
  author    = {Constantinos Bartzis and
               Tevfik Bultan},
  title     = {Widening Arithmetic Automata},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {321--333},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9_25},
  doi       = {10.1007/978-3-540-27813-9_25},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/BartzisB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/FuBS04,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Jianwen Su},
  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},
  pages     = {510--514},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9_48},
  doi       = {10.1007/978-3-540-27813-9_48},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/FuBS04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/icws/2004},
  url       = {https://doi.org/10.1109/ICWS.2004.1314728},
  doi       = {10.1109/ICWS.2004.1314728},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/FuBS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/FuBS04,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Jianwen Su},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/issta/2004},
  url       = {http://doi.acm.org/10.1145/1007512.1007547},
  doi       = {10.1145/1007512.1007547},
  timestamp = {Fri, 03 Feb 2017 11:56:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/FuBS04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/kbse/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10025},
  doi       = {10.1109/ASE.2004.10025},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/Betin-CanB04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/memocode/2004},
  url       = {https://doi.org/10.1109/MEMCOD.2004.1459845},
  doi       = {10.1109/MEMCOD.2004.1459845},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/ShuklaBH04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/FuBS04,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Jianwen Su},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/www/2004},
  url       = {http://doi.acm.org/10.1145/988672.988756},
  doi       = {10.1145/988672.988756},
  timestamp = {Fri, 10 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/www/FuBS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Betin-CanB03,
  author    = {Aysu Betin{-}Can and
               Tevfik Bultan},
  title     = {Interface-Based Specification and Verification of Concurrency Controllers},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {3},
  pages     = {464--479},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80007-6},
  doi       = {10.1016/S1571-0661(05)80007-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/Betin-CanB03},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ijfcs/BartzisB03},
  bibsource = {dblp computer science bibliography, http://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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/Yavuz-KahveciB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartzisB03,
  author    = {Constantinos Bartzis and
               Tevfik Bultan},
  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},
  pages     = {249--261},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6_26},
  doi       = {10.1007/978-3-540-45069-6_26},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/BartzisB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartzisB03,
  author    = {Constantinos Bartzis and
               Tevfik Bultan},
  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},
  pages     = {394--408},
  year      = {2003},
  crossref  = {DBLP:conf/tacas/2003},
  url       = {https://doi.org/10.1007/3-540-36577-X_28},
  doi       = {10.1007/3-540-36577-X_28},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/BartzisB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/FuBS03,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Jianwen Su},
  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},
  pages     = {188--200},
  year      = {2003},
  crossref  = {DBLP:conf/wia/2003},
  url       = {https://doi.org/10.1007/3-540-45089-0_18},
  doi       = {10.1007/3-540-45089-0_18},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/FuBS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/BultanFHS03,
  author    = {Tevfik Bultan and
               Xiang Fu and
               Richard Hull and
               Jianwen Su},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/www/2003},
  url       = {http://doi.acm.org/10.1145/775152.775210},
  doi       = {10.1145/775152.775210},
  timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/www/BultanFHS03},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/IbarraSDBK02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Yavuz-KahveciB02,
  author    = {Tuba Yavuz{-}Kahveci and
               Tevfik Bultan},
  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},
  pages     = {57--71},
  year      = {2002},
  crossref  = {DBLP:conf/frocos/2002},
  url       = {https://doi.org/10.1007/3-540-45988-X_6},
  doi       = {10.1007/3-540-45988-X_6},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/frocos/Yavuz-KahveciB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/Yavuz-KahveciB02,
  author    = {Tuba Yavuz{-}Kahveci and
               Tevfik Bultan},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/issta/2002},
  url       = {http://doi.acm.org/10.1145/566172.566199},
  doi       = {10.1145/566172.566199},
  timestamp = {Fri, 03 Feb 2017 11:47:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/Yavuz-KahveciB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/Yavuz-KahveciB02,
  author    = {Tuba Yavuz{-}Kahveci and
               Tevfik Bultan},
  title     = {Automated Verification of Concurrent Linked Lists with Counters},
  booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
               Spain, September 17-20, 2002, Proceedings},
  pages     = {69--84},
  year      = {2002},
  crossref  = {DBLP:conf/sas/2002},
  url       = {https://doi.org/10.1007/3-540-45789-5_8},
  doi       = {10.1007/3-540-45789-5_8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/Yavuz-KahveciB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wes/FuBS02,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Jianwen Su},
  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},
  pages     = {188--202},
  year      = {2002},
  crossref  = {DBLP:conf/wes/2002},
  url       = {https://doi.org/10.1007/3-540-36189-8_15},
  doi       = {10.1007/3-540-36189-8_15},
  timestamp = {Mon, 13 Nov 2017 16:57:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/wes/FuBS02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/BartzisB02,
  author    = {Constantinos Bartzis and
               Tevfik Bultan},
  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},
  pages     = {282--288},
  year      = {2002},
  crossref  = {DBLP:conf/wia/2002},
  url       = {https://doi.org/10.1007/3-540-44977-9_30},
  doi       = {10.1007/3-540-44977-9_30},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/BartzisB02},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ijfcs/IbarraBS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/DelzannoB01,
  author    = {Giorgio Delzanno and
               Tevfik Bultan},
  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},
  pages     = {286--301},
  year      = {2001},
  crossref  = {DBLP:conf/cp/2001},
  url       = {https://doi.org/10.1007/3-540-45578-7_20},
  doi       = {10.1007/3-540-45578-7_20},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/DelzannoB01},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2001},
  crossref  = {DBLP:conf/kbse/2001},
  url       = {https://doi.org/10.1109/ASE.2001.989834},
  doi       = {10.1109/ASE.2001.989834},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BultanY01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Yavuz-KahveciTB01,
  author    = {Tuba Yavuz{-}Kahveci and
               Murat Tuncer and
               Tevfik Bultan},
  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},
  pages     = {52--66},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/2001},
  url       = {https://doi.org/10.1007/3-540-45319-9_5},
  doi       = {10.1007/3-540-45319-9_5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/Yavuz-KahveciTB01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FuBHS01,
  author    = {Xiang Fu and
               Tevfik Bultan and
               Richard Hull and
               Jianwen Su},
  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},
  pages     = {143--157},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/2001},
  url       = {https://doi.org/10.1007/3-540-45319-9_11},
  doi       = {10.1007/3-540-45319-9_11},
  timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/FuBHS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/DangBIK01,
  author    = {Zhe Dang and
               Tevfik Bultan and
               Oscar H. Ibarra and
               Richard A. Kemmerer},
  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},
  pages     = {74--86},
  year      = {2001},
  crossref  = {DBLP:conf/wia/2001},
  url       = {https://doi.org/10.1007/3-540-36390-4_7},
  doi       = {10.1007/3-540-36390-4_7},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/DangBIK01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Bultan00,
  author    = {Tevfik Bultan},
  title     = {A composite model checking toolset for analyzing software systems},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {25},
  number    = {1},
  pages     = {37--38},
  year      = {2000},
  url       = {http://doi.acm.org/10.1145/340855.340868},
  doi       = {10.1145/340855.340868},
  timestamp = {Sat, 27 Oct 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Bultan00},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/332740.332746},
  doi       = {10.1145/332740.332746},
  timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tosem/BultanGL00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/DangIBKS00,
  author    = {Zhe Dang and
               Oscar H. Ibarra and
               Tevfik Bultan and
               Richard A. Kemmerer and
               Jianwen Su},
  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},
  pages     = {69--84},
  year      = {2000},
  crossref  = {DBLP:conf/cav/2000},
  url       = {https://doi.org/10.1007/10722167_9},
  doi       = {10.1007/10722167_9},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/DangIBKS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/IbarraBS00,
  author    = {Oscar H. Ibarra and
               Tevfik Bultan and
               Jianwen Su},
  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},
  pages     = {183--198},
  year      = {2000},
  crossref  = {DBLP:conf/concur/2000},
  url       = {https://doi.org/10.1007/3-540-44618-4_15},
  doi       = {10.1007/3-540-44618-4_15},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/IbarraBS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bultan00,
  author    = {Tevfik Bultan},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/icse/2000},
  url       = {http://doi.acm.org/10.1145/337180.337219},
  doi       = {10.1145/337180.337219},
  timestamp = {Mon, 14 May 2012 18:17:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/Bultan00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraSDBK00,
  author    = {Oscar H. Ibarra and
               Jianwen Su and
               Zhe Dang and
               Tevfik Bultan and
               Richard A. Kemmerer},
  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},
  pages     = {426--435},
  year      = {2000},
  crossref  = {DBLP:conf/mfcs/2000},
  url       = {https://doi.org/10.1007/3-540-44612-5_38},
  doi       = {10.1007/3-540-44612-5_38},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/IbarraSDBK00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bultan00,
  author    = {Tevfik Bultan},
  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},
  pages     = {441--455},
  year      = {2000},
  crossref  = {DBLP:conf/tacas/2000},
  url       = {https://doi.org/10.1007/3-540-46419-0_30},
  doi       = {10.1007/3-540-46419-0_30},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/Bultan00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/toplas/BultanGP99,
  author    = {Tevfik Bultan and
               Richard Gerber and
               William 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       = {http://doi.acm.org/10.1145/325478.325480},
  doi       = {10.1145/325478.325480},
  timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/toplas/BultanGP99},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nn/AykanatBH98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanGL98,
  author    = {Tevfik Bultan and
               Richard Gerber and
               Christopher League},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/issta/1998},
  url       = {http://doi.acm.org/10.1145/271771.271799},
  doi       = {10.1145/271771.271799},
  timestamp = {Fri, 03 Feb 2017 11:51:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/BultanGL98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/BultanGP97,
  author    = {Tevfik Bultan and
               Richard Gerber and
               William Pugh},
  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},
  pages     = {400--411},
  year      = {1997},
  crossref  = {DBLP:conf/cav/1997},
  url       = {https://doi.org/10.1007/3-540-63166-6_39},
  doi       = {10.1007/3-540-63166-6_39},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/BultanGP97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanFG96,
  author    = {Tevfik Bultan and
               Jeffrey Fischer and
               Richard Gerber},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/issta/1996},
  url       = {http://doi.acm.org/10.1145/229000.226321},
  doi       = {10.1145/229000.226321},
  timestamp = {Fri, 03 Feb 2017 11:52:30 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/BultanFG96},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ijon/BultanA95},
  bibsource = {dblp computer science bibliography, http://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 Distrib. 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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jpdc/BultanA92},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1991},
  crossref  = {DBLP:conf/spdp/1991},
  url       = {https://doi.org/10.1109/SPDP.1991.218253},
  doi       = {10.1109/SPDP.1991.218253},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/BultanA91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csfw/2017,
  title     = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8048777},
  isbn      = {978-1-5386-3217-8},
  timestamp = {Mon, 16 Oct 2017 15:00:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2017,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  publisher = {{IEEE} / {ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3097368},
  isbn      = {978-1-5386-3868-2},
  timestamp = {Mon, 22 May 2017 14:16:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
  editor    = {Perdita Stevens and
               Andrzej Wasowski},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7},
  doi       = {10.1007/978-3-662-49665-7},
  isbn      = {978-3-662-49664-0},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2016,
  editor    = {Akash Lal and
               S. Akshay and
               Saket Saurabh and
               Sandeep Sen},
  title     = {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},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-027-9},
  isbn      = {978-3-95977-027-9},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2016,
  editor    = {Andreas Zeller and
               Abhik Roychoudhury},
  title     = {Proceedings of the 25th International Symposium on Software Testing
               and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
               18-20, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2931037},
  doi       = {10.1145/2931037},
  isbn      = {978-1-4503-4390-9},
  timestamp = {Thu, 14 Jul 2016 15:35:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Mon, 10 Oct 2016 15:09:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016,
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 22 Nov 2016 11:19:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21690-4},
  doi       = {10.1007/978-3-319-21690-4},
  isbn      = {978-3-319-21689-8},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2015-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-1,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  isbn      = {978-1-4799-1934-5},
  timestamp = {Tue, 03 May 2016 15:49:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2015-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
  editor    = {Myra B. Cohen and
               Lars Grunske and
               Michael Whalen},
  title     = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449},
  isbn      = {978-1-5090-0025-8},
  timestamp = {Fri, 06 May 2016 09:56:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
  editor    = {Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9},
  doi       = {10.1007/978-3-319-17524-9},
  isbn      = {978-3-319-17523-2},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2015,
  editor    = {Elisabetta Di Nitto and
               Mark Harman and
               Patrick Heymans},
  title     = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
               4, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2786805},
  doi       = {10.1145/2786805},
  isbn      = {978-1-4503-3675-8},
  timestamp = {Thu, 10 Sep 2015 15:29:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2015,
  editor    = {Bernd Fischer and
               Jaco Geldenhuys},
  title     = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
               Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9232},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23404-5},
  doi       = {10.1007/978-3-319-23404-5},
  isbn      = {978-3-319-23403-8},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ic2e/2014,
  title     = {2014 {IEEE} International Conference on Cloud Engineering, Boston,
               MA, USA, March 11-14, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6902666},
  isbn      = {978-1-4799-3766-0},
  timestamp = {Fri, 03 Jun 2016 11:19:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ic2e/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2014,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn      = {978-1-4503-2756-5},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2014,
  title     = {Seventh {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
               Ohio, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6823818},
  isbn      = {978-0-7695-5185-2},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2014,
  editor    = {Corina S. Pasareanu and
               Darko Marinov},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2610384},
  doi       = {10.1145/2610384},
  isbn      = {978-1-4503-2645-2},
  timestamp = {Fri, 03 Feb 2017 11:58:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2013,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Zhiming Liu and
               Jinyun Xue},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07602-7},
  doi       = {10.1007/978-3-319-07602-7},
  isbn      = {978-3-319-07601-0},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2013,
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6},
  doi       = {10.1007/978-3-642-38592-6},
  isbn      = {978-3-642-38591-9},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2013formalise,
  title     = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE
               2013, San Francisco, CA, USA, May 25, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596468},
  isbn      = {978-1-4673-6292-4},
  timestamp = {Fri, 07 Aug 2015 14:51:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2013formalise},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2013,
  editor    = {Mauro Pezz{\`{e}} and
               Mark Harman},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '13, Lugano, Switzerland, July 15-20, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2483760},
  doi       = {10.1145/2483760},
  isbn      = {978-1-4503-2159-4},
  timestamp = {Fri, 03 Feb 2017 11:58:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2012,
  editor    = {Martin Glinz and
               Gail C. Murphy and
               Mauro Pezz{\`{e}}},
  title     = {34th International Conference on Software Engineering, {ICSE} 2012,
               June 2-9, 2012, Zurich, Switzerland},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6218989},
  isbn      = {978-1-4673-1067-3},
  timestamp = {Tue, 03 May 2016 16:08:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2012,
  editor    = {Mats Per Erik Heimdahl and
               Zhendong Su},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               2012, Minneapolis, MN, USA, July 15-20, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2338965},
  doi       = {10.1145/2338965},
  isbn      = {978-1-4503-1454-1},
  timestamp = {Fri, 03 Feb 2017 11:58:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2012,
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  title     = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2351676},
  isbn      = {978-1-4503-1204-2},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2012,
  editor    = {John Field and
               Michael Hicks},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103656},
  isbn      = {978-1-4503-1083-3},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2011,
  editor    = {Matthew B. Dwyer and
               Frank Tip},
  title     = {Proceedings of the 20th International Symposium on Software Testing
               and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/2001420},
  doi       = {10.1145/2001420},
  isbn      = {978-1-4503-0562-4},
  timestamp = {Fri, 03 Feb 2017 11:58:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2011,
  editor    = {Alex Groce and
               Madanlal Musuvathi},
  title     = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
               UT, USA, July 14-15, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6823},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22306-8},
  doi       = {10.1007/978-3-642-22306-8},
  isbn      = {978-3-642-22305-1},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2011,
  editor    = {Sadagopan Srinivasan and
               Krithi Ramamritham and
               Arun Kumar and
               M. P. Ravindra and
               Elisa Bertino and
               Ravi Kumar},
  title     = {Proceedings of the 20th International Conference on World Wide Web,
               {WWW} 2011, Hyderabad, India, March 28 - April 1, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0632-4},
  timestamp = {Mon, 12 Sep 2016 08:22:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1858996},
  doi       = {10.1145/1858996},
  isbn      = {978-1-4503-0116-9},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/memocode/2010,
  title     = {8th {ACM/IEEE} International Conference on Formal Methods and Models
               for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5550962},
  isbn      = {978-1-4244-7885-9},
  timestamp = {Thu, 06 Nov 2014 17:05:38 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia{-}Catalin Roman and
               Kevin J. Sullivan},
  title     = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  timestamp = {Fri, 28 Jan 2011 07:43:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010foser,
  editor    = {Gruia{-}Catalin Roman and
               Kevin J. Sullivan},
  title     = {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},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0427-6},
  timestamp = {Fri, 28 Jan 2011 07:43:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2010foser},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
  editor    = {Javier Esparza and
               Rupak Majumdar},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2},
  doi       = {10.1007/978-3-642-12002-2},
  isbn      = {978-3-642-12001-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2010,
  editor    = {Michael Domaratzki and
               Kai Salomaa},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18098-9},
  doi       = {10.1007/978-3-642-18098-9},
  isbn      = {978-3-642-18097-2},
  timestamp = {Thu, 25 May 2017 00:43:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3306,
  editor    = {Gwen Sala{\"{u}}n and
               Xiang Fu and
               Sylvain Hall{\'{e}}},
  title     = {Proceedings Fourth International Workshop on Testing, Analysis and
               Verification of Web Software, {TAV-WEB} 2010, Antwerp, Belgium, 21
               September 2010},
  series    = {{EPTCS}},
  volume    = {35},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.35},
  doi       = {10.4204/EPTCS.35},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-3306},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2009,
  editor    = {Luciano Baresi and
               Chi{-}Hung Chi and
               Jun Suzuki},
  title     = {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},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4},
  doi       = {10.1007/978-3-642-10383-4},
  isbn      = {978-3-642-10382-7},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icws/2009,
  title     = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
               Angeles, CA, USA, 6-10 July 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5175785},
  isbn      = {978-0-7695-3709-2},
  timestamp = {Wed, 19 Aug 2015 17:47:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2009,
  editor    = {Gregg Rothermel and
               Laura K. Dillon},
  title     = {Proceedings of the Eighteenth International Symposium on Software
               Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
               2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://doi.acm.org/10.1145/1572272},
  doi       = {10.1145/1572272},
  isbn      = {978-1-60558-338-9},
  timestamp = {Fri, 03 Feb 2017 11:57:34 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2009,
  title     = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5431684},
  isbn      = {978-0-7695-3891-4},
  timestamp = {Tue, 05 Apr 2016 18:02:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2009,
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2},
  doi       = {10.1007/978-3-642-00768-2},
  isbn      = {978-3-642-00767-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2008,
  editor    = {Franck van Breugel and
               Marsha Chechik},
  title     = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5201},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9},
  doi       = {10.1007/978-3-540-85361-9},
  isbn      = {978-3-540-85360-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2008},
  bibsource = {dblp computer science bibliography, http://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 08:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2008t},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2008,
  editor    = {Barbara G. Ryder and
               Andreas Zeller},
  title     = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
               2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1390630},
  doi       = {10.1145/1390630},
  isbn      = {978-1-60558-050-0},
  timestamp = {Fri, 03 Feb 2017 11:57:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2008,
  editor    = {Mary Jean Harrold and
               Gail C. Murphy},
  title     = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
               November 9-14, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-995-1},
  timestamp = {Wed, 26 Jan 2011 08:37:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2008,
  editor    = {Klaus Havelund and
               Rupak Majumdar and
               Jens Palsberg},
  title     = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
               CA, USA, August 10-12, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5156},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1},
  doi       = {10.1007/978-3-540-85114-1},
  isbn      = {978-3-540-85113-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2007,
  editor    = {David S. Rosenblum and
               Sebastian G. Elbaum},
  title     = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1273463},
  doi       = {10.1145/1273463},
  isbn      = {978-1-59593-734-6},
  timestamp = {Fri, 03 Feb 2017 11:56:46 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2007,
  editor    = {R. E. Kurt Stirewalt and
               Alexander Egyed and
               Bernd Fischer},
  title     = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1321631},
  doi       = {10.1145/1321631},
  isbn      = {978-1-59593-882-4},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007,
  editor    = {Ivica Crnkovic and
               Antonia Bertolino},
  title     = {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},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-811-4},
  timestamp = {Mon, 03 Nov 2008 10:57:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soca/2007,
  title     = {{IEEE} International Conference on Service-Oriented Computing and
               Applications, {SOCA} 2007, 19-20 June 2007, Newport Beach, California,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4273393},
  isbn      = {978-0-7695-2861-8},
  timestamp = {Fri, 10 Jul 2015 14:02:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soca/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2007,
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79230-7},
  doi       = {10.1007/978-3-540-79230-7},
  isbn      = {978-3-540-79229-1},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:conf/swb/2007taws,
  editor    = {Luciano Baresi and
               Elisabetta Di Nitto},
  title     = {Test and Analysis of Web Services},
  publisher = {Springer},
  year      = {2007},
  isbn      = {978-3-540-72912-9},
  timestamp = {Fri, 30 Nov 2007 13:19:34 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/swb/2007taws},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/memocode/2006,
  title     = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
               Suites, Napa, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11148},
  isbn      = {1-4244-0421-5},
  timestamp = {Mon, 15 Jun 2015 17:05:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icws/2005,
  title     = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
               11-15 July 2005, Orlando, FL, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10245},
  isbn      = {0-7695-2409-5},
  timestamp = {Wed, 19 Aug 2015 17:47:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2005,
  editor    = {David F. Redmiles and
               Thomas Ellman and
               Andrea Zisman},
  title     = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1101908},
  doi       = {10.1145/1101908},
  isbn      = {1-58113-993-4},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/memocode/2005,
  title     = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
               Italy, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9956},
  isbn      = {0-7803-9227-2},
  timestamp = {Mon, 15 Jun 2015 17:05:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vstte/2005,
  editor    = {Bertrand Meyer and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69149-5},
  doi       = {10.1007/978-3-540-69149-5},
  isbn      = {978-3-540-69147-1},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2005,
  editor    = {Allan Ellis and
               Tatsuya Hagino},
  title     = {Proceedings of the 14th international conference on World Wide Web,
               {WWW} 2005, Chiba, Japan, May 10-14, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-046-9},
  timestamp = {Fri, 13 May 2005 10:07:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atva/2004,
  editor    = {Farn Wang},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102065},
  doi       = {10.1007/b102065},
  isbn      = {3-540-23610-4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/atva/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
  editor    = {Rajeev Alur and
               Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98490},
  doi       = {10.1007/b98490},
  isbn      = {3-540-22342-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icws/2004,
  title     = {Proceedings of the {IEEE} International Conference on Web Services
               (ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9185},
  isbn      = {0-7695-2167-3},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icws/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2004,
  editor    = {George S. Avrunin and
               Gregg Rothermel},
  title     = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
               11-14, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://doi.acm.org/10.1145/1007512},
  doi       = {10.1145/1007512},
  isbn      = {1-58113-820-2},
  timestamp = {Fri, 03 Feb 2017 11:56:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2004,
  title     = {19th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9305},
  isbn      = {0-7695-2131-2},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/memocode/2004,
  title     = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
               California, USA, Proceedings},
  publisher = {{IEEE}},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9882},
  isbn      = {0-7803-8509-8},
  timestamp = {Thu, 06 Nov 2014 17:05:38 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/memocode/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2004,
  editor    = {Stuart I. Feldman and
               Mike Uretsky and
               Marc Najork and
               Craig E. Wills},
  title     = {Proceedings of the 13th international conference on World Wide Web,
               {WWW} 2004, New York, NY, USA, May 17-20, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-844-X},
  timestamp = {Fri, 10 Sep 2004 15:22:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2003,
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36577-X},
  doi       = {10.1007/3-540-36577-X},
  isbn      = {3-540-00898-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2003,
  editor    = {Oscar H. Ibarra and
               Zhe Dang},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45089-0},
  doi       = {10.1007/3-540-45089-0},
  isbn      = {3-540-40561-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2003,
  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     = {Proceedings of the Twelfth International World Wide Web Conference,
               {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-680-3},
  timestamp = {Wed, 17 Jul 2013 16:59:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/frocos/2002,
  editor    = {Alessandro Armando},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45988-X},
  doi       = {10.1007/3-540-45988-X},
  isbn      = {3-540-43381-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/frocos/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2002,
  editor    = {Phyllis G. Frankl},
  title     = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://doi.acm.org/10.1145/566172},
  doi       = {10.1145/566172},
  isbn      = {1-58113-562-9},
  timestamp = {Fri, 03 Feb 2017 11:47:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2002,
  editor    = {Manuel V. Hermenegildo and
               Germ{\'{a}}n Puebla},
  title     = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
               Spain, September 17-20, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2477},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45789-5},
  doi       = {10.1007/3-540-45789-5},
  isbn      = {3-540-44235-9},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wes/2002,
  editor    = {Christoph Bussler and
               Richard Hull and
               Sheila A. McIlraith and
               Maria E. Orlowska and
               Barbara Pernici and
               Jian Yang},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36189-8},
  doi       = {10.1007/3-540-36189-8},
  isbn      = {3-540-00198-0},
  timestamp = {Mon, 13 Nov 2017 16:57:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/wes/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2002,
  editor    = {Jean{-}Marc Champarnaud and
               Denis Maurel},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44977-9},
  doi       = {10.1007/3-540-44977-9},
  isbn      = {3-540-40391-4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2001,
  editor    = {Toby Walsh},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45578-7},
  doi       = {10.1007/3-540-45578-7},
  isbn      = {3-540-42863-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2001,
  title     = {16th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7763},
  isbn      = {0-7695-1426-X},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9},
  doi       = {10.1007/3-540-45319-9},
  isbn      = {3-540-41865-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2001,
  editor    = {Bruce W. Watson and
               Derick Wood},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36390-4},
  doi       = {10.1007/3-540-36390-4},
  isbn      = {3-540-00400-9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2000,
  editor    = {E. Allen Emerson and
               A. Prasad Sistla},
  title     = {Computer Aided Verification, 12th International Conference, {CAV}
               2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1855},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722167},
  doi       = {10.1007/10722167},
  isbn      = {3-540-67770-4},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2000,
  editor    = {Catuscia Palamidessi},
  title     = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
               University Park, PA, USA, August 22-25, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1877},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44618-4},
  doi       = {10.1007/3-540-44618-4},
  isbn      = {3-540-67897-2},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2000,
  editor    = {Carlo Ghezzi and
               Mehdi Jazayeri and
               Alexander L. Wolf},
  title     = {Proceedings of the 22nd International Conference on on Software Engineering,
               {ICSE} 2000, Limerick Ireland, June 4-11, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=336512},
  isbn      = {1-58113-206-9},
  timestamp = {Mon, 14 May 2012 18:17:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2000,
  editor    = {Mogens Nielsen and
               Branislav Rovan},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44612-5},
  doi       = {10.1007/3-540-44612-5},
  isbn      = {3-540-67901-4},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2000,
  editor    = {Susanne Graf and
               Michael I. Schwartzbach},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46419-0},
  doi       = {10.1007/3-540-46419-0},
  isbn      = {3-540-67282-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/1998,
  editor    = {Mary Lou Soffa and
               Michal Young and
               Will Tracz},
  title     = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
               March 2-5, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://doi.acm.org/10.1145/271771},
  doi       = {10.1145/271771},
  isbn      = {0-89791-971-8},
  timestamp = {Fri, 03 Feb 2017 11:51:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/1997,
  editor    = {Orna Grumberg},
  title     = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1254},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63166-6},
  doi       = {10.1007/3-540-63166-6},
  isbn      = {3-540-63166-6},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/1996,
  editor    = {Steve J. Zeil and
               Will Tracz},
  title     = {Proceedings of the 1996 International Symposium on Software Testing
               and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {http://doi.acm.org/10.1145/229000},
  doi       = {10.1145/229000},
  isbn      = {0-89791-787-1},
  timestamp = {Fri, 03 Feb 2017 11:52:30 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spdp/1991,
  title     = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=373},
  isbn      = {0-8186-2310-1},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier