Roopak Sinha
Titel
Geciteerd door
Geciteerd door
Jaar
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
272011
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
202017
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
202015
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
202011
A model checking approach to protocol conversion
R Sinha, PS Roop, S Basu
Electronic Notes in Theoretical Computer Science 203 (4), 81-94, 2008
162008
Hardware acceleration of SVM-based classifier for melanoma images
S Afifi, H GholamHosseini, R Sinha
Image and Video Technology, 235-245, 2015
152015
Unified functional safety assessment of industrial automation systems
ZE Bhatti, PS Roop, R Sinha
IEEE Transactions on Industrial Informatics 13 (1), 17-26, 2017
132017
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
132016
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
132015
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
132015
Correct-by-construction approaches for SoC design
R Sinha, P Roop, S Basu
Springer New York, 2014
132014
Local module checking for CTL specifications
S Basu, PS Roop, R Sinha
Electronic Notes in Theoretical Computer Science 176 (2), 125-141, 2007
132007
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
122019
SVM classifier on chip for melanoma detection
S Afifi, H GholamHosseini, R Sinha
2017 39th Annual International Conference of the IEEE Engineering in …, 2017
122017
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
122016
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
122009
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
102016
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software
R Sinha, S Patil, C Pang, V Vyatkin, B Dowdeswell
IECON 2015-41st Annual Conference of the IEEE Industrial Electronics Society …, 2015
102015
A scalable approach for re-configuring evolving industrial control systems
R Sinha, K Johnson, R Calinescu
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
102014
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
102013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20