default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoopak Sinha
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Sanaz Zamani
, Roopak Sinha:
Generative AI - The End of Systematic Reviews in PhD Projects? Inroads 15(2): 48-50 (2024)- [j28]Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, M. Asif Naeem:
Dynamic Quantification With Constrained Error Under Unknown General Dataset Shift. IEEE Trans. Knowl. Data Eng. 36(7): 2980-2994 (2024) - 2023
- [j27]U. H. W. A. Hewage, Roopak Sinha, M. Asif Naeem:
Privacy-preserving data (stream) mining techniques and their impact on data mining accuracy: a systematic literature review. Artif. Intell. Rev. 56(9): 10427-10464 (2023) - [j26]Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha:
Kororā: A secure live virtual machine job migration framework for cloud systems integrity. Array 19: 100312 (2023) - [j25]Awais Tanveer, Chandan Sharma, Roopak Sinha, Matthew M. Y. Kuo:
Tracing security requirements in industrial control systems using graph databases. Softw. Syst. Model. 22(3): 851-870 (2023) - [c61]Gustavo Silva Funchal, Farzana Zahid, Victória Melo, Matthew M. Y. Kuo, Tiago Pedrosa, Roopak Sinha, Fernando de la Prieta, Paulo Leitão:
An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System. ICIT 2023: 1-6 - [c60]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:
Reflective Insights: Flipping Learning in Engineering and ICT Courses. TALE 2023: 1-4 - [c59]Nawal Chanane, Jiansheng Cui, Catherine Hassell Sweatman, Victor Miranda, Nuttanan Wichitaksorn, Wenjun Zhang, Patricio Maturana-Russel, Robin Hankin, Roopak Sinha:
Flipping the Script: Reflection on Implementing the Flipped Classroom in Mathematics. TALE 2023: 1-4 - [c58]Matthew M. Y. Kuo, Roopak Sinha, Ramon Lewis, Charlie Cumming, Robin Alarcon, Chandan Sharma:
DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research. TALE 2023: 1-4 - 2022
- [j24]Chandan Sharma, Roopak Sinha:
FLASc: a formal algebra for labeled property graph schema. Autom. Softw. Eng. 29(1): 37 (2022) - [j23]Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén:
Automatic lesion segmentation using atrous convolutional deep neural networks in dermoscopic skin cancer images. BMC Medical Imaging 22(1): 103 (2022) - [j22]Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha:
Hairlines removal and low contrast enhancement of melanoma skin images using convolutional neural network with aggregation of contextual information. Biomed. Signal Process. Control. 76: 103653 (2022) - [j21]Ranpreet Kaur, Hamid Gholam Hosseini, Roopak Sinha:
Skin lesion segmentation using an improved framework of encoder-decoder based convolutional neural network. Int. J. Imaging Syst. Technol. 32(4): 1143-1158 (2022) - [j20]Farzana Zahid, Awais Tanveer, Matthew M. Y. Kuo, Roopak Sinha:
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems. J. Intell. Manuf. 33(6): 1603-1638 (2022) - [j19]Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, M. Asif Naeem:
Witan: Unsupervised Labelling Function Generation for Assisted Data Programming. Proc. VLDB Endow. 15(11): 2334-2347 (2022) - [j18]Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén:
Melanoma Classification Using a Novel Deep Convolutional Neural Network with Dermoscopic Images. Sensors 22(3): 1134 (2022) - [j17]John Spray, Roopak Sinha, Arnab Sen, Xingbin Cheng:
Building Maintainable Software Using Abstraction Layering. IEEE Trans. Software Eng. 48(11): 4397-4410 (2022) - [c57]Farzana Zahid, Gustavo Silva Funchal, Victória Melo, Matthew M. Y. Kuo, Paulo Leitão, Roopak Sinha:
DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors. INDIN 2022: 214-219 - [c56]Yuan Hao Li, Luiz Cesar Gualberto Veras Inoue, Roopak Sinha:
Real-time OEE visualisation for downtime detection. INDIN 2022: 729-734 - [c55]Anushka Bhave, Roopak Sinha:
Deep Multimodal Architecture for Detection of Long Parameter List and Switch Statements using DistilBERT. SCAM 2022: 116-120 - 2021
- [j16]Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell:
Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems. Future Internet 13(8): 190 (2021) - [j15]Alex Yao Chu Zhu, Wei-Qi Yan, Roopak Sinha:
ROP Defense Using Trie Graph for System Security. Int. J. Digit. Crime Forensics 13(6): 1-12 (2021) - [j14]Chandan Sharma, Roopak Sinha, Kenneth Johnson:
Practical and comprehensive formalisms for modelling contemporary graph query languages. Inf. Syst. 102: 101816 (2021) - [j13]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell, Wei Qi Yan:
Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic. Pattern Recognit. 119: 108057 (2021) - [j12]Awais Tanveer, Roopak Sinha, Matthew M. Y. Kuo:
Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications. IEEE Trans. Ind. Informatics 17(6): 3992-4002 (2021) - [c54]Rachneet Kaur, Hamid Gholamhosseini, Roopak Sinha:
Lesion Border Detection of Skin Cancer Images Using Deep Fully Convolutional Neural Network with Customized Weights. EMBC 2021: 3035-3038 - [c53]Benjamin Denham, Edmund M.-K. Lai, Roopak Sinha, M. Asif Naeem:
Gain-Some-Lose-Some: Reliable Quantification Under General Dataset Shift. ICDM 2021: 1048-1053 - [c52]Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry:
Towards Self-Adaptive Disaster Management Systems. ISCRAM 2021: 49-61 - [c51]Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha:
Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture. ISGV 2021: 39-52 - [c50]Farzana Zahid, Matthew M. Y. Kuo, Roopak Sinha:
Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS. PST 2021: 1-5 - [c49]Smit Patel, Roopak Sinha:
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. ICTSS 2021: 148-159 - [c48]Shangeetha Sivasothy, Scott Barnett, Niroshinie Fernando, Rajesh Vasa, Roopak Sinha, Andrew J. Simmons:
Towards a taxonomy for annotation of data science experiment repositories. SCAM 2021: 76-80 - [c47]Ranpreet Kaur, Hamid Gholamhosseini, Roopak Sinha:
Synthetic Images Generation Using Conditional Generative Adversarial Network for Skin Cancer Classification. TENCON 2021: 381-386 - [i26]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. CoRR abs/2101.01856 (2021) - [i25]Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell:
Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems. CoRR abs/2101.05451 (2021) - [i24]Vinod Menon, Roopak Sinha, Stephen G. MacDonell:
Architectural Challenges in Migrating Plan-driven Projects to Agile. CoRR abs/2103.00371 (2021) - [i23]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell:
On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. CoRR abs/2104.09020 (2021) - [i22]Barry Dowdeswell, Roopak Sinha, Dennis Jarvis, Jacqueline Jarvis, Stephen G. MacDonell:
Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems. CoRR abs/2105.03851 (2021) - [i21]Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell:
Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems. CoRR abs/2105.03909 (2021) - [i20]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell:
Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification. CoRR abs/2105.04097 (2021) - [i19]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell:
Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images. CoRR abs/2105.04128 (2021) - [i18]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell, Wei Qi Yan:
Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic. CoRR abs/2106.14190 (2021) - [i17]Neenu Varghese, Roopak Sinha:
Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red. CoRR abs/2107.04246 (2021) - [i16]Subash Humagain, Roopak Sinha:
Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. CoRR abs/2107.08167 (2021) - [i15]Shihui Han, Roopak Sinha, Andrew Lowe:
Assessing Support for Industry Standards in Reference Medical Software Architectures. CoRR abs/2107.08185 (2021) - [i14]Subash Humagain, Roopak Sinha:
Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV. CoRR abs/2107.08232 (2021) - [i13]Awais Tanveer, Roopak Sinha, Matthew M. Y. Kuo:
Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications. CoRR abs/2107.11537 (2021) - [i12]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. CoRR abs/2108.00595 (2021) - [i11]Chandan Sharma, Roopak Sinha, Paulo Leitão:
IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. CoRR abs/2108.01413 (2021) - [i10]Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser:
The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems. CoRR abs/2108.02921 (2021) - [i9]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - [i8]Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin:
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR abs/2108.07400 (2021) - [i7]Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser:
Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. CoRR abs/2108.07933 (2021) - [i6]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
SVM Classifier on Chip for Melanoma Detection. CoRR abs/2108.11957 (2021) - [i5]Subash Humagain, Roopak Sinha:
Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems. CoRR abs/2109.03210 (2021) - [i4]Shereen Afifi, Hamid Gholam Hosseini, Roopak Sinha:
A system on chip for melanoma detection using FPGA-based SVM classifier. CoRR abs/2109.14840 (2021) - [i3]Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha:
Tailoring the Cyber Security Framework: How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing. CoRR abs/2110.04457 (2021) - [i2]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
Dynamic hardware system for cascade SVM classification of melanoma. CoRR abs/2112.05322 (2021) - [i1]Kenneth Johnson, Samaneh Madanian, Roopak Sinha:
Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. CoRR abs/2112.12046 (2021) - 2020
- [j11]Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell:
Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems. J. Syst. Softw. 168: 110638 (2020) - [j10]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
Dynamic hardware system for cascade SVM classification of melanoma. Neural Comput. Appl. 32(6): 1777-1788 (2020) - [j9]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
FPGA Implementations of SVM Classifiers: A Review. SN Comput. Sci. 1(3): 133 (2020) - [c46]Rachneet Kaur, Hamid Gholamhosseini, Roopak Sinha:
Deep Convolutional Neural Network for Melanoma Detection using Dermoscopy Images. EMBC 2020: 1524-1527 - [c45]Kenneth Johnson, Samaneh Madanian, Roopak Sinha:
Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. SEAA 2020: 521-528 - [c44]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell:
Examining and Mitigating Kernel Saturation in Convolutional Neural Networks using Negative Images. IECON 2020: 465-470 - [c43]Nidhi Gowdra, Roopak Sinha, Stephen G. MacDonell:
Examining convolutional feature extraction using Maximum Entropy (ME) and Signal-to-Noise Ratio (SNR) for image classification. IECON 2020: 471-476 - [c42]Subash Humagain, Roopak Sinha:
Dynamic Prioritization of Emergency Vehicles For Self-Organizing Traffic using VTL+EV. IECON 2020: 789-794 - [c41]Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell:
Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems. IECON 2020: 2183-2188 - [c40]Barry Dowdeswell, Roopak Sinha, Dennis Jarvis, Jacqueline Jarvis, Stephen G. MacDonell:
Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems. IECON 2020: 2189-2194 - [c39]Shihui Han, Roopak Sinha, Andrew Lowe:
Assessing Support for Industry Standards in Reference Medical Software Architectures. IECON 2020: 3403-3407 - [c38]Neenu Varghese, Roopak Sinha:
Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red. IECON 2020: 4519-4524 - [c37]Subash Humagain, Roopak Sinha:
Routing Emergency Vehicles in Arterial Road Networks using Real-time Mixed Criticality Systems. ITSC 2020: 1-6
2010 – 2019
- 2019
- [j8]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
A system on chip for melanoma detection using FPGA-based SVM classifier. Microprocess. Microsystems 65: 57-68 (2019) - [j7]Roopak Sinha, Barry Dowdeswell, Gulnara Zhabelova, Valeriy Vyatkin:
TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 3(2): 15:1-15:25 (2019) - [j6]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15(7): 3772-3783 (2019) - [c36]Chandan Sharma, Roopak Sinha:
A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics. BDCAT 2019: 71-80 - [c35]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. INDIN 2019: 87-92 - [c34]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. INDIN 2019: 374-379 - [c33]Subash Humagain, Roopak Sinha:
Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. INDIN 2019: 1097-1102 - [c32]Chandan Sharma, Roopak Sinha, Paulo Leitão:
IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. INDIN 2019: 1558-1563 - [c31]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha, Maria Lindén:
A Novel Medical Device for Early Detection of Melanoma. pHealth 2019: 122-127 - 2018
- [c30]John Spray, Roopak Sinha:
Abstraction Layered Architecture: Writing Maintainable Embedded Code. ECSA 2018: 131-146 - [c29]Hanif Deylami, Jairo A. Gutiérrez, Roopak Sinha:
More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity. ICMU 2018: 1-8 - [c28]Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser:
The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems. IECON 2018: 2927-2934 - [c27]Stamatis Karnouskos, Roopak Sinha, Paulo Leitão, Luis Ribeiro, Thomas I. Strasser:
Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. INDIN 2018: 61-66 - [c26]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell:
On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. INDIN 2018: 778-785 - 2017
- [j5]Zeeshan Ejaz Bhatti, Partha S. Roop, Roopak Sinha:
Unified Functional Safety Assessment of Industrial Automation Systems. IEEE Trans. Ind. Informatics 13(1): 17-26 (2017) - [c25]Roopak Sinha, Ayush Narula, John Grundy:
Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. ACSW 2017: 28:1-28:8 - [c24]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
SVM classifier on chip for melanoma detection. EMBC 2017: 270-274 - [c23]Xiang Yu, Ling Liang, Ruonan Zhou, Roopak Sinha:
A software architecture for energy consumption optimization in location-based mobile applications. IECON 2017: 5400-5405 - [c22]Nidhi Gowdra, Roopak Sinha:
DynaCool: Efficient cooling of next-generation large-scale data centers. IECON 2017: 5420-5425 - 2016
- [j4]Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin:
Automatic test case generation from requirements for industrial cyber-physical systems. Autom. 64(3): 216-230 (2016) - [j3]Roopak Sinha, Partha S. Roop, Gareth Shaw, Zoran A. Salcic, Matthew M. Y. Kuo:
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. IEEE Trans. Ind. Informatics 12(1): 59-68 (2016) - [c21]Akbar Hossain, Sayan Kumar Ray, Roopak Sinha:
A Smartphone-Assisted Post-Disaster Victim Localization Method. HPCC/SmartCity/DSS 2016: 1173-1179 - [c20]Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle:
TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. ICECCS 2016: 23-32 - 2015
- [c19]Vinod Menon, Roopak Sinha, Stephen G. MacDonell:
Architectural Challenges in Migrating Plan-driven Projects to Agile. ENASE 2015: 223-228 - [c18]Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan:
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA 2015: 159-166 - [c17]Roopak Sinha:
Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. ICECCS 2015: 170-173 - [c16]Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin:
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ICECCS 2015: 198-201 - [c15]Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell:
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON 2015: 2172-2177 - [c14]Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin:
Slicing the Pi: Device-specific IEC 61499 design. INDIN 2015: 1257-1262 - [c13]Shereen Afifi, Hamid Gholamhosseini, Roopak Sinha:
Hardware Acceleration of SVM-Based Classifier for Melanoma Images. PSIVT Workshops 2015: 235-245 - 2014
- [j2]Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop:
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. 20(1): 13:1-13:30 (2014) - [c12]Roopak Sinha, Kenneth Johnson, Radu Calinescu:
A scalable approach for re-configuring evolving industrial control systems. ETFA 2014: 1-8 - [c11]Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park:
Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. ETFA 2014: 1-7 - 2013
- [c10]Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke:
Precise timing analysis for direct-mapped caches. DAC 2013: 148:1-148:10 - 2012
- [c9]Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu:
Correct-by-construction multi-component SoC design. DATE 2012: 647-652 - 2011
- [c8]Matthew M. Y. Kuo, Roopak Sinha, Partha S. Roop:
Efficient WCRT analysis of synchronous programs using reachability. DAC 2011: 480-485 - [c7]Sidharta Andalam, Roopak Sinha, Partha S. Roop:
Environment Modelling for Tighter Timing Analysis of Synchronous Programs. DELTA 2011: 150-155
2000 – 2009
- 2009
- [c6]Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler:
Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157 - [c5]Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic:
Multi-clock Soc design using protocol conversion. DATE 2009: 123-128 - 2008
- [j1]Roopak Sinha, Partha S. Roop, Samik Basu:
SoC Design Approach Using Convertibility Verification. EURASIP J. Embed. Syst. 2008 (2008) - [c4]Roopak Sinha, Partha S. Roop, Samik Basu:
A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design 2008: 492-501 - 2007
- [c3]Roopak Sinha, Partha S. Roop, Samik Basu:
A Model Checking Approach to Protocol Conversion. SLA++P@ETAPS 2007: 81-94 - 2006
- [c2]Samik Basu, Partha S. Roop, Roopak Sinha:
Local Module Checking for CTL Specifications. FESCA@ETAPS 2006: 125-141 - 2005
- [c1]Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov:
Adaptive Verification using Forced Simulation. FESCA@ETAPS 2005: 171-197
Coauthor Index
Hamid Gholamhosseini
aka: Hamid Gholam Hosseini
aka: Hamid Gholam Hosseini
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 01:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
