M. U. Uyar

Resolving inconsistencies in EFSM-modeled specifications

Ali Y. Duale, M. U. Uyar, M. U. Uyar, 1999, MILCOM 1999. IEEE Military Communications. Conference Proceedings (Cat. No.99CH36341).

Minimum-cost solutions for testing protocols with timers

Paul D. Amer, Mariusz A. Fecko, Adarshpal S. Sethi, 1998, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191).

Formal methods for generating protocol conformance test sequences

Krishan K. Sabnani, Anton T. Dahbura, M. U. Uyar, 1990, Proc. IEEE.

Using semicontrollable interfaces in testing army communications protocols: application to MIL-STD 188-220B

Paul D. Amer, Mariusz A. Fecko, Adarshpal S. Sethi, 1999, MILCOM 1999. IEEE Military Communications. Conference Proceedings (Cat. No.99CH36341).

WISER: realistic and scalable wireless mobile IP network emulator

Ibrahim Hokelek, Andrzej Cichocki, Sunil Samtani, 2009, Defense + Commercial Sensing.

Fault-tolerant VLSI processor array for the SVD

Joseph R. Cavallaro, C. D. Near, M. U. Uyar, 1989, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Self-Deployment of Mobile Agents in Manets for Military Applications

Ibrahim Hokelek, Cem Safak Sahin, Michael Conner, 2008 .

Testbed Experiments of Dynamic Survivable Resource Pooling Using FPGA-Based Robot

Ibrahim Hokelek, Mariusz A. Fecko, Jianping Zou, 2007 .

Efficient test generation for army network protocols with conflicting timers

Paul D. Amer, Mariusz A. Fecko, Ali Y. Duale, 2000, MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures and Technologies for Information Superiority (Cat. No.00CH37155).

Generation of realizable conformance tests under timing constraints

Paul D. Amer, Adarshpal S. Sethi, Mariusz A. Fecko, 1998, IEEE Military Communications Conference. Proceedings. MILCOM 98 (Cat. No.98CH36201).

Conformance testing: towards refining VHDL specifications

M. U. Uyar, A. Y. Duale, B. D. McClure, 1999, MILCOM 1999. IEEE Military Communications. Conference Proceedings (Cat. No.99CH36341).

Test generation for EFSM models of complex army protocols with inconsistencies

Ali Y. Duale, M. U. Uyar, 2000, MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures and Technologies for Information Superiority (Cat. No.00CH37155).