M. Ümit Uyar

Orcid: 0000-0001-6268-8259

According to our database1, M. Ümit Uyar authored at least 87 papers between 1985 and 2021.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2012, "For contributions to conformance testing theory and practice".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Artificial intelligence and game theory controlled autonomous UAV swarms.
Evol. Intell., 2021

2020
Gene Expressions, Hippocampal Volume Loss, and MMSE Scores in Computation of Progression and Pharmacologic Therapy Effects for Alzheimer's Disease.
IEEE ACM Trans. Comput. Biol. Bioinform., 2020

2019
Game Theory and Biology Inspired Flight Control for Autonomous UAVs Operating in Contested Environments.
Proceedings of the 40th IEEE Sarnoff Symposium 2019, Newark, NJ, USA, 2019

AI and Game Theory based Autonomous UAV Swarm for Cybersecurity.
Proceedings of the 2019 IEEE Military Communications Conference, 2019

2018
Survey on evolutionary computation methods for cybersecurity of mobile ad hoc networks.
Evol. Intell., 2018

2016
Bio-Inspired Topology Control Mechanism for Unmanned Underwater Vehicles.
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016

Computation of Pharmacologic Therapy Effects on Cognitive Abilities of Alzheimer's Disease Patients.
Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Quantification of cell apoptosis for in-vitro colorectal cancer cell cultures based on morphological features.
Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

Heterogeneity of colorectal cancer cell positions as a cell viability biometrie.
Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

Gene Expression Based Computation Methods for Alzheimer's Disease Progression using Hippocampal Volume Loss and MMSE Scores.
Proceedings of the 7th ACM International Conference on Bioinformatics, 2016

2015
A gene expression-based mathematical modeling approach for breast cancer tumor growth and shrinkage.
Netw. Model. Anal. Health Informatics Bioinform., 2015

Differential evolution-based autonomous and disruption tolerant vehicular self-organization in MANETs.
Ad Hoc Networks, 2015

Genomic based personalized chemotherapy analysis to support decision systems for breast cancer.
Proceedings of the 2015 IEEE International Symposium on Medical Measurements and Applications, 2015

Mathematical models of tumor growth using Voronoi tessellations in pathology slides of kidney cancer.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Bio-inspired Computation Approach for Tumor Growth with Spatial Randomness Analysis of Kidney Cancer Xenograft Pathology Slides.
Proceedings of the BICT 2015, 2015

2014
Automated test generation and execution for VPN devices.
Proceedings of the 2014 22nd Signal Processing and Communications Applications Conference (SIU), 2014

Evaluation of anti-cancer therapy using in silico analysis of treatments for HER2+ breast cancer.
Proceedings of the 2014 IEEE International Symposium on Medical Measurements and Applications, 2014

Mathematical models for absorption and efficacy of ovarian cancer treatments.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Bio-inspired and Voronoi-based Algorithms for Self-positioning of Autonomous Vehicles in Noisy Environments.
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

Toward Genomic Based Personalized Mathematical Models for Breast Cancer Tumor Growth.
Proceedings of the 2014 IEEE International Conference on Bioinformatics and Bioengineering, 2014

2013
Game Theoretic and Bio-inspired Optimization Approach for Autonomous Movement of MANET Nodes.
Proceedings of the Handbook of Optimization - From Classical to Modern Approach, 2013

3D genetic algorithms for underwater sensor networks.
Int. J. Ad Hoc Ubiquitous Comput., 2013

An interoperability testbed for VoIP terminals.
Proceedings of the 21st Signal Processing and Communications Applications Conference, 2013

Differential Evolution Based Fault Tolerant Topology Control in MANETs.
Proceedings of the 32th IEEE Military Communications Conference, 2013

Interoperability of secure VoIP terminals.
Proceedings of the First International Black Sea Conference on Communications and Networking, 2013

2012
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks.
Trans. Comput. Sci., 2012

Markov Chain Analysis of Self-organizing Mobile Nodes - Self-organizing Mobile Nodes.
J. Intell. Robotic Syst., 2012

Real-time, decentralized and bio-inspired topology control for holonomic autonomous vehicles.
Int. J. Intell. Comput. Cybern., 2012

Game Theory and Genetic Algorithm Based Approach for Self Positioning of Autonomous Nodes.
Ad Hoc Sens. Wirel. Networks, 2012

Particle swarm optimization based topology control mechanism for holonomic unmanned vehicles operating in three-dimensional space.
Proceedings of the 35th IEEE Sarnoff Symposium 2012, Newark, NJ, USA, May 21-22, 2012, 2012

Metrics for performance evaluation of self-positioning autonomous MANET nodes.
Proceedings of the 35th IEEE Sarnoff Symposium 2012, Newark, NJ, USA, May 21-22, 2012, 2012

Markov chain model for differential evolution based topology control in MANETs.
Proceedings of the 35th IEEE Sarnoff Symposium 2012, Newark, NJ, USA, May 21-22, 2012, 2012

Bio-inspired and Voronoi-based algorithms for self-positioning autonomous mobile nodes.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Fault tolerant bio-inspired topology control mechanism for autonomous mobile node distribution in MANETs.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Performance evaluation of differential evolution based topology control method for autonomous MANET nodes.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

A Bio-inspired Approach to Self-organization of Mobile Nodes in Real-Time Mobile Ad Hoc Network Applications.
Proceedings of the Variants of Evolutionary Algorithms for Real-World Applications, 2012

2011
A bio-inspired approach combining genetic algorithms and game theory for dispersal of autonomous manet nodes.
Proceedings of the MILCOM 2011, 2011

Genetic algorithms for self-spreading autonomous and holonomic unmanned vehicles in a three-dimensional space.
Proceedings of the MILCOM 2011, 2011

2010
Design of genetic algorithms for topology control of unmanned vehicles.
Int. J. Appl. Decis. Sci., 2010

Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs.
Proceedings of the Applications of Evolutionary Computation, 2010

2009
Fault masking by multiple timing faults in timed EFSM models.
Comput. Networks, 2009

Bio-inspired topology control for knowledge sharing mobile agents.
Ad Hoc Networks, 2009

Testbed for Node Communication in MANETs to Uniformly Cover Unknown Geographical Terrain Using Genetic Algorithms.
Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, 2009

2008
On stability analysis of virtual backbone in mobile ad hoc networks.
Wirel. Networks, 2008

Fault Modeling and Detection Capabilities for EFSM Models.
IEEE Trans. Instrum. Meas., 2008

Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.
IEEE Trans. Computers, 2008

A real-time integrated transport/communication/database architecture to support traffic simulation.
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

Comparative Evaluation of Genetic Algorithms for Force-Based Self-Deployment of Mobile Agents in Manets.
Proceedings of the 2008 International Conference on Genetic and Evolutionary Methods, 2008

Testbed Implementation of Genetic Algorithms for Self Spreading Nodes in MANETs.
Proceedings of the 2008 International Conference on Genetic and Evolutionary Methods, 2008

Genetic algorithms for self-spreading nodes in MANETs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007
Testbed Experiments of Dynamic Survivable Resource Pooling Using FPGA-Based Robot.
Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, 2007

Network Planning for Multicast Using Partitioned Virtual User Domains.
Proceedings of the Real-Time Mobile Multimedia Services, 2007

Uniform Manet Node Distribution for Mobile Agents Using Genetic Algorithms.
Proceedings of the 2007 International Conference on Genetic and Evolutionary Methods, 2007

Specification of Timed EFSM Fault Models in SDL.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs.
Proceedings of the International Conference on Artificial Intelligence and Pattern Recognition, 2007

2006
Performance evaluation of subflow capable SCTP.
Comput. Commun., 2006

Throughput models for SCTP with parallel subflows.
Comput. Networks, 2006

2005
Testing industrall VoIP implementations: registration for SIP phones.
Proceedings of the 4th IEEE Conference on Standardization and Innovation in Information Technology (SIIT 2005), 2005

Timing Fault Models for Systems with Multiple Timers.
Proceedings of the Testing of Communicating Systems, 2005

Random-walk based analysis of virtual backbone in manets.
Proceedings of the Third IASTED International Conference on Communications and Computer Networks, 2005

2004
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.
IEEE Trans. Computers, 2004

Evaluation of architectures for reliable server pooling in wired and wireless environments.
IEEE J. Sel. Areas Commun., 2004

Preferential treatment of SCTP subflows: analysis and simulation.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

Dynamic survivable resource pooling in mobile ad-hoc networks.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

2003
A technique to generate feasible tests for communications systems with multiple timers.
IEEE/ACM Trans. Netw., 2003

Experience in developing and testing network protocol software using FDTs.
Inf. Softw. Technol., 2003

Performance Study of Reliable Server Pooling.
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 2003

Reliable Server Pooling in Highly Mobile Wireless Networks.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2000
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220.
Comput. Commun., 2000

Conformance testing in systems with semicontrollable interfaces.
Ann. des Télécommunications, 2000

Test Generation in the Presence of Conflicting Timers.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Generation of Feasible Test Sequences for EFSM Models.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999
Testing protocols modeled as FSMs with timing parameters.
Comput. Networks, 1999

1998
Dual-State Augmentation for Minimizing Conformance Test Costs.
Comput. Networks, 1998

Issues in conformance testing: multiple semicontrollable interfaces.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1994
Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System.
J. Parallel Distributed Comput., 1994

1993
Conformance Testing of Protocols Specified as Communicating FSMs.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

1991
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours.
IEEE Trans. Commun., 1991

Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation.
Comput. Networks ISDN Syst., 1991

1990
Formal methods for generating protocol conformance test sequences.
Proc. IEEE, 1990

1989
An algorithmic procedure for checking safety properties of protocols.
IEEE Trans. Commun., 1989

An Optimal Test Sequence for the JTAG/IEEE P1149.1 Test Access Port Controller.
Proceedings of the Proceedings International Test Conference 1989, 1989

Fault-tolerant VLSI processor array for the SVD.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

1988
Dynamic Fault Reconfiguration in a Mesh-Connected MIMD Environment.
IEEE Trans. Computers, 1988

1985
Fault Reconfiguration in a Distributed MIMD Environment with a Multiusage Network.
Proceedings of the International Conference on Parallel Processing, 1985

Fault Reconfiguration for the Near Neighbor Problem In a Distributed MIMD Environment.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985


  Loading...