Amjad Gawanmeh, SMIEEE
Amjad Gawanmeh, SMIEEE
kustar.ac.ae üzerinde doğrulanmış e-posta adresine sahip
BaşlıkAlıntı yapanlarYıl
Modeling the trajectory of microparticles subjected to dielectrophoresis in a microfluidic device for field flow fractionation
B Mathew, A Alazzam, M Abutayeh, A Gawanmeh, S Khashan
Chemical Engineering Science 138, 266-280, 2015
302015
The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited
JN Al-Karaki, A Gawanmeh
IEEE Access 5 (1), 18051-18065, 2017
282017
Reliability Analysis of Healthcare Information Systems: State of the Art and Future Directions
A Gawanmeh, H Al-Hamadi, M Al-Qutayri, SK Chin, K Saleem
2015 17th International Conference on E-health Networking, Application …, 2015
252015
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
222003
A verification methodology for a wireless body sensor network functionality
H Al Hamadi, A Gawanmeh, M Al-Qutayri
IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI …, 2014
192014
Enabling SystemC Verification using Abstract State Machines.
A Gawanmeh, A Habibi, S Tahar
FDL, 649-661, 2004
192004
An executable operational semantics for SystemC using Abstract State Machines
A Gawanmeh, A Habibi, S Tahar
Technical report, Department of Electrical and Computer Engineering …, 2004
172004
Theorem proving verification of privacy in WBSN for healthcare systems
HMN Al Hamadi, A Gawanmeh, MA Al-Qutayri
2013 IEEE 20th International Conference on Electronics, Circuits, and …, 2013
152013
Assertion based verification of PSL for SystemC designs
A Habibi, A Gawanmeh, S Tahar
2004 International Symposium on System-on-Chip, 2004. Proceedings., 177-180, 2004
152004
Efficient low cost supervisory system for Internet of Things enabled smart home
MS Kamal, S Parvin, K Saleem, H Al-Hamadi, A Gawanmeh
Communications (ICC Workshops), 2017 IEEE International Conference on, 864-869, 2017
142017
Formalizing electrocardiogram (ECG) signal behavior in Event-B
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
142014
An axiomatic model for formal specification requirements of ubiquitous healthcare systems
A Gawanmeh
2013 IEEE 10th Consumer Communications and Networking Conference (CCNC), 898-902, 2013
142013
Embedding and verification of ZigBee protocol stack in Event-B
A Gawanmeh
Procedia Computer Science 5, 736-741, 2011
142011
Formal Reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM
U Pervez, A Mahmood, O Hasan, K Latif, A Gawanmeh
2015 17th International Conference on E-health Networking, Application …, 2015
132015
Formal reliability analysis of a typical fhir standard based e-health system using prism
U Pervez, O Hasan, K Latif, S Tahar, A Gawanmeh, MS Hamdi
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
132014
Formal validation of QRS wave within ECG
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2015 International Conference on Information and Communication Technology …, 2015
122015
Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems
A Gawanmeh, A Alomari
Scalable Computing: Practice and Experience 16 (3), 321-332, 2015
112015
Modeling and verification of firewall configurations using domain restriction method
A Gawanmeh, S Tahar
2011 International Conference for Internet Technology and Secured …, 2011
112011
Rank functions based inference system for group key management protocols verification
A Gawanmeh, A Bouhoula, S Tahar
International Journal of Network Security 8 (2), 187-198, 2009
112009
Automatic verification of security policies in firewalls with dynamic rule sequence
A Gawanmeh
2014 11th International Conference on Information Technology: New …, 2014
92014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20