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.
Associate 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)

• Research Grants:
  
  • National Science Foundation: Major Research Instrument Development of a New Generation of Mobile Robots with Climbing and Reliable Communication Capabilities, Principal Investigator, $478,968 (3 years, Co-PIs: U. Uyar and J. Xiao), 2006 - 2009.
  • U.S. Army, Forth Monmouth, NJ: Knowledge Sharing Agents Using Genetic Algorithms in Mobile Ad Hoc Networks, Principal Investigator, $120,000 (2 years, Co-PIs: U. Uyar and M. Conner), 2006 - 2008.
  • 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.) (3 years, Co-PIs: T. Saadawi, U. Uyar, 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, Uyar), (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 (2 years, 2 people), 2004 - 2006.
  • 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 years, 5 people) 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 (6 years, 4 people) 1996-2001.
    
• Teaching: Communication Network Protocols Eng. (graduate), Telecommunication Network Element Management (graduate), Digital Computer Systems (senior), Programming for EE (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).
      
    • Member of CUNY Senate (1995 - 1996, 1999- to date)
      
    • Member of Task Force on Technology (2001 - to date)
      
    • Member of Senate Elections Committee (2001- to date)
      
  • EE Dept. Committees: Chair of Curriculum Committee (2002 - 2003), Member of Curriculum Committee (2003 - to date), Chair of Computer Resources Committee (2001 - to date).
    

INDUSTRIAL EXPERIENCE

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

Next Level, a mid-size company, is a technology leader in ATM and IP Optical Transport, Networking and Interactive DSL Broadband Systems for the delivery of voice, data and video services. Using Nlevel3 system, communications companies can deliver services to an individual consumer with up to 25 Mb/s bandwidth over a unified cell/packet-based infrastructure via combination of fiber optic and high-speed copper (ADSL and VDSL).

• 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 - AT&T Bell Labs                                   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

• 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

• " Method and apparatus for testing protocols" (Pat. No. 5,659,555, co-inventors D. Lee and K. K. Sabnani at Bell Labs, 1997).
• "A method for synchronizing interconnected digital equipment" (Pat. No. 5,068,877, co-inventors C. D. Near at Bell Labs, 1991).
• "Optimal test generation for finite state machine models" (Pat. No. 4,991,176, co-inventors A. T. Dahbura and K. K. Sabnani at Bell Labs, 1991).
  

PROFESSIONAL ACTIVITIES

• Technical Program Co-chairman: 18th IFIP International Conference on Testing Communicating Systems (TESTCOM 2006), New York, NY, May 2006.
• Organizing Committee Member and Technical Program Vice-Chairman: IEEE Intl. Conference on Communications (ICC) 2006.
• NSF Review Panel Member: (NSF SING Next Generation Internet) August 2006.
• NSF Review Panel Member: (NSF CISE/CCF Optimization Panel) March 2005.
• NSF Review Panel Member: (NSF Major Research Instrumentation) May 2005.
• NSF Review Panel Member: (NSF CISE Combined Research and Curriculum Development) March 2004.
• Technical Program Co-chairman: 4th New York Metro Area Networking Workshop, New York, NY, 2004.
• 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.
• Technical Program Co-chairman: 6th Int'l. Conf. on Formal Description Techniques (FORTE'93), sponsored by IFIP, Boston, MA, 1993.
• Technical Program Co-chairman: 12th Int'l. Symp. on Protocol Specification, Testing and Verification (PSTV XII), sponsored by IFIP, Orlando, FL, 1992.
• Program Committee Member: IEEE Int'l. Smyp. on Computers and Communications (ISCC) (2003, 2004, 2005, 2006, 2007, 2008), IFIP FORTE/PSTV (Formal Description Techniques and Protocol Spec. Testing Verification) (2003, 2004), IFIP TESTCOM (2000, 2002,2003, 2004, 2005, 2006, 2007, 2008), 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. S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, " Fault Masking by Multiple Timing Faults in Timed EFSM Models, " Computer Networks (in review).
2. 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, (accepted in press).
3. 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 (accepted, in press).
4. 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.
5. I. Hokelek, M. U. Uyar, and M. Fecko, " A Novel Analytic Model For Virtual Backbone Stability in Mobile Ad Hoc Networks, " Wireless Networks, Springer, No. 14, pp.87-102, 2008.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. M. U. Uyar, "Dual State Augmentation for Minimizing Conformance Test Costs," Computer Networks and ISDN Systems, Vol. 30, pp. 1277-1294, 1998.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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. Selcuk Cevher, " Design and Analysis of Multicast Group Planning Algorithms " Computer Science, The City University of New York Graduate Center (in progress).
2. Cevher Dogan, " Genetic Algorithms for Robotics Applications, " Electrical Engineering, The City University of New York Graduate Center (in progress).
3. Elkin Urrea, " Knowledge Sharing Agents using Genetic Algorithms in Mobile Ad Hoc Networks, " Electrical Engineering, The City University of New York Graduate Center (in progress).
4. Cem Safak Sahin, " Analysis and Design of Genetic Algorithms for Mobile Ad Hoc Networks, " Electrical Engineering, The City University of New York Graduate Center (in progress).
5. Yu Wang, " Fault Models on Communication Systems with Multiple and Simultaneous Timers, " Electrical Engineering, The City University of New York Graduate Center (in progress).
6. Samrat 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.
7. 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.
8. 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.
9. 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.
10. 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. Advanced Telecommunications and Information Distribution Final Report, First Edition, Chapter 3: Protocol Specification and Testing, University of Maryland Press, pp. 3-1 to 3-52, ISBN 0-9711916-0-3, 2001.

REVIEWED CONFERENCE PUBLICATIONS

1. E. Urrea, C. S. Sahin, M. U. Uyar, M. Conner, I. Hokelek, G. Bertolli and C. Pizzo, "Genetic Algorithms for Self-Spreading Nodes in MANETs," GECCO 08, July 2008 (to appear).
2. C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, I. Hokelek, G. Bertolli and C. Pizzo, "Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in MANETs," Int.l. Conference on Genetic and Evolutionary Methods, GEM'08/WorldComp'08, July 2008 (to appear).
3. 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, July 2008 (to appear).
4. S. Cevher, M. U. Uyar, M. Fecko, J. Sucec, and S. Samtani, "Multicast Planning for Mission-Critical Networks," IEEE Sarnoff Symposium, Princeton, NJ, USA, April 2008.
5. X. Ma, S. Cevher, M. U. Uyar, M. 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.
6. 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), 2007.
7. 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), 2007.
8. 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.
9. I. Hokelek, M. U. Uyar, and M. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. S. S. Batth, M. U. Uyar, Yu Wang and Mariusz A. Fecko, " Multiple Fault Models in Timed FSMs" , In proceedings IEEE 23rd Instrumentation and Measurement Technology Conference (IMTC), Sorrento, Italy, 2006.
15. I. Hokelek, M. U. Uyar, and M. 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.
16. I. Hokelek, M. 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.
17. 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), pages 2349 - 2354, Ottawa, Canada, 2005.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. 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.
51. 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.
52. 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.
53. 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.
54. 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)
55. 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.
56. 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.
57. 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.
58. 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.