Concepedia
Statistics
Publications
37
Citations
1.4K
H-Index
17
Active since
1989
Affiliations
City College of New York(Current)
City University of New York
The Graduate Center, CUNY
City College
United States Department of the Army
M. Ümit Uyar is an author at City College of New York specializing in computer science, computing, and mobile ad hoc networks.
Publications per year
1989–2021
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
Alfred V. Aho, Anton Dahbura, D. Lee et al. · IEEE Transactions on Communications · 1991 · 421 citations
Computing, Computer Science, Computer Systems +17
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, Computer Engineering, Computer Science +17
Formal methods for generating protocol conformance test sequences
Anton Dahbura, Krishan Sabnani, M. Ümit Uyar · Proceedings of the IEEE · 1990 · 84 citations
Computing, Computer Science, Formal Methods +16
An algorithmic procedure for checking safety properties of protocols
Krishan Sabnani, A.M. Lapone, M. Ümit Uyar · IEEE Transactions on Communications · 1989 · 84 citations
Computing, Computer Engineering, Computer Science +17
Finite state machine based formal methods in protocol conformance testing: from theory to implementation
Barry S. Bosik, M. Ümit Uyar · Computer Networks and ISDN Systems · 1991 · 79 citations
Computing, Computer Science, Formal Methods +15
1–5 of 37