Fault masking by multiple timing faults in timed EFSM models von Wang, Y., Uyar, M.Ü., Batth, S.S., Fecko, M.A.

Volltext

A method enabling feasible conformance test sequence generation for EFSM models von Duale, A.Y., Uyar, M.U.

Volltext

Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols von Uyar, M.U., Batth, S.S., Yu Wang, Fecko, M.A.

Volltext

Specification of Timed EFSM Fault Models in SDL von Batth, S. S., Vieira, E. R., Cavalli, A., Uyar, M. Ü.

Volltext

Evaluation of architectures for reliable server pooling in wired and wireless environments von Uyar, M.U., Jianliang Zheng, Fecko, M.A., Samtani, S., Conrad, P.T.

Volltext

A technique to generate feasible tests for communications systems with multiple timers von Fecko, M.A., Uyar, M.U., Duale, A.Y., Amer, P.D.

Volltext

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220 von Fecko, M.A., Uyar, M.Ü., Amer, P.D., Sethi, A.S., Dzik, T., Menell, R., McMahon, M.

Volltext

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours von Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.

Volltext

Formal methods for generating protocol conformance test sequences von Dahbura, A.T., Sabnani, K.K., Uyar, M.U.

Volltext

Resilient node self-positioning methods for MANETS based on game theory and genetic algorithms von Kusyk, J, Urrea, E, Sahin, C S, Uyar, M Ü, Bertoli, G, Pizzo, C

Volltext

Fault tolerant bio-inspired topology control mechanism for autonomous mobile node distribution in MANETs von Gundry, S., Jianmin Zou, Kusyk, J., Uyar, M. U., Sahin, C. S.

Volltext

Bio-inspired and Voronoi-based algorithms for self-positioning autonomous mobile nodes von Jianmin Zou, Kusyk, J., Uyar, M. U., Gundry, S., Sahin, C. S.

Volltext

Performance evaluation of differential evolution based topology control method for autonomous MANET nodes von Gundry, S., Kusyk, J., Jianmin Zou, Sahin, C. S., Uyar, M. U.

Volltext

An algorithmic procedure for checking safety properties of protocols von Sabnani, K.K., Lapone, A.M., Uyar, M.U.

Volltext

Genetic algorithms for self-spreading autonomous and holonomic unmanned vehicles in a three-dimensional space von Gundry, S., Jianmin Zou, Kusyk, J., Uyar, M. U., Sahin, C. S., Urrea, E.

Volltext

A bio-inspired approach combining genetic algorithms and game theory for dispersal of autonomous manet nodes von Kusyk, J., Jianmin Zou, Sahin, C. S., Uyar, M. U., Gundry, S., Urrea, E. B.

Volltext

Conformance testing in systems with semicontrollable interfaces: Protocol engineering (part 2) von FECKO, M. A, UYAR, M. Ü, AMER, P. D, SETHI, A. S

Volltext

Timing Fault Models for Systems with Multiple Timers von Uyar, M. Ümit, Wang, Yu, Batth, Samrat S., Wise, Adriana, Fecko, M. A.

Volltext

Dynamic fault reconfiguration in a mesh-connected MIMD environment von Uyar, M.U., Reeves, A.P.

Volltext

Reliable server pooling in highly mobile wireless networks von Uyar, M.U., Jianliang Zheng, Fecko, M.A., Samtani, S.

Volltext