Conference
ConferenceDateTitleAuthorsInventor
Unifying sequenced and non-sequenced semanticsCE Dyreson, VA Rani, A Shatnawi----
Modeling Personal Identifiable Information using First-Order LogicAmani Shatnawi, Stephen Clyde----
Integrating data-driven security, model checking, and self-adaptation for IoT systems using BIP components: A conceptual proposal modelAlsobeh, Anas and Shatnawi, AmaniInternational Conference on Advances in Computing ResearchSpringer Nature Switzerland Cham