Electrical Engineering Department, The City College of the City University of New York
Computer Science Department, Graduate Center of the City University of New York
phone: 212 650 5632 e-mail: uyar@ccny.cuny.edu



EDUCATION

Ph.D. in Electrical Eng., Cornell University, Ithaca, NY
M.S. in Electrical Eng., Cornell University, Ithaca, NY
B.S. in Electrical Eng., Istanbul Teknik Universitesi, Turkey


ACADEMIC EXPERIENCE

The City College and Graduate Center of the City University of New York (1993-1996, 1998 - to date)
Professor - Electrical Engineering Dept.
Visiting Associate Prof. - Dept. of Computer and Information Sci., Univ. of Delaware (1996-1998)

The Graduate Center of the City University of New York (2005 - to date)
Professor - Computer Science (Graduate Center of CUNY)


INDUSTRIAL EXPERIENCE

Telcordia Technologies, Inc., Piscataway, NJ     2008 - 2009 (On sabbatical leave from CCNY)
Senior Research Scientist

Conducted research on cognitive networks, modeling complex GUI and cognition engines in civilian and military mobile ad hoc network applications.

Next Level Communications, Parsippany, NJ     2000 - 2001 (On leave from CCNY)
Director, Test Methods and Tools Development

AT&T Bell Labs, Holmdel, NJ                                                        1986-1993
Distinguished Member of Technical Staff                                        1992-1993
Member of Technical Staff - AT&T Bell Labs                                   1986-1992


HONORS AND AFFILIATIONS


PATENTS


PROFESSIONAL ACTIVITIES


REFEREED JOURNAL PUBLICATIONS

  1. S. Gundry, J. Zou, E. Ganic, and M. U. Uyar, "Clinical Decision Support for Ovarian and Breast Carcinomas Using Empirical Analysis of Tumor Biomarkers," IEEE Journal of Computational Biology and Bioinformatics (in preparation).
  2. J. Kusyk, J. Zou, S. Gundry, C. S. Sahin, and M. U. Uyar, "Performance Metrics for Self-positioning Autonomous MANET Nodes," Journal of Cybersecurity and Mobility, (invited paper) , Vol. 2, 151 - 173, 2013.
  3. J. Zou, S. Gundry, J. Kusyk, M. U. Uyar, and C. S. Sahin, "3D Genetic Algorithms for Underwater Sensor Networks," Int. J. of Ad Hoc and Ubiquitous Computing, Vol.13, No.1, pp.10 - 22, Inderscience Publishers, 2013.
  4. C. S. Sahin and M. U. Uyar, "Real-time and Decentralized Topology Control for Autonomous Vehicles," Emerald International Journal of Intelligent Computing and Cybernetics, International Journal of Intelligent Computing and Cybernetics, Vol. 5, Issue 3, pp. 359 - 380, Emerald, 2012.
  5. C. S. Sahin, S. Gundry, M. U. Uyar, "Markov Chain Analysis of Self-organizing Mobile Nodes," Journal of Intelligent and Robotic Systems, pp. 133-153, Springer 2012.
  6. C. S. Sahin, E. Urrea, M. U. Uyar, "Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks," Transactions on Computer Science XV, Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, Vol. 7050, pp. 49-73, Springer 2012.
  7. Edmund C. Jenkins Jr., Shawon Debnath, Stephen Gundry, Sajini Gundry, Umit Uyar, Jimmie E. Fata, "Intracellular pH regulation by Na+/H+ exchanger-1 (NHE1) is required for growth factor-induced mammary branching morphogenesis," Developmental Biology, Volume 365, Issue 1, 1 May 2012, pp. 71-81, Elsevier, 2012.
  8. J. Kusyk, E. Urrea, C.S. Sahin, M.U. Uyar, "Game theory and genetic algorithm based approach for self positioning of autonomous nodes," Ad Hoc & Sensor Wireless Networks, Volume 16, Number 1-3, pp. 93-118, Old City Publishing, 2012.
  9. J. Kusyk, C. S. Sahin, M. U. Uyar, E. Urrea, and S. Gundry, "Self Organization of Nodes in Mobile Ad Hoc Networks Using Evolutionary Game," Elsevier Journal of Applied Research (invited paper) , vol. 2, pp.253-264, 2011.
  10. C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, G. Bertoli, and C. Pizzo, "Design of Genetic Algorithms for Topology Control of Unmanned Vehicles," International Journal of Applied Decision Sciences (IJADS), Special Issue on Decision Support Systems for Unmanned Vehicles, Vol. 3, Issue 3, 2010.
  11. E. Urrea, C. S. Sahin, I. Hokelek, M. U. Uyar, M. Conner, G. Bertoli, and C. Pizzo, "Bio-inspired Topology Control for Knowledge Sharing Mobile Agents," Mobile Ad Hoc Networks, Elsevier, Special Issue on Bio-Inspired Computing, Vol. 7, No. 4, pp. 677-689, 2009.
  12. S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, "Fault Masking by Multiple Timing Faults in Timed EFSM Models," Computer Networks, Vol. 53, Issue 5, pp. 596-612, Apr. 2009.
  13. S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, "Fault Modeling and Detection Capabilities for EFSM Models," IEEE Transactions on Instrumentation and Measurement, Vol. 57, Issue: 6, pp. 1102-1111, June 2008.
  14. M. U. Uyar, S. S. Batth, Y. Wang and M. A. Fecko, "EFSM Graph Augmentation Algorithms for Modeling a Class of Single Timing Faults," IEEE Transactions on Computers, Vol. 57, No. 2, pp. 274-288, February, 2008.
  15. I. Hokelek, M. U. Uyar, and M. A. Fecko, " On Stability Analysis of Virtual Backbone in Mobile Ad Hoc Networks," Wireless Networks, Springer, No. 14, pp.87-102, 2008.
  16. J. Zou, M. U. Uyar, M. A. Fecko, and S. Samtani, " Performance Evaluation of Subflow Capable SCTP," Computer Communications, Elsevier, No. 29, pp. 2413-2432, 2006.
  17. J. Zou, M. U. Uyar, M. A. Fecko, and S. Samtani, " Throughput Models for SCTP with Parallel Subflows, " Computer Networks, Elsevier, No. 50, pp. 2160-2182, 2006.
  18. A. Y. Duale and M. U. Uyar. " A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. IEEE Transactions on Computers, " Volume 53, No. 5, pp. 614-627, May 2004.
  19. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, " Evaluation of Architectures for Reliable Server Pooling in Wired and Wireless Environments, " (invited paper) in IEEE JSAC Special Issue on Recent Advances in Service Overlay Networks V. 22, No. 1, pp. 164-175, Jan. 2004.
  20. M. A. Fecko, M. U. Uyar, A. Y. Duale, P. D. Amer, " A Technique to Generate Feasible Tests for Communications Systems with Multiple Timers, " IEEE/ACM Transactions on Networking V. 11, No. 5, pp. 796-809, Oct. 2003.
  21. M. U Uyar, M. A. Fecko, A. Y. Duale, P. D. Amer, A. Sethi, " Experience in Developing Network Protocol Software Using FDTs, " (invited paper) Journal of Information and Software Technology, Elsevier Science B. V., No 45, Issue 12, pp. 815-823, September, 2003.
  22. M.A. Fecko, M.U. Uyar, P.D. Amer, A.S. Sethi, T. Dzik, R. Menell, M. McMahon, "A Success Story of Formal Description Techniques: Estelle Specification and Test Generation for MIL-STD 188-220," Computer Communications, Special Issue on Formal Description Techniques in Practice, 23, pp. 1196-1213, 2000.
  23. M. A. Fecko, M. U. Uyar, A. S. Sethi, P. D. Amer, "Conformance Testing in Systems with Semicontrollable Interfaces", Annals of Telecommunications (special issue), Part 2, vol 55, pp. 70-83, Jan-Feb.2000.
  24. M.U. Uyar, M.A. Fecko, A.S. Sethi and P.D. Amer, "Testing Protocols Modeled as FSMs with Timing Parameters," Computer Networks, Vol. 31, pp. 1967-1988, Aug.1999.
  25. M. U. Uyar, "Dual State Augmentation for Minimizing Conformance Test Costs," Computer Networks and ISDN Systems, Vol. 30, pp. 1277-1294, 1998.
  26. M.U. Uyar and A.P. Reeves, "Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System," Journal of Parallel and Distributed Computing, 22, pp. 1-15, 1994.
  27. A. V. Aho, A.T. Dahbura, D. Lee, and M. U. Uyar, "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours," IEEE Trans. on Communications, Vol. 39, No. 11, pp. 1604-1615, Nov. 1991.
  28. B. S. Bosik and M. U. Uyar, "FSM-Based Formal Methods in Protocol Conformance Testing: from Theory to Implementation," (invited paper) Computer Networks and ISDN Systems, Vol. 22, No.1, pp. 7-33, Sept. 1991.
  29. A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal Methods for Generating Protocol Conformance Test Sequences," (invited paper) Proceedings of the IEEE, Vol. 78, No. 8, pp. 1317-1326, Aug. 1990.
  30. M. H. Sherif and M. U. Uyar, "Protocol Modeling for Conformance Testing: Case Study for the ISDN LAPD Protocol," AT&T Technical Journal, Vol. 69, No. 1, pp. 60-83, Jan 1990.
  31. M. U. Uyar, K. K. Sabnani, and A. M. Lapone, "Algorithmic Verification of ISDN Network Layer Protocol," AT&T Technical Journal, Vol. 69, No. 1, pp. 17-31, Jan 1990.
  32. A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Algorithmic Generation of Conformance Tests," AT&T Technical Journal, Vol. 69, No. 1, pp. 101-118, Jan 1990.
  33. K. K. Sabnani, A. M. Lapone, and M. U. Uyar, "An Algorithmic Procedure for Checking Safety Properties of Protocols," IEEE Trans. on Communications, Vol. 37, No. 9, pp. 940-948, Sept. 1989.
  34. M. U. Uyar and A. P. Reeves, "Dynamic Reconfiguration in a Mesh-Connected MIMD Environment," IEEE Trans. on Computers, Vol. 37, No. 10, pp. 1191-1205, Oct. 1988.


BOOKS AND THESES

  1. "Proceedings of 18th IFIP International Conference on Testing Communicating Systems, " (co-editors A. Y Duale, and M. A Fecko), Lecture Notes in Computer Science Series, Springer, ISBN 3-540-34184-6, 2006.
  2. "Proc. of 6th Int'l. Conf. on Formal Description Techniques," (co-editors R.L. Tenney and P.D. Amer), North Holland, ISBN 0-444-81773-5, 1994.
  3. "Conformance Testing Methodologies and Architectures for OSI Protocols," (co-editor R.J. Linn), IEEE Computer Society Press, ISBN 0-8186-5352-3, 1994 (this book is used as the text book for a graduate level telecommunications course at the CCNY).
  4. "Protocol Specification, Testing and Verification XII," (co-editor R.J. Linn), North Holland, ISBN 0-444-89874-3, 1993.
  5. "Dynamic Fault Reconfiguration in Multiprocessor Systems," Ph.D. Thesis (with Dr. A. P. Reeves), Cornell University, June 1986, Ithaca, Computer and Information Sciences, NY.
  6. "Input Memory Modules of Radar Signal Compander," M.S. Thesis (with Dr. C. Pottle), Cornell University, Aug. 1981, Ithaca, NY.


DOCTORAL THESES SUPERVISED

  1. Jianmin Zou, "Design and Analysis of Grammatical Evolution Methods for Mobile Ad Hoc Networks," Electrical Engineering, The City College of the City University of New York (in progress).
  2. Stephen Gundry, "Biologically Inspired Computing Applications for Robotic Systems," Electrical Engineering, The City College of the City University of New York (in progress).
  3. Janusz Kusyk, "Game-theoretic and Bio-inspired Techniques for Self-positioning Autonomous Mobile Nodes," Ph.D. Thesis, Department of Computer Science, The Graduate Center, The City University of New York, February 2012.
  4. Cem Safak Sahin, "Design and Performance Analysis of Genetic Algorithms for Topology Control Problems," Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, Oct. 2010. This thesis has also been published as a book: "Genetic Algorithms for Topology Control Problems," ISBN: 978-3844309027, LAP Lambert Academic Publishing, 2011.
  5. Elkin Urrea, "Knowledge Sharing Agents using Genetic Algorithms in Mobile Ad Hoc Networks," Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, Oct. 2010.
  6. Yu Wang, "Modeling Timing Faults Using Timed Extended Finite State Machines and Extended Timed Automata" Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, January 2009.
  7. Samrat S. Batth, "Formal Analysis of Timing Behavior in Test Generation for Computer and Communication Systems," Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, Oct. 2007.
  8. Jianping Zou, "Preferential Treatment of Flows in SCTP in Differentiated Services Environment," Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, Oct. 2007.
  9. Ibrahim Hokelek, "Analytic Models and Distributed Robotics Applications for Mobile Ad Hoc Networks" Ph.D. Thesis, Electrical Engineering, The City University of New York Graduate Center, Oct. 2006.
  10. Ali Y. Duale, "Feasible Test Generation by Elimination of Inconsistencies in EFSM Models of Computer and Communication Systems," Ph.D. Thesis, Electrical Engineering, The City University of New York, Oct. 2000.
  11. Mariusz A. Fecko, "Timing and Controllability Issues in Conformance Testing of Communication Protocols," Ph. D. Thesis (Co-advisor Dr. Paul Amer of UD), Computer and Information Sciences, University of Delaware, May 1999.


ARTICLES APPEARED IN BOOKS

  1. P.D. Amer, M. A. Fecko, A. S. Sethi, M. U. Uyar, A. Y. Duale, "Formal Specification and Conformance Testing of Army Protocols", Chapter 3: Protocol Specification and Testing, Advanced Telecommunications and Information Distribution Final Report, First Edition, University of Maryland Press, ISBN 0-9711916-0-3, pp. 3-1 to 3-28, 2001.
  2. A. Y. Duale, M. U. Uyar, "Indeel: A Software System for Inconsistency Detection and Elimination", Chapter 3: Protocol Specification and Testing, Advanced Telecommunications and Information Distribution, Final Report First Edition, University of Maryland Press, ISBN 0-9711916-0-3, pp. 3-29 to 3-34, 2001.
  3. M. U. Uyar, A. Y. Duale, "Removal of Inconsistencies in VHDL Specifications", Chapter 3: Protocol Specification and Testing, Advanced Telecommunications and Information Distribution Final Report, First Edition, University of Maryland Press, ISBN 0-9711916-0-3, pp. 3-35 to 3-40, 2001.
  4. M. U. Uyar, A. Y. Duale, "Conformance Tests for Army Communication Protocols", Chapter 3: Protocol Specification and Testing, Advanced Telecommunications and Information Distribution Final Report, First Edition, University of Maryland Press, ISBN 0-9711916-0-3, pp. 3-41 to 3-46, 2001.
  5. M. A. Fecko, M. U. Uyar, A. Y. Duale, P. D. Amer, "Efficient Test Generation for Army Network Protocols with Conflicting Timers", Chapter 3: Protocol Specification and Testing, Advanced Telecommunications and Information Distribution Final Report, First Edition, University of Maryland Press, pp. 3-47to 3-52, ISBN 0-9711916-0-3, 2001.
  6. A. V. Aho, A.T. Dahbura, D. Lee, and M. U. Uyar, "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours," Conformance Testing Methodologies and Architectures for OSI Protocols, IEEE Computer Society Press, ISBN 0-8186-5352-3, Chapter 3, pp. 427-438, 1994.
  7. M. U. Uyar and A. T. Dahbura, "Optimal test sequence generation for protocols: the chinese postman algorithm applied to Q.931," Conformance Testing Methodologies and Architectures for OSI Protocols, IEEE Computer Society Press, ISBN 0-8186-5352-3, Chapter 3, pp. 347-351, 1994.
  8. A. T. Dahbura, M. U. Uyar, and C. W. Yau, "An Optimal Test Sequence for the JTAG/IEEE P1149.1 Test Access Port Controller," The Test Access Port Boundary-Scan Architecture, IEEE Computer Society Press, ISBN 0-8186-9070, pp. 302-309, 1990.


BOOK CHAPTERS

  1. J. Zou, S. Gundry, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Particle Swarm Optimization based Topology Control Mechanism for Autonomous Underwater Vehicles Operating in Three-Dimensional Space, " in Advanced in Marine Robotics, Lambert Academic Publishing, ISBN 978-3-659-41689-7, pp. 9-36, 2013.
  2. S. Gundry, J. Zou, E. Urrea, C. S. Sahin, J. Kusyk, and M. U. Uyar, "Advances in Intelligent Modeling and Simulation: Artificial Intelligence-based Models and Techniques in Scalable Computing," Chapter 8 "Analysis of Emergent Behavior for GA-based Topology Control Mechanism for Self-Spreading Nodes in MANETs," Springer, ISBN 978-3-642-30154-4, pp. 155-183, 2012.
  3. J. Kusyk, C. S. Sahin, J. Zou, S. Gundry, E. Urrea, and M. U. Uyar, "Game Theoretic and Bio-inspired Techniques for Self-positioning of Autonomous Mobile Nodes," Handbook of Optimization, Springer, ISBN 978-3-642-30503-0, pp.129-155, 2012.
  4. C. S. Sahin, E. Urrea, M. U. Uyar, and S. Gundry, "A Bio-inspired Approach to Self-organization of Mobile Nodes in Real-Time Mobile Ad Hoc Network Applications," Variants of Evolutionary Algorithms for Real-World Applications, Springer Berlin Heidelberg, ISBN 978-3-642-23424-8, pp. 437-462, 2012.
  5. C. S. Sahin, E. Urrea and M. U. Uyar, "Bio-Inspired Techniques for Topology Control of Mobile Nodes," In Cong-Vinh, P. (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, ISBN 978-1-60960-845-3 (doi:10.4018/978-1-60960-845-3.ch009), pp. 217-240, 2012.
  6. Advanced Telecommunications and Information Distribution Final Report, First Edition, Chapter 3: Protocol Specification and Testing, University of Maryland Press, ISBN 0-9711916-0-3, pp. 3-1 to 3-52, 2001.


REVIEWED CONFERENCE PUBLICATIONS

  1. A. Saribudak, E. Ganic, J. Zou, S. Gundry, and M. U. Uyar, "Toward Genomic Based Personalized Mathematical Models for Breast Cancer Tumor Growth," ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics (BCB) (in review).
  2. J. Zou, S. Gundry, E. Ganic, and M. U. Uyar, "Mathematical Models for Absorption and Efficacy of Ovarian Cancer Treatments," 36th Conference of the IEEE Engineering in Medicine and Biology Society (EMBS) (accepted, to appear in 2014).
  3. E. Ganic, S. Gundry, J. Zou, and M. U. Uyar, "Evaluation of Anti-Cancer Therapy Using In Silico Analysis of Treatments for HER2+ Breast Cancer," IEEE Intl. Symposium on Medical Measurements and Applications (MeMea 2014) (accepted, to appear in 2014).
  4. S. Gundry, J. Zou, J. Kusyk, and M. U. Uyar, "Differential Evolution Based Fault Tolerant Topology Control in MANETs," IEEE Intl. Conf. on Military Communications (MILCOM 2013) pp. 864-869, Nov. 2013.
  5. S. Gundry, J. Zou, C. S. Sahin, J. Kusyk, and M. U. Uyar, "Autonomous and Fault Tolerant Vehicular Self Deployment Mechanisms in MANETs," IEEE Intl. Conf. on Technology for Homeland Security (HST 2013) pp. 1-6, Nov. 2013.
  6. J. Zou, S. Gundry, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Bio-Inspired Topology Control Mechanism for Autonomous Underwater Vehicles Used in Maritime Surveillance," IEEE Intl. Conf. on Technology for Homeland Security (HST 2013) pp. 1-6, Nov. 2013.
  7. S. Gundry, J. Zou, J. Kusyk, M. U. Uyar and C. S. Sahin, "Fault Tolerant Bio-Inspired Topology Control Mechanism for Autonomous Mobile Node Distribution in MANETs," IEEE Intl. Conf. on Military Communications (MILCOM 2012).
  8. J. Zou, J. Kusyk, M. U. Uyar, S. Gundry and C. S. Sahin, "Bio-inspired and Voronoi-based Algorithms for Self-positioning Autonomous Mobile Nodes," IEEE Intl. Conf. on Military Communications (MILCOM 2012).
  9. S. Gundry, J. Zou, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Performance Evaluation of Differential Evolution Based Topology Control Method for Autonomous MANET Nodes, " 17th IEEE Symposium on Computers and Communications, July 2012.
  10. S. Gundry, J. Zou, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Markov Chain Model for Differential Evolution Based Topology Control in MANETs, " 35th IEEE Sarnoff Symposium, May 2012.
  11. J. Kusyk, J. Zou, S. Gundry, C. S. Sahin, and M. U. Uyar, "Techniques for performance evaluation of self-positioning autonomous MANET nodes," 35th IEEE Sarnoff Symposium, May 2012.
  12. J. Zou, S. Gundry, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Particle Swarm Optimization based Topology Control Mechanism for Holonomic Unmanned Vehicles Operating in Three-dimensional Space," IEEE Sarnoff Symposium, May 2012.
  13. J. Kusyk, J. Zou, C. S. Sahin, M. U. Uyar , S. Gundry, and E. Urrea, "A Bio-Inspired Approach Combining Genetic Algorithms and Game Theory for Dispersal of Autonomous MANET Nodes," IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1067-1072, Nov. 2011.
  14. S. Gundry, J. Zou, J. Kusyk, M. U. Uyar, C. S. Sahin, and E. Urrea, "Genetic Algorithms for Self-spreading Autonomous and Holonomuc Unmanned Vehicles in a 3-Dimensinal Space," IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1073-1078, Nov. 2011.
  15. J. Kusyk, M. U. Uyar, C. S. Sahin, E. Urrea, and S. Gundry, "Game Theory Based Bio-inspired Techniques For Self-Positioning Autonomous Manet Nodes," 34rd IEEE Sarnoff Symposium, pp. 1-5, Apr. 2011.
  16. S. Gundry, E. Urrea, C.S. Sahin, J. Zou, and M. U. Uyar, "Formal Convergence Analysis for Bio-inspired Topology Control in MANETs," 34rd IEEE Sarnoff Symposium, pp. 1-5, Apr. 2011.
  17. J. Kusyk, E. Urrea, C. S. Sahin, G. Bertoli and C. Pizzo, "Resilient Node Self-positioning Methods for MANETS based on Game Theory and Genetic Algorithms," Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1281-1286, Nov. 2010.
  18. E. Urrea, C. S. Sahin, M. U. Uyar, M. Conner, G. Bertoli and C. Pizzo, "Estimating Behavior of a GA-based Topology Control for Self-Spreading Nodes in MANETs, " Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1275-1280, Nov. 2010.
  19. C. S. Sahin, S. Gundry, E. Urrea, M. U. Uyar, M. Conner, G. Bertoli and C. Pizzo, "Convergence Analysis of Genetic Algorithms for Topology Control in MANETs," 33rd IEEE Sarnoff Symposium, pp. 1-5, April 2010.
  20. J. Kusyk, M. U. Uyar, E. Urrea, C. S. Sahin, "Game Theory Based Autonomous Mobile Nodes Distribution in MANETs," 33rd IEEE Sarnoff Symposium, pp. 1-5, April 2010.
  21. C. S. Sahin, S. Gundry, E. Urrea, M. U. Uyar, M. Conner, G. Bertoli and C. Pizzo, "Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs," Applications of Evolutionary Computation, EvoApplications 2010 (EvoComNet), pp. 41-50, April 2010.
  22. J. Kusyk, M. U. Uyar, E. Urrea, C. S. Sahin, M. A. Fecko, and S. Samtani, "Efficient node distribution techniques in mobile ad hoc networks using game theory," Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1-7, October 2009.
  23. C. Dogan, C. S. Sahin, M. U. Uyar, and E. Urrea, "Testbed for Node Communication in MANETs to Uniformly Cover Unknown Geographical Terrain Using Genetic Algorithms", Proc. of the NASA/ESA Conference on Adaptive Hardware and Systems (AHS08), pp.273-280, San Francisco, CA, July, 2009.
  24. S. Cevher, M. U. Uyar, M. A. Fecko, J. Sucec, and S. Samtani, "Efficient Management of Multicast Communications in Mission-Critical Networks,"e; Proc. IEEE Sarnoff Symposium, pp. 1-5, March 2009.
  25. J. Kusyk, M. U. Uyar, E. Urrea, M. A. Fecko, and S. Samtani, " Applications of game theory to mobile ad hoc networks: node spreading potential game," Proc. IEEE Sarnoff Symposium, Princeton, NJ, USA, pp. 1-5, March 2009.
  26. C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, I. Hokelek, G. Bertoli and C. Pizzo, "Self-deployment of mobile agents in MANETs for military applications," Army Science Conference, pp. 1-8, 2008.
  27. C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, I. Hokelek, G. Bertoli and C. Pizzo, " Uniform distribution of mobile agents using genetic algorithms for military applications in MANETs," Proc. IEEE Intl. Conf. on Military CommunicationS (MILCOM), pp.10-16, 2008.
  28. E. Urrea, C. S. Sahin, M. U. Uyar, M. Conner, I. Hokelek, G. Bertoli and C. Pizzo, "Genetic Algorithms for Self-Spreading Nodes in MANETs," GECCO 08, July 2008.
  29. C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, I. Hokelek, G. Bertoli and C. Pizzo, "Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in MANETs," Int'l. Conf. on Genetic and Evolutionary Methods, GEM'08/WorldComp'08, CSREA Press, USA, pp. 90-95, July 2008.
  30. C. Dogan, M. U. Uyar, E. Urrea, C. S. Sahin, I. Hokelek, "Testbed Implementation of Genetic Algorithms for Self Spreading Nodes in MANETs," WorldComp/Gem'08, pp. 10-16, July 2008.
  31. S. Cevher, M. U. Uyar, M. A. Fecko, J. Sucec, and S. Samtani, "Multicast Planning for Mission-Critical Networks," IEEE Sarnoff Symposium, pp. 1-5, Princeton, NJ, USA, April 2008.
  32. X. Ma, S. Cevher, M. U. Uyar, M. A. Fecko, J. Sucec, and S. Samtani, "Network Planning for Multicast Using Partitioned Virtual User Domains," LNCS 4787 Real-Time Mobile Multimedia Services, pp. 113-124, MMNS 2007, San Jose, CA, October 2007.
  33. E. Urrea, C. S. Sahin, M. U. Uyar, M. Conner, H. Sharif, I. Hokelek, G. Bertoli, and C. Pizzo; "Uniform MANET Node Distribution for Mobile Agents Using Genetic Algorithms," 2007 Int'l. Conf. on Genetic and Evolutionary Methods - (GEM 07), pp. 24-30, 2007.
  34. E. Urrea, C. S. Sahin, M. U. Uyar, M. Conner, H. Sharif, I. Hokelek, and G. Bertoli; " Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs, " In Proc. Int'l. Conf. on Artificial Intelligence and Pattern Recognition (AIPR 07), pp. 369-376, 2007.
  35. I. Hokelek, M.A. Fecko, and M.U. Uyar; " Node link stability in wireless mobile networks" , In Defense Transformation and Network-Centric Systems, Proc. SPIE 6249, (SPIE, Bellingham, WA), 2006.
  36. I. Hokelek, M. U. Uyar, and M. A. Fecko; " Degree and link failure frequency analysis for MANETs with different node densities" , in Proc. IEEE Sarnoff Symp. Advanced Wired Wireless Networking, Princeton, NJ, 2006.
  37. A. Abdelal, I. Hokelek, M. U. Uyar, and J. Zou; " Dynamic survivable resource pooling in FPGA-based distributed robotics system" , IEEE International Conference on Networking, Sensing and Control (ICNSC), pp. 1016-1021, Ft. Lauderdale, Florida, April 23-25, 2006.
  38. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani; " SF-SCTP: An extension of Stream Control Transmission Protocol to Support QoS" , IEEE International Conference on Networking, Sensing and Control (ICNSC), Ft. Lauderdale, FL, pp. 780-785, April 23-25, 2006.
  39. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, " Integrating Fractional Congestion Control into Subflow Capable SCTP Design," in Proc. IEEE Sarnoff Symp. Advanced Wired Wireless Networking, Princeton, NJ, 2006.
  40. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, " SF-SCTP: a new transport protocol to support QoS for FCS applications," SPIE Defense and Security Symp. (SPIE 2006) 2006.
  41. S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, " Multiple Fault Models in Timed FSMs" , In proceedings IEEE 23rd Instrumentation and Measurement Technology Conference (IMTC), Sorrento, Italy, 2006.
  42. I. Hokelek, M. U. Uyar, and M. A. Fecko; " Random-walk based analysis of virtual backbone in MANETs," in Proc. IASTED Int'l Conf. Communications and Computer Networks (CCN), pp. 132137, Marina del Rey, CA, 2005.
  43. I. Hokelek, M. A. Fecko, and M. U. Uyar; " Analytical model of a virtual backbone stability in mobile environment" , in Proc. IEEE Sarnoff Symp. Advances in Wired and Wireless Networks, pp. 41-44, Princeton, NJ, 2005.
  44. M. U. Uyar, Yu Wang, Samrat S. Batth, M. A. Fecko, " Single Fault Models for Timed FSMs," Proc. 22nd IEEE Instrumentation and Measurement Technology Conference (IMTC), pp. 2349 - 2354, Ottawa, Canada, 2005.
  45. M. U. Uyar, S. Batth, J. Allen, W. Chriss, D. Somers, " Testing Industrial VoIP Implementations" , Proc. 4th IEEE Int'l. Conf. on Standardization, Innovation in Information Technology, Switzerland, Sept. 2005.
  46. M. U. Uyar, Y. Wang, S. S. Batth, A. Wise, M. A. Fecko " Timing Fault Models for Systems with Multiple Timers," Proc. IFIP 17th Int'l Conf. On Testing of Communication Systems (TESTCOM), pp. 192 208. Montreal, Canada, June 2005.
  47. M.A. Fecko, U.C.Kozat, S. Samtani, M. U. Uyar, I. Hokelek, " Dynamic Survivable Resource Pooling in Mobile Ad Hoc Networks, " Proc. IEEE Int'l. Symp. on Computers and Communications, June 2004.
  48. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, " Preferential Treatment of SCTP Subflows: Analysis and Simulation, " Proc. IEEE Int'l. Symp. on Computers and Communications, June 2004.
  49. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, " SCTP Subflows for Survivable FCS Applications, " Proc. SPIE Defense and Security Symp, Battlespace Digitization and Network-Centric Systems IV, SPIE 5441, pp. 192-203, (SPIE, Bellingham, WA), 2004.
  50. M.A. Fecko, U.C.Kozat, S. Samtani, M. U. Uyar, I. Hokelek, " Architecture and Applications of Dynamic Survivable Resource Pooling in Battlefield Networks, " Proc. SPIE Defense and Security Symp, Battlespace Digitization and Network-Centric Systems IV, SPIE 5441, pp. 204-214, (SPIE, Bellingham, WA), 2004.
  51. M. A. Fecko, M. U. Uyar, J. Zheng, S. Samtani, " Metrics for Quantifying Benefits and cost of Session Switchovers, " Proc. IEEE Military Communications Conf. (MILCOM), Volume: 2 , pp. 1353-1358, October 2003.
  52. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, " Reliable Server Pooling for Future Combat Systems, " Proc IEEE Military Communications Conf. (MILCOM), , Volume: 2 , pp. 927- 932, October 2003.
  53. M. A. Fecko, M. U. Uyar, A. Y. Duale, " Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers, " Prof. 23rd IFIP Int'l. Conference on Formal Techniques and Distributed Systems (FORTE), [Springer] Lecture Notes in Computer Science 2767, pp. 273-288, Berlin, Germany, September-October, 2003.
  54. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, " Reliable Server Pooling in Highly Mobile Wireless Networks, " Proc. IEEE Int'l. Symp. on Computers and Communications, Antalya, Turkey, June 2003.
  55. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, " Performance Study of Reliable Server Pooling, " Proc. IEEE Int'l. Symp. on Network Computing and Applications, Cambridge, MA, pp. 205-212, April 2003.
  56. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, " Persistent Sessions by Reliable Server Pooling in Mobile Ad-Hoc Networks, " Proc. ARL/CTA Annual Communications and Networks Symp., Boston, MA, pp. 283-288, April 2003.
  57. A. Y. Duale, M. U. Uyar, "INDEEL: A software system for inconsistency detection and elimination,'' , Proc. 4th US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., March 2001, pp. 199-204.
  58. M. A. Fecko, P. D. Amer, M. U. Uyar, A. Y. Duale, " Efficient Test Generation for Army Network Protocols with Conflicting Timers," Proc. IEEE Military Communications Conf. (MILCOM), Los Angeles, CA., No. 4.7, Oct. 2000.
  59. M. U. Uyar, A. Y. Duale, "Test Generation for EFSM Models of Complex Army Protocols with Inconsistencies," Proc. IEEE Military Communications Conf. (MILCOM), Los Angeles, CA., No. 10.6, Oct. 2000.
  60. A. Y. Duale, M. U. Uyar, "Generation of feasible test sequences for EFSM models," Proc. IFIP 13th Int'l Conf on Testing of Communication Systems (TESTCOM), Ottawa, Canada, pp. 91-109, Sept. 2000.
  61. M. A. Fecko, M. U. Uyar, A. Y. Duale, P. D. Amer, "Test generation in the presence of conflicting timers," Proc. IFIP 13th Int'l Conf on Testing of Communication Systems (TESTCOM), Ottawa, Canada, pp. 301-320, Sept. 2000.
  62. M. U. Uyar, A. Y. Duale, "Conformance Tests for Army Communication Protocols, Proc. 3rd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., March 2000, pp. 257-261.
  63. M. U. Uyar, A. Y. Duale, "Resolving Inconsistencies in EFSM Modeled Specifications," Proc. IEEE Military Communications Conf. (MILCOM), Atlantic City, NJ, paper no. 5.1.3, Oct 1999.
  64. A. Y. Duale, M. U. Uyar, B. D. McClure, S. Chamberlain, "Conformance Testing: Towards Refining VHDL Specifications," Proc. IEEE Military Communications Conf., Atlantic City, NJ, paper no 5.1.4, Oct 1999.
  65. M. A. Fecko, M. U. Uyar, A. S. Sethi, P.D. Amer, "Using semicontrollable interfaces in testing Army Communications protocols: application to MIL-STD 188-220," Proc. IEEE Military Communications Conf. (MILCOM), Atlantic City, NJ, paper no 33.4, Oct 1999.
  66. A. Y. Duale, M. U. Uyar, B. D. McClure, S. Chamberlain, "Refining VHDL Specifications Through Conformance Testing: Case Study of an Adaptive Computing Architecture,'' Proc. 3rd US Army Research Lab. Fed. Lab Symp. (ATIRP), College Park, MD., Feb. 1999, pp. 229-333.
  67. M. A. Fecko, M. U. Uyar, P. D. Amer, A. S. Sethi, "Optimum test sequence generation from Estelle specifications," Proc. Estelle '98, Evry, France, pp. 157-161, Nov. 1998.
  68. P. D. Amer, A. S. Sethi, M. A. Fecko, M. U. Uyar, T. Dzik, R. Menell, M. McMahon. "Using Estelle to evolve MIL-STD 188-220," Proc. Estelle '98, Evry, France, pp. 55-59, Nov. 1998.
  69. M. A. Fecko, M. U. Uyar, A. S. Sethi, P. D. Amer, "Issues in conformance testing: multiple semicontrollable interfaces" 18th IFIP FORTE/PSTV, Paris, France, pp. 111-126, Nov. 1998.
  70. M. U. Uyar, M. A. Fecko, A. S. Sethi, P. D. Amer "Generation of realizable conformance tests under timing constraints," Proc. of IEEE Military Communications Conf. (MILCOM), Bedford, MA, Oct. 1998.
  71. P. D. Amer, A. S. Sethi, M. A. Fecko, M. U. Uyar, T. Dzik, R. Menell, M. McMahon, "Using formal methods to evolve MIL-STD 188-220," '' Proc. 2nd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., pp. 276-280, Feb. 1998.
  72. M. U. Uyar, A. Y. Duale "Removal of Inconsistencies in VHDL Specifications Proc. 2nd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., pp. 225-229, Feb. 1998.
  73. M. U. Uyar, M. A. Fecko, A. S. Sethi, P. D. Amer "Minimum-cost solutions for constrained self-loop testing," IEEE Int'l. Performance, Computing, and Communications Conf. (IPCCC), Phoenix, AZ, pp.346-354, Feb. 1998.
  74. M. U. Uyar, A. Y. Duale, "Modeling VHDL Specifications as Consistent EFSMs," Proc. of IEEE Military Communications Conf. (MILCOM), Monterey CA, pp. 740-744, Nov. 1997.
  75. P. D. Amer, A. S. Sethi, M. A. Fecko, M. U. Uyar, T. Dzik, R. Menell, and M. McMahon, "Formal design and testing of MIL-STD 188-220A based on Estelle," Proc. of IEEE Military Communications Conf. (MILCOM), Monterey, CA, Nov. 1997.
  76. M. U. Uyar, A. Y. Duale "Inconsistencies in VHDL Specifications Proc. 1st US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., Jan. 1997, pp. 135-139.
  77. D. Lee, K. K. Sabnani, D. M. Kristol, S. Paul, and M. U. Uyar, "Conformance testing of protocols specified as communicating FSMs," IEEE INFOCOM, pp. 115-127, March 1993.
  78. J. R. Cavallaro, C. D. Near, and M. U. Uyar, "Fault-tolerant VLSI processor array for the SVD," IEEE Int'l. Conf. on Computer Design, pp.176-180, Oct. 1989.
  79. C. Elster, M. U. Uyar, and A. P. Reeves, "Fault-tolerant matrix operations on hypercube multiprocessors," IEEE Int'l. Conf. on Parallel Processing, pp. 169-176, Aug. 1989.
  80. A. T. Dahbura, M. U. Uyar, and C. W. Yau, "An optimal test sequence for the JTAG/IEEE P1149.1 test access port controller," IEEE Int'l. Test Conference, pp. 55-62, Aug. 1989.
  81. A. T. Dahbura, M. U. Uyar, and C. W. Yau, "An optimal test sequence for the JTAG boundary-scan controller," 10th AT&T Conference on Electronic Testing, Oct. 1988 (received best paper award).
  82. A. V. Aho, A. T. Dahbura, D. Lee, and M. U. Uyar, "An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours," (an extended version is published as a journal paper), Protocol Specification, Testing and Verification VIII, North Holland, pp. 75-86, June 1988.
  83. M. U. Uyar and A. T. Dahbura, "Optimal test sequence generation for protocols: the chinese postman algorithm applied to Q.931," IEEE GLOBECOM, pp. 68-72, Dec. 1986.
  84. M. U. Uyar and A. P. Reeves, "Fault reconfiguration in a distributed MIMD environment with a multistage network," IEEE Int'l. Conf. on Parallel Processing, pp. 798-806, Aug. 1985.
  85. M. U. Uyar and A. P. Reeves, "Fault reconfiguration for the near neighbor problem in a distributed MIMD environment," IEEE Int'l. Conf. on Distributed Computing Systems, pp. 372-379, May 1985.