Tevfik Bultan - RankMe

185 papers A* 38A 31B 11C 10Journal 51Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Black-Box Multi-Robustness Testing for Neural Networks. ICSTW Mara Downing, Tevfik Bultan
2025	J	`jnl`	Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation. CoRR Mara Downing, Matthew Peng, Jacob Granley, Michael Beyeler, Tevfik Bultan
2025	A	`conf`	Hybrid Equivalence/Non-Equivalence Testing. ICST Laboni Sarker, Tevfik Bultan
2025	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. ACM Trans. Softw. Eng. Methodol. Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2025	—	`conf`	Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security. VehicleSec Achintya Desai, Ruochen Dai, Yanju Chen, Ky Ho, Austin Kee, Sophie Bulatovic, Md Shafiuzzaman, Ken Yihang Bai, Il Ung Jeong, David Siu, Tuba Yavuz, Tevfik Bultan
2024	J	`jnl`	Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Softw. Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
2024	A*	`conf`	Quantitative Symbolic Non-Equivalence Analysis. ASE Laboni Sarker, Tevfik Bultan
2024	C	`conf`	Quantitative Symbolic Robustness Verification for Quantized Neural Networks. ICFEM Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan
2024	A*	`conf`	STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation. ASE Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
2024	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. CoRR Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2024	J	`jnl`	Syntactic Robustness for LLM-based Code Generation. CoRR Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
2024	J	`jnl`	UEFI Vulnerability Signature Generation using Static and Symbolic Analysis. CoRR Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
2023	J	`jnl`	Obtaining Information Leakage Bounds via Approximate Model Counting. Proc. ACM Program. Lang. Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
2023	A	`conf`	Quantitative Policy Repair for Access Control on the Cloud. ISSTA William Eiers, Ganesh Sankaran, Tevfik Bultan
2023	A	`conf`	Rare Path Guided Fuzzing. ISSTA Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2023	—	`conf`	The Case for Scalable Quantitative Neural Network Analysis. SE4SafeML@SIGSOFT FSE Mara Downing, Tevfik Bultan
2022	A*	`conf`	PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. ICSE Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
2022	A*	`conf`	Quacky: Quantitative Access Control Permissiveness Analyzer✱. ASE William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
2022	A*	`conf`	Quantifying Permissiveness of Access Control Policies. ICSE William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
2022	J	`jnl`	Rare-Seed Generation for Fuzzing. CoRR Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2022	—	`conf`	TSA: a tool to detect and quantify network side-channels. ESEC/SIGSOFT FSE Ismet Burak Kadron, Tevfik Bultan
2022	—	`conf`	Targeted Black-Box Side-Channel Mitigation for IoT✱. IOT Ismet Burak Kadron, Chaofan Shou, Emily O'Mahony, Yilmaz Vural, Tevfik Bultan
2021	A*	`conf`	CorbFuzz: Checking Browser Security Policies with Fuzzing. ASE Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
2021	J	`jnl`	CorbFuzz: Checking Browser Security Policies with Fuzzing. CoRR Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
2020	A	`conf`	Feedback-driven side-channel analysis for networked applications. ISSTA Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan
2020	A*	`conf`	JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. SP Tegan Brennan, Nicolás Rosner, Tevfik Bultan
2020	A*	`conf`	JVM fuzzing for JIT-induced side-channel detection. ICSE Tegan Brennan, Seemanta Saha, Tevfik Bultan
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2019	J	`jnl`	Attack Synthesis for Strings using Meta-Heuristics. CoRR Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2019	J	`jnl`	Incremental Adaptive Attack Synthesis. CoRR Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019	J	`jnl`	Incremental Attack Synthesis. ACM SIGSOFT Softw. Eng. Notes Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019	J	`jnl`	Inductive verification of data model invariants in web applications using first-order logic. Autom. Softw. Eng. Ivan Bocic, Tevfik Bultan, Nicolás Rosner
2019	A*	`ed.`	Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 ICSE Joanne M. Atlee, Tevfik Bultan, Jon Whittle
2019	—	`ed.`	Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. ICSE (Companion Volume) Joanne M. Atlee, Tevfik Bultan, Jon Whittle
2019	A*	`conf`	Profit: Detecting and Quantifying Side Channels in Networked Applications. NDSS Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019	—	`conf`	Quantifying Information Leakage Using Model Counting Constraint Solvers. VSTTE Tevfik Bultan
2019	A*	`conf`	Subformula Caching for Model Counting and Quantitative Program Analysis. ASE William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
2018	J	`jnl`	Attack Synthesis for Strings using Meta-Heuristics. ACM SIGSOFT Softw. Eng. Notes Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2018	B	`conf`	Information Leakage in Arbiter Protocols. ATVA Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
2018	A	`conf`	Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. EuroS&P Lucas Bang, Nicolás Rosner, Tevfik Bultan
2018	—	`conf`	Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
2018	J	`jnl`	Side-Channel Analysis via Symbolic Execution and Model Counting. ACM SIGSOFT Softw. Eng. Notes Tevfik Bultan
2018	—	`conf`	Static detection of API call vulnerabilities in iOS executables. ICSE (Companion Volume) Chun-Han Lin, Fang Yu, Jie-Hong Roland Jiang, Tevfik Bultan
2018	—	`conf`	Symbolic path cost analysis for side-channel detection. ICSE (Companion Volume) Tegan Brennan, Seemanta Saha, Tevfik Bultan
2018	A	`conf`	Symbolic path cost analysis for side-channel detection. ISSTA Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
2017	—	`conf`	Constraint normalization and parameterized caching for quantitative program analysis. ESEC/SIGSOFT FSE Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan
2017	J	`jnl`	Guest editorial: emerging areas in automated software engineering research. Autom. Softw. Eng. Tevfik Bultan, Andreas Zeller
2017	A	`ed.`	Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017 ISSTA Tevfik Bultan, Koushik Sen
2017	—	`book`	String Analysis for Software Verification and Security. Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
2017	A*	`conf`	Symbolic model extraction for web application verification. ICSE Ivan Bocic, Tevfik Bultan
2017	A	`conf`	Synthesis of Adaptive Side-Channel Attacks. CSF Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2017	J	`jnl`	Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2016	B	`conf`	Automated Choreography Repair. FASE Samik Basu, Tevfik Bultan
2016	A*	`conf`	Finding access control bugs in web applications with CanCheck. ASE Ivan Bocic, Tevfik Bultan
2016	J	`jnl`	On deciding synchronizability for asynchronously communicating systems. Theor. Comput. Sci. Samik Basu, Tevfik Bultan
2016	A	`conf`	Optimal sanitization synthesis for web application vulnerability repair. ISSTA Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
2016	—	`conf`	Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk). FSTTCS Tevfik Bultan
2016	—	`conf`	String analysis for side channels with segmented oracles. SIGSOFT FSE Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
2015	—	`conf`	Automata-Based Model Counting for String Constraints. CAV (1) Abdulbaki Aydin, Lucas Bang, Tevfik Bultan
2015	—	`conf`	Automatically computing path complexity of programs. ESEC/SIGSOFT FSE Lucas Bang, Abdulbaki Aydin, Tevfik Bultan
2015	—	`conf`	Coexecutability for Efficient Verification of Data Model Updates. ICSE (1) Ivan Bocic, Tevfik Bultan
2015	—	`conf`	Data Model Bugs. NFM Ivan Bocic, Tevfik Bultan
2015	J	`jnl`	Data Model Property Inference, Verification, and Repair for Web Applications. ACM Trans. Softw. Eng. Methodol. Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
2015	A*	`conf`	Efficient Data Model Verification with Many-Sorted Logic (T). ASE Ivan Bocic, Tevfik Bultan
2015	J	`jnl`	Roundtable: The Future of Software Engineering for Internet Computing. IEEE Softw. Jian Lu, David S. Rosenblum, Tevfik Bultan, Valérie Issarny, Schahram Dustdar, Margaret-Anne D. Storey, Dongmei Zhang
2015	—	`conf`	String Analysis for Vulnerability Detection and Repair. SPIN Tevfik Bultan
2014	J	`jnl`	Automata-based symbolic string analysis for vulnerability detection. Formal Methods Syst. Des. Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra
2014	A	`conf`	Automated Test Generation from Vulnerability Signatures. ICST Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan
2014	A*	`conf`	Automatic verification of interactions in asynchronous systems with unbounded buffers. ASE Samik Basu, Tevfik Bultan
2014	B	`conf`	Cloud Platform Support for API Governance. IC2E Chandra Krintz, Hiranya Jayathilaka, Stratos Dimopoulos, Alexander Pucher, Rich Wolski, Tevfik Bultan
2014	A*	`conf`	Inductive verification of data model invariants for web applications. ICSE Ivan Bocic, Tevfik Bultan
2014	A	`conf`	Semantic differential repair for input validation and sanitization. ISSTA Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
2013	A*	`ed.`	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 ASE Ewen Denney, Tevfik Bultan, Andreas Zeller
2013	—	`conf`	An integrated data model verifier with property templates. FormaliSE@ICSE Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
2013	—	`conf`	Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). FMOODS/FORTE Tevfik Bultan
2013	—	`conf`	Compatibility Checking for Asynchronously Communicating Software. FACS Meriem Ouederni, Gwen Salaün, Tevfik Bultan
2013	A	`conf`	Data model property inference and repair. ISSTA Jaideep Nijjar, Tevfik Bultan
2012	—	`ed.`	20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012 SIGSOFT FSE Will Tracz, Martin P. Robillard, Tevfik Bultan
2012	A*	`conf`	Deciding choreography realizability. POPL Samik Basu, Tevfik Bultan, Meriem Ouederni
2012	J	`jnl`	Realizability of Choreographies Using Process Algebra Encodings. IEEE Trans. Serv. Comput. Gwen Salaün, Tevfik Bultan, Nima Roohi
2012	B	`conf`	Synchronizability for Verification of Asynchronously Communicating Systems. VMCAI Samik Basu, Tevfik Bultan, Meriem Ouederni
2012	A*	`conf`	Unbounded data model verification using SMT solvers. ASE Jaideep Nijjar, Tevfik Bultan
2012	A*	`conf`	Verifying client-side input validation functions using string analysis. ICSE Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos
2012	A	`conf`	ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. ISSTA Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel
2011	B	`ed.`	Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings ATVA Tevfik Bultan, Pao-Ann Hsiung
2011	A	`conf`	Bounded verification of Ruby on Rails data models. ISSTA Jaideep Nijjar, Tevfik Bultan
2011	A*	`conf`	Choreography conformance via synchronizability. WWW Samik Basu, Tevfik Bultan
2011	A*	`conf`	Patching vulnerabilities with sanitization synthesis. ICSE Fang Yu, Muath Alkhalaf, Tevfik Bultan
2011	J	`jnl`	Relational String Verification Using Multi-Track Automata. Int. J. Found. Comput. Sci. Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2011	—	`conf`	String Abstractions for String Verification. SPIN Fang Yu, Tevfik Bultan, Ben Hardekopf
2011	—	`ed.`	Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers WS-FM Mario Bravetti, Tevfik Bultan
2010	—	`conf`	Contracting the Facebook API TAV-WEB Ben Rubinger, Tevfik Bultan
2010	A*	`conf`	Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. ASE Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan
2010	C	`conf`	Modular verification of synchronization with reentrant locks. MEMOCODE Tevfik Bultan, Fang Yu, Aysu Betin-Can
2010	—	`conf`	Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE Sylvain Hallé, Tevfik Bultan
2010	C	`conf`	Relational String Verification Using Multi-track Automata. CIAA Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2010	J	`jnl`	Runtime Verification of Web Service Interface Contracts. Computer Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
2010	—	`conf`	Software for everyone by everyone. FoSER Tevfik Bultan
2010	A	`conf`	Stranger: An Automata-Based String Analysis Tool for PHP. TACAS Fang Yu, Muath Alkhalaf, Tevfik Bultan
2009	A	`conf`	A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS Tevfik Bultan, Chris Ferguson, Xiang Fu
2009	J	`jnl`	Action Language verifier: an infinite-state model checker for reactive software specifications. Formal Methods Syst. Des. Tuba Yavuz-Kahveci, Tevfik Bultan
2009	A	`conf`	Analyzing singularity channel contracts. ISSTA Zachary Stengel, Tevfik Bultan
2009	—	`conf`	Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf
2009	A*	`conf`	Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. ASE Fang Yu, Muath Alkhalaf, Tevfik Bultan
2009	B	`conf`	Realizability of Choreographies Using Process Algebra Encodings. IFM Gwen Salaün, Tevfik Bultan
2009	A	`conf`	Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2008	J	`jnl`	Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. Des. Autom. Embed. Syst. Tevfik Bultan, Constance L. Heitmeyer
2008	J	`jnl`	Automated verification of access control policies using a SAT solver. Int. J. Softw. Tools Technol. Transf. Graham Hughes, Tevfik Bultan
2008	J	`jnl`	Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. Tevfik Bultan, Xiang Fu
2008	—	`conf`	Client and server verification for web services using interface grammars. TAV-WEB Graham Hughes, Tevfik Bultan, Muath Alkhalaf
2008	J	`jnl`	Interface Grammars for Modular Software Model Checking. IEEE Trans. Software Eng. Graham Hughes, Tevfik Bultan
2008	—	`conf`	Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
2008	—	`ed.`	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 TAV-WEB Tevfik Bultan, Tao Xie
2008	B	`conf`	Service Choreography and Orchestration with Conversations. CONCUR Tevfik Bultan
2008	J	`jnl`	Specification of realizable service conversations using collaboration diagrams. Serv. Oriented Comput. Appl. Tevfik Bultan, Xiang Fu
2008	—	`conf`	Symbolic String Verification: An Automata-Based Approach. SPIN Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra
2008	A	`conf`	Workshop on testing, analysis and verification of web software (TAV-WEB 2008). ISSTA Tevfik Bultan, Tao Xie
2007	—	`ch.`	Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services Tevfik Bultan, Xiang Fu, Jianwen Su
2007	—	`conf`	Automated size analysis for OCL. ESEC/SIGSOFT FSE Fang Yu, Tevfik Bultan, Erik Peterson
2007	J	`jnl`	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
2007	J	`jnl`	Experimenting with software testbeds for evaluating new technologies. Empir. Softw. Eng. Mikael 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
2007	J	`jnl`	Highly dependable concurrent programming using design for verification. Formal Aspects Comput. Aysu Betin-Can, Tevfik Bultan
2007	A	`conf`	Interface grammars for modular software model checking. ISSTA Graham Hughes, Tevfik Bultan
2007	A*	`conf`	Netstub: a framework for verification of distributed java applications. ASE Elliot Barlas, Tevfik Bultan
2007	—	`conf`	Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA Tevfik Bultan, Xiang Fu
2007	—	`conf`	Towards a Theory of Web Service Choreographies. WS-FM Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao
2006	J	`jnl`	Analyzing Conversations of Web Services. IEEE Internet Comput. Tevfik Bultan, Jianwen Su, Xiang Fu
2006	C	`conf`	Analyzing tabular requirements specifications using infinite state model checking. MEMOCODE Tevfik Bultan, Constance L. Heitmeyer
2006	J	`jnl`	Efficient BDDs for bounded arithmetic constraints. Int. J. Softw. Tools Technol. Transf. Constantinos Bartzis, Tevfik Bultan
2006	—	`ed.`	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 TAV-WEB Tevfik Bultan
2005	A*	`conf`	Action Language Verifier, Extended. CAV Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
2005	A*	`conf`	Application of design for verification with concurrency controllers to air traffic control software. ASE Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
2005	A*	`conf`	Design for verification for asynchronously communicating Web services. WWW Aysu Betin-Can, Tevfik Bultan, Xiang Fu
2005	J	`jnl`	Discussion summary: characteristics of web services and their impact on testing, analysis and verification. ACM SIGSOFT Softw. Eng. Notes Shriram Krishnamurthi, Tevfik Bultan
2005	C	`conf`	Panel on design for verification. MEMOCODE Tevfik Bultan, Constance L. Heitmeyer, John O'Leary
2005	J	`jnl`	Realizability of Conversation Protocols with Message Contents. Int. J. Web Serv. Res. Xiang Fu, Tevfik Bultan, Jianwen Su
2005	—	`conf`	Scalable Software Model Checking Using Design for Verification. VSTTE Tevfik Bultan, Aysu Betin-Can
2005	J	`jnl`	Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. Xiang Fu, Tevfik Bultan, Jianwen Su
2005	A	`conf`	Verifiable Web Services with Hierarchical Interfaces. ICWS Aysu Betin-Can, Tevfik Bultan
2005	C	`conf`	Verification of parameterized hierarchical state machines using action language verifier. MEMOCODE Tuba Yavuz-Kahveci, Tevfik Bultan
2005	—	`conf`	Web Service Interactions: Analysis and Design. SDWP@ICWS Jianwen Su, Tevfik Bultan, Xiang Fu
2004	A*	`conf`	Analysis of interacting BPEL web services. WWW Xiang Fu, Tevfik Bultan, Jianwen Su
2004	J	`jnl`	Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. Xiang Fu, Tevfik Bultan, Jianwen Su
2004	A	`conf`	Model checking XML manipulating software. ISSTA Xiang Fu, Tevfik Bultan, Jianwen Su
2004	C	`conf`	Panel: given that hardware verification has been an uphill battle, what is the future of software verification? MEMOCODE Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer
2004	J	`jnl`	Past pushdown timed automata and safety verification. Theor. Comput. Sci. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2004	A	`conf`	Realizability of Conversation Protocols With Message Contents. ICWS Xiang Fu, Tevfik Bultan, Jianwen Su
2004	B	`conf`	Tools for Automated Verification of Web Services. ATVA Tevfik Bultan, Xiang Fu, Jianwen Su
2004	A*	`conf`	Verifiable Concurrent Programming Using Concurrency Controllers. ASE Aysu Betin-Can, Tevfik Bultan
2004	A*	`conf`	WSAT: A Tool for Formal Analysis of Web Services. CAV Xiang Fu, Tevfik Bultan, Jianwen Su
2004	A*	`conf`	Widening Arithmetic Automata. CAV Constantinos Bartzis, Tevfik Bultan
2003	J	`jnl`	A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. Int. J. Softw. Tools Technol. Transf. Tuba Yavuz-Kahveci, Tevfik Bultan
2003	A	`conf`	Construction of Efficient BDDs for Bounded Arithmetic Constraints. TACAS Constantinos Bartzis, Tevfik Bultan
2003	C	`conf`	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA Xiang Fu, Tevfik Bultan, Jianwen Su
2003	A*	`conf`	Conversation specification: a new approach to design and analysis of e-service composition. WWW Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
2003	A*	`conf`	Efficient Image Computation in Infinite State Model Checking. CAV Constantinos Bartzis, Tevfik Bultan
2003	J	`jnl`	Efficient Symbolic Representations for Arithmetic Constraints in Verification. Int. J. Found. Comput. Sci. Constantinos Bartzis, Tevfik Bultan
2003	—	`conf`	Interface-Based Specification and Verification of Concurrency Controllers. SoftMC@CAV Aysu Betin-Can, Tevfik Bultan
2002	C	`conf`	Automata-Based Representations for Arithmetic Constraints in Automated Verification. CIAA Constantinos Bartzis, Tevfik Bultan
2002	B	`conf`	Automated Verification of Concurrent Linked Lists with Counters. SAS Tuba Yavuz-Kahveci, Tevfik Bultan
2002	J	`jnl`	Counter Machines and Verification Problems. Theor. Comput. Sci. Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2002	—	`conf`	Formal Verification of e-Services and Workflows. WES Xiang Fu, Tevfik Bultan, Jianwen Su
2002	—	`conf`	Heuristics for Efficient Manipulation of Composite Constraints. FroCoS Tuba Yavuz-Kahveci, Tevfik Bultan
2002	A	`conf`	Specification, verification, and synthesis of concurrency control components. ISSTA Tuba Yavuz-Kahveci, Tevfik Bultan
2001	A	`conf`	A Library for Composite Symbolic Representations. TACAS Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan
2001	A*	`conf`	Action Language Verifier. ASE Tevfik Bultan, Tuba Yavuz-Kahveci
2001	A	`conf`	Constraint-Based Verification of Client-Server Protocols. CP Giorgio Delzanno, Tevfik Bultan
2001	J	`jnl`	On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
2001	C	`conf`	Past Pushdown Timed Automata. CIAA Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2001	A	`conf`	Verification of Vortex Workflows. TACAS Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su
2000	J	`jnl`	A composite model checking toolset for analyzing software systems. ACM SIGSOFT Softw. Eng. Notes Tevfik Bultan
2000	A*	`conf`	Action Language: a specification language for model checking reactive systems. ICSE Tevfik Bultan
2000	A	`conf`	BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. TACAS Tevfik Bultan
2000	A*	`conf`	Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
2000	J	`jnl`	Composite model-checking: verification with type-specific symbolic representations. ACM Trans. Softw. Eng. Methodol. Tevfik Bultan, Richard Gerber, Christopher League
2000	B	`conf`	Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2000	B	`conf`	Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
1999	J	`jnl`	Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst. Tevfik Bultan, Richard Gerber, William W. Pugh
1998	J	`jnl`	A fast neural-network algorithm for VLSI cell placement. Neural Networks Cevdet Aykanat, Tevfik Bultan, Ismail Haritaoglu
1998	A	`conf`	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA Tevfik Bultan, Richard Gerber, Christopher League
1997	A*	`conf`	Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV Tevfik Bultan, Richard Gerber, William W. Pugh
1996	A	`conf`	Compositional Verification by Model Checking for Counter-Examples. ISSTA Tevfik Bultan, Jeffrey Fischer, Richard Gerber
1995	J	`jnl`	Circuit partitioning using mean field annealing. Neurocomputing Tevfik Bultan, Cevdet Aykanat
1992	J	`jnl`	A New Mapping Heuristic Based on Mean Field Annealing. J. Parallel Distributed Comput. Tevfik Bultan, Cevdet Aykanat
1991	—	`conf`	Circuit partitioning using parallel mean field annealing algorithms. SPDP Tevfik Bultan, Cevdet Aykanat