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 of New York, the City University of New York (1993-1996, 1998 - to date)
Director - Computer Engineering Program (2014 - 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

• Research Grants:
  
  • US Army, CERDEC, AI and Game Theory Based Autonomous CND Software Agents for Dynamic Trust Evaluation, Principal Investigator, $300,000 (Co-PI: J. Kusyk), 2017-2020.
  • National Science Foundation: I-Corps Program, Implementation of Genetic Algorithms for Personalized Chemosensitivity Testing for Cancer Patients, Principal Investigator, $50,000, 2012.
  • National Science Foundation: Major Research Instrument Development of a New Generation of Mobile Robots with Climbing and Reliable Communication Capabilities, Principal Investigator, $478,968 (Co-PI: J. Xiao), 2006 - 2010.
  • U.S. Army, Fort Monmouth, NJ: Knowledge Sharing Agents Using Genetic Algorithms in Mobile Ad Hoc Networks, Principal Investigator, $180,000 (Co-PI: M. Conner), 2006 - 2010.
  • U.S. Army Research Labs (ARL) Program: Efficient Reliable End-to-End Communications, Collaborative Scientific Alliance (CTA) in Communications and Networks, Co- Principal Investigator, $600,000 (exact amounts to be determined yearly). This grant is an extension of original CTA grant awarded to a few researchers based on performance.) (Co-PIs: T. Saadawi, M. J. Lee) 2007-2010.
  • National Science Foundation: CRI: Center for Perceptual Robotics, Intelligent Sensors and Machines (PRISM) at CCNY, Senior Personnel, $280,000 (2 years, Co-PIs: Xiao, Zhu, Lee, Wolberg; SPs: Sadegh, Levin, Grossberg), (in addition, this grant also has $212,424 contribution from CCNY), 2006 - 2008.
  • National Science Foundation: Major Research Instrument Development for Computer Engineering with Robotics Applications, Principle Investigator, $202,844 (Co-PI: J. Xiao), 2004 - 2007.
  • PSC - CUNY: Fault Models for Communications Systems, Principal Investigator, $4,400, 2004 - 2005.
  • US Army Research Labs Program: Efficient Reliable End-to-End Communications, Collaborative Scientific Alliance (CTA) in Communications and Networks, Co-Principal Investigator, $3,000,000 (5 Co-PIs) 2001 - 2006.
  • US Army Research Labs Consortium (Federated Labs), Advanced Telecommunication/Information Distribution and Research Program (ATIRP), on Tactical Interoperability of Combat Networks, Co-Principal Investigator, $2,300,000 (4 Co-PIs) 1996-2001.
    
• Teaching: Artificial Intelligence for Engineering Applications (graduate), Communication Network Protocols Engineering (graduate), Telecommunication Network Element Management (graduate), Digital Computer Systems (senior), Programming for Electrical Engineering (sophomore), Data Structures (sophomore), Switching Systems (sophomore)
• Curricular Activities:
  
  • CCNY Committees:
    
    • Chaired the EE committee to establish the Program for the B.S. degree in Computer Engineering, obtaining the approvals of the Board of Trustees and the Chancellor of CUNY, and the Educational Committee of State of NY (1998-2000).
      
    • Chaired the CCNY committee to establish the M.S. in Computer Engineering, obtaining the approvals of the Board of Trustees and the Chancellor of CUNY, and the Educational Committee of State of NY (2014-2016).
      
    • Member of CCNY Ethics Committee (2018- 2019)
      

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

• Drove test and verification methodologies and tool development within Next Level saving millions of dollars in system verification testing and product delivery processes
  
• Reported directly to the Senior Vice President of Technology
  
• Supervised a group of five software and electrical engineers and leveraged the use of external personnel of a 200-person engineering department
  
• Designed and implemented methods and hardware/software tools improving test coverage by several orders of magnitude for various broadband equipment used for video, data (VDSL and ADSL), and POTS services:
  
  • RG-Loadomatik(video): Based on patentable algorithms, this software/hardware tool generated and applied channel change sequences up to 6,000 video streams, a thousand-fold increase compared to the existing manual methods.
    
  • BDT-Loadomatik(data): This unique hardware/software tool set up and applied upstream/downstream traffic with user-chosen ATM QoS classes to thousands of different ADSL/VDSL CPE providing various measurements for the network elements, increasing the fault coverage by orders of magnitude compared to the commercially available tools.
    
  • LC-Loadomatik(video): This hardware/software emulator was designed to accomplish the functionality of RG-Loadomatik(video) without any video sources, hence reducing the laboratory costs by millions of dollars.

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

• Project Leader in Modeling Communication Network Protocols: Prepared models for ISDN BRI/PRI terminals, 5ESS and 4ESS Switches and PBXs (Definity products, Systems 75/85) for network/terminal emulators, interoperability testing software accelerating the development process from months to weeks
  
• Project Leader in Conformance and Interoperability Testing of Network Protocols:
  Developed patented formal methodologies for conformance and interoperability testing of communication protocol implementations to generate minimal tests reducing test cycle by an order of magnitude, from weeks to days, for complex protocol suites
  
• Project Leader for Software Development:
  
  • POSTMAN Test Generation Software System for conformance test generation
    
  • TAPDANCE^TM Software System for generating tests for VLSI Test Access Port
    
  • APROVE - A Network Protocol Verifier Software System for detecting deadlocks and service errors in a specification written as a set of communicating processes
    

HONORS AND AFFILIATIONS

• Distinguished Lecturer of the IEEE Communications Society (2012-2013)
• Fellow of the IEEE (2011)
• School of Engineering Outstanding Teacher Award (2004)
• CCNY Outstanding Teacher Award (2004-2005)
• Senate Member of the City College of New York (1999- to date, 1995-1996)
• Title of "Docent" awarded by the National University Council of Turkey (1992)
• Three AT&T Bell Labs Vice Presidential Research Appreciation Awards (1987, 1988, 1992)
• Best Paper Award in AT&T Electronic Test Conference (1988)
• AT&T Bell Labs Vice Presidential Quality Award (1987)
  

PATENTS

• "Biologically inspired algorithm based method for near real-time tracking of moving objects in three dimensional environment," (Pat. No. 9,927,604 B2, co-inventor Stephen Gundry, 2018).
  
• "Telephone software testing system and method" (Pat. No. 8,059,788, co-inventors James J. Allen, Jr., Michael R. Lundberg, Diane Somers, Shashank Sarwate, and William H. Chriss, 2011).
  
• "Method for generating reliability tests based on orthogonal arrays and field data" (Pat. No. 8,019,049, co-inventors James J. Allen, Jr., Janet Kenny, John Yeager,and Linda Yeager, 2011).
  
• "Testing a data-processing system with telecommunications endpoints" (Pat. No. 7,583,792, co-inventors William H. Chriss, Michael R. Lundberg, Shashank Sarwate and Diane Somers, 2009).
  
• "Method and apparatus for testing protocols" (Pat. No. 5,659,555, co-inventors David Lee and Krishan K. Sabnani at Bell Labs, 1997).
• "A method for synchronizing interconnected digital equipment" (Pat. No. 5,068,877, co-inventors Christopher D. Near at Bell Labs, 1991).
• "Optimal test generation for finite state machine models" (Pat. No. 4,991,176, co-inventors Anton T. Dahbura and Krishan K. Sabnani at Bell Labs, 1991).
  

PROFESSIONAL ACTIVITIES

• NSF Review Panel Member (2013 - to date):
• SBIR/STTR Phase I and II: AI, Mobile Medicine IT, Biomedical Engineering, Medical Imaging Technologies, Medical Devices
• Technical Program Co-chairman:
  • 17th IEEE Symposium on Computers and Communications (ISCC 2012), Cappadocia, Turkey, July 2012.
  • 18th IFIP International Conference on Testing Communicating Systems (TESTCOM 2006), New York, NY, May 2006.
  • 4th New York Metro Area Networking Workshop, New York, NY, 2004.
  • 6th Int'l. Conf. on Formal Description Techniques (FORTE'93), sponsored by IFIP, Boston, MA, 1993.
  • 12th Int'l. Symp. on Protocol Specification, Testing and Verification (PSTV XII), sponsored by IFIP, Orlando, FL, 1992.
• Organizing Committee Member and Technical Program Vice-Chairman: IEEE Intl. Conference on Communications (ICC) 2006.
• Publicity Chairman: North America Publicity Chairman for IFIP FORTE/PSTV (Formal Description Techniques and Protocol Specification, Testing and Verification), Berlin, Germany, 2003.
• Tutorials Chairman: 1st Int'l. Conf. on Network Protocols, sponsored by IEEE, 1993.
• Program Committee Member: IEEE Int'l. Smyp. on Computers and Communications (ISCC) (2003, 2004, 2005, 2006, 2007, 2008, 2009), IFIP FORTE/PSTV (Formal Description Techniques and Protocol Spec. Testing Verification) (2003, 2004), IFIP TESTCOM (2000, 2002,2003, 2004, 2005, 2006, 2007, 2008, 2009), IFIP Protocol Specification Testing Verification Conference (1990, 1991, 1992, 1994), IFIP Int'l. Workshop on Protocol Test Systems (1990, 1991, 1992, 1993, 1994), IFIP FORTE (1993, 1994), IEEE 1st Workshop on High Performance Distributed Computing (1992), IEEE INFOCOM (1988), IEEE Int'l. Conf on Distributed Computing Systems (1988).
• Invited Panel Member/Chairman, Session Organizer/Chairman: IFIP TESTCOM (2002, 2004), IEEE Int'l. Phoenix Conf. on Computers and Communications (1992), IFIP PSTV (1990, 1991, 1992), and IFIP Int'l. Workshop on Protocol Test Systems (1990, 1991).

REFEREED JOURNAL PUBLICATIONS

1. J. Kusyk, S. M. Saeed and M. U. Uyar, "Survey on Quantum Circuit Compilation for Noisy Intermediate-Scale Quantum Computers: Artificial Intelligence to Heuristics," in IEEE Transactions on Quantum Engineering, vol. 2, pp. 1-16, 2021, Art no. 2501616, doi: 10.1109/TQE.2021.3068355.
2. J. Kusyk, M. U. Uyar, K. Ma, E. Samoylov, R. Valdez, J. Plishka, S. Hoque, G. Bertoli, J. Boksiner, "Artificial Intelligence and Game Theory Controlled Autonomous UAV Swarms," Evolutionary Intelligence, Springer, pp. 1-18, 2020.
3. A. Saribudak, A. A. Subick, N. H. Kim, J. A. Rutta, and M. Ü. Uyar, "Gene Expressions, Hippocampal Volume Loss and MMSE Scores in Computation of Progression and Pharmacologic Therapy Effects for Alzheimer's Disease," IEEE/ACM Trans. on Computational Biology and Bioinformatics, pp. 1-14, 2018.
4. J. Kusyk, M. U. Uyar, and C. S. Sahin, "Survey on Evolutionary Computation Methods for Cybersecurity of Mobile Ad Hoc Networks," Evolutionary Intelligence, Springer, pp. 1-23, 2018.
5. A. Saribudak, Y. Dong, J. Hsieh, and M. U. Uyar, "Modeling Tumor Growth for Kidney Cancer based on Nuclei Clusters of Pathology Slides," Int'l. Journ. of Engineering and Technology, Vol. 8, No. 5, pp. 375-379, Oct. 2016.
6. A. Saribudak, H. Veterduy, K. Hubbard, and M. U. Uyar, "Spatial Heterogeneity Analysis in Evaluation of Cell Viability and Apoptosis for Colorectal Cancer Cells," IEEE Journal of Translational Engineering in Health and Medicine (JTEHM), Vol. PP, Issue 99, pp. 1-9, June, 2016.
7. A. Saribudak, S. Gundry, J. Zou, and M. U. Uyar, "A gene expression based mathematical modeling approach for breast cancer tumor growth and shrinkage," Network Modeling Analysis in Health Informatics and Bioinformatics, Springer, V. 4, pp. 1-13, 2015.
8. S. Gundry, J. Zou, M. U. Uyar, C. S. Sahin, J. Kusyk, "Differential evolution-based autonomous and disruption tolerant vehicular self-organization in MANETs," Ad Hoc Networks, Elsevier, V. 25, pp. 454-471, 2015.
9. 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, pp. 151-173, 2013.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. M. U. Uyar, "Dual State Augmentation for Minimizing Conformance Test Costs," Computer Networks and ISDN Systems, Vol. 30, pp. 1277-1294, 1998.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. 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.
41. 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. "Beginner’s Guide to AI for Engineers - AI Fundamentals for Real-life Applications," Amazon, Kindle Direct Publishing, ISBN-13:979-8-675-66533-4, 2020.
2. "Essential Programming Skills for Engineers: Fundamentals of Object Oriented Domain," Amazon, Kindle Direct Publishing, ISBN-13: 979-8-657-26900-0, 2020.
3. "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.
4. "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.
5. "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).
6. "Protocol Specification, Testing and Verification XII," (co-editor R.J. Linn), North Holland, ISBN 0-444-89874-3, 1993.
7. "Dynamic Fault Reconfiguration in Multiprocessor Systems," Ph.D. Thesis (with Dr. A. P. Reeves), Cornell University, June 1986, Ithaca, Computer and Information Sciences, NY.
8. "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, "Biologically Inspired Algorithms for Dynamic Topology Control in Mobile Networks," Electrical Engineering, Ph.D. Thesis, The City College of the City University of New York, September 2014.
2. Stephen Gundry, "Biologically Inspired Computing Applications for Robotic Systems," Electrical Engineering, Ph.D. Thesis, The City College of the City University of New York, May 2014.
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. This thesis has also been published as a book: "Game Theoretic and Bio-inspired Techniques for Autonomous Mobile Nodes," ISBN: 978-3-659-43509-6, LAP Lambert Academic Publishing, 2013.
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.

REFEREED CONFERENCE PUBLICATIONS

1. J. Kusyk, M. U. Uyar, K. Ma, J. Plishka, G. Bertoli, and J. Boksiner, "AI and Game Theory Based Autonomous UAV Swarm for Cybersecurity," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1-6, 2019.
2. J. Kusyk, M. U. Uyar, K. Ma, K. Budhu, E. Samoylov, J. Plishka, G. Bertoli, J. Boksiner, and D. K. Guha "Game Theory and Biology Inspired Flight Control for Autonomous UAVs Operating in Contested Environments," in Proc. 40th IEEE Sarnoff Symp., pp 1-6, 2019.
3. A. Saribudak, A. A. Subick, and M. U. Uyar, "Computation of Pharmacologic Therapy Effects on Cognitive Abilities of Alzheimers Disease Patients," in Proc. IEEE 16th International Conference on Bioinformatics and Bioengineering (BIBE), pp. 129-136, 2016.
4. A. Saribudak, A. A. Subick, J. A. Rutta, and M. U. Uyar, "Gene Expression Based Computation Methods for Alzheimers Disease Progression using Hippocampal Volume Loss and MMSE Scores," in Proc. of the 7th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB), pp. 165-174, 2016.
5. A. Saribudak, H. Veterduy, K. Hubbard, and M. U. Uyar, "Heterogeneity of Colorectal Cancer Cell Positions as a Cell Viability Biometric," in Proc. IEEE EMBS Int'l. Conf. on Biomedical and Health Informatics (BHI), pp. 21-24, 2016.
6. A. Saribudak, H. Veterduy, K. Hubbard, and M. U. Uyar, "Quantification of Cell Apoptosis for In-Vitro Colorectal Cancer Cell Cultures based on Morphological Features," in Proc. IEEE EMBS Int'l. Conf. on Biomedical and Health Informatics (BHI), pp. 82-85, 2016.
7. A. Saribudak, Y. Dong, J. Hsieh, and M. U. Uyar, "Bio-inspired Computation Approach for Tumor Growth with Spatial Randomness Analysis of Kidney Cancer Xenograft Pathology Slides," in Proc. 9th EAI Conf. on Bio-inspired Information and Communications Technologies (BICT), pp. 1-8, 2015.
8. A. Saribudak, Y. Dong, S. Gundry, J. Hsieh, and M. U. Uyar, "Mathematical Models of Tumor Growth using Voronoi Tessellations in Pathology Slides of Kidney Cancer," in Proc. IEEE 37th Int'l Conf. Engineering in Medicine and Biology (EMBC), pp. 4454-4457, 2015.
9. A. Saribudak, S. Gundry, J. Zou and M. U. Uyar, "Genomic Based Personalized Chemotherapy Analysis to Support Decision Systems for Breast Cancer," in Proc. IEEE Medical Measurements and Applications (MeMeA), pp. 495-500, 2015.
10. A. Saribudak, E. Ganic, J. Zou, S. Gundry, and M. U. Uyar, "Toward Genomic Based Personalized Mathematical Models for Breast Cancer Tumor Growth," IEEE 14th Int'l. Conf. on Bioinformatics and Bioengineering (BIBE), pp. 115-119, 2014.
11. J. Zou, S. Gundry, E. Ganic, and M. U. Uyar, "Mathematical Models for Absorption and Efficacy of Ovarian Cancer Treatments," IEEE 36th Conf. on Engineering in Medicine and Biology Society (EMBS), pp. 3442-3445, 2014.
12. 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. Symp. on Medical Measurements and Applications (MeMea), pp. 211-216, 2014.
13. S. Gundry, J. Zou, J. Kusyk, and M. U. Uyar, "Differential Evolution Based Fault Tolerant Topology Control in MANETs," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM) pp. 864-869, Nov. 2013.
14. 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) pp. 1-6, Nov. 2013.
15. 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) pp. 1-6, Nov. 2013.
16. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM) 2012.
17. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM) 2012.
18. 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 Symp. on Computers and Communications, July 2012.
19. S. Gundry, J. Zou, J. Kusyk, C. S. Sahin, and M. U. Uyar, "Markov Chain Model for Differential Evolution Based Topology Control in MANETs," in Proc. 35th IEEE Sarnoff Symp., pp. 1-5, May 2012.
20. J. Kusyk, J. Zou, S. Gundry, C. S. Sahin, and M. U. Uyar, "Techniques for performance evaluation of self-positioning autonomous MANET nodes," in Proc. 35th IEEE Sarnoff Symp., pp. 1-5, May 2012.
21. 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," in Proc. IEEE Sarnoff Symp., pp. 1-5, May 2012.
22. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1067-1072, Nov. 2011.
23. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1073-1078, Nov. 2011.
24. 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," in Proc. 34th IEEE Sarnoff Symp., pp. 1-5, Apr. 2011.
25. S. Gundry, E. Urrea, C.S. Sahin, J. Zou, and M. U. Uyar, "Formal Convergence Analysis for Bio-inspired Topology Control in MANETs," in Proc. 34th IEEE Sarnoff Symp., pp. 1-5, Apr. 2011.
26. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1281-1286, Nov. 2010.
27. 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, " in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1275-1280, Nov. 2010.
28. 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," in Proc. 33rd IEEE Sarnoff Symp., pp. 1-5, April 2010.
29. J. Kusyk, M. U. Uyar, E. Urrea, C. S. Sahin, "Game Theory Based Autonomous Mobile Nodes Distribution in MANETs," in Proc. 33rd IEEE Sarnoff Symp., pp. 1-5, April 2010.
30. 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.
31. 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," in Proc. IEEE Intl. Conf. on Military Communications (MILCOM), pp. 1-7, October 2009.
32. 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", in Proc. NASA/ESA Conf. on Adaptive Hardware and Systems (AHS08), pp.273-280, San Francisco, CA, July, 2009.
33. S. Cevher, M. U. Uyar, M. A. Fecko, J. Sucec, and S. Samtani, "Efficient Management of Multicast Communications in Mission-Critical Networks," in Proc. IEEE Sarnoff Symp., pp. 1-5, March 2009.
34. 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," in Proc. IEEE Sarnoff Symp., pp. 1-5, March 2009.
35. 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 Conf., pp. 1-8, 2008.
36. 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," in Proc. IEEE Intl. Conf. on Military CommunicationS (MILCOM), pp.10-16, 2008.
37. 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.
38. 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.
39. 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.
40. S. Cevher, M. U. Uyar, M. A. Fecko, J. Sucec, and S. Samtani, "Multicast Planning for Mission-Critical Networks," in Proc. IEEE Sarnoff Symp., pp. 1-5, April 2008.
41. 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.
42. 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), pp. 24-30, 2007.
43. 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), pp. 369-376, 2007.
44. I. Hokelek, M.A. Fecko, and M.U. Uyar; " Node link stability in wireless mobile networks" , In Defense Transformation and Network-Centric Systems, in Proc. SPIE 6249, (SPIE, Bellingham, WA), 2006.
45. 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., pp. 1-5, 2006.
46. A. Abdelal, I. Hokelek, M. U. Uyar, and J. Zou; " Dynamic survivable resource pooling in FPGA-based distributed robotics system" , IEEE Int'l. Conf. on Networking, Sensing and Control (ICNSC), pp. 1016-1021, Ft. Lauderdale, Florida, April 23-25, 2006.
47. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani; " SF-SCTP: An extension of Stream Control Transmission Protocol to Support QoS," IEEE Int'l. Conf. on Networking, Sensing and Control (ICNSC), Ft. Lauderdale, FL, pp. 780-785, April 23-25, 2006.
48. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, " Integrating Fractional Congestion Control into Subflow Capable SCTP Design," in Proc. IEEE Sarnoff Symp., pp. 1-5, 2006.
49. 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.
50. 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 Conf. (IMTC), Sorrento, Italy, 2006.
51. 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.
52. I. Hokelek, M. A. Fecko, and M. U. Uyar; " Analytical model of a virtual backbone stability in mobile environment," in Proc. IEEE Sarnoff Symp., pp. 41-44, 2005.
53. M. U. Uyar, Yu Wang, Samrat S. Batth, M. A. Fecko, " Single Fault Models for Timed FSMs," in Proc. 22nd IEEE Instrumentation and Measurement Technology Conf. (IMTC), pp. 2349-2354, Ottawa, Canada, 2005.
54. M. U. Uyar, S. Batth, J. Allen, W. Chriss, D. Somers, " Testing Industrial VoIP Implementations" , in Proc. 4th IEEE Int'l. Conf. on Standardization, Innovation in Information Technology, Switzerland, Sept. 2005.
55. M. U. Uyar, Y. Wang, S. S. Batth, A. Wise, M. A. Fecko " Timing Fault Models for Systems with Multiple Timers," in Proc. IFIP 17th Int'l Conf. On Testing of Communication Systems (TESTCOM), pp. 192 208. Montreal, Canada, June 2005.
56. M.A. Fecko, U.C.Kozat, S. Samtani, M. U. Uyar, I. Hokelek, "Dynamic Survivable Resource Pooling in Mobile Ad Hoc Networks," in Proc. IEEE Int'l. Symp. on Computers and Communications, June 2004.
57. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, "Preferential Treatment of SCTP Subflows: Analysis and Simulation," in Proc. IEEE Int'l. Symp. on Computers and Communications, June 2004.
58. J. Zou, M. U. Uyar, M. A. Fecko, S. Samtani, "SCTP Subflows for Survivable FCS Applications," in Proc. SPIE Defense and Security Symp, Battlespace Digitization and Network-Centric Systems IV, SPIE 5441, pp. 192-203, (SPIE, Bellingham, WA), 2004.
59. M.A. Fecko, U.C.Kozat, S. Samtani, M. U. Uyar, I. Hokelek, "Architecture and Applications of Dynamic Survivable Resource Pooling in Battlefield Networks," in Proc. SPIE Defense and Security Symp, Battlespace Digitization and Network-Centric Systems IV, SPIE 5441, pp. 204-214, (SPIE, Bellingham, WA), 2004.
60. M. A. Fecko, M. U. Uyar, J. Zheng, S. Samtani, "Metrics for Quantifying Benefits and cost of Session Switchovers," in Proc. IEEE Military Communications Conf. (MILCOM), Volume: 2, pp. 1353-1358, October 2003.
61. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, "Reliable Server Pooling for Future Combat Systems," in Proc. IEEE Military Communications Conf. (MILCOM), Volume: 2, pp. 927-932, October 2003.
62. 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. Conf. on Formal Techniques and Distributed Systems (FORTE), [Springer] Lecture Notes in Computer Science 2767, pp. 273-288, Berlin, Germany, September-October, 2003.
63. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, " Reliable Server Pooling in Highly Mobile Wireless Networks, " in Proc. IEEE Int'l. Symp. on Computers and Communications, Antalya, Turkey, June 2003.
64. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, " Performance Study of Reliable Server Pooling, " in Proc. IEEE Int'l. Symp. on Network Computing and Applications, Cambridge, MA, pp. 205-212, April 2003.
65. M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, " Persistent Sessions by Reliable Server Pooling in Mobile Ad-Hoc Networks, " in Proc. ARL/CTA Annual Communications and Networks Symp., Boston, MA, pp. 283-288, April 2003.
66. A. Y. Duale, M. U. Uyar, "INDEEL: A software system for inconsistency detection and elimination," in Proc. 4th US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., March 2001, pp. 199-204.
67. M. A. Fecko, P. D. Amer, M. U. Uyar, A. Y. Duale, " Efficient Test Generation for Army Network Protocols with Conflicting Timers," in Proc. IEEE Military Communications Conf. (MILCOM), Los Angeles, CA., No. 4.7, Oct. 2000.
68. M. U. Uyar, A. Y. Duale, "Test Generation for EFSM Models of Complex Army Protocols with Inconsistencies," in Proc. IEEE Military Communications Conf. (MILCOM), Los Angeles, CA., No. 10.6, Oct. 2000.
69. A. Y. Duale, M. U. Uyar, "Generation of feasible test sequences for EFSM models," in Proc. IFIP 13th Int'l Conf on Testing of Communication Systems (TESTCOM), Ottawa, Canada, pp. 91-109, Sept. 2000.
70. M. A. Fecko, M. U. Uyar, A. Y. Duale, P. D. Amer, "Test generation in the presence of conflicting timers," in Proc. IFIP 13th Int'l Conf on Testing of Communication Systems (TESTCOM), Ottawa, Canada, pp. 301-320, Sept. 2000.
71. M. U. Uyar, A. Y. Duale, "Conformance Tests for Army Communication Protocols, in Proc. 3rd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., March 2000, pp. 257-261.
72. M. U. Uyar, A. Y. Duale, "Resolving Inconsistencies in EFSM Modeled Specifications," in Proc. IEEE Military Communications Conf. (MILCOM), Atlantic City, NJ, paper no. 5.1.3, Oct 1999.
73. A. Y. Duale, M. U. Uyar, B. D. McClure, S. Chamberlain, "Conformance Testing: Towards Refining VHDL Specifications," in Proc. IEEE Military Communications Conf. (MILCOM), Atlantic City, NJ, paper no 5.1.4, Oct 1999.
74. 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," in Proc. IEEE Military Communications Conf. (MILCOM), Atlantic City, NJ, paper no 33.4, Oct 1999.
75. A. Y. Duale, M. U. Uyar, B. D. McClure, S. Chamberlain, "Refining VHDL Specifications Through Conformance Testing: Case Study of an Adaptive Computing Architecture," in Proc. 3rd US Army Research Lab. Fed. Lab Symp. (ATIRP), College Park, MD., Feb. 1999, pp. 229-333.
76. M. A. Fecko, M. U. Uyar, P. D. Amer, A. S. Sethi, "Optimum test sequence generation from Estelle specifications," in Proc. Estelle 98, Evry, France, pp. 157-161, Nov. 1998.
77. 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," in Proc. Estelle '98, Evry, France, pp. 55-59, Nov. 1998.
78. 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.
79. M. U. Uyar, M. A. Fecko, A. S. Sethi, P. D. Amer "Generation of realizable conformance tests under timing constraints," in Proc. IEEE Military Communications Conf. (MILCOM), Bedford, MA, Oct. 1998.
80. 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," in Proc. 2nd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., pp. 276-280, Feb. 1998.
81. M. U. Uyar, A. Y. Duale "Removal of Inconsistencies in VHDL Specifications," in Proc. 2nd US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., pp. 225-229, Feb. 1998.
82. M. U. Uyar, M. A. Fecko, A. S. Sethi, P. D. Amer "Minimum-cost solutions for constrained self-loop testing," in Proc. IEEE Int'l. Performance, Computing, and Communications Conf. (IPCCC), Phoenix, AZ, pp.346-354, Feb. 1998.
83. M. U. Uyar, A. Y. Duale, "Modeling VHDL Specifications as Consistent EFSMs," in Proc. IEEE Military Communications Conf. (MILCOM), Monterey CA, pp. 740-744, Nov. 1997.
84. 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," in Proc. IEEE Military Communications Conf. (MILCOM), Monterey, CA, Nov. 1997.
85. M. U. Uyar, A. Y. Duale "Inconsistencies in VHDL Specifications in Proc. 1st US Army Research Lab. Fed. Lab (ATIRP) Symp., College Park, MD., Jan. 1997, pp. 135-139.
86. D. Lee, K. K. Sabnani, D. M. Kristol, S. Paul, and M. U. Uyar, "Conformance testing of protocols specified as communicating FSMs," in Proc. IEEE INFOCOM, pp. 115-127, March 1993.
87. J. R. Cavallaro, C. D. Near, and M. U. Uyar, "Fault-tolerant VLSI processor array for the SVD," in Proc. IEEE Int'l. Conf. on Computer Design, pp.176-180, Oct. 1989.
88. C. Elster, M. U. Uyar, and A. P. Reeves, "Fault-tolerant matrix operations on hypercube multiprocessors," in Proc. IEEE Int'l. Conf. on Parallel Processing, pp. 169-176, Aug. 1989.
89. 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 Conf., pp. 55-62, Aug. 1989.
90. A. T. Dahbura, M. U. Uyar, and C. W. Yau, "An optimal test sequence for the JTAG boundary-scan controller," 10th AT&T Conf. on Electronic Testing, Oct. 1988 (received best paper award).
91. 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.
92. 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.
93. M. U. Uyar and A. P. Reeves, "Fault reconfiguration in a distributed MIMD environment with a multistage network," in Proc. IEEE Int'l. Conf. on Parallel Processing, pp. 798-806, Aug. 1985.
94. M. U. Uyar and A. P. Reeves, "Fault reconfiguration for the near neighbor problem in a distributed MIMD environment," in Proc. IEEE Int'l. Conf. on Distributed Computing Systems, pp. 372-379, May 1985.