Roopak Sinha

Orcid: 0000-0001-9486-7833

According to our database1, Roopak Sinha authored at least 89 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Kororā: A secure live virtual machine job migration framework for cloud systems integrity.
Array, September, 2023

Privacy-preserving data (stream) mining techniques and their impact on data mining accuracy: a systematic literature review.
Artif. Intell. Rev., September, 2023

Tracing security requirements in industrial control systems using graph databases.
Softw. Syst. Model., 2023

DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research.
Proceedings of the IEEE International Conference on Teaching, 2023

Flipping the Script: Reflection on Implementing the Flipped Classroom in Mathematics.
Proceedings of the IEEE International Conference on Teaching, 2023

Reflective Insights: Flipping Learning in Engineering and ICT Courses.
Proceedings of the IEEE International Conference on Teaching, 2023

An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System.
Proceedings of the IEEE International Conference on Industrial Technology, 2023

2022
Building Maintainable Software Using Abstraction Layering.
IEEE Trans. Software Eng., 2022

Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images.
Sensors, 2022

Witan: Unsupervised Labelling Function Generation for Assisted Data Programming.
Proc. VLDB Endow., 2022

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems.
J. Intell. Manuf., 2022

Skin lesion segmentation using an improved framework of encoder-decoder based convolutional neural network.
Int. J. Imaging Syst. Technol., 2022

Hairlines removal and low contrast enhancement of melanoma skin images using convolutional neural network with aggregation of contextual information.
Biomed. Signal Process. Control., 2022

Automatic lesion segmentation using atrous convolutional deep neural networks in dermoscopic skin cancer images.
BMC Medical Imaging, 2022

FLASc: a formal algebra for labeled property graph schema.
Autom. Softw. Eng., 2022

Deep Multimodal Architecture for Detection of Long Parameter List and Switch Statements using DistilBERT.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Real-time OEE visualisation for downtime detection.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

2021
Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications.
IEEE Trans. Ind. Informatics, 2021

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

Practical and comprehensive formalisms for modelling contemporary graph query languages.
Inf. Syst., 2021

ROP Defense Using Trie Graph for System Security.
Int. J. Digit. Crime Forensics, 2021

Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems.
Future Internet, 2021

Tailoring the Cyber Security Framework: How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing.
CoRR, 2021

Synthetic Images Generation Using Conditional Generative Adversarial Network for Skin Cancer Classification.
Proceedings of the IEEE Region 10 Conference, 2021

Towards a taxonomy for annotation of data science experiment repositories.
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones.
Proceedings of the Testing Software and Systems, 2021

Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS.
Proceedings of the 18th International Conference on Privacy, Security and Trust, 2021

Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture.
Proceedings of the Geometry and Vision - First International Symposium, 2021

Towards Self-Adaptive Disaster Management Systems.
Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Gain-Some-Lose-Some: Reliable Quantification Under General Dataset Shift.
Proceedings of the IEEE International Conference on Data Mining, 2021

Lesion Border Detection of Skin Cancer Images Using Deep Fully Convolutional Neural Network with Customized Weights.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020
FPGA Implementations of SVM Classifiers: A Review.
SN Comput. Sci., 2020

Dynamic hardware system for cascade SVM classification of melanoma.
Neural Comput. Appl., 2020

Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems.
J. Syst. Softw., 2020

Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Assessing Support for Industry Standards in Reference Medical Software Architectures.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

Deep Convolutional Neural Network for Melanoma Detection using Dermoscopy Images.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

2019
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems.
IEEE Trans. Ind. Informatics, 2019

TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2019

A system on chip for melanoma detection using FPGA-based SVM classifier.
Microprocess. Microsystems, 2019

A Novel Medical Device for Early Detection of Melanoma.
Proceedings of the pHealth 2019 - Proceedings of the 16th International Conference on Wearable Micro and Nano Technologies for Personalized Health, 2019

Designing Actively Secure, Highly Available Industrial Automation Applications.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics.
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, 2019

2018
On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems.
Proceedings of the IECON 2018, 2018

More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity.
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018

Abstraction Layered Architecture: Writing Maintainable Embedded Code.
Proceedings of the Software Architecture, 2018

2017
Unified Functional Safety Assessment of Industrial Automation Systems.
IEEE Trans. Ind. Informatics, 2017

A software architecture for energy consumption optimization in location-based mobile applications.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

DynaCool: Efficient cooling of next-generation large-scale data centers.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

SVM classifier on chip for melanoma detection.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks.
IEEE Trans. Ind. Informatics, 2016

Automatic test case generation from requirements for industrial cyber-physical systems.
Autom., 2016

TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

A Smartphone-Assisted Post-Disaster Victim Localization Method.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

2015
Hardware Acceleration of SVM-Based Classifier for Melanoma Images.
Proceedings of the Image and Video Technology - PSIVT 2015 Workshops, 2015

Slicing the Pi: Device-specific IEC 61499 design.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software.
Proceedings of the IECON 2015, 2015

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Architectural Challenges in Migrating Plan-driven Projects to Agile.
Proceedings of the ENASE 2015, 2015

2014
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design.
ACM Trans. Design Autom. Electr. Syst., 2014

Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A scalable approach for re-configuring evolving industrial control systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Precise timing analysis for direct-mapped caches.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012
Correct-by-construction multi-component SoC design.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Environment Modelling for Tighter Timing Analysis of Synchronous Programs.
Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011

Efficient WCRT analysis of synchronous programs using reachability.
Proceedings of the 48th Design Automation Conference, 2011

2009
Multi-clock Soc design using protocol conversion.
Proceedings of the Design, Automation and Test in Europe, 2009

Specification Enforcing Refinement for Convertibility Verification.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
SoC Design Approach Using Convertibility Verification.
EURASIP J. Embed. Syst., 2008

A Module Checking Based Converter Synthesis Approach for SoCs.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

2007
A Model Checking Approach to Protocol Conversion.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2006
Local Module Checking for CTL Specifications.
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

2005
Adaptive Verification using Forced Simulation.
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005


  Loading...