Search the dblp DataBase
M. Ümit Uyar :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mariusz A. Fecko , M. Ümit Uyar , Ali Y. Duale Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. [Citation Graph (0, 0)][DBLP ] FORTE, 2003, pp:273-288 [Conf ] Mariusz A. Fecko , M. Ümit Uyar , Adarshpal S. Sethi , Paul D. Amer Issues in conformance testing: multiple semicontrollable interfaces. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:111-126 [Conf ] M. Ümit Uyar , Anthony P. Reeves Fault Reconfiguration for the Near Neighbor Problem In a Distributed MIMD Environment. [Citation Graph (0, 0)][DBLP ] ICDCS, 1985, pp:372-379 [Conf ] M. Ümit Uyar , Anthony P. Reeves Fault Reconfiguration in a Distributed MIMD Environment with a Multiusage Network. [Citation Graph (0, 0)][DBLP ] ICPP, 1985, pp:798-806 [Conf ] David Lee , Krishan K. Sabnani , David M. Kristol , Sanjoy Paul , M. Ümit Uyar Conformance Testing of Protocols Specified as Communicating FSMs. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:115-127 [Conf ] Mariusz A. Fecko , Ulas C. Kozat , Sunil Samtani , M. Ümit Uyar , Ibrahim Hökelek Dynamic survivable resource pooling in mobile ad-hoc networks. [Citation Graph (0, 0)][DBLP ] ISCC, 2004, pp:196-201 [Conf ] M. Ümit Uyar , Jianliang Zheng , Mariusz A. Fecko , Sunil Samtani Reliable Server Pooling in Highly Mobile Wireless Networks. [Citation Graph (0, 0)][DBLP ] ISCC, 2003, pp:627-632 [Conf ] Jianping Zou , M. Ümit Uyar , Mariusz A. Fecko , Sunil Samtani Preferential treatment of SCTP subflows: analysis and simulation. [Citation Graph (0, 0)][DBLP ] ISCC, 2004, pp:810-815 [Conf ] Anton T. Dahbura , M. Ümit Uyar , Chi W. Yau An Optimal Test Sequence for the JTAG/IEEE P1149.1 Test Access Port Controller. [Citation Graph (0, 0)][DBLP ] ITC, 1989, pp:55-62 [Conf ] M. Ümit Uyar , Jianliang Zheng , Mariusz A. Fecko , Sunil Samtani Performance Study of Reliable Server Pooling. [Citation Graph (0, 0)][DBLP ] NCA, 2003, pp:205-0 [Conf ] Ali Y. Duale , M. Ümit Uyar Generation of Feasible Test Sequences for EFSM Models. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:91-0 [Conf ] Mariusz A. Fecko , Paul D. Amer , M. Ümit Uyar , Ali Y. Duale Test Generation in the Presence of Conflicting Timers. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:301-0 [Conf ] M. Ümit Uyar , Yu Wang , Samrat S. Batth , Adriana Wise , Mariusz A. Fecko Timing Fault Models for Systems with Multiple Timers. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:192-208 [Conf ] Ibrahim Hökelek , M. Ümit Uyar , Mariusz A. Fecko Random-walk based analysis of virtual backbone in manets. [Citation Graph (0, 0)][DBLP ] Communications and Computer Networks, 2005, pp:132-137 [Conf ] Barry S. Bosik , M. Ümit Uyar Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:7-33 [Journal ] M. Ümit Uyar Dual-State Augmentation for Minimizing Conformance Test Costs. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:14, pp:1277-1294 [Journal ] M. Ümit Uyar , Mariusz A. Fecko , Adarshpal S. Sethi , Paul D. Amer Testing protocols modeled as FSMs with timing parameters. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1999, v:31, n:18, pp:1967-1988 [Journal ] Jianping Zou , M. Ümit Uyar , Mariusz A. Fecko , Sunil Samtani Throughput models for SCTP with parallel subflows. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2006, v:50, n:13, pp:2160-2182 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2000, v:23, n:12, pp:1196-1213 [Journal ] Jianping Zou , M. Ümit Uyar , Mariusz A. Fecko , Sunil Samtani Performance evaluation of subflow capable SCTP. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2006, v:29, n:12, pp:2413-2432 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:12, pp:815-835 [Journal ] M. Ümit Uyar , Anthony P. Reeves Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1994, v:22, n:1, pp:1-15 [Journal ] Ali Y. Duale , M. Ümit Uyar A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2004, v:53, n:5, pp:614-627 [Journal ] M. Ümit Uyar , Anthony P. Reeves Dynamic Fault Reconfiguration in a Mesh-Connected MIMD Environment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1988, v:37, n:10, pp:1191-1205 [Journal ] Mariusz A. Fecko , M. Ümit Uyar , Ali Y. Duale , Paul D. Amer A technique to generate feasible tests for communications systems with multiple timers. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 2003, v:11, n:5, pp:796-809 [Journal ] Samrat S. Batth , Elisangela Rodrigues Vieira , Ana Cavalli , M. Ümit Uyar Specification of Timed EFSM Fault Models in SDL. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:50-65 [Conf ] Xuezhou Ma , Selcuk Cevher , M. Ümit Uyar , Mariusz A. Fecko , John Sucec , Sunil Samtani Network Planning for Multicast Using Partitioned Virtual User Domains. [Citation Graph (0, 0)][DBLP ] MMNS, 2007, pp:113-124 [Conf ] Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs. [Citation Graph (, )][DBLP ] Genetic algorithms for self-spreading nodes in MANETs. [Citation Graph (, )][DBLP ] A real-time integrated transport/communication/database architecture to support traffic simulation. [Citation Graph (, )][DBLP ] Uniform Manet Node Distribution for Mobile Agents Using Genetic Algorithms. [Citation Graph (, )][DBLP ] Testbed Implementation of Genetic Algorithms for Self Spreading Nodes in MANETs. [Citation Graph (, )][DBLP ] Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in Manets. [Citation Graph (, )][DBLP ] Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs. [Citation Graph (, )][DBLP ] Testbed Experiments of Dynamic Survivable Resource Pooling Using FPGA-Based Robot. [Citation Graph (, )][DBLP ] Bio-inspired topology control for knowledge sharing mobile agents. [Citation Graph (, )][DBLP ] Fault masking by multiple timing faults in timed EFSM models. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.009secs