Top Formal Verification Experts
Search thousands of experts from around the world.
Professor, Department of Electrical and Computer Engineering · VCU College of Engineering
Dr. Abdelwahed is a professor in the Department of Electrical and Computer Engineering
Model-integrated Computing Model based Design and Analysis of Cyber-phyiscal Systems Autonomic Computing Formal Verification System Diagnosis and Fault Analysis
Motorola Professor · Florida Atlantic University
Taghi Khoshgoftaar researches computer security and intrusion detection systems.
Computer Security and Intrusion Detection Systems Software Engineering Machine Learning Data Mining Big Data Analytics
Associate Professor, Department of Electrical and Computer Engineering · VCU College of Engineering
Professor Elks' career focuses on maturing and advancing the state of the art in the areas of safety assessment and fault tolerance.
Biologically Inspired Self-Healing Systems Runtime Verification and Monitoring Assessment Methods for Dependable and High Integrity Systems Cyber Physical Systems Human System Interactions in Autonomous Systems