E-learning in higher education is exponentially increased during the past decade due to its
inevitable benefits in critical situations like natural disasters (eg COVID-19 pandemic etc.) …

The devastating impacts of Coronavirus disease 2019 (COVID-19) have converted higher
education around the world into online education. Online exams can be recognized as the …

Fault injections are increasingly used to attack/test secure applications. In this paper, we
define formal models of runtime monitors that can detect fault injections that result in test …

Electronic examination serves as an efficient method for assessing learning outcomes, yet
the integration of computers into exam processes introduces potential for unreliability. In this …

Online systems face a major challenge in efficiently monitoring participants and students
throughout lectures, particularly during exams. Establishing robust approaches and …

Cheating in exams is a practice as old as exams themselves. Institutions and examiners
have learned to mitigate traditional ways of cheating, such as the use of crib notes. Yet, the …

Online systems face a major challenge in efficiently monitoring participants and students
throughout lectures, particularly during exams. Establishing robust approaches and …

Runtime verification (RV) consists of a broad collection of light-weight scalable analysis
techniques to verify and to guarantee at runtime important properties such as correctness …

The research aims to identify the trends of the research sample members of the students and
the employees who took the electronic exams in universities about the relationship between …

Monitoring for component-based systems. I am also interested in defining runtime
verification and enforcement for component-based systems (CBSs). CBSs consist of existing …