1. A Hybrid Approach for Mathematical Representation of Parallel Design;2024 5th International Conference for Emerging Technology (INCET);2024-05-24
2. Design Patterns Formal Composition and Analysis;International Journal of Information Technologies and Systems Approach;2019-07
3. Formalising Middleware Systems: A Design Pattern-Based Approach;2013 IEEE 37th Annual Computer Software and Applications Conference;2013-07
4. Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns;Innovations and Advances in Computer Sciences and Engineering;2010