Calendar

Dr. Amjad Gawanmeh

Dr. Amjad Gawanmeh

Assistant Professor, Computer and Software Engineering

Address: Sharjah , UAE, P.O. Box: 573

Telephone: +971-(06)-597 8819

Fax: +971-(06)-561-1789

Email: 

CV

  • Ph.D., Electrical and Computer Engineering, Concordia University (CAN), 2008
  • M.Sc., Electrical and Computer Engineering, Concordia University (CAN), 2003
  • B.Sc., Electrical and Computer Engineering, Jordan University of Science and Technology (JOR), 1998
  • Computer Networks and Network Management
  • Programming using C++ and JAVA.
  • Algorithms and Data Structures.
  • Object Oriented Programming.
  • Digital Systems and Logic Design
  • Computer Organization.
  • Computer Security.
  • Formal methods.
  • Verification and Testing of hardware systems.
  • Formal Verification of security protocols.
  • Modeling and verification of WSN.
  • Verification of firewalls.

Google Scholar  Scopus

  • Amjad Gawanmeh, and Ahmad Alomari. Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems. Scalable Computing: Practice and Experience Journal. To appear, September 2015.
  • Anas Alazzam, Bobby Mathew, Mohammad Abutayeh, Amjad Gawanmeh. Modeling the Trajectory of Microparticles Subjected to Dielectrophoresis in a Microfluidic Device for Field Flow Fractionation. Chemical Engineering Science, Elsevier, Submitted December 2014, accepted, May 2015.
  • Amjad Gawanmeh, Anas Alazzam, Bobby Mathew, Mohammad Abutayeh and Hyung Jin Sung. Formalizing the Movement of Microparticles in a Continuous Flow Microfluidic Device for Field Flow Fractionation, 2015 IEEE 17th International Conference on e-Health Networking, Applications and Services - Reliability of eHealth Information Systems (Healthcom-ReHIS-2015). Boston, USA, October 2015, to appear.
  • Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, and Amjad Gawanmeh. Formal Reliability Analysis of Device Interoperability Middleware (DIM) based E-Health System using PRISM. 2015 IEEE 17th International Conference on e-Health Networking, Applications and Services - Reliability of eHealth Information Systems (Healthcom-ReHIS-2015). Boston, USA, October 2015, to appear.
  • Hussam Al Hamadi, Amjad Gawanmeh, and Mahmoud Al-Qutayri. Formal Validation of QRS Wave within ECG. Proc. 2015 International Conference on Information and Communication Technology Research (ICTRC). Abu Dhabbi, UAE, May 2015. pp 187-190. IEEE Press.
  • Anis Souari, Amjad Gawanmeh, Sofiene Tahar, and Mohamed Lassaad. Design and Verification of a Frequency Domain Equalizer. The Microelectronics Journal, Elsevier publisher. February, 2014, pp. 167-178.
  • Amjad Gawanmeh. Optimizing Lifetime of Homogeneous Wireless Sensor Networks for Vehicular Monitoring. In Proc. International Conference on Connected Vehicles & Expo. Vienna, Austria,November 2014, pp 976-981. IEEE Press.
  • Amjad Gawanmeh, Moh'd Alwadi, and Ashraf Ghawanmeh. Validating Connected Vehicles Architecture. In Proc. International Conference on Connected Vehicles & Expo. Vienna, Austria,November 2014, pp 941-942. IEEE Press.
  • Amjad Gawanmeh, Moh'd Alwadi, and Ashraf Ghawanmeh. Understanding Traffic: Towards a Smart Traffic Control Architecture. In Proc. International Conference on Connected Vehicles & Expo. Vienna, Austria,November 2014, pp 861-862. IEEE Press.
  • Hussam Al Hamadi, Amjad Gawanmeh, and Mahmoud Al-Qutayri. Formalizing Electrocardiogram (ECG) Signal Behavior in Event-B. Proc. 16th International Conference on E-health Networking, Application & Services, IEEE Healthcom 2014. Natal Brazil, October 2014. pp 55-60. IEEE Press.
  • Usman Pervez, Osman Hasan, Khalid Latif, Sofiene Tahar, Amjad Gawanmeh, Muhammad Hamdi. Formal Reliability Analysis of a Typical FHIR Standard based E-Health System using PRISM. Proc. 16th International Conference on E-health Networking, Application & Services, IEEE Healthcom 2014. Natal, Brazil, October 2014. pp 43-48. IEEE Press.
  • Hussam Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri. A Verification Methodology for Wireless Body Sensor Network Functionality. Proc. IEEE-EMBS International Conferences on Biomedical and Health Informatics. Valencia, Spain, June 2014. pp 635-639. IEEE Press.
  • Amjad Gawanmeh and Sofiene Tahar. Real Time Verification of Firewalls with Dynamic Rulebase Update. Proc. IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2014. Toronto, Canada. May 2014, pp 276-281. IEEE Press.
  • Anis Souari, Mohamed L. Ammari, Amjad Gawanmeh, and Sofiene Tahar. Performance Evaluation of Time and Frequency Domain Equalizers. Proc. IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2014. Toronto, Canada. May 2014, pp 1213-1218. IEEE Press.
  • Amjad Gawanmeh. Automatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence. In Proc. International Conference on Information Technology New Generations: Security and Privacy in Next Generation Networks. April 2014, pp 279-284. IEEE Computer Society Press.
  • Hussam  AlHamadi, Amjad Gawanmeh,  Mahmoud Al-Qutayri. Theorem proving verification of privacy in WBSN for healthcare systems. Proc. IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013. pp 100-101.  IEEE Press.
  • Aladawani, A. Gawanmeh and S. Nicolas. Traffic Shaping and Delay Optimization in Demand Side Management. In Proc. International Conference on Modeling and Simulation (UKSim 2013), Cambridge, UK. April 2013, pp 722 – 727. IEEE Computer Society Press.
  • Amjad Gawanmeh, and Sofiene Tahar.  Formal Verification of Firewall Configuration Rules. Secure Abu Dhabi Conference, March 2013, Abu Dhabi UAE. pp. 12-14.
  • Amjad Gawanmeh. An Axiomatic Model for Formal Specification Requirements of Ubiquitous Healthcare Systems. IEEE Consumer Communications and Networking Conference (CCNC'2013), Las Vegas, USA, January 2013, pp 898-902. IEEE Press.
  • A. Gawanmeh and S. Tahar. Domain Restriction based Formal Model for Firewall Configurations. International Journal for Information Security Research, Infonomics Society, Vol. 2, No. 1-2, March 2012, pp. 294-302.
  • H. Al-Hamadi, C. Y. Yeun, M. J. Zemerly, M. Al-Qutayri and A. Gawanmeh, Verifying Mutual Authentication for the DLK Protocol using ProVerif Tool. International Journal for Information Security Research, Infonomics Society, Vol. 2, No. 1-2, March 2012, pp. 256-265.
  • Amjad Gawanmeh, Leila Jemni Ben Ayed, and Sofiene Tahar. Formal Verification of Secrecy in Group Key Protocols using Event-B. International Journal of Communications, Network and System Sciences, Scientific Research Publishing. Vol. 5, No. 3, March 2012, pp. 165-177.
  • Anis Souari, Amjad Gawanmeh, and Sofiene Tahar. Formal Error Analysis and Verification of a Frequency Domain Equalizer. Proc. IEEE International Northeast Circuits and Systems Conference (NEWCAS 2012), Montreal, Quebec, Canada, June 2012, pp. 189-192.
  • A. Aladawani, A. Gawanmeh and S. Nicolas. Demand Side Management Traffic Shaping and Scheduling Algorithm. In Proc. Asia Modelling Symposium 2012, AMS 2012. Bali, Indonesia. May 2012, pp 205-210. IEEE Computer Society Press.
  • A. Gawanmeh and S. Tahar. A Novel Algorithm for Detecting Conflicts in Firewall Rules. Proc. 25th  IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012. Montreal, Quebec. May 2012, pp 1-4. IEEE Computer Society Press.
  • A. Gawanmeh and S. Tahar. Modeling and Verification of Firewall Configurations Using Domain Restriction Method. Proc. 6th International Conference on Internet Technology and Secured Transactions. Abu Dhabi, UAE. December 2011, pp 642-647. IEEE Computer Society Press.
  • H. Al-Hamadi, C. Y. Yeun, M. J. Zemerly, M. Al-Qutayri and A. Gawanmeh, Formal Modeling and Verification of DLK Protocol. Proc. 6th International Conference on Internet Technology and Secured Transactions. Abu Dhabi, UAE. December 2011, pp 578-583. IEEE Computer Society Press.
  • A. Gawanmeh. Embedding and Verification of ZigBee Protocol Stack in Event-B. International Symposium on Frontiers in Ambient and Mobile Systems. Niagara Falls, Canada, September 2011, pp. Pages 736-741. Procedia Computer Science, Elsevier Publisher.
  • A. Gawanmeh.  First-order Theorem Proving Based Verification of the PCI-X Bus Architecture. Proc. Innovations in Information Technology. Abu Dhabi, UAE. April 2011, pp 336-341. IEEE Computer Society Press. (Best paper award).
  • A. Gawanmeh, A. Bouhoula, and S. Tahar: Rank Functions based Inference System for Group Key Management Protocols Verification; International Journal of Network Security, Science Publications, Vol. 8, No. 2, March 2009,  pp. 207-218.
  • A. Gawanmeh, S. Tahar, and K. Winter: Formal Verification of ASMs using MDGs; Journal of Systems Architecture, Vol. 54, No. 1-2, Elsevier B.V. Pub., January-February, 2008, pp. 15-34.
  • A. Gawanmeh, L. J. Ben Ayed., and S. Tahar: Event-B based Invariant Checking of Secrecy in Group Key Protocols; Proc. IEEE Local Computer Networks. Montreal, Quebec, Canada. October 2008, pp. 950-957. IEEE Computer Society Press.
  • A. Gawanmeh: Theorem Proving Based Framework for Verification of Group Key Protocols. Proc. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'08),Montreal, Quebec, Canada, August 2008, pp. 9-20.
  • A. Gawanmeh, S. Tahar, H. Moinudeen, and A. Habibi: A Design for Verification Approach using an Embedding of PSL in AsmL; Journal of Circuits, Systems, and Computers, Vol. 16, No. 6, World Scientific Publishing, December 2007, pp. 859 – 881.
  • Gawanmeh and S. Tahar: Rank Theorems for Forward Secrecy in Group Key Management Protocols. Invited paper at the IEEE Symposium on Frontiers in Networking with Applications (AINAW 2007). Niagara Falls, Canada, May 2007, pp. 18-23. IEEE Computer Society Press.
  • A. Gawanmeh, A. Habibi, and S. Tahar: Embedding and Verification of PSL using ASM; Proc. IEEE International Workshop on System on Chip (IWSOC'06), Cairo, Egypt, December 2006, pp. 125-130. IEEE Computer Society Press.
  • A. Gawanmeh, A. Habibi, and S. Tahar: Embedding and Verification of PSL using ASM; Proc. International Conference on Abstract State Machines (ASM'05), Paris, France, March 2005, pp. 201-215. University of Paris.
  • A. Habibi, A. Gawanmeh and S. Tahar: Assertion Based Verification of PSL for SystemC Designs; Proc. IEEE International Symposium on System-on-Chip (SOC'04), Tampere, Finland, November 2004, pp. 177-180. IEEE Computer Society Press.
  • A. Gawanmeh, A. Habibi and S. Tahar: Enabling SystemC Verification using Abstract State Machines; Proc. Languages for Formal Specification and Verification, Forum on Specification & Design Languages, Lille, France, Sep 2004, pp 649-661, ECSI publications.
  • A. Gawanmeh, S. Tahar, and K. Winter: Formal Verification of ASM Designs using the MDG Tool; Proc. IEEE International Conference on Software Engineering and Formal Methods (SEFM’03), Brisbane, Australia,  September 2003, pp. 210-219, IEEE Computer Society Press.
  • A. Gawanmeh, S. Tahar and K. Winter: Interfacing ASMs with the MDG Tool; In Proc. Abstract State Machines - Advances in Theory and Applications, Taormina, Italy, March 2003, pp. 278-292,  Lecture Notes in Computer Science (LNCS) vol.  2589, Springer-Verlag.