Roopak Sinha
Orcid: 0000-0001-9486-7833
According to our database1,
Roopak Sinha
authored at least 89 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Softw. Syst. Model., 2023
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
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
IEEE Trans. Software Eng., 2022
Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images.
Sensors, 2022
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
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
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
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
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
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
Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021
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
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
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
ACM Trans. Cyber Phys. Syst., 2019
Microprocess. Microsystems, 2019
Proceedings of the pHealth 2019 - Proceedings of the 16th International Conference on Wearable Micro and Nano Technologies for Personalized Health, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
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
Proceedings of the Software Architecture, 2018
2017
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
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
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
IEEE Trans. Ind. Informatics, 2016
Automatic test case generation from requirements for industrial cyber-physical systems.
Autom., 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
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
Proceedings of the Image and Video Technology - PSIVT 2015 Workshops, 2015
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
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
Proceedings of the ENASE 2015, 2015
2014
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
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011
Proceedings of the 48th Design Automation Conference, 2011
2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
2007
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007
2006
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006
2005
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005