Adaptive Verification using Forced Simulation. - Roopak Sinha; Partha S. Roop; Bakhadyr Khoussainov (FESCA@ETAPS, 2005)

Local Module Checking for CTL Specifications. - Samik Basu 001; Partha S. Roop; Roopak Sinha (FESCA@ETAPS, 2006)

A Model Checking Approach to Protocol Conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (SLA++P@ETAPS, 2007)

A Module Checking Based Converter Synthesis Approach for SoCs. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (VLSI Design, 2008)

SoC Design Approach Using Convertibility Verification. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (EURASIP J. Embed. Syst., 2008)

Specification Enforcing Refinement for Convertibility Verification. - Partha S. Roop; Alain Girault; Roopak Sinha; Gregor Goessler (ACSD, 2009)

Multi-clock Soc design using protocol conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001; Zoran Salcic (DATE, 2009)

Efficient WCRT analysis of synchronous programs using reachability. - Matthew M. Y. Kuo; Roopak Sinha; Partha S. Roop (DAC, 2011)

Environment Modelling for Tighter Timing Analysis of Synchronous Programs. - Sidharta Andalam; Roopak Sinha; Partha S. Roop (DELTA, 2011)

Correct-by-construction multi-component SoC design. - Roopak Sinha; Partha S. Roop; Zoran Salcic; Samik Basu 001 (DATE, 2012)

Precise timing analysis for direct-mapped caches. - Sidharta Andalam; Alain Girault; Roopak Sinha; Partha S. Roop; Jan Reineke 001 (DAC, 2013)

A scalable approach for re-configuring evolving industrial control systems. - Roopak Sinha; Kenneth Johnson; Radu Calinescu (ETFA, 2014)

Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. - Roopak Sinha; Valeriy Vyatkin; Zoran Salcic; HeeJong Park 001 (ETFA, 2014)

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. - Roopak Sinha; Alain Girault; Gregor Goessler; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2014)

Architectural Challenges in Migrating Plan-driven Projects to Agile. - Vinod Menon; Roopak Sinha; Stephen G. MacDonell (ENASE, 2015)

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. - Kenneth Johnson; Roopak Sinha; Radu Calinescu; Ji Ruan (EUROMICRO-SEAA, 2015)

Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. - Roopak Sinha (ICECCS, 2015)

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. - Roopak Sinha; Cheng Pang; Gerardo Santillan Martinez; Juha Kuronen; Valeriy Vyatkin (ICECCS, 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 (IECON, 2015)

Slicing the Pi: Device-specific IEC 61499 design. - Roopak Sinha; Barry Dowdeswell; Valeriy Vyatkin (INDIN, 2015)

Hardware Acceleration of SVM-Based Classifier for Melanoma Images. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha (PSIVT Workshops, 2015)

A Smartphone-Assisted Post-Disaster Victim Localization Method. - Akbar Hossain; Sayan Kumar Ray; Roopak Sinha (HPCC/SmartCity/DSS, 2016)

TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. - Barry Dowdeswell; Roopak Sinha; Enrico Haemmerle (ICECCS, 2016)

Automatic test case generation from requirements for industrial cyber-physical systems. - Roopak Sinha; Cheng Pang; Gerardo Santillán Martínez; Valeriy Vyatkin (Autom., 2016)

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. - Roopak Sinha; Partha S. Roop; Gareth Shaw; Zoran A. Salcic; Matthew M. Y. Kuo (IEEE Trans. Ind. Informatics, 2016)

Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. - Roopak Sinha; Ayush Narula; John Grundy 001 (ACSW, 2017)

SVM classifier on chip for melanoma detection. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha (EMBC, 2017)

DynaCool: Efficient cooling of next-generation large-scale data centers. - Nidhi Gowdra; Roopak Sinha (IECON, 2017)

A software architecture for energy consumption optimization in location-based mobile applications. - Xiang Yu; Ling Liang; Ruonan Zhou; Roopak Sinha (IECON, 2017)

Unified Functional Safety Assessment of Industrial Automation Systems. - Zeeshan Ejaz Bhatti; Partha S. Roop; Roopak Sinha (IEEE Trans. Ind. Informatics, 2017)

Abstraction Layered Architecture: Writing Maintainable Embedded Code. - John Spray; Roopak Sinha (ECSA, 2018)

More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity. - Hanif Deylami; Jairo A. Gutiérrez; Roopak Sinha (ICMU, 2018)

The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems. - Stamatis Karnouskos; Roopak Sinha; Paulo Leitão; Luis Ribeiro 001; Thomas I. Strasser (IECON, 2018)

Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. - Stamatis Karnouskos; Roopak Sinha; Paulo Leitão; Luis Ribeiro 001; Thomas I. Strasser (INDIN, 2018)

On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. - Awais Tanveer; Roopak Sinha; Stephen G. MacDonell (INDIN, 2018)

A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics. - Chandan Sharma; Roopak Sinha (BDCAT, 2019)

Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. - Subash Humagain; Roopak Sinha (INDIN, 2019)

Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. - Dennis Jarvis; Jacqueline Jarvis; Chen-Wei Yang; Roopak Sinha; Valeriy Vyatkin (INDIN, 2019)

IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. - Chandan Sharma; Roopak Sinha; Paulo Leitão (INDIN, 2019)

Designing Actively Secure, Highly Available Industrial Automation Applications. - Awais Tanveer; Roopak Sinha; Stephen G. MacDonell; Paulo Leitão; Valeriy Vyatkin (INDIN, 2019)

A Novel Medical Device for Early Detection of Melanoma. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha; Maria Lindén (pHealth, 2019)

A system on chip for melanoma detection using FPGA-based SVM classifier. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha (Microprocess. Microsystems, 2019)

TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. - Roopak Sinha; Barry Dowdeswell; Gulnara Zhabelova; Valeriy Vyatkin (ACM Trans. Cyber Phys. Syst., 2019)

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. - Roopak Sinha; Sandeep Patil; Luís Gomes 001; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

Deep Convolutional Neural Network for Melanoma Detection using Dermoscopy Images. - Rachneet Kaur; Hamid Gholamhosseini; Roopak Sinha (EMBC, 2020)

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. - Kenneth Johnson; Samaneh Madanian; Roopak Sinha (SEAA, 2020)

Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems. - Barry Dowdeswell; Roopak Sinha; Dennis Jarvis; Jacqueline Jarvis; Stephen G. MacDonell (IECON, 2020)

Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems. - Barry Dowdeswell; Roopak Sinha; Stephen G. MacDonell (IECON, 2020)

Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images. - Nidhi Gowdra; Roopak Sinha; Stephen G. MacDonell (IECON, 2020)

Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification. - Nidhi Gowdra; Roopak Sinha; Stephen G. MacDonell (IECON, 2020)

Assessing Support for Industry Standards in Reference Medical Software Architectures. - Shihui Han; Roopak Sinha; Andrew Lowe (IECON, 2020)

Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV. - Subash Humagain; Roopak Sinha (IECON, 2020)

Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red. - Neenu Varghese; Roopak Sinha (IECON, 2020)

Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems. - Subash Humagain; Roopak Sinha (ITSC, 2020)

Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems. - Barry Dowdeswell; Roopak Sinha; Stephen G. MacDonell (J. Syst. Softw., 2020)

Dynamic hardware system for cascade SVM classification of melanoma. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha (Neural Comput. Appl., 2020)

FPGA Implementations of SVM Classifiers: A Review. - Shereen Afifi; Hamid Gholamhosseini; Roopak Sinha (SN Comput. Sci., 2020)

Lesion Border Detection of Skin Cancer Images Using Deep Fully Convolutional Neural Network with Customized Weights. - Rachneet Kaur; Hamid Gholamhosseini; Roopak Sinha (EMBC, 2021)

Gain-Some-Lose-Some: Reliable Quantification Under General Dataset Shift. - Benjamin Denham; Edmund M.-K. Lai; Roopak Sinha; M. Asif Naeem (ICDM, 2021)

Towards Self-Adaptive Disaster Management Systems. - Kenneth Johnson; Javier Cámara 001; Roopak Sinha; Samaneh Madanian; Dave Parry (ISCRAM, 2021)

Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture. - Ranpreet Kaur; Hamid Gholamhosseini; Roopak Sinha (ISGV, 2021)

Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS. - Farzana Zahid; Matthew M. Y. Kuo; Roopak Sinha (PST, 2021)

Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. - Smit Patel; Roopak Sinha (ICTSS, 2021)

Towards a taxonomy for annotation of data science experiment repositories. - Shangeetha Sivasothy; Scott Barnett; Niroshinie Fernando; Rajesh Vasa; Roopak Sinha; Andrew J. Simmons (SCAM, 2021)

Synthetic Images Generation Using Conditional Generative Adversarial Network for Skin Cancer Classification. - Ranpreet Kaur; Hamid Gholamhosseini; Roopak Sinha (TENCON, 2021)

Tailoring the Cyber Security Framework: How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing. - Hanif Deylami; Jairo A. Gutiérrez; Roopak Sinha (CoRR, 2021)

Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems. - Barry Dowdeswell; Roopak Sinha; Stephen G. MacDonell (Future Internet, 2021)

ROP Defense Using Trie Graph for System Security. - Alex Yao Chu Zhu; Wei-Qi Yan 001; Roopak Sinha (Int. J. Digit. Crime Forensics, 2021)

Practical and comprehensive formalisms for modelling contemporary graph query languages. - Chandan Sharma; Roopak Sinha; Kenneth Johnson (Inf. Syst., 2021)

Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic. - Nidhi Gowdra; Roopak Sinha; Stephen G. MacDonell; Wei Qi Yan 001 (Pattern Recognit., 2021)

Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications. - Awais Tanveer; Roopak Sinha; Matthew M. Y. Kuo (IEEE Trans. Ind. Informatics, 2021)

Real-time OEE visualisation for downtime detection. - Yuan Hao Li; Luiz Cesar Gualberto Veras Inoue; Roopak Sinha (INDIN, 2022)

DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors. - Farzana Zahid; Gustavo Funchal; Victória Melo; Matthew M. Y. Kuo; Paulo Leitão; Roopak Sinha (INDIN, 2022)

Deep Multimodal Architecture for Detection of Long Parameter List and Switch Statements using DistilBERT. - Anushka Bhave; Roopak Sinha (SCAM, 2022)

FLASc: a formal algebra for labeled property graph schema. - Chandan Sharma; Roopak Sinha (Autom. Softw. Eng., 2022)

Automatic lesion segmentation using atrous convolutional deep neural networks in dermoscopic skin cancer images. - Ranpreet Kaur; Hamid Gholamhosseini; Roopak Sinha; Maria Lindén (BMC Medical Imaging, 2022)

Hairlines removal and low contrast enhancement of melanoma skin images using convolutional neural network with aggregation of contextual information. - Ranpreet Kaur; Hamid Gholamhosseini; Roopak Sinha (Biomed. Signal Process. Control., 2022)

Skin lesion segmentation using an improved framework of encoder-decoder based convolutional neural network. - Ranpreet Kaur; Hamid Gholam Hosseini; Roopak Sinha (Int. J. Imaging Syst. Technol., 2022)

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems. - Farzana Zahid; Awais Tanveer; Matthew M. Y. Kuo; Roopak Sinha (J. Intell. Manuf., 2022)

Witan: Unsupervised Labelling Function Generation for Assisted Data Programming. - Benjamin Denham; Edmund M.-K. Lai; Roopak Sinha; M. Asif Naeem (Proc. VLDB Endow., 2022)

Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images. - Ranpreet Kaur; Hamid Gholamhosseini; Roopak Sinha; Maria Lindén (Sensors, 2022)

Building Maintainable Software Using Abstraction Layering. - John Spray; Roopak Sinha; Arnab Sen; Xingbin Cheng (IEEE Trans. Software Eng., 2022)

An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System. - Gustavo Silva Funchal; Farzana Zahid; Victória Melo; Matthew M. Y. Kuo; Tiago Pedrosa; Roopak Sinha; Fernando De la Prieta; Paulo Leitão (ICIT, 2023)

Reflective Insights: Flipping Learning in Engineering and ICT Courses. - Nawal Chanane; Jiansheng Cui; Anubha Kalra; Matthew M. Y. Kuo; Lorenzo Garcia; Loulin Huang 001; Tet Chuan Lee; Ashwin Polishetty; Max Ramos; Xue Jun Li; Adnan Al-Anbuky; Martin Stommel; et al. (TALE, 2023)

Flipping the Script: Reflection on Implementing the Flipped Classroom in Mathematics. - Nawal Chanane; Jiansheng Cui; Catherine Hassell Sweatman; Victor Miranda; Nuttanan Wichitaksorn; Wenjun Zhang; Patricio Maturana-Russel; Robin Hankin; Roopak Sinha (TALE, 2023)

DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research. - Matthew M. Y. Kuo; Roopak Sinha; Ramon Lewis; Charlie Cumming; Robin Alarcon; Chandan Sharma (TALE, 2023)

Tracing security requirements in industrial control systems using graph databases. - Awais Tanveer; Chandan Sharma; Roopak Sinha; Matthew M. Y. Kuo (Softw. Syst. Model., 2023)

Privacy-preserving data (stream) mining techniques and their impact on data mining accuracy: a systematic literature review. - U. H. W. A. Hewage; Roopak Sinha; M. Asif Naeem (Artif. Intell. Rev., 2023)

Kororā: A secure live virtual machine job migration framework for cloud systems integrity. - Hanif Deylami; Jairo A. Gutiérrez; Roopak Sinha (Array, 2023)

Enhanced Machine Learning for Real-Time Plant Replication in Embedded Systems. - Abhisek Chowdhury; Jane Jung; Matthew M. Y. Kuo; Roopak Sinha (IECON, 2024)

Building Highly Maintainable Software for Energy Automation Systems using Abstraction Layering. - Arsalan Liaqat; Max Somerville; Matthew M. Y. Kuo; John Spray; Chen-Wei Yang; Roopak Sinha (IECON, 2024)

Actively Detecting Multiscale Flooding Attacks & Attack Volumes in Resource-Constrained ICPS. - Farzana Zahid; Matthew M. Y. Kuo; Roopak Sinha; Gustavo Funchal; Tiago Pedrosa; Paulo Leitao (IEEE Trans. Ind. Informatics, 2024)

Generative AI - The End of Systematic Reviews in PhD Projects? - Sanaz Zamani; Roopak Sinha (Inroads, 2024)

Dynamic Quantification With Constrained Error Under Unknown General Dataset Shift. - Benjamin Denham; Edmund M.-K. Lai; Roopak Sinha; M. Asif Naeem (IEEE Trans. Knowl. Data Eng., 2024)

Visualizing UNet Decisions: An Explainable AI Perspective for Brain MRI Segmentation. - D. Jeya Mala; Mainak Chattopadhyay; Parthiba Mukhopadhyay; Roopak Sinha (IEEE Access, 2025)

Light-weight slow-rate attack detection framework for resource-constrained Industrial Cyber-Physical Systems. - Farzana Zahid; Matthew M. Y. Kuo; Roopak Sinha (Comput. Secur., 2025)

Enhancing Emotional Well-Being With IoT Data Solutions for Depression: A Systematic Review. - Sanaz Zamani; Roopak Sinha; Minh Nguyen 001; Samaneh Madanian (IEEE J. Biomed. Health Informatics, 2025)

Securing Educational LLMs: A Generalised Taxonomy of Attacks on LLMs and DREAD Risk Assessment. - Farzana Zahid; Anjalika Sewwandi; Lee Brandon; Vimal Kumar; Roopak Sinha (CoRR, 2025)

An accuracy-privacy optimization framework considering user's privacy requirements for data stream mining. - Waruni Hewage; Roopak Sinha; M. Asif Naeem (J. Big Data, 2025)