An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours AV Aho, AT Dahbura, D Lee, MU Uyar IEEE transactions on communications 39 (11), 1604-1615, 1991 | 670 | 1991 |
A method enabling feasible conformance test sequence generation for EFSM models AY Duale, MU Uyar IEEE Transactions on Computers 53 (5), 614-627, 2004 | 150 | 2004 |
Formal methods for generating protocol conformance test sequences AT Dahbura, KK Sabnani, MU Uyar Proceedings of the IEEE 78 (8), 1317-1326, 1990 | 133 | 1990 |
Finite state machine based formal methods in protocol conformance testing: from theory to implementation BS Bosik, MÜ Uyar Computer Networks and ISDN Systems 22 (1), 7-33, 1991 | 114 | 1991 |
Optimal test sequence generation for protocols: the Chinese postman algorithm applied to Q. 931 MÜ Uyar, AT Dahbura Conformance testing methodologies and architectures for OSI protocols, 347-351, 1995 | 101 | 1995 |
An algorithmic procedure for checking safety properties of protocols KK Sabnani, AM Lapone, MU Uyar IEEE Transactions on Communications 37 (9), 940-948, 1989 | 95 | 1989 |
Optimal test generation for finite state machine models AT Dahbura, KK Sabnani, MU Uyar US Patent 4,991,176, 1991 | 91 | 1991 |
An optimal test sequence for the JTAG/IEEE P1149. 1 test access port controller AT Dahbura, MU Uyar, CW Yau Proceedings.'Meeting the Tests of Time'., International Test Conference, 55-62, 1989 | 77 | 1989 |
Self-organization of nodes in mobile ad hoc networks using evolutionary games and genetic algorithms J Kusyk, CS Sahin, MU Uyar, E Urrea, S Gundry Journal of Advanced Research 2 (3), 253-264, 2011 | 55 | 2011 |
Conformance testing of protocols specified as communicating FSMs D Lee, KK Sabnani, DM Kristol, S Paul, MU Uyar IEEE INFOCOM'93 The Conference on Computer Communications, Proceedings, 115-127, 1993 | 50 | 1993 |
Evaluation of architectures for reliable server pooling in wired and wireless environments MU Uyar, J Zheng, MA Fecko, S Samtani, PT Conrad IEEE Journal on Selected Areas in Communications 22 (1), 164-175, 2004 | 49 | 2004 |
Method for synchronizing interconnected digital equipment CD Near, MU Uyar US Patent 5,068,877, 1991 | 43 | 1991 |
Survey on evolutionary computation methods for cybersecurity of mobile ad hoc networks J Kusyk, MU Uyar, CS Sahin Evolutionary Intelligence 10, 95-117, 2018 | 42 | 2018 |
Conformance testing methodologies and architectures for OSI protocols RJ Linn, MÜ Uyar IEEE Computer Society Press, 1995 | 42 | 1995 |
Survey on quantum circuit compilation for noisy intermediate-scale quantum computers: Artificial intelligence to heuristics J Kusyk, SM Saeed, MU Uyar IEEE Transactions on Quantum Engineering 2, 1-16, 2021 | 41 | 2021 |
A technique to generate feasible tests for communications systems with multiple timers MA Fecko, MU Uyar, AY Duale, PD Amer IEEE/ACM Transactions on Networking 11 (5), 796-809, 2003 | 39 | 2003 |
Bio-inspired topology control for knowledge sharing mobile agents E Urrea, CŞ Şahin, İ Hökelek, MÜ Uyar, M Conner, G Bertoli, C Pizzo Ad Hoc Networks 7 (4), 677-689, 2009 | 38 | 2009 |
Genetic algorithms for self-spreading nodes in manets CS Sahin, E Urrea, MU Uyar, M Conner, I Hokelek, M Conner, G Bertoli, ... Proceedings of the 10th annual conference on Genetic and evolutionary …, 2008 | 36 | 2008 |
Specification of timed EFSM fault models in SDL SS Batth, ER Vieira, A Cavalli, MÜ Uyar Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007 | 36 | 2007 |
Design of genetic algorithms for topology control of unmanned vehicles CS Sahin, E Urrea, MU Uyar, M Conner, G Bertoli, C Pizzo International Journal of Applied Decision Sciences 3 (3), 221-238, 2010 | 35 | 2010 |