Muhammad Taimoor Khan
Título
Citado por
Citado por
Año
ARMET: Behavior-based secure and resilient industrial control systems
MT Khan, D Serpanos, H Shrobe
Proceedings of the IEEE 106 (1), 129-143, 2017
292017
A rigorous and efficient run-time security monitor for real-time critical embedded system applications
MT Khan, D Serpanos, H Shrobe
2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 100-105, 2016
212016
Extracting timed automata from Java methods
G Liva, MT Khan, M Pinzger
2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017
142017
On the formal semantics of the cognitive middleware AWDRAT
MT Khan, D Serpanos, H Shrobe
arXiv preprint arXiv:1412.3588, 2014
112014
Towards the formal specification and verification of maple programs
MT Khan, W Schreiner
International Conference on Intelligent Computer Mathematics, 231-247, 2012
102012
Towards the formal specification and verification of maple programs
MT Khan, W Schreiner
International Conference on Intelligent Computer Mathematics, 231-247, 2012
102012
Towards the formal specification and verification of maple programs
MT Khan, W Schreiner
International Conference on Intelligent Computer Mathematics, 231-247, 2012
102012
Future context-aware pervasive learning environment: smart campus
MT Khan, K Zia
International conference on integration of information technology in science …, 2007
102007
Dynamic contention window for quality of service in IEEE 802.11 networks
SA Hussain, K Zia, MT Khan, S Ahmad, U Farooq
National Conference on Emerging Technologies, 12, 2004
82004
SDN-Enabled Hybrid DL-Driven Framework for the Detection of Emerging Cyber Threats in IoT
D Javeed, T Gao, MT Khan
Electronics 10 (8), 918, 2021
72021
An Efficient Approach of Threat Hunting Using Memory Forensics
D Javeed, MT Khan, I Ahmad, T Iqbal, UM Badamasi, CO Ndubuisi, ...
International Journal of Computer Networks and Communications Security 8 (5 …, 2020
72020
Designing safe and secure industrial control systems: a tutorial review
D Serpanos, MT Khan, H Shrobe
IEEE Design & Test 35 (3), 73-88, 2018
62018
Antifungal activity of plant extracts and silver nano particles against citrus brown spot pathogen (Alternaria citri)
M Farooq, N Ilyas, N Ilyas, I Khan, A Saboor, S Khan, MN Khan, A Qayum, ...
International journal of environmental and agriculture research 4 (4), 118-125, 2018
62018
Formal Semantics of MiniMaple
MT Khan, M Taimoor
DK Technical Report 2012-01, Research Institute for Symbolic Computation …, 2012
62012
A Type Checker for MiniMaple
MT Khan, M Taimoor
Doktratskolleg (DK) Technical Report 5, 2011
62011
Multi-channel integration framework for web services-based business
MT Khan, A Siddique
Student Conference On Engineering, Sciences and Technology, 165-168, 2004
62004
Modeling time in Java programs for automatic error detection
G Liva, MT Khan, F Spegni, L Spalazzi, A Bollin, M Pinzger
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
52018
On formal specification of maple programs
MT Khan, W Schreiner
International Conference on Intelligent Computer Mathematics, 443-447, 2012
52012
Indexing of real time geospatial data by IoT enabled devices: Opportunities, challenges and design considerations
N Chaudhry, MM Yousaf, MT Khan
Journal of Ambient Intelligence and Smart Environments, 1-32, 2020
42020
Security of cyberphysical systems: Chaining induction and deduction
MT Khan, H Shrobe
Computer 52 (7), 72-75, 2019
42019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20