Using Symbolic Simulation for Bounded Property Checking. - Jürgen Ruf; Prakash Mohan Peranandam; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2003)

Bounded Property Checking with Symbolic Simulation. - Jürgen Ruf; Prakash Mohan Peranandam (MBMV, 2003)

Dynamic guiding of bounded property checking. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2004)

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf (MBMV, 2004)

Overlap reduction in symbolic system traversal. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2005)

Distributed Symbolic Bounded Property Checking. - Pradeep Kumar Nalla; Roland J. Weiss; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (PDMC@ICALP, 2005)

Fast falsification based on symbolic bounded property checking. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (DAC, 2006)

Efficient system traversal and property verification by exploiting circuit locality. - Prakash Mohan Peranandam (2006)

Grid Based Fast Falsification For Bounded Property Checking. - Pradeep Kumar Nalla; Jörg Behrend; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2007)

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 002 (DATE, 2012)

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. - Sachin Raviram; Prakash Mohan Peranandam; Manoranjan Satpathy; S. Ramesh 002 (ICTAC, 2012)

Efficient coverage of parallel and hierarchical stateflow models for test case generation. - Manoranjan Satpathy; Anand Yeolekar; Prakash Mohan Peranandam; S. Ramesh 002 (Softw. Test. Verification Reliab., 2012)

An MBSE Approach for Development of Resilient Automated Automotive Systems. - Joseph D'Ambrosio; Arun Adiththan; Edwin Ordoukhanian; Prakash Mohan Peranandam; S. Ramesh 002; Azad M. Madni; Padma Sundaram (Syst., 2019)

Automatic development of requirement linking matrix based on semantic similarity for robust software development. - Dnyanesh Rajpathak 001; Prakash Mohan Peranandam; S. Ramesh 002 (J. Syst. Softw., 2022)