Fault Reconfiguration for the Near Neighbor Problem In a Distributed MIMD Environment. - M. Ümit Uyar; Anthony P. Reeves (ICDCS, 1985)

Fault Reconfiguration in a Distributed MIMD Environment with a Multiusage Network. - M. Ümit Uyar; Anthony P. Reeves (ICPP, 1985)

Dynamic Fault Reconfiguration in a Mesh-Connected MIMD Environment. - M. Ümit Uyar; Anthony P. Reeves (IEEE Trans. Computers, 1988)

Fault-tolerant VLSI processor array for the SVD. - Joseph R. Cavallaro; Christopher D. Near; M. Ümit Uyar (ICCD, 1989)

An Optimal Test Sequence for the JTAG/IEEE P1149.1 Test Access Port Controller. - Anton T. Dahbura; M. Ümit Uyar; Chi W. Yau (ITC, 1989)

An algorithmic procedure for checking safety properties of protocols. - Krishan K. Sabnani; Aleta M. Lapone; M. Ümit Uyar (IEEE Trans. Commun., 1989)

Formal methods for generating protocol conformance test sequences. - Anton T. Dahbura; Krishan K. Sabnani; M. Ümit Uyar (Proc. IEEE, 1990)

Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. - Barry S. Bosik; M. Ümit Uyar (Comput. Networks ISDN Syst., 1991)

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. - Alfred V. Aho; Anton T. Dahbura; David Lee 001; M. Ümit Uyar (IEEE Trans. Commun., 1991)

Conformance Testing of Protocols Specified as Communicating FSMs. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul; M. Ümit Uyar (INFOCOM, 1993)

Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System. - M. Ümit Uyar; Anthony P. Reeves (J. Parallel Distributed Comput., 1994)

Issues in conformance testing: multiple semicontrollable interfaces. - Mariusz A. Fecko; M. Ümit Uyar; Adarshpal S. Sethi; Paul D. Amer (FORTE, 1998)

Dual-State Augmentation for Minimizing Conformance Test Costs. - M. Ümit Uyar (Comput. Networks, 1998)

Testing protocols modeled as FSMs with timing parameters. - M. Ümit Uyar; Mariusz A. Fecko; Adarshpal S. Sethi; Paul D. Amer (Comput. Networks, 1999)

Generation of Feasible Test Sequences for EFSM Models. - Ali Y. Duale; M. Ümit Uyar (TestCom, 2000)

Test Generation in the Presence of Conflicting Timers. - Mariusz A. Fecko; Paul D. Amer; M. Ümit Uyar; Ali Y. Duale (TestCom, 2000)

Conformance testing in systems with semicontrollable interfaces. - Mariusz A. Fecko; M. Ümit Uyar; Paul D. Amer; Adarshpal S. Sethi (Ann. des Télécommunications, 2000)

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. - Mariusz A. Fecko; M. Ümit Uyar; Paul D. Amer; Adarshpal S. Sethi; Theodore Dzik; R. Menell; Michael McMahon (Comput. Commun., 2000)

Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. - Mariusz A. Fecko; M. Ümit Uyar; Ali Y. Duale (FORTE, 2003)

Reliable Server Pooling in Highly Mobile Wireless Networks. - M. Ümit Uyar; Jianliang Zheng; Mariusz A. Fecko; Sunil Samtani (ISCC, 2003)

Performance Study of Reliable Server Pooling. - M. Ümit Uyar; Jianliang Zheng; Mariusz A. Fecko; Sunil Samtani (NCA, 2003)

Experience in developing and testing network protocol software using FDTs. - M. Ümit Uyar; Mariusz A. Fecko; Ali Y. Duale; Paul D. Amer; Adarshpal S. Sethi (Inf. Softw. Technol., 2003)

A technique to generate feasible tests for communications systems with multiple timers. - Mariusz A. Fecko; M. Ümit Uyar; Ali Y. Duale; Paul D. Amer (IEEE/ACM Trans. Netw., 2003)

Dynamic survivable resource pooling in mobile ad-hoc networks. - Mariusz A. Fecko; Ulas C. Kozat; Sunil Samtani; M. Ümit Uyar; Ibrahim Hökelek (ISCC, 2004)

Preferential treatment of SCTP subflows: analysis and simulation. - Jianping Zou; M. Ümit Uyar; Mariusz A. Fecko; Sunil Samtani (ISCC, 2004)

Evaluation of architectures for reliable server pooling in wired and wireless environments. - M. Ümit Uyar; Jianliang Zheng; Mariusz A. Fecko; Sunil Samtani; Phillip T. Conrad (IEEE J. Sel. Areas Commun., 2004)

A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. - Ali Y. Duale; M. Ümit Uyar (IEEE Trans. Computers, 2004)

Random-walk based analysis of virtual backbone in manets. - Ibrahim Hökelek; M. Ümit Uyar; Mariusz A. Fecko (Communications and Computer Networks, 2005)

Timing Fault Models for Systems with Multiple Timers. - M. Ümit Uyar; Yu Wang 012; Samrat S. Batth; Adriana Wise; Mariusz A. Fecko (TestCom, 2005)

Testing industrall VoIP implementations: registration for SIP phones. - M. Ümit Uyar; Samrat S. Batth; James J. Allen; William H. Chriss; Eva B. Phillips; Diane Somers; Shahank Sarwate (SIIT, 2005)

Throughput models for SCTP with parallel subflows. - Jianping Zou; M. Ümit Uyar; Mariusz A. Fecko; Sunil Samtani (Comput. Networks, 2006)

Performance evaluation of subflow capable SCTP. - Jianping Zou; M. Ümit Uyar; Mariusz A. Fecko; Sunil Samtani (Comput. Commun., 2006)

Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs. - Elkin Urrea; Cem Safak Sahin; M. Ümit Uyar; Michael Conner; Hooshang Sharif; Ibrahim Hökelek; Giorgio Bertoli (Artificial Intelligence and Pattern Recognition, 2007)

Specification of Timed EFSM Fault Models in SDL. - Samrat S. Batth; Elisangela Rodrigues Vieira; Ana R. Cavalli; M. Ümit Uyar (FORTE, 2007)

Uniform Manet Node Distribution for Mobile Agents Using Genetic Algorithms. - Elkin Urrea; Cem Safak Sahin; M. Ümit Uyar; Ibrahim Hökelek; Michael Conner; Giorgio Bertoli; Hooshang Sharif; Christian Pizzo (GEM, 2007)

Network Planning for Multicast Using Partitioned Virtual User Domains. - Xuezhou Ma; Selcuk Cevher; M. Ümit Uyar; Mariusz A. Fecko; John Sucec; Sunil Samtani (MMNS, 2007)

Testbed Experiments of Dynamic Survivable Resource Pooling Using FPGA-Based Robot. - I. Hkelek; Jianping Zou; M. Ümit Uyar; A. Abdelal; J. Xiao; N. Chakravarthy; Mariusz A. Fecko; Sunil Samtani (WiMob, 2007)

Genetic algorithms for self-spreading nodes in MANETs. - Cem Safak Sahin; Elkin Urrea; M. Ümit Uyar; Michael Conner; Ibrahim Hökelek; Giorgio Bertoli; Christian Pizzo (GECCO, 2008)

Testbed Implementation of Genetic Algorithms for Self Spreading Nodes in MANETs. - Cevher Dogan; M. Ümit Uyar; Elkin Urrea; Cem Safak Sahin; Ibrahim Hökelek (GEM, 2008)

Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in Manets. - Elkin Urrea; Cem Safak Sahin; M. Ümit Uyar; Michael Conner; Ibrahim Hökelek; Giorgio Bertoli; Christian Pizzo (GEM, 2008)

A real-time integrated transport/communication/database architecture to support traffic simulation. - Kyriacos C. Mouskos; M. Ümit Uyar; Akira Kawaguchi; Neville Parker (MobiQuitous, 2008)

Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. - M. Ümit Uyar; Samrat S. Batth; Yu Wang 012; Mariusz A. Fecko (IEEE Trans. Computers, 2008)

Fault Modeling and Detection Capabilities for EFSM Models. - Samrat S. Batth; M. Ümit Uyar; Yu Wang 012; Mariusz A. Fecko (IEEE Trans. Instrum. Meas., 2008)

On stability analysis of virtual backbone in mobile ad hoc networks. - Ibrahim Hökelek; M. Ümit Uyar; Mariusz A. Fecko (Wirel. Networks, 2008)

Testbed for Node Communication in MANETs to Uniformly Cover Unknown Geographical Terrain Using Genetic Algorithms. - Cevher Dogan; Cem Safak Sahin; M. Ümit Uyar; Elkin Urrea (AHS, 2009)

Bio-inspired topology control for knowledge sharing mobile agents. - Elkin Urrea; Cem Safak Sahin; Ibrahim Hökelek; M. Ümit Uyar; Michael Conner; Giorgio Bertoli; Christian Pizzo (Ad Hoc Networks, 2009)

Fault masking by multiple timing faults in timed EFSM models. - Yu Wang 012; M. Ümit Uyar; Samrat S. Batth; Mariusz A. Fecko (Comput. Networks, 2009)

Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs. - Cem Safak Sahin; Stephen Gundry; Elkin Urrea; M. Ümit Uyar; Michael Conner; Giorgio Bertoli; Christian Pizzo (EvoApplications (2), 2010)

Design of genetic algorithms for topology control of unmanned vehicles. - Cem Safak Sahin; Elkin Urrea; M. Ümit Uyar; Michael Conner; Giorgio Bertoli; Christian Pizzo (Int. J. Appl. Decis. Sci., 2010)

Genetic algorithms for self-spreading autonomous and holonomic unmanned vehicles in a three-dimensional space. - Stephen Gundry; Jianmin Zou; Janusz Kusyk; M. Ümit Uyar; Cem Safak Sahin; Elkin Urrea (MILCOM, 2011)

A bio-inspired approach combining genetic algorithms and game theory for dispersal of autonomous manet nodes. - Janusz Kusyk; Jianmin Zou; Cem Safak Sahin; M. Ümit Uyar; Stephen Gundry; Elkin B. Urrea (MILCOM, 2011)

A Bio-inspired Approach to Self-organization of Mobile Nodes in Real-Time Mobile Ad Hoc Network Applications. - Cem Safak Sahin; Elkin Urrea; M. Ümit Uyar; Stephen Gundry (Variants of Evolutionary Algorithms for Real-World Applications, 2012)

Performance evaluation of differential evolution based topology control method for autonomous MANET nodes. - Stephen Gundry; Janusz Kusyk; Jianmin Zou; Cem Safak Sahin; M. Ümit Uyar (ISCC, 2012)

Fault tolerant bio-inspired topology control mechanism for autonomous mobile node distribution in MANETs. - Stephen Gundry; Jianmin Zou; Janusz Kusyk; M. Ümit Uyar; Cem Safak Sahin (MILCOM, 2012)

Bio-inspired and Voronoi-based algorithms for self-positioning autonomous mobile nodes. - Jianmin Zou; Janusz Kusyk; M. Ümit Uyar; Stephen Gundry; Ceni Safak Sahin (MILCOM, 2012)

Markov chain model for differential evolution based topology control in MANETs. - Stephen Gundry; Jianmin Zou; Janusz Kusyk; Cem Safak Sahin; M. Ümit Uyar (Sarnoff Symposium, 2012)

Metrics for performance evaluation of self-positioning autonomous MANET nodes. - Janusz Kusyk; Jianmin Zou; Stephen Gundry; Cem Safak Sahin; M. Ümit Uyar (Sarnoff Symposium, 2012)

Particle swarm optimization based topology control mechanism for holonomic unmanned vehicles operating in three-dimensional space. - Jianmin Zou; Stephen Gundry; Janusz Kusyk; Cem Safak Sahin; M. Ümit Uyar (Sarnoff Symposium, 2012)

Game Theory and Genetic Algorithm Based Approach for Self Positioning of Autonomous Nodes. - Janusz Kusyk; Elkin Urrea; Cem Safak Sahin; M. Ümit Uyar (Ad Hoc Sens. Wirel. Networks, 2012)

Real-time, decentralized and bio-inspired topology control for holonomic autonomous vehicles. - Cem Safak Sahin; M. Ümit Uyar (Int. J. Intell. Comput. Cybern., 2012)

Markov Chain Analysis of Self-organizing Mobile Nodes - Self-organizing Mobile Nodes. - Cem Safak Sahin; Stephen Gundry; M. Ümit Uyar (J. Intell. Robotic Syst., 2012)

Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks. - Cem Safak Sahin; M. Ümit Uyar; Stephen Gundry; Elkin Urrea (Trans. Comput. Sci., 2012)

Interoperability of secure VoIP terminals. - Recep Talha Kuyuk; Hasan Basri Çelebi; Ibrahim Hökelek; Ozgur Oren; Ayhan Yeni; Aydin Saribudak; Fatih Kara; Gokhan Vicil; M. Ümit Uyar (BlackSeaCom, 2013)

Differential Evolution Based Fault Tolerant Topology Control in MANETs. - Stephen Gundry; Jianmin Zou; Janusz Kusyk; Cem Safak Sahin; M. Ümit Uyar (MILCOM, 2013)

An interoperability testbed for VoIP terminals. - Recep Talha Kuyuk; Hasan Basri Çelebi; Ibrahim Hökelek; Ozgur Oren; Ayhan Yeni; Aydin Saribudak; Fatih Kara; Gokhan Vicil; M. Ümit Uyar (SIU, 2013)

3D genetic algorithms for underwater sensor networks. - Jianmin Zou; Stephen Gundry; Janusz Kusyk; M. Ümit Uyar; Cem Safak Sahin (Int. J. Ad Hoc Ubiquitous Comput., 2013)

Game Theoretic and Bio-inspired Optimization Approach for Autonomous Movement of MANET Nodes. - Janusz Kusyk; Cem Safak Sahin; Jianmin Zou; Stephen Gundry; M. Ümit Uyar; Elkin Urrea (Handbook of Optimization, 2013)

Toward Genomic Based Personalized Mathematical Models for Breast Cancer Tumor Growth. - Aydin Saribudak; Emir Ganic; Jianmin Zou; Stephen Gundry; M. Ümit Uyar (BIBE, 2014)

Bio-inspired and Voronoi-based Algorithms for Self-positioning of Autonomous Vehicles in Noisy Environments. - Jianmin Zou; Stephen Gundry; Janusz Kusyk; Cem Safak Sahin; M. Ümit Uyar (BICT, 2014)

Mathematical models for absorption and efficacy of ovarian cancer treatments. - Jianmin Zou; Stephen Gundry; Emir Ganic; M. Ümit Uyar (EMBC, 2014)

Evaluation of anti-cancer therapy using in silico analysis of treatments for HER2+ breast cancer. - Emir Ganic; Stephen Gundry; Jianmin Zou; M. Ümit Uyar (MeMeA, 2014)

Automated test generation and execution for VPN devices. - Levent Onder Yilmaz; Hasan Ates; Zafer Bayraktar; Yakup Kaya; Isa Bostan; Recep Talha Kuyuk; Ibrahim Hökelek; M. Ümit Uyar (SIU, 2014)

Bio-inspired Computation Approach for Tumor Growth with Spatial Randomness Analysis of Kidney Cancer Xenograft Pathology Slides. - Aydin Saribudak; Yiyu Dong; James Hsieh; M. Ümit Uyar (BICT, 2015)

Mathematical models of tumor growth using Voronoi tessellations in pathology slides of kidney cancer. - Aydin Saribudak; Yiyu Dong; Stephen Gundry; James Hsieh; M. Ümit Uyar (EMBC, 2015)

Genomic based personalized chemotherapy analysis to support decision systems for breast cancer. - Aydin Saribudak; Stephen Gundry; Jianmin Zou; M. Ümit Uyar (MeMeA, 2015)

Differential evolution-based autonomous and disruption tolerant vehicular self-organization in MANETs. - Stephen Gundry; Jianmin Zou; M. Ümit Uyar; Cem Safak Sahin; Janusz Kusyk (Ad Hoc Networks, 2015)

A gene expression-based mathematical modeling approach for breast cancer tumor growth and shrinkage. - Aydin Saribudak; Stephen Gundry; Jianmin Zou; M. Ümit Uyar (Netw. Model. Anal. Health Informatics Bioinform., 2015)

Gene Expression Based Computation Methods for Alzheimer's Disease Progression using Hippocampal Volume Loss and MMSE Scores. - Aydin Saribudak; Adarsha A. Subick; Joshua A. Rutta; M. Ümit Uyar (BCB, 2016)

Heterogeneity of colorectal cancer cell positions as a cell viability biometrie. - Aydin Saribudak; Herman Kucharavy; Karen Hubbard; M. Ümit Uyar (BHI, 2016)

Quantification of cell apoptosis for in-vitro colorectal cancer cell cultures based on morphological features. - Aydin Saribudak; Herman Kucharavy; Karen Hubbard; M. Ümit Uyar (BHI, 2016)

Computation of Pharmacologic Therapy Effects on Cognitive Abilities of Alzheimer's Disease Patients. - Aydin Saribudak; Adarsha A. Subick; M. Ümit Uyar (BIBE, 2016)

Bio-Inspired Topology Control Mechanism for Unmanned Underwater Vehicles. - Jianmin Zou; Stephen Gundry; M. Ümit Uyar; Janusz Kusyk; Cem Safak Sahin (Recent Advances in Computational Intelligence in Defense and Security, 2016)

Survey on evolutionary computation methods for cybersecurity of mobile ad hoc networks. - Janusz Kusyk; M. Ümit Uyar; Cem Safak Sahin (Evol. Intell., 2018)

AI and Game Theory based Autonomous UAV Swarm for Cybersecurity. - Janusz Kusyk; M. Ümit Uyar; Kelvin Ma; Joseph Plishka; Giorgio Bertoli; Jeffrey Boksiner (MILCOM, 2019)

Game Theory and Biology Inspired Flight Control for Autonomous UAVs Operating in Contested Environments. - Janusz Kusyk; M. Ümit Uyar; Kelvin Ma; Kevin Budhu; Eltan Samoylov; Joseph Plishka; Giorgio Bertoli; Jeffrey Boksiner; Dilip K. Guha (Sarnoff Symposium, 2019)

Gene Expressions, Hippocampal Volume Loss, and MMSE Scores in Computation of Progression and Pharmacologic Therapy Effects for Alzheimer's Disease. - Aydin Saribudak; Adarsha A. Subick; Na Hyun Kim; Joshua A. Rutta; M. Ümit Uyar (IEEE ACM Trans. Comput. Biol. Bioinform., 2020)

Artificial intelligence and game theory controlled autonomous UAV swarms. - Janusz Kusyk; M. Ümit Uyar; Kelvin Ma; Eltan Samoylov; Ricardo Valdez; Joseph Plishka; Sagor E. Hoque; Giorgio Bertoli; Jeffrey Boksiner (Evol. Intell., 2021)