The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tevfik Bultan" ( http://dblp.L3S.de/Authors/Tevfik_Bultan )

URL (Homepage):  http://www.cs.ucsb.edu/~bultan/  Author page on DBLP  Author page in RDF  Community of Tevfik Bultan in ASPL-2

Publication years (Num. hits)
1991-2000 (15) 2001-2003 (19) 2004-2005 (21) 2006-2008 (24) 2009-2010 (15) 2011-2013 (19) 2014-2016 (20) 2017-2018 (15) 2019 (6)
Publication types (Num. hits)
article(41) book(1) incollection(1) inproceedings(102) proceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 91 occurrences of 43 keywords

Results
Found 155 publication records. Showing 154 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ivan Bocic, Tevfik Bultan, Nicolás Rosner Inductive verification of data model invariants in web applications using first-order logic. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan Attack Synthesis for Strings using Meta-Heuristics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan Incremental Adaptive Attack Synthesis. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan Profit: Detecting and Quantifying Side Channels in Networked Applications. Search on Bibsonomy NDSS The full citation details ... 2019 DBLP  BibTeX  RDF
1Joanne M. Atlee, Tevfik Bultan, Jon Whittle (eds.) Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 Search on Bibsonomy ICSE The full citation details ... 2019 DBLP  BibTeX  RDF
1Joanne M. Atlee, Tevfik Bultan, Jon Whittle (eds.) Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  BibTeX  RDF
1Tevfik Bultan Side-Channel Analysis via Symbolic Execution and Model Counting. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan Attack Synthesis for Strings using Meta-Heuristics. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood Information Leakage in Arbiter Protocols. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu Parameterized model counting for string and numeric constraints. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lucas Bang, Nicolás Rosner, Tevfik Bultan Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. Search on Bibsonomy EuroS&P The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu Symbolic path cost analysis for side-channel detection. Search on Bibsonomy ISSTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tegan Brennan, Seemanta Saha, Tevfik Bultan Symbolic path cost analysis for side-channel detection. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chun-Han Lin, Fang Yu, Jie-Hong Roland Jiang, Tevfik Bultan Static detection of API call vulnerabilities in iOS executables. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Andreas Zeller Guest editorial: emerging areas in automated software engineering research. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan Synthesis of Adaptive Side-Channel Attacks. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin String Analysis for Software Verification and Security. Search on Bibsonomy 2017   DOI  RDF
1Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan Synthesis of Adaptive Side-Channel Attacks. Search on Bibsonomy CSF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan Constraint normalization and parameterized caching for quantitative program analysis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Koushik Sen (eds.) Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017 Search on Bibsonomy ISSTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Symbolic model extraction for web application verification. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan On deciding synchronizability for asynchronously communicating systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan String analysis for side channels with segmented oracles. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan Optimal sanitization synthesis for web application vulnerability repair. Search on Bibsonomy ISSTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Finding access control bugs in web applications with CanCheck. Search on Bibsonomy ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk). Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan Automated Choreography Repair. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jian Lu, David S. Rosenblum, Tevfik Bultan, Valérie Issarny, Schahram Dustdar, Margaret-Anne D. Storey, Dongmei Zhang Roundtable: The Future of Software Engineering for Internet Computing. Search on Bibsonomy IEEE Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Ivan Bocic, Tevfik Bultan Data Model Property Inference, Verification, and Repair for Web Applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abdulbaki Aydin, Lucas Bang, Tevfik Bultan Automata-Based Model Counting for String Constraints. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan String Analysis for Vulnerability Detection and Repair. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lucas Bang, Abdulbaki Aydin, Tevfik Bultan Automatically computing path complexity of programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Data Model Bugs. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Efficient Data Model Verification with Many-Sorted Logic (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Coexecutability for Efficient Verification of Data Model Updates. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra Automata-based symbolic string analysis for vulnerability detection. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan Automated Test Generation from Vulnerability Signatures. Search on Bibsonomy ICST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan Semantic differential repair for input validation and sanitization. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chandra Krintz, Hiranya Jayathilaka, Stratos Dimopoulos, Alexander Pucher, Rich Wolski, Tevfik Bultan Cloud Platform Support for API Governance. Search on Bibsonomy IC2E The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan Automatic verification of interactions in asynchronous systems with unbounded buffers. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ivan Bocic, Tevfik Bultan Inductive verification of data model invariants for web applications. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Tevfik Bultan Data model property inference and repair. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Meriem Ouederni, Gwen Salaün, Tevfik Bultan Compatibility Checking for Asynchronously Communicating Software. Search on Bibsonomy FACS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Tevfik Bultan, Andreas Zeller (eds.) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 Search on Bibsonomy ASE The full citation details ... 2013 DBLP  BibTeX  RDF
1Jaideep Nijjar, Ivan Bocic, Tevfik Bultan An integrated data model verifier with property templates. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gwen Salaün, Tevfik Bultan, Nima Roohi Realizability of Choreographies Using Process Algebra Encodings. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan, Meriem Ouederni Deciding choreography realizability. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Will Tracz, Martin P. Robillard, Tevfik Bultan (eds.) 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012 Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  BibTeX  RDF
1Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. Search on Bibsonomy ISSTA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Tevfik Bultan Unbounded data model verification using SMT solvers. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos Verifying client-side input validation functions using string analysis. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan, Meriem Ouederni Synchronizability for Verification of Asynchronously Communicating Systems. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Oscar H. Ibarra Relational String Verification Using Multi-Track Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan Choreography conformance via synchronizability. Search on Bibsonomy WWW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Ben Hardekopf String Abstractions for String Verification. Search on Bibsonomy SPIN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Pao-Ann Hsiung (eds.) Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Tevfik Bultan Bounded verification of Ruby on Rails data models. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fang Yu, Muath Alkhalaf, Tevfik Bultan Patching vulnerabilities with sanitization synthesis. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Tevfik Bultan (eds.) Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers Search on Bibsonomy WS-FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire Runtime Verification of Web Service Interface Contracts. Search on Bibsonomy IEEE Computer The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Software engineering, Testing and debugging, Information storage and retrieval, Web-based services
1Ben Rubinger, Tevfik Bultan Contracting the Facebook API Search on Bibsonomy TAV-WEB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Fang Yu, Aysu Betin-Can Modular verification of synchronization with reentrant locks. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Oscar H. Ibarra Relational String Verification Using Multi-track Automata. Search on Bibsonomy CIAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan Software for everyone by everyone. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Tevfik Bultan Realizability analysis for message-based interactions using shared-state projections. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fang Yu, Muath Alkhalaf, Tevfik Bultan Stranger: An Automata-Based String Analysis Tool for PHP. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tuba Yavuz-Kahveci, Tevfik Bultan Action Language verifier: an infinite-state model checker for reactive software specifications. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf Generating Interface Grammars from WSDL for Automated Verification of Web Services. Search on Bibsonomy ICSOC/ServiceWave The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Chris Ferguson, Xiang Fu A Tool for Choreography Analysis Using Collaboration Diagrams. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gwen Salaün, Tevfik Bultan Realizability of Choreographies Using Process Algebra Encodings. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zachary Stengel, Tevfik Bultan Analyzing singularity channel contracts. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF conversations, asynchronous communication, realizability
1Fang Yu, Tevfik Bultan, Oscar H. Ibarra Symbolic String Verification: Combining String Analysis and Size Analysis. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fang Yu, Muath Alkhalaf, Tevfik Bultan Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF vulnerability signature, string analysis, finite automata, web security
1Tevfik Bultan, Constance L. Heitmeyer Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Xiang Fu Choreography Modeling and Analysis with Collaboration Diagrams. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2008 DBLP  BibTeX  RDF
1Tevfik Bultan, Xiang Fu Specification of realizable service conversations using collaboration diagrams. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Conversations, Choreography, Realizability, Collaboration diagrams
1Graham Hughes, Tevfik Bultan Automated verification of access control policies using a SAT solver. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Access control, Automated verification
1Graham Hughes, Tevfik Bultan Interface Grammars for Modular Software Model Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra Symbolic String Verification: An Automata-Based Approach. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fang Yu, Chao Wang 0001, Aarti Gupta, Tevfik Bultan Modular verification of web services using efficient symbolic encoding and summarization. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF BPEL, summarization, modular verification
1Tevfik Bultan, Tao Xie (eds.) 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 Search on Bibsonomy TAV-WEB The full citation details ... 2008 DBLP  BibTeX  RDF
1Tevfik Bultan, Tao Xie Workshop on testing, analysis and verification of web software (TAV-WEB 2008). Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web services, web applications
1Graham Hughes, Tevfik Bultan, Muath Alkhalaf Client and server verification for web services using interface grammars. Search on Bibsonomy TAV-WEB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interface grammars, web services
1Tevfik Bultan Service Choreography and Orchestration with Conversations. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif M. Memon, Marvin V. Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Christopher Ackermann, Bettina Anders, Sima Asgari, Victor R. Basili, Lorin Hochstein, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach Experimenting with software testbeds for evaluating new technologies. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Software testbed, Empirical study, Technology evaluation
1Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
1Aysu Betin-Can, Tevfik Bultan Highly dependable concurrent programming using design for verification. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
1Tevfik Bultan, Xiang Fu, Jianwen Su Analyzing Conversations: Realizability, Synchronizability, and Verification. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Erik Peterson Automated size analysis for OCL. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF size abstraction, size analysis, OCL
1Tevfik Bultan, Xiang Fu Specification of Realizable Service Conversations Using Collaboration Diagrams. Search on Bibsonomy SOCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Graham Hughes, Tevfik Bultan Interface grammars for modular software model checking. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interface grammars, model checking, modular verification
1Elliot Barlas, Tevfik Bultan Netstub: a framework for verification of distributed java applications. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF testing and verification of, model checking, automated verification
1Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao Towards a Theory of Web Service Choreographies. Search on Bibsonomy WS-FM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan, Jianwen Su, Xiang Fu Analyzing Conversations of Web Services. Search on Bibsonomy IEEE Internet Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF synchronizability, Web services, model checking, conversations, asynchronous communication, realizability
1Constantinos Bartzis, Tevfik Bultan Efficient BDDs for bounded arithmetic constraints. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model checking, BDD, Integer arithmetic, SMV
1Tevfik Bultan, Constance L. Heitmeyer Analyzing tabular requirements specifications using infinite state model checking. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan (eds.) 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 Search on Bibsonomy TAV-WEB The full citation details ... 2006 DBLP  BibTeX  RDF
1Xiang Fu, Tevfik Bultan, Jianwen Su Realizability of Conversation Protocols with Message Contents. Search on Bibsonomy Int. J. Web Service Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 154 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license