A systematic mapping of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems F Zahid, A Tanveer, MMY Kuo, R Sinha Journal of Intelligent Manufacturing 33 (6), 1603-1638, 2022 | 22 | 2022 |
Secure links: secure-by-design communications in IEC 61499 industrial control applications A Tanveer, R Sinha, MMY Kuo IEEE Transactions on Industrial Informatics 17 (6), 3992-4002, 2020 | 16 | 2020 |
On design-time security in IEC 61499 systems: conceptualisation, implementation, and feasibility A Tanveer, R Sinha, SG MacDonell 2018 IEEE 16th international conference on industrial informatics (INDIN …, 2018 | 8 | 2018 |
Performance analysis of AES-finalists along with SHS in IPSEC VPN over 1Gbps link A Tanveer, A Ali, MA Paracha, FR Raja 2015 12th International Bhurban Conference on Applied Sciences and …, 2015 | 7 | 2015 |
Designing actively secure, highly available industrial automation applications A Tanveer, R Sinha, SG MacDonell, P Leitao, V Vyatkin 2019 IEEE 17th international conference on industrial informatics (INDIN) 1 …, 2019 | 4 | 2019 |
An Improved, Efficient and Cost Effective Software Inspection Meeting Process. D Ali, A Javed, A Tanveer, S Saleem International Journal of Modern Education & Computer Science 5 (2), 2013 | 4 | 2013 |
Tracing security requirements in industrial control systems using graph databases A Tanveer, C Sharma, R Sinha, MMY Kuo Software and Systems Modeling 22 (3), 851-870, 2023 | 3 | 2023 |
Techniques For Developing Secure-by-design Industrial Control Software A Tanveer Auckland University of Technology, 2021 | 1 | 2021 |