AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. - Muhammad Waqas Ahmad; Muhammad Waseem Anwar; Farooque Azam; Yawar Rasheed; Usman Ghani; Mukhtar Ahmad (CISIM, 2020)

A Multi-purpose Model Driven Platform for Contingency Planning and Shaping Response Measures. - Mukhtar Ahmad; Farooque Azam; Yawar Rasheed; Muhammad Waseem Anwar; Muhammad Waqas Ahmad (CISIM, 2020)

Transformer-based sensor failure prediction and classification framework for UAVs. - Muhammad Waqas Ahmad; Muhammad Usman Akram; Mashood Mohammad Mohsan; Kashif Saghar; Rashid Ahmad 009; Wasi Haider Butt (Expert Syst. Appl., 2024)