| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Deciding choreography realizability.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Synchronizability for Verification of Asynchronously Communicating Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-Track Automata. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaideep Nijjar, Tevfik Bultan |
Bounded verification of Ruby on Rails data models. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario 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 |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan |
Choreography conformance via synchronizability. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Pao-Ann Hsiung (eds.) |
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Ben Hardekopf |
String Abstractions for String Verification. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Patching vulnerabilities with sanitization synthesis. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire |
Runtime Verification of Web Service Interface Contracts. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Software engineering, Testing and debugging, Information storage and retrieval, Web-based services |
| 1 | Ben Rubinger, Tevfik Bultan |
Contracting the Facebook API |
TAV-WEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Fang Yu, Aysu Betin-Can |
Modular verification of synchronization with reentrant locks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Stranger: An Automata-Based String Analysis Tool for PHP. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan |
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Tevfik Bultan |
Realizability analysis for message-based interactions using shared-state projections. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan |
Software for everyone by everyone. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-track Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Action Language verifier: an infinite-state model checker for reactive software specifications. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Symbolic String Verification: Combining String Analysis and Size Analysis. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Stengel, Tevfik Bultan |
Analyzing singularity channel contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
conversations, asynchronous communication, realizability |
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
vulnerability signature, string analysis, finite automata, web security |
| 1 | Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
Generating Interface Grammars from WSDL for Automated Verification of Web Services. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Chris Ferguson, Xiang Fu |
A Tool for Choreography Analysis Using Collaboration Diagrams. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hughes, Tevfik Bultan |
Interface Grammars for Modular Software Model Checking. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Constance L. Heitmeyer |
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Xiang Fu |
Choreography Modeling and Analysis with Collaboration Diagrams. |
IEEE Data Eng. Bull. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tevfik Bultan, Xiang Fu |
Specification of realizable service conversations using collaboration diagrams. |
Service Oriented Computing and Applications |
2008 |
DBLP DOI BibTeX RDF |
Conversations, Choreography, Realizability, Collaboration diagrams |
| 1 | Graham Hughes, Tevfik Bultan |
Automated verification of access control policies using a SAT solver. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
Access control, Automated verification |
| 1 | Tevfik Bultan |
Service Choreography and Orchestration with Conversations. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
Client and server verification for web services using interface grammars. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
interface grammars, web services |
| 1 | Tevfik Bultan, Tao Xie |
Workshop on testing, analysis and verification of web software (TAV-WEB 2008). |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
web services, web applications |
| 1 | Tevfik 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 |
TAV-WEB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra |
Symbolic String Verification: An Automata-Based Approach. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan |
Modular verification of web services using efficient symbolic encoding and summarization. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
BPEL, summarization, modular verification |
| 1 | Aysu Betin-Can, Tevfik Bultan |
Highly dependable concurrent programming using design for verification. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
| 1 | Aysu 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. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
| 1 | 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 |
Experimenting with software testbeds for evaluating new technologies. |
Empirical Software Engineering |
2007 |
DBLP DOI BibTeX RDF |
Software testbed, Empirical study, Technology evaluation |
| 1 | Graham Hughes, Tevfik Bultan |
Interface grammars for modular software model checking. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
interface grammars, model checking, modular verification |
| 1 | Elliot Barlas, Tevfik Bultan |
Netstub: a framework for verification of distributed java applications. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
testing and verification of, model checking, automated verification |
| 1 | Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao |
Towards a Theory of Web Service Choreographies. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Xiang Fu, Jianwen Su |
Analyzing Conversations: Realizability, Synchronizability, and Verification. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Xiang Fu |
Specification of Realizable Service Conversations Using Collaboration Diagrams. |
SOCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Erik Peterson |
Automated size analysis for OCL. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
size abstraction, size analysis, OCL |
| 1 | Tevfik Bultan, Jianwen Su, Xiang Fu |
Analyzing Conversations of Web Services. |
IEEE Internet Computing |
2006 |
DBLP DOI BibTeX RDF |
synchronizability, Web services, model checking, conversations, asynchronous communication, realizability |
| 1 | Constantinos Bartzis, Tevfik Bultan |
Efficient BDDs for bounded arithmetic constraints. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Model checking, BDD, Integer arithmetic, SMV |
| 1 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik 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 |
TAV-WEB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Synchronizability of Conversations among Web Services. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
synchronizability, Web services, model checking, verification, conversations, asynchronous communication, realizability |
| 1 | Shriram Krishnamurthi, Tevfik Bultan |
Discussion summary: characteristics of web services and their impact on testing, analysis and verification. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Realizability of Conversation Protocols with Message Contents. |
Int. J. Web Service Res. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Verification of parameterized hierarchical state machines using action language verifier. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Constance L. Heitmeyer, John O'Leary |
Panel on design for verification. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Application of design for verification with concurrency controllers to air traffic control software. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model checking, synchronization, design patterns, interfaces, concurrent programming |
| 1 | Aysu Betin-Can, Tevfik Bultan, Xiang Fu |
Design for verification for asynchronously communicating Web services. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
design patterns, BPEL, asynchronous communication, composite web services |
| 1 | Tevfik Bultan, Aysu Betin-Can |
Scalable Software Model Checking Using Design for Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan |
Action Language Verifier, Extended. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysu Betin-Can, Tevfik Bultan |
Verifiable Web Services with Hierarchical Interfaces. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Conversation protocols: a formalism for specification and verification of reactive electronic services. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past pushdown timed automata and safety verification. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer |
Panel: given that hardware verification has been an uphill battle, what is the future of software verification? |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Model checking XML manipulating software. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela |
| 1 | Aysu Betin-Can, Tevfik Bultan |
Verifiable Concurrent Programming Using Concurrency Controllers. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Analysis of interacting BPEL web services. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin |
| 1 | Tevfik Bultan, Xiang Fu, Jianwen Su |
Tools for Automated Verification of Web Services. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
WSAT: A Tool for Formal Analysis of Web Services. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantinos Bartzis, Tevfik Bultan |
Widening Arithmetic Automata. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Realizability of Conversation Protocols With Message Contents. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantinos Bartzis, Tevfik Bultan |
Efficient Symbolic Representations for Arithmetic Constraints in Verification. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysu Betin-Can, Tevfik Bultan |
Interface-Based Specification and Verification of Concurrency Controllers. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Composite representation, BDD, Symbolic model checking, Presburger arithmetic |
| 1 | Constantinos Bartzis, Tevfik Bultan |
Construction of Efficient BDDs for Bounded Arithmetic Constraints. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su |
Conversation specification: a new approach to design and analysis of e-service composition. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
communicating finite sate automata, conversation specification, e-service composition |
| 1 | Constantinos Bartzis, Tevfik Bultan |
Efficient Image Computation in Infinite State Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
Counter Machines and Verification Problems. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Specification, verification, and synthesis of concurrency control components. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
infinite-state model checking, monitors, specification languages, concurrent programming |
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Heuristics for Efficient Manipulation of Composite Constraints. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Jianwen Su |
Formal Verification of e-Services and Workflows. |
WES |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Automated Verification of Concurrent Linked Lists with Counters. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantinos Bartzis, Tevfik Bultan |
Automata-Based Representations for Arithmetic Constraints in Automated Verification. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Tevfik Bultan, Jianwen Su |
On Reachability and Safety in Infinite-State Systems. |
Int. J. Found. Comput. Sci. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan |
A Library for Composite Symbolic Representations. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su |
Verification of Vortex Workflows. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Tuba Yavuz-Kahveci |
Action Language Verifier. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past Pushdown Timed Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Tevfik Bultan |
Constraint-Based Verification of Client-Server Protocols. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Richard Gerber, Christopher League |
Composite model-checking: verification with type-specific symbolic representations. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
binary decision diagrams, symbolic model-checking, Presburger arithmetic |
| 1 | Oscar H. Ibarra, Tevfik Bultan, Jianwen Su |
Reachability Analysis for Some Models of Infinite-State Transition Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan |
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
Conter Machines: Decidable Properties and Applications to Verification Problems. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su |
Binary Reachability Analysis of Discrete Pushdown Timed Automata. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan |
Action Language: a specification language for model checking reactive systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
model checking, specification languages, reactive systems |
| 1 | Tevfik Bultan, Richard Gerber, William Pugh |
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
abstract interpretation, symbolic model checking, Presburger arithmetic |
| 1 | Cevdet Aykanat, Tevfik Bultan, Ismail Haritaoglu |
A fast neural-network algorithm for VLSI cell placement. |
Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Richard Gerber, Christopher League |
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Richard Gerber, William Pugh |
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Jeffrey Fischer, Richard Gerber |
Compositional Verification by Model Checking for Counter-Examples. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Cevdet Aykanat |
Circuit partitioning using mean field annealing. |
Neurocomputing |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Cevdet Aykanat |
A New Mapping Heuristic Based on Mean Field Annealing. |
J. Parallel Distrib. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")