Prakash Mohan Peranandam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RE | Specifying Operational Design Domain in Autonomous Driving for Comprehensive Data Evaluation. | Hamed Barzamini, Ramesh S., Arun Adiththan, Prakash Mohan Peranandam, Mona Rahimi |
| 2012 | DATE | An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. | Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh |
| 2012 | ICTAC | SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. | Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh |
| 2007 | FDL | Grid Based Fast Falsification For Bounded Property Checking. | Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2006 | DAC | Fast falsification based on symbolic bounded property checking. | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jrgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel |
| 2003 | FDL | Using Symbolic Simulation for Bounded Property Checking. | Jrgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |