Follow
M. Umit Uyar
M. Umit Uyar
Prof. of Electrical Eng., The City College of NY, CUNY and Comp. Sci., Graduate Center of CUNY
Verified email at ccny.cuny.edu - Homepage
Title
Cited by
Cited by
Year
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
6711991
A method enabling feasible conformance test sequence generation for EFSM models
AY Duale, MU Uyar
IEEE Transactions on Computers 53 (5), 614-627, 2004
1482004
Formal methods for generating protocol conformance test sequences
AT Dahbura, KK Sabnani, MU Uyar
Proceedings of the IEEE 78 (8), 1317-1326, 1990
1361990
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
1161991
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
1011995
An algorithmic procedure for checking safety properties of protocols
KK Sabnani, AM Lapone, MU Uyar
IEEE Transactions on Communications 37 (9), 940-948, 1989
931989
Optimal test generation for finite state machine models
AT Dahbura, KK Sabnani, MU Uyar
US Patent 4,991,176, 1991
911991
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
781989
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
542011
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
492004
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
491993
Method for synchronizing interconnected digital equipment
CD Near, MU Uyar
US Patent 5,068,877, 1991
431991
Survey on evolutionary computation methods for cybersecurity of mobile ad hoc networks
J Kusyk, MU Uyar, CS Sahin
Evolutionary Intelligence 10, 95-117, 2018
412018
Conformance testing methodologies and architectures for OSI protocols
RJ Linn, MÜ Uyar
IEEE Computer Society Press, 1995
411995
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
372009
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
372003
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
362008
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
362007
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
352010
Modeling VHDL specifications as consistent EFSMs
MU Uyar, AY Duale
MILCOM 97 MILCOM 97 Proceedings 2, 740-744, 1997
321997
The system can't perform the operation now. Try again later.
Articles 1–20