Search results for "Xiang Fu"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Xiang Fu, Huawei Li, Xiaowei Li	Testable Path Selection and Grouping for Faster Than At-Speed Testing.	IEEE Trans. VLSI Syst.	2012	DBLP DOI BibTeX RDF
1	Jie-xian Zeng, Sheng Yu, Xiang Fu, Chao-xia Li	A Line Segments Matching Method based on Epipolar-line Constraint and Line Segment Features.	JSW	2011	DBLP DOI BibTeX RDF
1	Xiang Fu, Anqiang Li, Liping Wang 0008, Changming Ji	Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Chongjin Liu, Jia Cao, Xin Gao, Xiang Fu, Jufu Feng	A novel fingerprint matching algorithm using Minutiae Phase Difference Feature.	ICIP	2011	DBLP DOI BibTeX RDF
1	Xiang Fu, Huawei Li, Xiaowei Li	Testable Critical Path Selection Considering Process Variation.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Jie-xian Zeng, Yong-gang Zhao, Xiang Fu	A Novel Shape Representation and Retrieval Algorithm: Distance Autocorrelogram.	JSW	2010	DBLP DOI BibTeX RDF
1	Tiesong Hu, Xuning Guo, Xiang Fu, Yibing Lv	A neural network approach for solving linear bilevel programming problem.	Knowl.-Based Syst.	2010	DBLP DOI BibTeX RDF
1	Xiang Fu, Jie-xian Zeng	Local Features Based Image Sequence Retrieval.	JCP	2010	DBLP DOI BibTeX RDF
1	Xiang Fu	Relational Constraint Driven Test Case Synthesis for Web Applications	TAV-WEB	2010	DBLP DOI BibTeX RDF
1	Gwen Salaün, Xiang Fu, Sylvain Hallé (eds.)	Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software	TAV-WEB	2010	DBLP DOI BibTeX RDF
1	Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya	BAUT: A Bayesian Driven Tutoring System.	ITNG	2010	DBLP DOI BibTeX RDF	Automated Tutoring, Verification, Testing, Network, Web Application
1	Xiang Fu, Huawei Li, Xiaowei Li	On Selection of Testable Paths with Specified Lengths for Faster-Than-At-Speed Testing.	Asian Test Symposium	2010	DBLP DOI BibTeX RDF
1	Xiang Fu	Conformance Verification of Privacy Policies.	WS-FM	2010	DBLP DOI BibTeX RDF
1	Xiang Fu, Chung-Chih Li	A String Constraint Solver for Detecting Web Application Vulnerability.	SEKE	2010	DBLP BibTeX RDF
1	Tevfik Bultan, Chris Ferguson, Xiang Fu	A Tool for Choreography Analysis Using Collaboration Diagrams.	ICWS	2009	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	Xiang Fu, Kai Qian	SAFELI: SQL injection scanner using symbolic execution.	TAV-WEB	2008	DBLP DOI BibTeX RDF	symbolic execution, automated testing, constraint solver, SQL injection attack
1	Mate' Sztipanovits, Kai Qian, Xiang Fu	The automated web application testing (AWAT) system.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	software testing, web applications, automated testing, test cases, programming specifications, GUI design, automated grading
1	Therese J. Albert, Kai Qian, Xiang Fu	Race condition in Ajax-based web application.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	dynamic web application, concurrency, Ajax, lock, race condition
1	Yu Hu, Xiang Fu, Xiaoxin Fan, Hideo Fujiwara	Localized random access scan: Towards low area and routing overhead.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Xiang Fu, Huawei Li, Yu Hu, Xiaowei Li	Robust test generation for power supply noise induced path delay faults.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu	APOGEE: automated project grading and instant feedback system for web based computing.	SIGCSE	2008	DBLP DOI BibTeX RDF	web application, test case generation, automated grading
1	Xiang Fu, Bao-long Guo	Framework for Distributed Video Surveillance in Heterogeneous Environment.	IIH-MSP	2008	DBLP DOI BibTeX RDF	Distributed, Video surveillance, Heterogeneous environment
1	Da Wang, Xiaoxin Fan, Xiang Fu, Hui Liu, Ke Wen, Rui Li, Huawei Li, Yu Hu, Xiaowei Li	The design-for-testability features of a general purpose microprocessor.	ITC	2007	DBLP DOI BibTeX RDF
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	Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao	A Static Analysis Framework For Detecting SQL Injection Vulnerabilities.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Ariane Gravel, Xiang Fu, Jianwen Su	An Analysis Tool for Execution of BPEL Services.	CEC/EEE	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	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	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	Xiang Fu, Tevfik Bultan, Jianwen Su	Realizability of Conversation Protocols with Message Contents.	Int. J. Web Service Res.	2005	DBLP BibTeX RDF
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	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	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	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	Xiang Fu, Tevfik Bultan, Jianwen Su	Realizability of Conversation Protocols With Message Contents.	ICWS	2004	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	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	Xiang Fu, Tevfik Bultan, Jianwen Su	Formal Verification of e-Services and Workflows.	WES	2002	DBLP DOI BibTeX RDF
1	Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su	Verification of Vortex Workflows.	TACAS	2001	DBLP DOI BibTeX RDF
1	Xiang Fu	Signaling in ATM networks; by R. Onvural, R. Cherukuri (Eds.).	Computer Communications	1999	DBLP DOI BibTeX RDF
1	Xiang Fu	Broadband Access Network; by L.A. Ims.	Computer Communications	1999	DBLP DOI BibTeX RDF

Publications of "Xiang Fu" ( http://dblp.L3S.de/Authors/Xiang_Fu )