Profile image of Roopak Sinha

Prof Roopak Sinha

STAFF PROFILE

Position

Professor, Software Engineering

Faculty

Faculty of Sci Eng & Built Env

Department

School of Info Technology

Campus

Melbourne Burwood Campus

Qualifications

Master of Commercialisation and Entrepreneurship, University of Auckland, 2016
Postgraduate Certificate in Academic Practice in Higher Education, University of Auckland, 2014
Doctor of Philosophy, University of Auckland, 2009

Contact

roopak.sinha@deakin.edu.au
+61 3 924 46861

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

Filter by

2024

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

journal article

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

journal article

Actively Detecting Multiscale Flooding Attacks & Attack Volumes in Resource-Constrained ICPS

F Zahid, M Kuo, R Sinha, G Funchal, T Pedrosa, P Leitao

(2024), IEEE Transactions on Industrial Informatics, C1

journal article

DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research

M Kuo, R Sinha, R Lewis, C Cumming, R Alarcon, C Sharma

(2024), pp. 1-4, TALE 2023 : Proceedings of the IEEE International Conference on Teaching, Assessment and Learning for Engineering 2023, Auckland, New Zealand, E1

conference

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

conference
2023

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

journal article

Privacy-preserving data (stream) mining techniques and their impact on data mining accuracy: a systematic literature review

U Hewage, R Sinha, M Naeem

(2023), Vol. 56, pp. 10427-10464, Artificial Intelligence Review, Berlin, Germany, C1-1

journal article

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

journal article

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

conference

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

conference
2022

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

journal article

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

F Zahid, A Tanveer, M Kuo, R Sinha

(2022), Vol. 33, pp. 1603-1638, Journal of Intelligent Manufacturing, Berlin, Germany, C1-1

journal article

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

journal article

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

journal article

Automatic lesion segmentation using atrous convolutional deep neural networks in dermoscopic skin cancer images

R Kaur, H GholamHosseini, R Sinha, M Lindén

(2022), Vol. 22, pp. 1-13, BMC Medical Imaging, London, Eng., C1-1

journal article

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

journal article

Hairlines removal and low contrast enhancement of melanoma skin images using convolutional neural network with aggregation of contextual information

R Kaur, H GholamHosseini, R Sinha

(2022), Vol. 76, pp. 1-11, Biomedical Signal Processing and Control, Amsterdam, The Netherlands, C1-1

journal article

Skin lesion segmentation using an improved framework of encoder-decoder based convolutional neural network

R Kaur, H GholamHosseini, R Sinha

(2022), Vol. 32, pp. 1143-1158, International Journal of Imaging Systems and Technology, London, Eng., C1-1

journal article

Deep Multimodal Architecture for Detection of Long Parameter List and Switch Statements using DistilBERT

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

conference

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

conference

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

conference

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

conference

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

conference

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

conference

Synthetic Images Generation Using Conditional Generative Adversarial Network for Skin Cancer Classification

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

conference

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

conference
2021

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

journal article

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

journal article

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

journal article

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

journal article

Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic

N Gowdra, R Sinha, S MacDonell, W Yan

(2021), Vol. 119, pp. 1-12, Pattern Recognition, Amsterdam, The Netherlands, C1-1

journal article

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

conference

Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture

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

conference

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

conference

Lesion Border Detection of Skin Cancer Images Using Deep Fully Convolutional Neural Network with Customized Weights

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

conference

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

conference
2020

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

journal article

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

journal article

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

journal article

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

journal article

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions

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

conference

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

conference

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

conference

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

conference

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

conference

Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification

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

conference

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

conference

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

conference

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

conference

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

conference
2019

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

journal article

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

journal article

Routing autonomous emergency vehicles in smart cities using real time systems analogy: A conceptual model

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

conference

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

conference

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

conference

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

conference

A schema-first formalism for labeled property graph databases: Enabling structured data loading and analytics

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

conference

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

conference
2018

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

journal article

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

conference

More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity

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

conference

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

conference

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

conference

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

conference
2017

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

journal article

Parametric statecharts: Designing flexible IoT apps: Deploying android m-health apps in dynamic smart-homes

R Sinha, A Narula, J Grundy

(2017), pp. 1-8, ACSW 2017 : Proceedings of the Australasian Computer Science Week Multiconference, Geelong, Vic., E1

conference

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

conference

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

conference

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

conference
2016

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

journal article

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

journal article

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

conference

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

conference

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

conference

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

conference

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

conference

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

conference
2015

Requirements Engineering of Industrial Automation Systems Adapting the CESAR Requirements Meta Model for Safety-Critical Smart Grid Software

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

conference

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

conference

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

conference

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

conference

Architectural challenges in migrating plan-driven projects to agile

V Menon, R Sinha, S MacDonell

(2015), pp. 223-228, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, E1-1

conference
2014

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

journal article

Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499

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

conference

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

conference
2013

Requirements engineering

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

book chapter

Virtual traffic lights+

R Sinha, P Roop, P Ranjitkar

(2013), Vol. 2381, pp. 73-80, Transportation Research Record, C1-1

journal article

Precise timing analysis for direct-mapped caches

S Andalam, R Sinha, P Roop, A Girault, J Reineke

(2013), Proceedings - Design Automation Conference, E1-1

conference

Model-based design of coordinated traffic controllers

R Sinha, P Roop, P Ranjitkar, J Zeng, X Zhu

(2013), 20th ITS World Congress Tokyo 2013, E1-1

conference
2012

Correct-by-construction multi-component SoC design

R Sinha, P Roop, Z Salcic, S Basu

(2012), pp. 647-652, Proceedings -Design, Automation and Test in Europe, DATE, E1-1

conference
2011

Observer based verification of IEC 61499 function blocks

Z Bhatti, R Sinha, P Roop

(2011), pp. 609-614, IEEE International Conference on Industrial Informatics (INDIN), E1-1

conference

Environment modelling for tighter timing analysis of synchronous programs

S Andalam, R Sinha, P Roop

(2011), pp. 150-155, Proceedings - 2011 6th IEEE International Symposium on Electronic Design, Test and Application, DELTA 2011, E1-1

conference

Efficient WCRT analysis of synchronous programs using reachability

M Kuo, R Sinha, P Roop

(2011), pp. 480-485, Proceedings - Design Automation Conference, E1-1

conference
2009

Specification enforcing refinement for convertibility verification

P Roop, A Girault, R Sinha, G Goessler

(2009), pp. 148-157, Proceedings - International Conference on Application of Concurrency to System Design, ACSD, E1-1

conference

Multi-clock SoC design using protocol conversion

R Sinha, P Roop, S Basu, Z Salcic

(2009), pp. 123-128, Proceedings -Design, Automation and Test in Europe, DATE, E1-1

conference
2008

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

journal article

SoC design approach using convertibility verification

R Sinha, P Roop, S Basu

(2008), Vol. 2008, Eurasip Journal on Embedded Systems, C1-1

journal article

A module checking based converter synthesis approach for SoCs

R Sinha, P Roop, S Basu

(2008), pp. 492-499, Proceedings of the IEEE International Frequency Control Symposium and Exposition, E1-1

conference
2007

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

journal article
2005

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

journal article

Funded Projects at Deakin

No Funded Projects at Deakin found

Supervisions

No completed student supervisions to report