Roopak Sinha
Titel
Zitiert von
Zitiert von
Jahr
Efficient WCRT analysis of synchronous programs using reachability
M Kuo, R Sinha, P Roop
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 480-485, 2011
332011
Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes
R Sinha, A Narula, J Grundy
Proceedings of the australasian computer science week multiconference, 1-8, 2017
252017
Hardware implementations of SVM on FPGA: A state-of-the-art review of current practice
SM Afifi, H GholamHosseini, S Poopak
International Journal of Innovative Science Engineering and Technology …, 2015
232015
A system on chip for melanoma detection using FPGA-based SVM classifier
S Afifi, H GholamHosseini, R Sinha
Microprocessors and Microsystems 65, 57-68, 2019
212019
Observer based verification of IEC 61499 function blocks
ZE Bhatti, R Sinha, PS Roop
2011 9th IEEE International Conference on Industrial Informatics, 609-614, 2011
212011
A model checking approach to protocol conversion
R Sinha, PS Roop, S Basu
Electronic Notes in Theoretical Computer Science 203 (4), 81-94, 2008
182008
Hardware acceleration of SVM-based classifier for melanoma images
S Afifi, H GholamHosseini, R Sinha
Image and Video Technology, 235-245, 2015
172015
A smartphone-assisted post-disaster victim localization method
A Hossain, SK Ray, R Sinha
2016 IEEE 18th International Conference on High Performance Computing and …, 2016
162016
Hierarchical and concurrent ECCs for IEC 61499 function blocks
R Sinha, PS Roop, G Shaw, Z Salcic, MMY Kuo
IEEE Transactions on Industrial Informatics 12 (1), 59-68, 2015
162015
A low-cost FPGA-based SVM classifier for melanoma detection
S Afifi, H GholamHosseini, R Sinha
2016 IEEE EMBS Conference on Biomedical Engineering and Sciences (IECBES …, 2016
152016
Unified functional safety assessment of industrial automation systems
ZE Bhatti, PS Roop, R Sinha
IEEE Transactions on Industrial Informatics 13 (1), 17-26, 2016
152016
Requirements-aided automatic test case generation for industrial cyber-physical systems
R Sinha, C Pang, GS Martínez, J Kuronen, V Vyatkin
2015 20th International Conference on Engineering of Complex Computer …, 2015
152015
Correct-by-construction approaches for SoC design
R Sinha, P Roop, S Basu
Springer New York, 2014
142014
Multi-clock SoC design using protocol conversion
R Sinha, PS Roop, S Basu, Z Salcic
2009 Design, Automation & Test in Europe Conference & Exhibition, 123-128, 2009
142009
SVM classifier on chip for melanoma detection
S Afifi, H GholamHosseini, R Sinha
2017 39th Annual International Conference of the IEEE Engineering in …, 2017
132017
Local module checking for CTL specifications
S Basu, PS Roop, R Sinha
Electronic Notes in Theoretical Computer Science 176 (2), 125-141, 2007
132007
Assessing the integration of software agents and industrial automation systems with ISO/IEC 25010
S Karnouskos, R Sinha, P Leitão, L Ribeiro, TI Strasser
2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 61-66, 2018
122018
Automatic test case generation from requirements for industrial cyber-physical systems
R Sinha, C Pang, GS Martínez, V Vyatkin
at-Automatisierungstechnik 64 (3), 216-230, 2016
112016
Precise timing analysis for direct-mapped caches
S Andalam, A Girault, R Sinha, P Roop, J Reineke
Proceedings of the 50th Annual Design Automation Conference, 1-10, 2013
112013
Virtual Traffic Lights+ A Robust, Practical, and Functionally Safe Intelligent Transportation System
R Sinha, PS Roop, P Ranjitkar
Transportation research record 2381 (1), 73-80, 2013
112013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20