According to our database1, Luay Alawneh
Legend:Book In proceedings Article PhD thesis Other
A framework for the recovery and visualization of system availability scenarios from execution traces.
Information & Software Technology, 2018
ACCRS: autonomic based cloud computing resource scaling.
Cluster Computing, 2017
An Automated Change Impact Analysis Approach to GRL Models.
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017
Segmenting large traces of inter-process communication with a focus on high performance computing systems.
Journal of Systems and Software, 2016
Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015
A contextual approach for effective recovery of inter-process communication patterns from HPC traces.
Proceedings of the 2014 Software Evolution Week, 2014
Stratified sampling of execution traces: Execution phases serving as strata.
Sci. Comput. Program., 2013
Identifying computational phases from inter-process communication traces of HPC applications.
Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012
An exchange format for representing dynamic information generated from High Performance Computing applications.
Future Generation Comp. Syst., 2011
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011
Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.
Springer, ISBN: 978-3-642-15227-6, 2010
Synergistic verification and validation of systems and software engineering models.
Int. J. General Systems, 2009
Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem.
Proceedings of the Ninth International Conference on Quality Software, 2009
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models.
Proceedings of the IASTED International Conference on Software Engineering, 2006
A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006
On the verification and validation of uml structural and behavioral diagrams.
Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006