A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Name:Sherif Abdelwahed
Position:Associate Professor
Department
Affiliations:		Electrical and Computer Engineering
Email: sa318@msstate.edu
Office: Simrall 333
Office Phone:(662) 325-6903

Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
Research Interest:

* Autonomic (self-managing) computing systems.
* Model-based design of embedded systems.
* Formal verification of distributed real-time systems.
* System diagnosis and diagnosability analysis.
* Model-integrated computing.

Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38
    Name:Sherif Abdelwahed
    Position:Associate Professor
    Department
    Affiliations:    		Electrical and Computer Engineering
    Email: sa318@msstate.edu
    Office: Simrall 333
    Office Phone:(662) 325-6903

    Biography:Sherif Abdelwahed is an Associate Professor in the Electrical and Computer Engineering Department at Mississippi State University where he teaches and conducts research in the area of computer engineering, with specific interests in embedded systems, self-managing systems, distributed systems, computer architecture, model-integrated computing, and formal verification of digital systems.

    He received his Ph.D in 2002 from the Department of Electrical and Computer Engineering at the University of Toronto under the supervision of Professor W. M. Wonham. Prior to joining Mississippi State University, he was a research assistant professor at the Department of Electrical Engineering and Computer Science and senior research scientist at the Institute for Software Integrated Systems, Vanderbilt University, from 2001-2007. From 2000-2001 he worked as a research scientist with the system diagnosis group at the Rockwell Scientific Company.

    Dr. Abdelwahed has more than 80 publications and is a senior member of the IEEE.
    Research Interest:

    * Autonomic (self-managing) computing systems.
    * Model-based design of embedded systems.
    * Formal verification of distributed real-time systems.
    * System diagnosis and diagnosability analysis.
    * Model-integrated computing.

    Publications:
  • Shi, J., Amgai, R., Abdelwahed, S., Dubey, A., Jia, R., & Humphreys, J. (Nov 2012). Generic Modeling and Analysis Environment Design for Shipboard Power System. 3rd and 4th MARINELIVE Workshops, Athens, Greece.
  • Chen, Q., Abdelwahed, S., & Erradi, A. (Nov 2012). An Autonomic Detection and Protection System for Denial of Service Attack. The 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2012), Las Vegas, NV.
  • Amgai, R., Shi, J., & Abdelwahed, S. (Sep 2012). Lookahead Control Based Framework for Power System Application. The North American Power Symposium (NAPS 2012), IL.
  • Jia, R., Abdelwahed, S., Erradi, A., Hadjidj, R., & Ali, A. (Sep 2012). A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems. The 7th International Workshop on Feedback Computing in conjunction with ICAC 2012, San Jose, CA.
  • Fu, Y., Yeleti, S., Abdelwahed, S., & Grzybowski, S. (Sep 2012). Optimal Operation of Multi-Terminal VSC Based MVDC Power Distribution Systems. 2012 International Conference on High Voltage Engineering and Application (ICHVE 2012), Shanghai, China.
    • Total Publications by this Author: 38