Roopak Sinha
TitleCited byYear
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
292011
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
182011
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 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
152015
Hardware acceleration of SVM-based classifier for melanoma images
S Afifi, H GholamHosseini, R Sinha
Image and Video Technology, 235-245, 2015
142015
Local module checking for CTL specifications
S Basu, PS Roop, R Sinha
Electronic Notes in Theoretical Computer Science 176 (2), 125-141, 2007
132007
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
122015
Multi-clock SoC design using protocol conversion
R Sinha, PS Roop, S Basu, Z Salcic
Proceedings of the Conference on Design, Automation and Test in Europe, 123-128, 2009
122009
Correct-by-construction approaches for SoC design
R Sinha, P Roop, S Basu
Springer, 2014
112014
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
102016
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, 148, 2013
102013
Specification enforcing refinement for convertibility verification
P Roop, A Girault, R Sinha, G Goessler
2009 Ninth International Conference on Application of Concurrency to Systemá…, 2009
102009
Automated techniques for formal verification of SoCs
R Sinha
PhD Thesis-University of Auckland, 2009
102009
A module checking based converter synthesis approach for socs
R Sinha, PS Roop, S Basu
21st International Conference on VLSI Design (VLSID 2008), 492-501, 2008
102008
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
92016
Unified functional safety assessment of industrial automation systems
ZE Bhatti, PS Roop, R Sinha
IEEE Transactions on Industrial Informatics 13 (1), 17-26, 2016
92016
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
92016
A multi-agent framework for dependable adaptation of evolving system architectures
K Johnson, R Sinha, R Calinescu, J Ruan
2015 41st Euromicro Conference on Software Engineering and Advancedá…, 2015
92015
The amba SOC platform
R Sinha, P Roop, S Basu
Correct-by-Construction Approaches for SoC Design, 11-23, 2014
92014
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
92013
The system can't perform the operation now. Try again later.
Articles 1–20