A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems S Jaidka, S Reeves, J Bowen 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 347-354, 2019 | 9 | 2019 |
Modelling safety-critical devices: coloured petri nets and Z S Jaidka, S Reeves, J Bowen Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing …, 2017 | 8 | 2017 |
Security in Decentralised Computing, IoT and Industrial IoT M Ahmed, S Jaidka, NI Sarkar Industrial IoT, 191-211, 2020 | 7 | 2020 |
SQL and PL-SQL: Analysing teaching methods S Prabhu, S Jaidka CITRENZ Conference (2019), 2019 | 4 | 2019 |
A Decentralised Mechanism for Secure Cloud Computing Transactions M Ahmed, MMA Bhuiyan, S Jaidka, P Jiranantanagorn 2021 Sixth International Conference on Fog and Mobile Edge Computing (FMEC), 1-5, 2021 | 2 | 2021 |
Modeling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets Sapna, A Kaur International Journal of Computer Applications (0975 – 8887) 50, 29-35, 2012 | 1* | 2012 |
Impact and Significance of Human Factors in Digital Information Security M Ahmed, HR Kambam, Y Liu, S Jaidka, K Petrova International Journal of Information Science and Technology 7 (2), 1-17, 2024 | | 2024 |
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets S Jaidka, S Reeves, J Bowen Formal Methods. FM 2019 International Workshops, 465-485, 2020 | | 2020 |
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets S Jaidka The University of Waikato, 2020 | | 2020 |