Atef Mohamed
QRST Group, School of computing, Queen's University
Kingston, Ontario, Canada
Ain Shams University- Cairo - Egypt Ain Shams University- Thunder Bay - Ontario - Canada Queen's University- Kingston - Ontario - Canada
Home Research Publications Teaching Resume Pictures Links Contact me

Research interest
_________________________

Contemporary software systems aim to efficiently provide more rigorous functionalities using more sophisticated architectures. The integration among software enterprises and their continuous spread across the Web infrastructures overlapped and diversified the execution behavior intricacies of these software technologies. Software quality research and practices are striving to keep pace with the technology transitions of these systems. Reliability (the continuity of correct service) is the first of five important software quality characteristics defined by the Consortium for IT Software Quality (CISQ). Depending on the software role in every day’s life, the cost of unreliable software can sometimes be unaffordable. Strenuous efforts are needed for reconstructing reliability mechanisms to suit these systems from the traditional reliability theory. My research focuses on the dependability (reliability and other quality attributes) of contemporary software systems by addressing the complexity and diversity aspects of their architectures and execution behaviors. Briefly, these aspects are multi-mode failure behavior, intricate control flow structures, architectural diversities, Web integration, and concurrent execution. My goals involve ensuring system dependability, software resiliency, and structural solidity. My research sprawls across a number of areas including software dependability analysis, reliable architectural design, fault tolerance, error detection and system monitoring, program analysis and compilation, software architectures, and component-based systems. My main methodologies include static and dynamic analysis, experimental analysis, statistical analysis, and mathematical modeling. My research is highly influenced by the new software technology transitions with respect to their impacts on the architectural complexity and execution intricacy. The practical implications of my work involve understanding the dynamic behavior and ensuring the dependability of contemporary software systems. My research provides software researchers and practitioners the skills needed to assess and achieve reliable software technologies.