@article{murtza2018optimizing,

title={Optimizing energy and throughput for MPSoCs: an integer particle swarm

optimization approach},

author={Murtza, Shahid Ali and Ahmad, Ayaz and Qadri, Muhammad Yasir and Qadri,
Nadia N and Ahmed, Jameel},

journal={Computing},
volume={100},
number={3},
pages={227--244},
year={2018},
publisher={Springer Vienna}
}

@inproceedings{murtza2016vertgen,
title={Vertgen: An automatic verilog testbench generator for generic circuits},

author={Murtza, Shahid Ali and Hasan, Osman and Saghar, Kashif},

booktitle={2016 International Conference on Emerging Technologies (ICET)},
pages={1--5},

year={2016},
organization={IEEE}
}

@inproceedings{murtza2018aag,
title={AAG: An automatic assertion generation framework for RTL designs},
author={Murtza, Shahid Ali and Hasan, Osman and Saghar, Kashif},
booktitle={2018 International Conference on Computing, Mathematics and
Engineering Technologies (iCoMET)},
pages={1--6},
year={2018},
organization={IEEE}
}

@article{shafique2019multi,
title={A multi-objective integer melody search algorithm},
author={Shafique, Jawad and Ahmad, Ayaz and Murtza, Shahid Ali},
journal={Applied Artificial Intelligence},
volume={33},
number={3},
pages={208--228},
year={2019},
publisher={Taylor \& Francis}
}

@article{hussain2019scalable,
title={Scalable, energy-aware system modeling and application-specific
reconfiguration of MPSocs with a type-2 fuzzy logic system},
author={Hussain, Ishfaq and Murtza, Shahid Ali and Qadri, Muhammad Yasir and
Fleury, Martin and Qadri, Nadia N},
 journal={Computers \& Electrical Engineering},
volume={74},
pages={292--304},
year={2019},
publisher={Pergamon}
}

@inproceedings{ahmad2019formalization,
title={On the formalization of importance measures using HOL theorem proving},
author={Ahmad, Waqar and Murtza, Shahid Ali and Hasan, Osman and Tahar,
Sofi{\`e}ne},
booktitle={Proceedings of the 7th International Workshop on Formal Methods in
Software Engineering},
pages={109--118},
year={2019},
organization={IEEE Press}
}

@article{murtza2019integer,
title={Integer cat swarm optimization algorithm for multiobjective integer
problems},

author={},
journal={Soft Computing},
pages={1--29},
year={2019},
publisher={Springer Berlin Heidelberg}
}

@article{yangtran,
title={Tran, Hoang-Dung 51 Xiang, Weiming 51 Yalcinkaya, Beyazit 31},
author={Yang, Xiaodong and Chalmers, Kevin and Collet, Philippe and Cordy, Maxime
and Famelis, Michalis and Frade, Maria Jo{\~a}o and Gario, Marco and Hasan, Osman
and Ivanov, Dmitry and Johnson, Taylor T and others}
}