19 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 19 cited
OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
Anas AlSobeh
In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes…
cs.SI2024★ 11 cited
The Repercussions of the COVID-19 Pandemic on Higher Education and its implications for Syrian Refugees Students (An Analytical Descriptive Study)
Anas Alsobeh, Ahlam Aloudat
This study aims to reveal the most important challenges and difficulties that refugee students faced in Jordanian universities (e.g., Yarmouk University, AL Al-Bayt, and the Privat…