Concepedia
Statistics
Publications
6
Citations
246
H-Index
Active since
2002
Affiliations
City College of New York(Current)
City College
City University of New York
Poughkeepsie Public Library District
University of Delaware
Ali Y. Duale is an author at City College of New York specializing in engineering, systems engineering, and computer engineering.
Top concepts
EngineeringSystems EngineeringComputer EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingFormal VerificationSoftware AnalysisDesign For Testing
Publications per year
2002–2007
A method enabling feasible conformance test sequence generation for EFSM models
Ali Y. Duale, M. Ümit Uyar · IEEE Transactions on Computers · 2004 · 100 citations
Engineering, Verification, Test Data Generation +25
Decimal floating-point in z9: An implementation and testing perspective
Ali Y. Duale, Martina Decker, H.-G. Zipperer et al. · IBM Journal of Research and Development · 2007 · 68 citations
Dfp Results, Engineering, Hardware Verification Language +21
A technique to generate feasible tests for communications systems with multiple timers
M.A. Fecko, M. Ümit Uyar, Ali Y. Duale et al. · IEEE/ACM Transactions on Networking · 2003 · 30 citations
Engineering, Verification, Software Engineering +25
Modeling VHDL specifications as consistent EFSMs
M. Ümit Uyar, Ali Y. Duale · 2002 · 19 citations
Engineering, Verification, Simulation +21
Resolving inconsistencies in EFSM-modeled specifications
M. Ümit Uyar, Ali Y. Duale · 2003 · 17 citations
Engineering, Hardware Verification Language, Verification +22
1–5 of 6