Austrian Research Promotion Agency FFG

Liva, Giovanni ORCID: https://orcid.org/0000-0002-9337-5762, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-019-09699-5)

Austrian Research Promotion Agency FFG (Grant No. 850757)

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:10.1109/TSE.2019.2948351)

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:10.1145/3193992.3193997)

European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 883242)

Khan, Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 and Tomic, Ivana ORCID: https://orcid.org/0000-0003-3502-5980 (2020) Securing industrial cyber-physical systems: A run-time multi-layer monitoring. IEEE Transactions on Industrial Informatics, 17 (9). pp. 6251-6259. ISSN 1551-3203 (Print), 1941-0050 (Online) (doi:10.1109/TII.2020.3032968)

European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 883242

Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:10.1109/ISC255366.2022.9921921)

Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 (2022) Towards practical and formal security risk analysis of IoT (Internet of Things) applications. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-4. ISBN 978-1665499965; 978-1665499972 (doi:10.1109/ETFA52439.2022.9921511)

Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:10.1109/ETFA45728.2021.9613489)

Hellenic Foundation for Research and Innovation (HFRI) under the 2nd Call for HFRI’s Research Projects to Support Faculty Members & Researchers (Project Number: 4012)

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2024) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: 2024 IECON – 50th Annual Conference of the IEEE Industrial Electronics Society, 3rd - 6th November 2024, Chicago. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. (In Press)

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

Higher Education Commission of Pakistan under the NRPU-2021 project "CyberMuhafiz" grant no. 15279

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Anwar, Haris and Siddique, Muhammad Shaoor (2023) Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Cluster Computing. ISSN 1386-7857 (Print), 1573-7543 (Online) (doi:10.1007/s10586-023-04114-7)

Partnership for Skills in Applied Science, Engineering and Technology - Regional Scholarship and Innovation Fund (PASET-RSIF)

Sawadogo, Zakaria, Mendy, Gervais, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Ouya, Samuel and Dembelle, Jean Marie (2023) Towards a DeepMalOb improvement in the use of formal security risk analysis methods. In: 2023 IEEE 6th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech), 21st - 23rd November 2023, Marrakesh, Morocco. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 118-122. ISBN 979-8350303070; 979-8350303063 (doi:10.1109/CloudTech58737.2023.10366167)