Software Engineering

Software Engineering is a professional journal in the field of software engineering and application. The goal of this journal is to provide an international platform for engineers and academicians all over the world to promote, share, and discuss various new issues and development in the field of software engineering. This journal aims to encourage deeper understanding and greater effectiveness in the theory analysis and engineering application relevant to software engineering fields.

Farooq Ahmad

Editorial Board Member of Software Engineering

Associate Professor, Department of Computer Science, COMSATS University, Pakistan

Research Areas

Petri net Theory and Applications, Formal Methods, Software Engineering

Education

Ph.DComputer Science and Technology from Harbin Institute of Technology, China
M. Phil. Statistical data analysis from GC University Lahore, Pakistan
M. ScStatistics from Institute of Statistics University of the Punjab, Lahore Pakistan

Experience

2011-presentMember executive committee of IEEE computer society Lahore Section
2010-presentAssociate Professor in Faculty of IT University of Central Punjab, Lahore Pakistan
2010-2011Dean Faculty of Information Technology University of Central Punjab, Lahore Pakistan

Membership

Member executive committee of IEEE computer society Lahore Section since March 2011 to date
Senior member of organization IACSIT Singapore

Publications: Conferences/Workshops/Symposiums/Journals/Books

[1]  Farooq Ahmad, H. J. Huang, and X. L. Wang. Analysis of the Petri net model of parallel manufacturing processes with shared resources. Information Sciences, 181 (2011) 5249-5266, Elsevier Science Publishers.
[2]  Farooq Ahmad, H. J. Huang, and X. L. Wang. Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources. Journal of Systems and Software, vol. 83(4), pp. 675-688, 2010. Elsevier Science Publishers.
[3]  Farooq Ahmad, H. J. Huang, and X. L. Wang. Analysis of parallel manufacturing processes with resource sharing. International Journal of Computer Theory and Engineering, vol 2 (2), pp. 250-257, 2010. IACSIT press, Singapore.
[4]  Sher Afzal Khan, Nazir Ahmad Zafar and Farooq Ahmad. Petri Net Modeling of Railway Crossing System using Fuzzy Brakes, International Journal of Phsical Sciences, Vol. 6(14), pp. 3389-3397, 2011.
[5]  Sher Afzal Khan, Nazir Ahmad Zafar and Farooq Ahmad. Extending Promotion to Operate Controller based on Train's Operation. Accepted in International Journal of Phsical Sciences (will be published in November 2011).
[6]  Frooq Ahmad, H. J. Huang, and X. L. Wang. A technique for reachability graph generation for the Petri net models of parallel processes. International Journal of Computer Science and Engineering, 3(1): 57-61, 2009. World Academy of Science, Engineering and Technology.
[7]  Farooq Ahmad, H. J. Huang, and X. L. Wang. Analysis of the structure properties of Petri nets using transition vectors. Information Technology Journal, 7: 285-291, 2008.
[8]  S. Islam, C. Y. Zhou, and Farooq Ahmad. Numerical Simulations of Cross-Flow around Four Square Cylinders in an In-Line Rectangular Configuration. International Journal of mathematical, Physical and Engineering Sciences, World Academy of Science, Engineering and Technology.