Biography summary
Roopak is an internationally recognised expert in systematically designing safe and secure industrial software, with interests in requirements engineering, design and architectures, code generation, formal methods, research commercialisation and industrial standards. He is a Senior Member of the IEEE, and has previously held research positions at The University of Auckland, New Zealand and INRIA, France.
In Learning & Teaching, as a Senior Fellow of the Higher Education Academy (UK), Roopak has led several large community- and industry-connected teaching initiatives nationally and internationally.
Mentoring, culture change and innovation are hallmarks of Roopak’s service and leadership. He has previously held senior roles including Programme (Course) Leader, Head of Doctoral Studies, Head of Department, Research Group/Centre Director, Associate Head L&T, and Deputy Head of School.
Research interests
software architectures and design, software standards, software qualities (safety, security, maintainability, etc.), cyber-physical systems design, embedded systems design
Affiliations
Senior Member, IEEE (SM-IEEE)
Senior Fellow, Advance HE (SFHEA)
Knowledge areas
Software architecture, software design, software requirements, formal methods, software qualities (safety, security, maintainability)
Publications
Healthcare in Asymmetrically Smart Future Environments: Applications, Challenges and Open Problems
B Dowdeswell, R Sinha, M Kuo, B Seet, A Hoseini, A Ghaffarianhoseini, H Sabit
(2024), Vol. 13, pp. 1-22, Electronics, Basel, Switzerland, C1-1
Dynamic Quantification with Constrained Error Under Unknown General Dataset Shift
B Denham, E Lai, R Sinha, M Naeem
(2024), pp. 1-14, IEEE Transactions on Knowledge and Data Engineering, Piscataway, N.J., C1-1
Reflective Insights: Flipping Learning in Engineering and ICT Courses
N Chanane, J Cui, A Kalra, M Kuo, L Garcia, L Huang, T Lee, A Polishetty, M Ramos, X Li, A Al-Anbuky, M Stommel, M Nguyen, R Sinha
(2024), pp. 1-4, TALE 2023 : Proceedings of the IEEE Teaching, Assessment and Learning for Engineering Conference 2023, Auckland, New Zealand, E1
Kororā: A secure live virtual machine job migration framework for cloud systems integrity
H Deylami, J Gutierrez, R Sinha
(2023), Vol. 19, pp. 1-19, Array, Amsterdam, The Netherlands, C1-1
U Hewage, R Sinha, M Naeem
(2023), Vol. 56, pp. 10427-10464, Artificial Intelligence Review, Berlin, Germany, C1-1
Tracing security requirements in industrial control systems using graph databases
A Tanveer, C Sharma, R Sinha, M Kuo
(2023), Vol. 22, pp. 851-870, Software and Systems Modeling, Berlin, Germany, C1-1
An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System
G Funchal, F Zahid, V Melo, M Kuo, T Pedrosa, R Sinha, F De La Prieta, P Leitao
(2023), Vol. 2023-April, pp. 1-6, ICIT 2023 : Proceedings of the IEEE International Conference on Industrial Technology, Orlando, FL, E1-1
DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research
M Kuo, R Sinha, R Lewis, C Cumming, R Alarcon, C Sharma
(2023), 2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering, TALE 2023 - Conference Proceedings, E1
Flipping the Script: Reflection on Implementing the Flipped Classroom in Mathematics
N Chanane, J Cui, C Sweatman, V Miranda, N Wichitaksorn, W Zhang, P Maturana-Russel, R Hankin, R Sinha
(2023), TALE 2023 : Proceedings of the IEEE Teaching, Assessment and Learning for Engineering Conference 2023, Auckland, NZ, E1
Building Maintainable Software Using Abstraction Layering
J Spray, R Sinha, A Sen, X Cheng
(2022), Vol. 48, pp. 4397-4410, IEEE Transactions on Software Engineering, Piscataway, N.J., C1-1
F Zahid, A Tanveer, M Kuo, R Sinha
(2022), Vol. 33, pp. 1603-1638, Journal of Intelligent Manufacturing, Berlin, Germany, C1-1
Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images
R Kaur, H Gholamhosseini, R Sinha, M Lindén
(2022), Vol. 22, pp. 1-15, Sensors, Basel, Switzerland, C1-1
Adaptable socio-cyber physical systems for supporting disaster response
S Madanian, K Johnson, M Martin, R Sinha, J Cámara, D Parry
(2022), Vol. 26, pp. 221-234, Australasian Journal of Disaster and Trauma Studies, New Zealand, C1-1
R Kaur, H GholamHosseini, R Sinha, M Lindén
(2022), Vol. 22, pp. 1-13, BMC Medical Imaging, London, Eng., C1-1
FLASc: a formal algebra for labeled property graph schema
C Sharma, R Sinha
(2022), Vol. 29, pp. 1-45, Automated Software Engineering, Berlin, Germany, C1-1
R Kaur, H GholamHosseini, R Sinha
(2022), Vol. 76, pp. 1-11, Biomedical Signal Processing and Control, Amsterdam, The Netherlands, C1-1
R Kaur, H GholamHosseini, R Sinha
(2022), Vol. 32, pp. 1143-1158, International Journal of Imaging Systems and Technology, London, Eng., C1-1
A Bhave, R Sinha
(2022), pp. 116-120, SCAM 2022 : Proceedings of the 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, Limassol, Cyprus, E1-1
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones
S Patel, R Sinha
(2022), Vol. 13045, pp. 148-159, ICTSS 2020 : Proceedings of the IFIP International Conference on Testing Software and Systems, Bergamo, Italy, E1-1
simbIoTe: A Simulator for Building Cyber-Physical System and Internet of Things Environments
B Dowdeswell, J Robertson-Bickers, R Lewis, M Kuo, R Sinha
(2022), pp. 1-6, ONCON 2022 : Proceedings of the 1st IEEE Industrial Electronics Society Annual Online Conference, Kharagpur, India, E1-1
Real-time OEE visualisation for downtime detection
Y Li, L Inoue, R Sinha
(2022), pp. 729-734, INDIN 2022 : Proceedings of the 20th IEEE International Conference on Industrial Informatics, Perth, W.A., E1-1
DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors
F Zahid, G Funchal, V Melo, M Kuo, P Leitao, R Sinha
(2022), pp. 214-219, INDIN 2022 : Proceedings of the IEEE 20th International Conference on Industrial Informatics, Perth, W.A., E1-1
Witan: Unsupervised Labelling Function Generation for Assisted Data Programming
B Denham, E Lai, R Sinha, M Naeem
(2022), Vol. 15, pp. 2334-2347, VLDB 2022 : Proceedings of the 48th International Conference on Very Large Data Bases, Sydney, N.S.W., E1-1
R Kaur, H Gholamhosseini, R Sinha
(2022), Vol. 2021-December, pp. 381-386, TENCON 2021 : Proceedings of the IEEE Region 10 Annual International Conference 2021, Auckland, New Zealand, E1-1
Gain-Some-Lose-Some: Reliable Quantification under General Dataset Shift
B Denham, E Lai, R Sinha, M Naeem
(2022), Vol. 2021-December, pp. 1048-1053, ICDM 2021 : Proceedings of the IEEE International Conference on Data Mining 2021, Auckland, New Zealand, E1-1
ROP defense using trie graph for system security
A Zhu, W Yan, R Sinha
(2021), Vol. 13, pp. 1-12, International Journal of Digital Crime and Forensics, Hershey, PA., C1-1
Architecting an agent-based fault diagnosis engine for IEC 61499 industrial cyber-physical systems
B Dowdeswell, R Sinha, S Macdonell
(2021), Vol. 13, pp. 1-25, Future Internet, Basel, Switzerland, C1-1
Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications
A Tanveer, R Sinha, M Kuo
(2021), Vol. 17, pp. 3992-4002, IEEE Transactions on Industrial Informatics, Piscataway, N.J., C1-1
Practical and comprehensive formalisms for modelling contemporary graph query languages
C Sharma, R Sinha, K Johnson
(2021), Vol. 102, pp. 1-25, Information Systems, Amsterdam, The Netherlands, C1-1
N Gowdra, R Sinha, S MacDonell, W Yan
(2021), Vol. 119, pp. 1-12, Pattern Recognition, Amsterdam, The Netherlands, C1-1
Towards a taxonomy for annotation of data science experiment repositories
S Sivasothy, S Barnett, N Fernando, R Vasa, R Sinha, A Simmons
(2021), pp. 76-80, SCAM 2021 : Proceedings of the IEEE 21st International Working Conference on Source Code Analysis and Manipulation, Luxembourg, E1
R Kaur, H GholamHosseini, R Sinha
(2021), Vol. 1386, pp. 39-52, ISGV 2021 : Proceedings of the First International Symposium on Geometry and Vision, Auckland, New Zealand, E1-1
Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS
F Zahid, M Kuo, R Sinha
(2021), pp. 1-5, PST 2021 : Proceedings of the 18th International Conference on Privacy, Security and Trust, Auckland, New Zealand, E1-1
R Kaur, H Hosseini, R Sinha
(2021), pp. 3035-3038, EMBS 2021 : Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, [Virtual], E1-1
Towards self-adaptive disaster management systems
K Johnson, J Camara, R Sinha, S Madanian, D Parry
(2021), pp. 49-61, ISCRAM 2021 : Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, [Blacksburg, VA.], E1-1
Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems
B Dowdeswell, R Sinha, S MacDonell
(2020), Vol. 168, pp. 1-16, Journal of Systems and Software, Amsterdam, The Netherlands, C1-1
Dynamic hardware system for cascade SVM classification of melanoma
S Afifi, H GholamHosseini, R Sinha
(2020), Vol. 32, pp. 1777-1788, Neural Computing and Applications, Berlin, Germany, C1-1
FPGA Implementations of SVM Classifiers: A Review
S Afifi, H GholamHosseini, R Sinha
(2020), Vol. 1, pp. 1-17, SN Computer Science, Berlin, Germany, C1-1
A systematic review of route optimisation and pre-emption methods for emergency vehicles
S Humagain, R Sinha, E Lai, P Ranjitkar
(2020), Vol. 40, pp. 35-53, Transport Reviews, London, Eng., C1-1
K Johnson, S Madanian, R Sinha
(2020), pp. 521-528, SEAA 2020 : Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, Portoroz, Slovenia, E1-1
Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems*
S Humagain, R Sinha
(2020), pp. 1-6, ITSC 2020 : Proceedings of the IEEE 23rd International Conference on Intelligent Transportation Systems, Rhodes, Greece, E1-1
Can Commercial Testing Automation Tools Work for IoT A Case Study of Selenium and Node-Red
N Varghese, R Sinha
(2020), Vol. 2020-October, pp. 4519-4524, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Dynamic Prioritization of Emergency Vehicles for Self-Organizing Traffic using VTL+EV
S Humagain, R Sinha
(2020), Vol. 2020-October, pp. 789-794, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images
N Gowdra, R Sinha, S MacDonell
(2020), Vol. 2020-October, pp. 465-470, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
N Gowdra, R Sinha, S MacDonell
(2020), Vol. 2020-October, pp. 471-476, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Assessing Support for Industry Standards in Reference Medical Software Architectures
S Han, R Sinha, A Lowe
(2020), Vol. 2020-October, pp. 3403-3407, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems
B Dowdeswell, R Sinha, D Jarvis, J Jarvis, S MacDonell
(2020), Vol. 2020-October, pp. 2189-2194, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems
B Dowdeswell, R Sinha, S MacDonell
(2020), Vol. 2020-October, pp. 2183-2188, IECON 2020 : Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, E1-1
Deep Convolutional Neural Network for Melanoma Detection using Dermoscopy Images
R Kaur, H GholamHosseini, R Sinha
(2020), Vol. 2020-July, pp. 1524-1527, EMBC 2020 : Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Montreal, QC, Canada, E1-1
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
R Sinha, S Patil, L Gomes, V Vyatkin
(2019), Vol. 15, pp. 3772-3783, IEEE Transactions on Industrial Informatics, Piscataway, N.J., C1-1
A system on chip for melanoma detection using FPGA-based SVM classifier
S Afifi, H GholamHosseini, R Sinha
(2019), Vol. 65, pp. 57-68, Microprocessors and Microsystems, Amsterdam, The Netherlands, C1-1
S Humagain, R Sinha
(2019), Vol. 2019-July, pp. 1097-1102, INDIN 2019 : Proceedings of the IEEE International Conference on Industrial Informatics, Helsinki, Finland, E1-1
IASelect: Finding best-fit agent practices in industrial CPS using graph databases
C Sharma, R Sinha, P Leitao
(2019), pp. 1558-1563, INDIN 2019 : Proceedings of the 17th IEEE International Conference on Industrial Informatics, Helsinki, Finland, E1-1
Janus: A systems engineering approach to the design of industrial cyber-physical systems
D Jarvis, J Jarvis, C Yang, R Sinha, V Vyatkin
(2019), Vol. 2019-July, pp. 87-92, INDIN 2019 : IEEE International Conference on Industrial Informatics 2019, Helsinki, Finland, E1-1
Designing actively secure, highly available industrial automation applications
A Tanveer, R Sinha, S MacDonell, P Leitao, V Vyatkin
(2019), Vol. 2019-July, pp. 374-379, INDIN 2019 : IEEE International Conference on Industrial Informatics 2019, Helsinki, Finland, E1-1
C Sharma, R Sinha
(2019), pp. 71-80, BDCAT 2019 : Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, Auckland, New Zealand, E1-1
A novel medical device for early detection of melanoma
S Afifi, H Gholamhosseini, R Sinha, M Lindén
(2019), Vol. 261, pp. 122-127, pHealth 2019 : Proceedings of the 16th International Conference on Wearable Micro and Nano Technologies for Personalized Health 2019, Genoa, Italy, E1-1
TORUS: Scalable requirements traceability for large-scale cyber-physical systems
R Sinha, B Dowdeswell, G Zhabelova, V Vyatkin
(2018), Vol. 3, pp. 1-25, ACM Transactions on Cyber-Physical Systems, New York, N.Y., C1-1
Abstraction layered architecture: Writing maintainable embedded code
J Spray, R Sinha
(2018), Vol. 11048, pp. 131-146, ECSA 2018 : Proceedings of the 12th European Conference on Software Architecture, Madrid, Spain, E1-1
H Deylami, J Gutierrez, R Sinha
(2018), pp. 1-8, ICMU 2018 : Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Network, Auckland, New Zealand, E1-1
Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010
S Karnouskos, R Sinha, P Leitao, L Ribeiro, T Strasser
(2018), pp. 61-66, INDIN 2018 : Proceedings of the IEEE 16th International Conference on Industrial Informatics, Porto, Portugal, E1-1
On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility
A Tanveer, R Sinha, S Macdonell
(2018), pp. 778-785, INDIN 2018 : Proceedings of the IEEE 16th International Conference on Industrial Informatics, Porto, Portugal, E1-1
The applicability of ISO/IEC 25023 measures to the integration of agents and automation systems
S Karnouskos, R Sinha, P Leitão, L Ribeiro, T Strasser
(2018), pp. 2927-2934, IECON 2018 : Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, Washington, DC, E1-1
Unified Functional Safety Assessment of Industrial Automation Systems
Z Bhatti, P Roop, R Sinha
(2017), Vol. 13, pp. 17-26, IEEE Transactions on Industrial Informatics, Piscataway, N.J., C1-1
R Sinha, A Narula, J Grundy
(2017), pp. 1-8, ACSW 2017 : Proceedings of the Australasian Computer Science Week Multiconference, Geelong, Vic., E1
A software architecture for energy consumption optimization in location-based mobile applications
X Yu, L Liang, R Zhou, R Sinha
(2017), pp. 5400-5405, IECON 2017 : Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, E1-1
DynaCool: Efficient cooling of next-generation large-scale data centers
N Gowdra, R Sinha
(2017), pp. 5420-5425, IECON 2017 : Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, E1-1
SVM classifier on chip for melanoma detection
S Afifi, H Gholamhosseini, R Sinha
(2017), pp. 270-274, EMBC 2017 : Proceedings of the 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Jeju, South Korea, E1-1
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks
R Sinha, P Roop, G Shaw, Z Salcic, M Kuo
(2016), Vol. 12, pp. 59-68, IEEE Transactions on Industrial Informatics, Piscataway, N.J., C1-1
Automatic test case generation from requirements for industrial cyber-physical systems
R Sinha, C Pang, G Martínez, V Vyatkin
(2016), Vol. 64, pp. 216-230, At-Automatisierungstechnik, C1-1
A low-cost FPGA-based SVM classifier for melanoma detection
S Afifi, H GholamHosseini, R Sinha
(2016), pp. 631-636, IECBES 2016 : Proceedings of the IEEE IMBS Biomedical Engineering and Sciences, Kuala Lumpur, Malaysia, E1-1
A Smartphone-assisted Post-Disaster Victim Localization Method
Akbar Hossain, Sayan Ray, Roopak Sinha
(2016), pp. 1173-1179, HPCC/SmartCity/DSS 2016 : Proceedings of the 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems 2016, Sydney, NSW., E1-1
TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems
B Dowdeswell, R Sinha, E Haemmerle
(2016), Vol. 0, pp. 23-32, ICECCS 2016 : Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 2016, Dubai, United Arab Emirates, E1-1
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
R Sinha, C Pang, G Martinez, J Kuronen, V Vyatkin
(2016), Vol. 2016-January, pp. 198-201, ICECCS 2015 : Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 2015, Gold Coast, QLD., E1-1
Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion
R Sinha
(2016), Vol. 2016-January, pp. 170-173, ICECCS 2015 : Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 2015, Gold Coast, QLD., E1-1
Hardware acceleration of SVM-based classifier for melanoma images
S Afifi, H Gholam Hosseini, R Sinha
(2016), Vol. 9555, pp. 235-245, PSIVT 2015 : Proceedings of the Pacific-Rim Symposium on Image and Video Technology 2015, Auckland, New Zealand, E1-1
Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell
(2015), pp. 2172-2177, IECON 2015 : Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society, JAPAN, Yokohama, E1-1
Slicing the Pi: Device-specific IEC 61499 design
R Sinha, B Dowdeswell, V Vyatkin
(2015), pp. 1257-1262, INDIN 2015 : Proceedings of the 2015 IEEE 13th International Conference on Industrial Informatics, Cambridge, Eng., E1-1
A Multi-Agent Framework for Dependable Adaptation of Evolving System Architectures
K Johnson, R Sinha, R Calinescu, J Ruan
(2015), pp. 159-166, SEAA 2015 : Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, Madeira, Portugal, E1-1
A Smartphone-based Post-Disaster Management Mechanism Using WiFi Tethering
Sayan Rayl, Roopak Sinha, Swapan Rai
(2015), pp. 971-976, ICIEA 2015 : Proceedings of the 2015 IEEE 10th Conference on Industrial Electronics and Applications, Auckland, New Zealand, E1-1
A formal approach to incremental converter synthesis for system-on-chip design
R Sinha, A Girault, G Goessler, P Roop
(2014), Vol. 20, pp. 1-30, ACM Transactions on Design Automation of Electronic Systems, C1-1
R Sinha, V Vyatkin, Z Salcic, H Park
(2014), pp. 1-7, ETFA 2014 : Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, Barcelona, Spain, E1-1
A scalable approach for re-configuring evolving industrial control systems
R Sinha, K Johnson, R Calinescu
(2014), pp. 1-8, ETFA 2014 : Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, Barcelona, Spain, E1-1
M Ortel, M Malot, A Baumgart, J Becker, R Bogusch, S Farfeleder, N Gerber, O Haugen, S Häusler, B Josko, J Mansell, A Mitschke, R Sinha, T Stalhane, N Uusitalo, P Rehkop
(2013), pp. 69-143, CESAR - Cost-Efficient Methods and Processes for Safety-Relevant Embedded Systems, Berlin, Germany, B1-1
R Sinha, P Roop, P Ranjitkar
(2013), Vol. 2381, pp. 73-80, Transportation Research Record, C1-1
A Model Checking Approach to Protocol Conversion
R Sinha, P Roop, S Basu
(2008), Vol. 203, pp. 81-94, Electronic Notes in Theoretical Computer Science, C1-1
SoC design approach using convertibility verification
R Sinha, P Roop, S Basu
(2008), Vol. 2008, Eurasip Journal on Embedded Systems, C1-1
Local Module Checking for CTL Specifications
S Basu, P Roop, R Sinha
(2007), Vol. 176, pp. 125-141, Electronic Notes in Theoretical Computer Science, C1-1
Adaptive verification using forced simulation
R Sinha, P Roop, B Khoussainov
(2005), Vol. 141, pp. 171-197, Electronic Notes in Theoretical Computer Science, C1-1
Funded Projects at Deakin
No Funded Projects at Deakin found
Supervisions
No completed student supervisions to report