| An integrated test generation tool for enhanced coverage of Simulink/Stateflow models P Peranandam, S Raviram, M Satpathy, A Yeolekar, A Gadkari, ... 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 308-311, 2012 | 51 | 2012 |
| Remote vehicle spatial awareness notification system BN Bacchus, LA Bush, S Li, E Paraskevas, PM Peranandam, Y Zhou US Patent App. 15/969,292, 2019 | 20 | 2019 |
| Bounded Property Checking with Symbolic Simulation. J Ruf, PM Peranandam, T Kropf, W Rosenstiel MBMV, 209-218, 2003 | 20 | 2003 |
| An MBSE approach for development of resilient automated automotive systems J D’Ambrosio, A Adiththan, E Ordoukhanian, P Peranandam, S Ramesh, ... Systems 7 (1), 1, 2019 | 19 | 2019 |
| Efficient coverage of parallel and hierarchical stateflow models for test case generation M Satpathy, A Yeolekar, P Peranandam, S Ramesh Software Testing, Verification and Reliability 22 (7), 457-479, 2012 | 18 | 2012 |
| Software test case generation from a partial design model PM Peranandam, AA Gadkari, R Sethu US Patent 8,683,442, 2014 | 17 | 2014 |
| Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. PM Peranandam, RJ Weiss, J Ruf, T Kropf MBMV, 260-269, 2004 | 16 | 2004 |
| Dynamic guiding of bounded property checking PM Peranandam, RJ Weiss, J Ruf, T Kropf, W Rosenstiel Proceedings. Ninth IEEE International High-Level Design Validation and Test …, 2004 | 10 | 2004 |
| Modifying vehicle fault diagnosis based on statistical analysis of past service inquiries D Rajpathak, PM Peranandam US Patent 10,109,115, 2018 | 8 | 2018 |
| Natural language processing and statistical techniques based methods for combining and comparing system data D Rajpathak, PM Peranandam, S De, JA Cafeo, JA Donndelinger, ... US Patent App. 15/481,205, 2017 | 8 | 2017 |
| Automatic linking of requirements using natural language processing R Sethu, PM Peranandam, D Rajpathak, S De US Patent 9,342,489, 2016 | 8 | 2016 |
| Methods and systems for combining vehicle data D Rajpathak, PMM Peranandam, S De, JA Cafeo, JA Donndelinger, ... US Patent App. 14/032,022, 2015 | 6 | 2015 |
| SmartTestGen+: A test suite booster for enhanced structural coverage S Raviram, P Peranandam, M Satpathy, S Ramesh Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium …, 2012 | 6 | 2012 |
| Function-based method for classifying and fusing system behavior information in product development JA Donndelinger, JA Cafeo, S De, D Rajpathak, PM Peranandam, ... US Patent 9,317,596, 2016 | 5 | 2016 |
| Overlap reduction in symbolic system traversal PM Peranandam, PK Nalla, RJ Weiss, J Ruf, T Kropf, W Rosenstiel Tenth IEEE International High-Level Design Validation and Test Workshop …, 2005 | 5 | 2005 |
| Correctness preserving optimization of deep neural networks PM Peranandam, R Sethu, A Rodionova US Patent 11,455,538, 2022 | 4 | 2022 |
| Phrase extraction text analysis method and system PM Peranandam, S De US Patent 10,325,021, 2019 | 4 | 2019 |
| Fast falsification based on symbolic bounded property checking PM Peranandam, PK Nalla, J Ruf, RJ Weiss, T Kropf, W Rosenstiel Proceedings of the 43rd annual Design Automation Conference, 1077-1082, 2006 | 4 | 2006 |
| Distributed symbolic bounded property checking PK Nalla, RJ Weiss, P Peranandam, J Ruf, T Kropf, W Rosenstiel Electronic Notes in Theoretical Computer Science 135 (2), 47-63, 2006 | 4 | 2006 |
| Automatic development of requirement linking matrix based on semantic similarity for robust software development D Rajpathak, PM Peranandam, S Ramesh Journal of Systems and Software 186, 111211, 2022 | 3 | 2022 |
