☰

Ali Y. Duale, Ph.D.

Affiliations: 
2000 City University of New York, New York, NY, United States 
Area:
Electronics and Electrical, Computer Science, Robotics
Google:
"Ali Duale"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
M Umit Uyar grad student 2000 CUNY
 (Feasible test generation by elimination of inconsistencies in EFSM models of computer and communication systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Uyar MU, Duale AY, Fecko MA. (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3964: v
Duale AY, Bohizic TJ, Wittig DW. (2005) Pseudo-random system testing: Coverage estimation and enhancement Proceedings of the 2005 International Conference On Software Engineering Research and Practice, Serp'05. 1: 283-289
Duale AY, Uyar MU. (2004) A method enabling feasible conformance test sequence generation for EFSM models Ieee Transactions On Computers. 53: 614-627
Duale AY, Bohizic TJ, Wittig DW. (2004) Architectural verification of large multiprocessor computers Proceedings of the International Conference On Parallel and Distributed Processing Techniques and Applications, Pdpta'04. 1: 502-507
Fecko MA, Uyar MU, Duale AY, et al. (2003) A technique to generate feasible tests for communications systems with multiple timers Ieee/Acm Transactions On Networking. 11: 796-809
Uyar MU, Fecko MA, Duale AY, et al. (2003) Experience in developing and testing network protocol software using FDTs Information and Software Technology. 45: 815-835
Fecko MA, Uyar MU, Duale AY. (2003) Towards testing SDL specifications: Models and fault coverage for concurrent timers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2767: 273-288
Uyar MU, Duale AY. (2000) Test generation for EFSM models of complex army protocols with inconsistencies Proceedings - Ieee Military Communications Conference Milcom. 1: 340-346
Fecko MA, Uyar MU, Duale AY, et al. (2000) Efficient test generation for army network protocols with conflicting timers Proceedings - Ieee Military Communications Conference Milcom. 1: 133-137
Uyar MO, Duale AY. (1999) Resolving inconsistencies in EFSM-modeled specifications Proceedings - Ieee Military Communications Conference Milcom. 1: 135-139
See more...