2009 |
40 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jianping Zou,
M. Ümit Uyar,
Mariusz A. Fecko,
Sunil Samtani:
Performance evaluation of subflow capable SCTP.
Computer Communications 29(12): 2413-2432 (2006) |
27 | EE | 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 | EE | 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 | EE | 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 | EE | Jianping Zou,
M. Ümit Uyar,
Mariusz A. Fecko,
Sunil Samtani:
Preferential treatment of SCTP subflows: analysis and simulation.
ISCC 2004: 810-815 |
22 | EE | 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 | EE | 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 | EE | 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 | EE | M. Ümit Uyar,
Jianliang Zheng,
Mariusz A. Fecko,
Sunil Samtani:
Reliable Server Pooling in Highly Mobile Wireless Networks.
ISCC 2003: 627-632 |
18 | EE | M. Ümit Uyar,
Jianliang Zheng,
Mariusz A. Fecko,
Sunil Samtani:
Performance Study of Reliable Server Pooling.
NCA 2003: 205- |
17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |