| 2009 | ||
|---|---|---|
| 40 | Elkin Urrea, Cem Safak Sahin, Ibrahim Hökelek, M. Ümit Uyar, Michael Conner, Giorgio Bertoli, Christian Pizzo: Bio-inspired topology control for knowledge sharing mobile agents. Ad Hoc Networks 7(4): 677-689 (2009) | |
| 39 | Yu Wang, M. Ümit Uyar, Samrat S. Batth, Mariusz A. Fecko: Fault masking by multiple timing faults in timed EFSM models. Computer Networks 53(5): 596-612 (2009) | |
| 2008 | ||
| 38 | Cem Safak Sahin, Elkin Urrea, M. Ümit Uyar, Michael Conner, Ibrahim Hökelek, Michael Conner, Giorgio Bertoli, Christian Pizzo: Genetic algorithms for self-spreading nodes in MANETs. GECCO 2008: 1141-1142 | |
| 37 | Cevher Dogan, M. Ümit Uyar, Elkin Urrea, Cem Safak Sahin, Ibrahim Hökelek: Testbed Implementation of Genetic Algorithms for Self Spreading Nodes in MANETs. GEM 2008: 10-16 | |
| 36 | Elkin Urrea, Cem Safak Sahin, M. Ümit Uyar, Michael Conner, Ibrahim Hökelek, Giorgio Bertoli, Christian Pizzo: Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in Manets. GEM 2008: 90-85 | |
| 35 | M. Ümit Uyar, Samrat S. Batth, Yu Wang, Mariusz A. Fecko: Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. IEEE Trans. Computers 57(2): 274-288 (2008) | |
| 34 | Ibrahim Hökelek, M. Ümit Uyar, Mariusz A. Fecko: On stability analysis of virtual backbone in mobile ad hoc networks. Wireless Networks 14(1): 87-102 (2008) | |
| 2007 | ||
| 33 | Elkin Urrea, Cem Safak Sahin, M. Ümit Uyar, Michael Conner, Hooshang Sharif, Ibrahim Hökelek, Giorgio Bertoli: Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs. Artificial Intelligence and Pattern Recognition 2007: 369-376 | |
| 32 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar: Specification of Timed EFSM Fault Models in SDL. FORTE 2007: 50-65 | |
| 31 | Elkin Urrea, Cem Safak Sahin, M. Ümit Uyar, Ibrahim Hökelek, Michael Conner, Giorgio Bertoli, Hooshang Sharif, Christian Pizzo: Uniform Manet Node Distribution for Mobile Agents Using Genetic Algorithms. GEM 2007: 24-30 | |
| 30 | Xuezhou Ma, Selcuk Cevher, M. Ümit Uyar, Mariusz A. Fecko, John Sucec, Sunil Samtani: Network Planning for Multicast Using Partitioned Virtual User Domains. MMNS 2007: 113-124 | |
| 2006 | ||
| 29 | M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings Springer 2006 | |
| 28 | Jianping Zou, M. Ümit Uyar, Mariusz A. Fecko, Sunil Samtani: Performance evaluation of subflow capable SCTP. Computer Communications 29(12): 2413-2432 (2006) | |
| 27 | Jianping Zou, M. Ümit Uyar, Mariusz A. Fecko, Sunil Samtani: Throughput models for SCTP with parallel subflows. Computer Networks 50(13): 2160-2182 (2006) | |
| 2005 | ||
| 26 | Ibrahim Hökelek, M. Ümit Uyar, Mariusz A. Fecko: Random-walk based analysis of virtual backbone in manets. Communications and Computer Networks 2005: 132-137 | |
| 25 | M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko: Timing Fault Models for Systems with Multiple Timers. TestCom 2005: 192-208 | |
| 2004 | ||
| 24 | Mariusz A. Fecko, Ulas C. Kozat, Sunil Samtani, M. Ümit Uyar, Ibrahim Hökelek: Dynamic survivable resource pooling in mobile ad-hoc networks. ISCC 2004: 196-201 | |
| 23 | Jianping Zou, M. Ümit Uyar, Mariusz A. Fecko, Sunil Samtani: Preferential treatment of SCTP subflows: analysis and simulation. ISCC 2004: 810-815 | |
| 22 | M. Ümit Uyar, Jianliang Zheng, Mariusz A. Fecko, Sunil Samtani, Phillip T. Conrad: Evaluation of architectures for reliable server pooling in wired and wireless environments. IEEE Journal on Selected Areas in Communications 22(1): 164-175 (2004) | |
| 21 | Ali Y. Duale, M. Ümit Uyar: A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. IEEE Trans. Computers 53(5): 614-627 (2004) | |
| 2003 | ||
| 20 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale: Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. FORTE 2003: 273-288 | |
| 19 | M. Ümit Uyar, Jianliang Zheng, Mariusz A. Fecko, Sunil Samtani: Reliable Server Pooling in Highly Mobile Wireless Networks. ISCC 2003: 627-632 | |
| 18 | M. Ümit Uyar, Jianliang Zheng, Mariusz A. Fecko, Sunil Samtani: Performance Study of Reliable Server Pooling. NCA 2003: 205- | |
| 17 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer: A technique to generate feasible tests for communications systems with multiple timers. IEEE/ACM Trans. Netw. 11(5): 796-809 (2003) | |
| 16 | M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi: Experience in developing and testing network protocol software using FDTs. Information & Software Technology 45(12): 815-835 (2003) | |
| 2000 | ||
| 15 | Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale: Test Generation in the Presence of Conflicting Timers. TestCom 2000: 301- | |
| 14 | Ali Y. Duale, M. Ümit Uyar: Generation of Feasible Test Sequences for EFSM Models. TestCom 2000: 91- | |
| 13 | Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon: A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. Computer Communications 23(12): 1196-1213 (2000) | |
| 1999 | ||
| 12 | M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer: Testing protocols modeled as FSMs with timing parameters. Computer Networks 31(18): 1967-1988 (1999) | |
| 1998 | ||
| 11 | Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer: Issues in conformance testing: multiple semicontrollable interfaces. FORTE 1998: 111-126 | |
| 10 | M. Ümit Uyar: Dual-State Augmentation for Minimizing Conformance Test Costs. Computer Networks 30(14): 1277-1294 (1998) | |
| 1994 | ||
| 9 | Richard L. Tenney, Paul D. Amer, M. Ümit Uyar: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 North-Holland 1994 | |
| 8 | M. Ümit Uyar, Anthony P. Reeves: Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System. J. Parallel Distrib. Comput. 22(1): 1-15 (1994) | |
| 1993 | ||
| 7 | David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar: Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127 | |
| 1992 | ||
| 6 | Richard J. Linn Jr., M. Ümit Uyar: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 North-Holland 1992 | |
| 1991 | ||
| 5 | Barry S. Bosik, M. Ümit Uyar: Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. Computer Networks and ISDN Systems 22(1): 7-33 (1991) | |
| 1989 | ||
| 4 | Anton T. Dahbura, M. Ümit Uyar, Chi W. Yau: An Optimal Test Sequence for the JTAG/IEEE P1149.1 Test Access Port Controller. ITC 1989: 55-62 | |
| 1988 | ||
| 3 | M. Ümit Uyar, Anthony P. Reeves: Dynamic Fault Reconfiguration in a Mesh-Connected MIMD Environment. IEEE Trans. Computers 37(10): 1191-1205 (1988) | |
| 1985 | ||
| 2 | M. Ümit Uyar, Anthony P. Reeves: Fault Reconfiguration for the Near Neighbor Problem In a Distributed MIMD Environment. ICDCS 1985: 372-379 | |
| 1 | M. Ümit Uyar, Anthony P. Reeves: Fault Reconfiguration in a Distributed MIMD Environment with a Multiusage Network. ICPP 1985: 798-806 | |