Journal Articles

2016

Near Duplicates Detection in Reuse of Software Documentation
DV Luciv, DV Koznov, HA Basit, AN Terekhov
Programming and Computer Software 42(4), 2016. Accepted for publication

2014

Integrating renewables economic dispatch with demand side management in micro-grids: a genetic algorithm-based approach
A Arif, F Javed, N Arshad
Energy Efficiency 7 (2), 271-284, 01 April 2014
An empirical investigation of VI trajectory based load signatures for non-intrusive load monitoring
T Hassan, F Javed, N Arshad
IEEE, 1-9, 14 February 2014
Home energy management system using NILM and low-cost HAN
Q Khalid, N Arshad, N Khan, T Hassan, F Javed, J Ikram
Journal of Electronic Science and Technology 1, 004, 2014

2013

A highly configurable simulator for assessing energy usage
N Arshad, U Ali, F Javed
Energy Procedia 42, 308-317, 31 December 2013
Scaling symbolic execution using staged analysis
JH Siddiqui, S Khurshid
Innovations in Systems and Software Engineering 9 (2), 119-131, 26 March 2013
A randomized partitioning approach for CBR based autonomic systems to improve retrieval performance
MJ Khan, MM Awais, S Shamail
The Computer Journal, Oxford University Press 56(2): 175-183 (2013) First published online: 01 February 2013

2012

Ranged model checking
D Funes, JH Siddiqui, S Khurshid
ACM SIGSOFT Software Engineering Notes 37 (6), 01-05 November 2012
Scaling symbolic execution using ranged analysis
JH Siddiqui, S Khurshid
ACM SIGPLAN Notices 47 (10), 523-536, October 2012
Forecasting for demand response in smart grids: An analysis on use of anthropologic and structural data and short term multiple loads forecasting
F Javed, N Arshad, F Wallin, I Vassileva, E Dahlquist
Applied Energy 96, 150-160, 29 March 2012
Priority-Based automated testing of web application
M Ali, S Mushtaq, N Arshad
Proc. IEEE Conference on Communication and Information Technology, 2012

2011

An empirical study of modeling self-management capabilities in autonomic systems using Case-Based reasoning
MJ Khan, MM Awais, S Shamail, I Awan
Simulation Modelling Practice and Theory 19(10): 2256-2275, November 2011
Symbolic execution of Alloy models
JH Siddiqui, S Khurshid
Formal Methods and Software Engineering, 340-355, 26 October 2011
Nomenclature unification of software product measures
ZA Rana, MM Awais, S Shamail
IET Software 5(1): 83-102, 22 February 2011

2010

Improving efficiency of self-configurable autonomic systems using clustered CBR Approach
MJ Khan, MM Awais, S Shamail
IEICE Transactions 93-D(11): 3005-3016, 01 November 2010

2009

A data mining approach for detecting higher-level clones in software
HA Basit, S Jarzabek
Software Engineering, IEEE Transactions on 35 (4), 497-514, 31 July 2009
Teaching programming and problem solving to CS2 students using think-alouds
N Arshad
ACM SIGCSE Bulletin 41 (1), 372-376, 07 May 2009

2007

Deployment and dynamic reconfiguration planning for distributed software systems
N Arshad, D Heimbigner, AL Wolf
Software Quality Journal 15 (3), 265-281, 01 September 2007
Dimensionally reduced krylov subspace model reduction for large scale systems
MM Awais, S Shamail, N Ahmed
Applied Mathematics and Computation 191(1): 21-30, 03 July 2007
Applying fuzzy logic to measure completeness of a conceptual model
T Hussain, MM Awais, S Shamail
Applied Mathematics and Computation 185(2): 1078-1086, 15 February 2007

2006

Generic fault tolerant software architecture: reasoning and customization
L Yuan, JS Dong, J Sun, HA Basit
Reliability, IEEE Transactions on 55 (3), 421-435, 06 September 2006

2005

Beyond Generics: meta-level parameterization for effective generic programming
HA Basit, DC Rajapakse, S Jarzabek
benefits 3, 17, 2005

2004

Determinants of electronic commerce in Pakistan: Preliminary evidence from small and medium enterprises
AH Seyal, MM Awais, S Shamail, A Abbas
Electronic Markets 14(4): 372-387, 2004

Conference/Workshop Papers

2016

Towards a Structural Clone Based Recommender System
S Abid, HA Basit
IWSC’2016, SANER Workshop, Osaka, Japan, 15 March 2016

2015

A survey on goal-oriented visualization of clone data
HA Basit, M Hammad, R Koschke
Software Visualization (VISSOFT), 2015 IEEE 3rd Working Conference on, Bremen, Germany, 46 - 55, 27-28 September 2015
Clone Detection in Reuse of Software Technical Documentation
D Koznov, D Luciv, HA Basit, OE Lieh, M Smirnov
10th Ershov Informatics Conference (PSI ’15), Kazan, Russia, 24-27 August 2015
Reflections on Teaching Refactoring: A Tale of Two Projects
S Abid, HA Basit, N Arshad
ITiCSE '15 Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, Vilnius, Lithuania, 225-230, 04-08 July 2015
Tool Support for Managing Method Clones
HA Basit, HS Khan, F Hamid, I Suhail
Software Clones (IWSC), 2015 IEEE 9th International Workshop, SANER'15 Workshop, Montreal, Canada, 40-46, 6 March 2015
What Do We Need to Know About Clones? Deriving information needs from user goals
HA Basit, M Hammad, S Jarzabek, R Koschke
Software Clones (IWSC), 2015 IEEE 9th International Workshop, SANER'15 Workshop, Montreal, Canada, 51-57, 6 March 2015

2014

Incremental symbolic execution for automated test suite maintenance
S Makhdoom, MA Khan, JH Siddiqui
Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, 271-276, 15 September 2014
SmartDSM: a layered model for development of demand side management in smart grids
F Javed, U Ali, M Nabeel, Q Khalid, N Arshad, J Ikram
Proceedings of the 3rd International Workshop on Software Engineering Challenges for the Smart Grid, 15-20, 01 June 2014
Handling clone mutations in simulink models with VCL
HA Basit, Y Dajsuren
Int. Workshop on Software Clones, IWSC’2014, CSMR Workshop, Antwerp, Belgium, February 2014

2013

Ranger: Parallel analysis of alloy models by range partitioning
N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias
Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference, 147-157, 11-15 November 2013
Identifying association between longer itemsets and software defects
ZA Rana, SA Malik, S Shamail, MM Awais
The 20th International Conference on Neural Information Processing (ICONIP 2013), 03-07 November 2013, Daegu, Korea
Internet voting: A smarter way to vote in Pakistan
U Muneer, S Shamail
7th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2013), 22-25 October 2013, Seoul, Korea

2012

Finding focused itemsets from software defect data
H Zafar, Z Rana, S Shamail, MM Awais
15th IEEE International Multi-topic Conference (INMIC 2012), 13-15 December 2012, Islamabad (Best Paper Award)
Things structural clones tell that simple clones don't
HA Basit, U Ali, S Haque, S Jarzabek
Software Maintenance (ICSM), 2012 28th IEEE International Conference, Trento, Italy, 275-284, 23-28 September 2012
Using association rules to identify similarities between software datasets
S Anwar, Z Rana, S Shamail, MM Awais
8th International Conference on the Quality of Information and Communications Technology, Lisbon, Portugal, 03-06 September 2012
Self-Calibration: Enabling self-management in autonomous systems by preserving model fidelity
F Javed, MT Hassan, KN Junejo, N Arshad, A Karim
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on, 308-317, 18-20 July 2012
Lightweight data-flow analysis for execution-driven constraint solving
JH Siddiqui, D Marinov, S Khurshid
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, 91-100, 17-21 April 2012
Staged symbolic execution
JH Siddiqui, S Khurshid
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1339-1346, 26-30 March 2012

2011

Viewing simple clones from structural clones' perspective
HA Basit, U Ali, S Jarzabek
5th International Workshop on Software Clones, IWSC’2011, ICSE Workshop, Honolulu, USA, 1-6, 01-06 May 2011

2010

Self-Optimizing a Clustering-based Tag Recommender for Social Bookmarking Systems
MT Hassan, A Karim, F Javed, N Arshad
Machine Learning and Applications (ICMLA), 2010 Ninth International Conference on, 601-606, 12-14 December 2010
An adaptive optimization model for power conservation in the smart grid
F Javed, N Arshad, F Wallin, I Vassileva, E Dahlquist
Systems Man and Cybernetics (SMC), 2010 IEEE International Conference on, 1563-1570, 10-13 October 2010
ParSym: Parallel symbolic execution
JH Siddiqui, S Khurshid
Software Technology and Engineering (ICSTE), 2010 2nd International Conference on, V1-405-V1-409, 03-05 October 2010
Software engineering for simulation systems in medical training: some initial experiences
N Arshad, A Akhtar, S Khan
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 100-103, 03 May 2010
Engineering optimization models at runtime for dynamically adaptive systems
F Javed, N Arshad, F Wallin, I Vassileva, E Dahlquist
Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, 253-254, 22-26 March 2010

2009

Optimizing a Structural Constraint Solver for Efficient Software Checking
JH Siddiqui, D Marinov, S Khurshid
Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, 615-619, 16-20 November 2009
A comparison between cadastre 2014 and cadastral systems of different countries
S Manzoor, TA Qureshi, MD Liaqat, MK Farooq, S Shamail
ICEGOV 2009: 293-297 (ACM), 10-13 November 2009
Decision making in autonomic managers using fuzzy inference system
MJ Khan, S Shamail, MM Awais
ICAS 2009: 214-219 (IEEE Computer Society), 10-13 November 2009
Adopt: An adaptive optimization framework for large-scale power distribution systems
F Javed, N Arshad
Self-Adaptive and Self-Organizing Systems, 2009. SASO'09. Third IEEE International Conference on, 254-264, 14-18 September 2009
Survey of frameworks, architectures and techniques in autonomic computing
A Khalid, MA Haye, MJ Khan, S Shamail
ICAS 2009: 220-225 (IEEE Computer Society), 20-25 April 2009
A penny saved is a penny earned: Applying optimization techniques to power management
F Javed, N Arshad
Engineering of Computer Based Systems, 2009. ECBS 2009. 16th Annual IEEE International Conference and Workshop on the, 128-137, 14-16 April 2009
Pkorat: Parallel generation of structurally complex test inputs
JH Siddiqui, S Khurshid
Software Testing Verification and Validation, 2009. ICST'09. International Conference on, 250-259, 01-04 April 2009
A case for structural clones
HA Basit, S Jarzabek
In proceedings 3rd International Workshop on Software Clones (IWSC 09), Kaiserslautern, Germany, 24 March 2009
Intelligent project approval cycle for local government: Case-Based reasoning approach
MK Farooq, MJ Khan, S Shamail, MM Awais
ICEGOV 2009: 68-73 (ACM)

2008

Reference model for devolution in E-Governance
MK Farooq, S Shamail, MM Awais
ICEGOV 2008: 123-129 (ACM) 01–04 December 2008
Query-based filtering and graphical view generation for clone analysis
Y Zhang, HA Basit, S Jarzabek, D Anh, M Low
Software Maintenance, 2008. ICSM 2008. IEEE International Conference on, 376-385, 28 September 2008 - 4 October 2008
Self-Configuration in autonomic systems using clustered CBR approach
MJ Khan, MM Awais, S Shamail
ICAC 2008: 211-212 (IEEE Computer Society), 02-06 June 2008
Enabling self-configuration in autonomic systems using case-based reasoning with improved efficiency
MJ Khan, MM Awais, S Shamail
ICAS 2008: 112-117 (IEEE Computer Society), 16-21 March 2008

2007

Efficient token based clone detection with flexible tokenization
HA Basit, S Jarzabek
Short paper in proceedings 11th European Software Engineering Conference and 15th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press, Dubrovnik, Croatia, 513-516, 03-07 September 2007

2005

Detecting higher-level similarity patterns in programs
HA Basit, S Jarzabek
In proceedings 10th European Software Engineering Conference and 13th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press, September 2005, Lisbon, Portugal, 156-165, 05 September 2005
An empirical study on limits of clone unification using generics
HA Basit, DC Rajapakse, S Jarzabek
In proceedings 17th Int. Conference on Software Engineering and Knowledge Engineering, SEKE'05, Taipei, Taiwan, 109-114, 14 July 2005
A collaboration portal for social enterprises
S Shamail, MM Awais, T Hussain
Web Technologies, Applications, and Services 2005: 13-17, 04–06 July 2005
Dealing with failures during failure recovery of distributed systems
N Arshad, D Heimbigner, AL Wolf
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 04 July 2005
On measuring structural complexity of a conceptual model
T Hussain, S Shamail, MM Awais
Automation, Control, and Information Technology 2005: 71-75, 20–24 June 2005
Beyond templates: a study of clones in the STL and some general implications
HA Basit, DC Rajapakse, S Jarzabek
In proceedings 27th Int. Conf. on Software Engineering, ICSE’05, St. Louis, USA, 451-459, 15 May 2005

2004

A planning based approach to failure recovery in distributed systems
N Arshad, D Heimbigner, AL Wolf
Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, 8-12, 31 October - 01 November 2004
Improving quality in conceptual modeling
S Shamail, T Hussain, MM Awais
OOPSLA Companion 2004: 170-171 (ACM), 24-28 October 2004
Automated dynamic reconfiguration using AI planning
N Arshad
Proceedings of the 19th IEEE international conference on Automated software engineering, 402-405, 15-19 September 2004
Application of concurrent generalized regression neural networks for arabic speech recognition
S Shamail, M Shoaib, MM Awais, S Masud, J Akhtar
Neural Networks and Computational Intelligence 2004: 206-210, 23-25 February 2004
Extending Generics for optimal Reuse
HA Basit, DC Rajapakse, S Jarzabek, S
Poster Presentation at 8th Intl. Conf. on Software Reuse (ICSR'04), Madrid, Spain, 2004

2003

Deployment and dynamic reconfiguration planning for distributed software systems
N Arshad, D Heimbigner, AL Wolf
Tools with Artificial Intelligence, 2003. Proceedings. 15th IEEE International Conference on,39-46, 03-05 November 2003

Books/Book Chapters

2014

Impact of using information gain in software defect prediction models
ZA Rana, M M Awais, S Shamail De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne (Eds.):
Intelligent Computing Theory; pages 637-648- ICIC 2014, Proceedings. Springer LNCS Vol 8588, Taiyuan, China, 03-06 August 2014

2013

Developing E-Government Projects: Frameworks and Methodologies
MK Farooq, S Shamail, MM Awais
In Zaigham Mahmood (Ed.), Enterprise Architectures for E-Government Development pages 139-164, IGI-Global, Hershey, PA, USA, June 2013
Towards a self-managing tool for optimizing energy usage in buildings
N Arshad, F Javed, MD Liaqat
Sustainability in Energy and Buildings, 425-434, 01 January 2013

2010

Towards Structural Clones: Analysis and semi-automated detection of design-level similarities in software
HA Basit, S Jarzabek
VDM Verlag, 2010

2009

An empirical study of structural constraint solving techniques
JH Siddiqui, S Khurshid
Formal Methods and Software Engineering, 88-106, 09-12 December 2009
An FIS for early detection of defect prone modules
ZA Rana, MM Awais, S Shamail
ICIC (2) 2009: 144-153 (LNCS, Springer), 16-19 September 2009

2008

On the use of linear programming in optimizing energy costs
F Javed, N Arshad
Self-Organizing Systems, 305-310, 10-12 December 2008
Devolution in a virtual enterprise
MK Farooq, S Shamail, MM Awais
Virtual Enterprises and Collaborative Networks 2008: 433-440 (IFIP, Springer), 08-10 September 2008
On vowels segmentation and identification using formant transitions in continuous recitation of Quranic Arabic
HR Iqbal, MM Awais, S Masud, S Shamail
New Challenges in Applied Intelligence Technologies 2008: 155-162 (SCI, Springer), 2008

2007

Achieving self-configuration capability in autonomic systems using case-based reasoning with a new similarity measure
MJ Khan, MM Awais, S Shamail
ICIC (3) 2007: 97-106 (CCIS, Springer), 21-24 August 2007
Arabic phoneme identification using conventional and concurrent neural networks in non native speakers
MM Awais, S Masud, J Ahktar, S Shamail
ICIC (1) 2007: 897-905 (LNCS, Springer), 21-24 August 2007

2005

A fuzzy based approach to measure completeness of an entity-relationship model
T Hussain, MM Awais, S Shamail
ER (Workshops) 2005: 410-422 (LNCS, Springer), 24-28 October 2005

2004

A hybrid multi-layered speaker independent arabic phoneme identification system
MM Awais, S Masud, S Shamail, J Akhtar
IDEAL 2004: 416-423 (LNCS, Springer), 25-27 August 2004