Manjunath Ramachandra

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Technical Advances

Inter Disciplinary

Top Venues

ISSRE (Supplemental Proceedings)

ISSRE Workshops

Publications

D. S. Vidhya, Manjunath Ramachandra
A Novel Design in Formal Verification Corresponding to Mixed Signals by Differential Learning. CSOC (3) (2017)
G. Raghavendra, Manjunath Ramachandra
Predictive-Based Stochastic Modelling of Power Transmission System for Leveraging Fault Tolerance. CSOC (3) (2016)
Kishore Vinod, Manjunath Ramachandra, Santosh Yalawar, Pandit Pattabhirama
Diagnosing development software release to predict field failures. ISSRE (Supplemental Proceedings) (2013)
Kishore Vinod, Pandit Pattabhirama, Manjunath Ramachandra
Reliability feedback through system log analysis. ISSRE (Supplemental Proceedings) (2013)
Kishore Vinod, Manjunath Ramachandra, Prashanth Pai, Santosh Yalawar
A novel mechanism to continuously scan field logs and gain real-time feedback. ISSRE (Supplemental Proceedings) (2013)
Rossel Paul Banji, Pandit Pattabhirama, Mukul Gharpure, Manjunath Ramachandra
Managing Automated End to End Testing in Bitwise Heterogenous Environments. ISSRE Workshops (2012)