Uncovering the Potential of Indoor Localization: Role of Deep and Transfer Learning
Kerdjidj, Oussama, Himeur, Yassine, Sohail, Shahab Saquib, Amira, Abbes, Fadli, Fodil, Atalla, Shadi, Mansoor, W., Copiaco, Abigail, Gawanmeh, Amjad, Miniaoui, Sami, Dawoud, Diana W.
Published in IEEE access (2024)
Published in IEEE access (2024)
Get full text
Journal Article
Assertion based verification of PSL for SystemC designs
Habibi, A., Gawanmeh, A., Tahar, S.
Published in 2004 International Symposium on System-on-Chip, 2004. Proceedings (2004)
Published in 2004 International Symposium on System-on-Chip, 2004. Proceedings (2004)
Get full text
Conference Proceeding
Formal verification of ASM designs using the MDG tool
Gawanmeh, A., Tahar, S., Winter, K.
Published in First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings (2003)
Published in First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings (2003)
Get full text
Conference Proceeding
An axiomatic model for formal specification requirements of ubiquitous healthcare systems
Gawanmeh, A.
Published in 2013 IEEE 10th Consumer Communications and Networking Conference (CCNC) (01.01.2013)
Published in 2013 IEEE 10th Consumer Communications and Networking Conference (CCNC) (01.01.2013)
Get full text
Conference Proceeding
Modeling and verification of firewall configurations using domain restriction method
Gawanmeh, A., Tahar, S.
Published in 2011 International Conference for Internet Technology and Secured Transactions (01.12.2011)
Get full text
Published in 2011 International Conference for Internet Technology and Secured Transactions (01.12.2011)
Conference Proceeding
First-order theorem proving based verification of the PCI-X bus architecture
Gawanmeh, A
Published in 2011 International Conference on Innovations in Information Technology (01.04.2011)
Published in 2011 International Conference on Innovations in Information Technology (01.04.2011)
Get full text
Conference Proceeding
Traffic Shaping and Delay Optimization in Demand Side Management
AlAdwani, A. M., Gawanmeh, A., Nicolas, S.
Published in 2013 UKSim 15th International Conference on Computer Modelling and Simulation (01.04.2013)
Published in 2013 UKSim 15th International Conference on Computer Modelling and Simulation (01.04.2013)
Get full text
Conference Proceeding
A Demand Side Management Traffic Shaping and Scheduling Algorithm
AlAdwani, A. M., Gawanmeh, A., Nicolas, Sebastien
Published in 2012 Sixth Asia Modelling Symposium (01.05.2012)
Published in 2012 Sixth Asia Modelling Symposium (01.05.2012)
Get full text
Conference Proceeding
Formal error analysis and verification of a frequency domain equalizer
Souari, A., Tahar, S., Gawanmeh, A.
Published in 10th IEEE International NEWCAS Conference (01.06.2012)
Published in 10th IEEE International NEWCAS Conference (01.06.2012)
Get full text
Conference Proceeding
Formal modeling and verification of DLK protocol
Al-Hamadi, H. M. N., Yeun, C. Y., Zemerly, M. J., Al-Qutayri, M. A., Gawanmeh, A.
Published in 2011 International Conference for Internet Technology and Secured Transactions (01.12.2011)
Get full text
Published in 2011 International Conference for Internet Technology and Secured Transactions (01.12.2011)
Conference Proceeding
Rank Theorems for Forward Secrecy in Group Key Management Protocols
Gawanmeh, A., Tahar, S.
Published in 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) (01.05.2007)
Published in 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) (01.05.2007)
Get full text
Conference Proceeding
Event-B based invariant checking of secrecy in group key protocols
Gawanmeh, A., Tahar, S., Ayed, L.
Published in 2008 33rd IEEE Conference on Local Computer Networks (LCN) (01.10.2008)
Published in 2008 33rd IEEE Conference on Local Computer Networks (LCN) (01.10.2008)
Get full text
Conference Proceeding
Embedding and Verification of PSL using ASM
Gawanmeh, A., Tahar, S., Habibi, A.
Published in 2006 6th International Workshop on System on Chip for Real Time Applications (01.12.2006)
Published in 2006 6th International Workshop on System on Chip for Real Time Applications (01.12.2006)
Get full text
Conference Proceeding