Amjad Gawanmeh
Associate Professor
Department of Electronical and Computer Engineering
Khalifa University
United Arab Emirates
Biography
"Dr. Amjad Gawanmeh completed his Ph.D., Electrical and Computer Engineering, Concordia University (CAN), 2008. Presently he is the Assistant Professor in department of Computer and Software Engineering. His teaching interests are Computer Networks and Network Management Programming using C++ and JAVA. "
Research Interest
Formal methods., Verification and Testing of hardware systems., Formal Verification of security protocols., Modeling and verification of WSN., Verification of firewalls.
Publications
-
Gawanmeh, Amjad. "An axiomatic model for formal specification requirements of ubiquitous healthcare systems." In Consumer Communications and Networking Conference (CCNC), 2013 IEEE, pp. 898-902. IEEE, 2013.
-
Gawanmeh, A. (2013, January). An axiomatic model for formal specification requirements of ubiquitous healthcare systems. In Consumer Communications and Networking Conference (CCNC), 2013 IEEE (pp. 898-902). IEEE.
-
Gawanmeh, Amjad. "An axiomatic model for formal specification requirements of ubiquitous healthcare systems."Â Consumer Communications and Networking Conference (CCNC), 2013 IEEE. IEEE, 2013.
