Roopak Sinha - RankMe

126 papers A* 3A 2B 6C 30Misc 1Journal 63Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Securing educational LLMs: A generalised taxonomy of attacks on LLMs and DREAD risk assessment. High Confid. Comput. Farzana Zahid, Anjalika Sewwandi, Lee Brandon, Vimal Kumar, Roopak Sinha
2025	J	`jnl`	An accuracy-privacy optimization framework considering user's privacy requirements for data stream mining. J. Big Data Waruni Hewage, Roopak Sinha, Muhammad Asif Naeem
2025	J	`jnl`	Enhancing Emotional Well-Being With IoT Data Solutions for Depression: A Systematic Review. IEEE J. Biomed. Health Informatics Sanaz Zamani, Roopak Sinha, Minh Nguyen, Samaneh Madanian
2025	J	`jnl`	Exploring Metaheuristic Algorithms for Enhanced Game Map Generation in Procedural Content Generation. Int. J. Appl. Metaheuristic Comput. Sana Alyaseri, Andy M. Connor, Roopak Sinha
2025	J	`jnl`	Light-weight slow-rate attack detection framework for resource-constrained Industrial Cyber-Physical Systems. Comput. Secur. Farzana Zahid, Matthew M. Y. Kuo, Roopak Sinha
2025	J	`jnl`	Securing Educational LLMs: A Generalised Taxonomy of Attacks on LLMs and DREAD Risk Assessment. CoRR Farzana Zahid, Anjalika Sewwandi, Lee Brandon, Vimal Kumar, Roopak Sinha
2025	J	`jnl`	Visualizing UNet Decisions: An Explainable AI Perspective for Brain MRI Segmentation. IEEE Access D. Jeya Mala, Mainak Chattopadhyay, Parthiba Mukhopadhyay, Roopak Sinha
2024	J	`jnl`	Actively Detecting Multiscale Flooding Attacks & Attack Volumes in Resource-Constrained ICPS. IEEE Trans. Ind. Informatics Farzana Zahid, Matthew M. Y. Kuo, Roopak Sinha, Gustavo Funchal, Tiago Pedrosa, Paulo Leitao
2024	C	`conf`	Building Highly Maintainable Software for Energy Automation Systems using Abstraction Layering. IECON Arsalan Liaqat, Max Somerville, Matthew M. Y. Kuo, John Spray, Chen-Wei Yang, Roopak Sinha
2024	J	`jnl`	Dynamic Quantification With Constrained Error Under Unknown General Dataset Shift. IEEE Trans. Knowl. Data Eng. Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, Muhammad Asif Naeem
2024	C	`conf`	Enhanced Machine Learning for Real-Time Plant Replication in Embedded Systems. IECON Abhisek Chowdhury, Jane Jung, Matthew M. Y. Kuo, Roopak Sinha
2024	J	`jnl`	Generative AI - The End of Systematic Reviews in PhD Projects? Inroads Sanaz Zamani, Roopak Sinha
2023	—	`conf`	An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System. ICIT Gustavo Silva Funchal, Farzana Zahid, Victória Melo, Matthew M. Y. Kuo, Tiago Pedrosa, Roopak Sinha, Fernando De la Prieta, Paulo Leitão
2023	—	`conf`	DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research. TALE Matthew M. Y. Kuo, Roopak Sinha, Ramon Lewis, Charlie Cumming, Robin Alarcon, Chandan Sharma
2023	—	`conf`	Flipping the Script: Reflection on Implementing the Flipped Classroom in Mathematics. TALE Nawal Chanane, Jiansheng Cui, Catherine Hassell Sweatman, Victor Miranda, Nuttanan Wichitaksorn, WenJun Zhang, Patricio Maturana-Russel, Robin Hankin, Roopak Sinha
2023	J	`jnl`	Kororā: A secure live virtual machine job migration framework for cloud systems integrity. Array Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha
2023	J	`jnl`	Privacy-preserving data (stream) mining techniques and their impact on data mining accuracy: a systematic literature review. Artif. Intell. Rev. U. H. W. A. Hewage, Roopak Sinha, Muhammad Asif Naeem
2023	—	`conf`	Reflective Insights: Flipping Learning in Engineering and ICT Courses. TALE Nawal Chanane, Jiansheng Cui, Anubha Kalra, Matthew M. Y. Kuo, Lorenzo Garcia, Loulin Huang, Tet Chuan Lee, Ashwin Polishetty, Max Ramos, Xue Jun Li, Adnan Al-Anbuky, Martin Stommel, Minh Nguyen, Roopak Sinha
2023	J	`jnl`	Tracing security requirements in industrial control systems using graph databases. Softw. Syst. Model. Awais Tanveer, Chandan Sharma, Roopak Sinha, Matthew M. Y. Kuo
2022	J	`jnl`	A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems. J. Intell. Manuf. Farzana Zahid, Awais Tanveer, Matthew M. Y. Kuo, Roopak Sinha
2022	J	`jnl`	Automatic lesion segmentation using atrous convolutional deep neural networks in dermoscopic skin cancer images. BMC Medical Imaging Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén
2022	J	`jnl`	Building Maintainable Software Using Abstraction Layering. IEEE Trans. Software Eng. John Spray, Roopak Sinha, Arnab Sen, Xingbin Cheng
2022	C	`conf`	DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors. INDIN Farzana Zahid, Gustavo Funchal, Victória Melo, Matthew M. Y. Kuo, Paulo Leitão, Roopak Sinha
2022	C	`conf`	Deep Multimodal Architecture for Detection of Long Parameter List and Switch Statements using DistilBERT. SCAM Anushka Bhave, Roopak Sinha
2022	J	`jnl`	FLASc: a formal algebra for labeled property graph schema. Autom. Softw. Eng. Chandan Sharma, Roopak Sinha
2022	J	`jnl`	Hairlines removal and low contrast enhancement of melanoma skin images using convolutional neural network with aggregation of contextual information. Biomed. Signal Process. Control. Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha
2022	J	`jnl`	Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images. Sensors Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén
2022	C	`conf`	Real-time OEE visualisation for downtime detection. INDIN Yuan Hao Li, Luiz Cesar Gualberto Veras Inoue, Roopak Sinha
2022	J	`jnl`	Skin lesion segmentation using an improved framework of encoder-decoder based convolutional neural network. Int. J. Imaging Syst. Technol. Ranpreet Kaur, Hamid Gholam Hosseini, Roopak Sinha
2022	J	`jnl`	Witan: Unsupervised Labelling Function Generation for Assisted Data Programming. Proc. VLDB Endow. Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, Muhammad Asif Naeem
2021	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2021	J	`jnl`	A system on chip for melanoma detection using FPGA-based SVM classifier. CoRR Shereen Afifi, Hamid Gholam Hosseini, Roopak Sinha
2021	J	`jnl`	Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems. Future Internet Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Architectural Challenges in Migrating Plan-driven Projects to Agile. CoRR Vinod Menon, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Assessing Support for Industry Standards in Reference Medical Software Architectures. CoRR Shihui Han, Roopak Sinha, Andrew Lowe
2021	J	`jnl`	Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. CoRR Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser
2021	J	`jnl`	Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red. CoRR Neenu Varghese, Roopak Sinha
2021	C	`conf`	Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. ICTSS Smit Patel, Roopak Sinha
2021	—	`conf`	Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture. ISGV Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha
2021	J	`jnl`	Designing Actively Secure, Highly Available Industrial Automation Applications. CoRR Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin
2021	J	`jnl`	Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems. CoRR Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV. CoRR Subash Humagain, Roopak Sinha
2021	J	`jnl`	Dynamic hardware system for cascade SVM classification of melanoma. CoRR Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2021	J	`jnl`	Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems. CoRR Barry Dowdeswell, Roopak Sinha, Dennis Jarvis, Jacqueline Jarvis, Stephen G. MacDonell
2021	J	`jnl`	Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images. CoRR Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification. CoRR Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems. CoRR Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
2021	A*	`conf`	Gain-Some-Lose-Some: Reliable Quantification Under General Dataset Shift. ICDM Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, Muhammad Asif Naeem
2021	J	`jnl`	Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. CoRR Kenneth Johnson, Samaneh Madanian, Roopak Sinha
2021	J	`jnl`	IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. CoRR Chandan Sharma, Roopak Sinha, Paulo Leitão
2021	J	`jnl`	Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. CoRR Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin
2021	—	`conf`	Lesion Border Detection of Skin Cancer Images Using Deep Fully Convolutional Neural Network with Customized Weights. EMBC Rachneet Kaur, Hamid Gholamhosseini, Roopak Sinha
2021	C	`conf`	Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS. PST Farzana Zahid, Matthew M. Y. Kuo, Roopak Sinha
2021	J	`jnl`	Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic. CoRR Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell, Wei Qi Yan
2021	J	`jnl`	Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic. Pattern Recognit. Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell, Wei Qi Yan
2021	J	`jnl`	On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. CoRR Awais Tanveer, Roopak Sinha, Stephen G. MacDonell
2021	J	`jnl`	Practical and comprehensive formalisms for modelling contemporary graph query languages. Inf. Syst. Chandan Sharma, Roopak Sinha, Kenneth Johnson
2021	J	`jnl`	ROP Defense Using Trie Graph for System Security. Int. J. Digit. Crime Forensics Alex Yao Chu Zhu, Wei-Qi Yan, Roopak Sinha
2021	J	`jnl`	Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin
2021	J	`jnl`	Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. CoRR Subash Humagain, Roopak Sinha
2021	J	`jnl`	Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems. CoRR Subash Humagain, Roopak Sinha
2021	J	`jnl`	SVM Classifier on Chip for Melanoma Detection. CoRR Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2021	J	`jnl`	Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications. CoRR Awais Tanveer, Roopak Sinha, Matthew M. Y. Kuo
2021	J	`jnl`	Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications. IEEE Trans. Ind. Informatics Awais Tanveer, Roopak Sinha, Matthew M. Y. Kuo
2021	C	`conf`	Synthetic Images Generation Using Conditional Generative Adversarial Network for Skin Cancer Classification. TENCON Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha
2021	J	`jnl`	Tailoring the Cyber Security Framework: How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing. CoRR Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha
2021	J	`jnl`	The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems. CoRR Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser
2021	—	`conf`	Towards Self-Adaptive Disaster Management Systems. ISCRAM Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry
2021	C	`conf`	Towards a taxonomy for annotation of data science experiment repositories. SCAM Shangeetha Sivasothy, Scott Barnett, Niroshinie Fernando, Rajesh Vasa, Roopak Sinha, Andrew J. Simmons
2020	C	`conf`	Assessing Support for Industry Standards in Reference Medical Software Architectures. IECON Shihui Han, Roopak Sinha, Andrew Lowe
2020	C	`conf`	Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red. IECON Neenu Varghese, Roopak Sinha
2020	—	`conf`	Deep Convolutional Neural Network for Melanoma Detection using Dermoscopy Images. EMBC Rachneet Kaur, Hamid Gholamhosseini, Roopak Sinha
2020	C	`conf`	Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems. IECON Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
2020	C	`conf`	Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV. IECON Subash Humagain, Roopak Sinha
2020	J	`jnl`	Dynamic hardware system for cascade SVM classification of melanoma. Neural Comput. Appl. Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2020	C	`conf`	Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems. IECON Barry Dowdeswell, Roopak Sinha, Dennis Jarvis, Jacqueline Jarvis, Stephen G. MacDonell
2020	C	`conf`	Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images. IECON Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell
2020	C	`conf`	Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification. IECON Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell
2020	J	`jnl`	FPGA Implementations of SVM Classifiers: A Review. SN Comput. Sci. Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2020	J	`jnl`	Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems. J. Syst. Softw. Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
2020	B	`conf`	Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. SEAA Kenneth Johnson, Samaneh Madanian, Roopak Sinha
2020	—	`conf`	Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems. ITSC Subash Humagain, Roopak Sinha
2019	—	`conf`	A Novel Medical Device for Early Detection of Melanoma. pHealth Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén
2019	C	`conf`	A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics. BDCAT Chandan Sharma, Roopak Sinha
2019	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2019	J	`jnl`	A system on chip for melanoma detection using FPGA-based SVM classifier. Microprocess. Microsystems Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2019	C	`conf`	Designing Actively Secure, Highly Available Industrial Automation Applications. INDIN Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin
2019	C	`conf`	IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. INDIN Chandan Sharma, Roopak Sinha, Paulo Leitão
2019	C	`conf`	Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. INDIN Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin
2019	C	`conf`	Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. INDIN Subash Humagain, Roopak Sinha
2019	J	`jnl`	TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Roopak Sinha, Barry Dowdeswell, Gulnara Zhabelova, Valeriy Vyatkin
2018	B	`conf`	Abstraction Layered Architecture: Writing Maintainable Embedded Code. ECSA John Spray, Roopak Sinha
2018	C	`conf`	Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. INDIN Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser
2018	—	`conf`	More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity. ICMU Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha
2018	C	`conf`	On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. INDIN Awais Tanveer, Roopak Sinha, Stephen G. MacDonell
2018	C	`conf`	The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems. IECON Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser
2017	C	`conf`	A software architecture for energy consumption optimization in location-based mobile applications. IECON Xiang Yu, Ling Liang, Ruonan Zhou, Roopak Sinha
2017	C	`conf`	DynaCool: Efficient cooling of next-generation large-scale data centers. IECON Nidhi Gowdra, Roopak Sinha
2017	—	`conf`	Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. ACSW Roopak Sinha, Ayush Narula, John Grundy
2017	—	`conf`	SVM classifier on chip for melanoma detection. EMBC Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2017	J	`jnl`	Unified Functional Safety Assessment of Industrial Automation Systems. IEEE Trans. Ind. Informatics Zeeshan Ejaz Bhatti, Partha S. Roop, Roopak Sinha
2016	—	`conf`	A Smartphone-Assisted Post-Disaster Victim Localization Method. HPCC/SmartCity/DSS Akbar Hossain, Sayan Kumar Ray, Roopak Sinha
2016	J	`jnl`	Automatic test case generation from requirements for industrial cyber-physical systems. Autom. Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin
2016	J	`jnl`	Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. IEEE Trans. Ind. Informatics Roopak Sinha, Partha S. Roop, Gareth Shaw, Zoran A. Salcic, Matthew M. Y. Kuo
2016	B	`conf`	TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. ICECCS Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle
2015	—	`conf`	A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan
2015	B	`conf`	Architectural Challenges in Migrating Plan-driven Projects to Agile. ENASE Vinod Menon, Roopak Sinha, Stephen G. MacDonell
2015	B	`conf`	Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. ICECCS Roopak Sinha
2015	—	`conf`	Hardware Acceleration of SVM-Based Classifier for Melanoma Images. PSIVT Workshops Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha
2015	C	`conf`	Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell
2015	B	`conf`	Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ICECCS Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin
2015	C	`conf`	Slicing the Pi: Device-specific IEC 61499 design. INDIN Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin
2014	J	`jnl`	A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop
2014	C	`conf`	A scalable approach for re-configuring evolving industrial control systems. ETFA Roopak Sinha, Kenneth Johnson, Radu Calinescu
2014	C	`conf`	Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. ETFA Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park
2013	A*	`conf`	Precise timing analysis for direct-mapped caches. DAC Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
2012	A	`conf`	Correct-by-construction multi-component SoC design. DATE Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu
2011	A*	`conf`	Efficient WCRT analysis of synchronous programs using reachability. DAC Matthew M. Y. Kuo, Roopak Sinha, Partha S. Roop
2011	—	`conf`	Environment Modelling for Tighter Timing Analysis of Synchronous Programs. DELTA Sidharta Andalam, Roopak Sinha, Partha S. Roop
2009	A	`conf`	Multi-clock Soc design using protocol conversion. DATE Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic
2009	—	`conf`	Specification Enforcing Refinement for Convertibility Verification. ACSD Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler
2008	Misc	`conf`	A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design Roopak Sinha, Partha S. Roop, Samik Basu
2008	J	`jnl`	SoC Design Approach Using Convertibility Verification. EURASIP J. Embed. Syst. Roopak Sinha, Partha S. Roop, Samik Basu
2007	—	`conf`	A Model Checking Approach to Protocol Conversion. SLA++P Roopak Sinha, Partha S. Roop, Samik Basu
2006	—	`conf`	Local Module Checking for CTL Specifications. FESCA@ETAPS Samik Basu, Partha S. Roop, Roopak Sinha
2005	—	`conf`	Adaptive Verification using Forced Simulation. FESCA@ETAPS Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov