Items where Greenwich Author is "Khan, Muhammad Taimoor"
![]() | Up a level |
Article
Khan, Taimoor ORCID: 0000-0002-5752-6420 and Tomic, Ivana
ORCID: 0000-0003-3502-5980
(2020)
Securing industrial cyber-physical systems: A run-time multi-layer monitoring.
IEEE Transactions on Industrial Informatics.
p. 1.
ISSN 1551-3203 (Print), 1941-0050 (Online)
(In Press)
(doi:https://doi.org/10.1109/TII.2020.3032968)
Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420, Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca
(2019)
Automatic repair of timestamp comparisons.
IEEE Transactions on Software Engineering.
ISSN 0098-5589
(In Press)
(doi:https://doi.org/10.1109/TSE.2019.2948351)
Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard
(2019)
Security of cyberphysical systems: Chaining induction and deduction.
Computer, 52.
pp. 72-75.
ISSN 0018-9162 (Print), 1558-0814 (Online)
(doi:https://doi.org/10.1109/MC.2019.2913138)
Liva, Giovanni ORCID: 0000-0002-9337-5762, Khan, Muhammad Taimoor
ORCID: 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:https://doi.org/10.1007/s10664-019-09699-5)
Serpanos, Dimitrios ORCID: 0000-0002-1385-7113, Khan, Muhammad Taimoor
ORCID: 0000-0002-5752-6420 and Shrobe, Howard
(2018)
Designing safe and secure industrial control systems: A tutorial review.
IEEE Design & Test, 35 (3).
pp. 73-88.
ISSN 2168-2356 (Print), 2168-2364 (Online)
(doi:https://doi.org/10.1109/MDAT.2018.2816943)
Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420, Serpanos, Dimitrios and Shrobe, Howard
(2017)
ARMET: behavior-based secure and resilient industrial control systems.
Proceedings of the IEEE, 106 (1).
pp. 129-143.
ISSN 0018-9219 (Print), 1558-2256 (Online)
(doi:https://doi.org/10.1109/JPROC.2017.2725642)
Conference Proceedings
Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420, Serpanos, Dimitrios and Shrobe, Howard
(2018)
Highly assured safety and security of e-health applications.
In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).
IEEE, pp. 137-144.
ISBN 978-1538668764
ISSN 2160-4886
(doi:https://doi.org/10.1109/WiMOB.2018.8589095)
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 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:https://doi.org/10.1145/3193992.3193997)
Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420, Serpanos, Dimitrios and Shrobe, Howard
(2017)
A rigorous and efficient run-time security monitor for real-time critical embedded system applications.
In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT).
IEEE, pp. 100-105.
ISBN 978-1509041305
(doi:https://doi.org/10.1109/WF-IoT.2016.7845510)