Prakash Mohan Peranandam

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Venues

J. Syst. Softw.

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Dnyanesh Rajpathak, Prakash Mohan Peranandam, S. Ramesh
Automatic development of requirement linking matrix based on semantic similarity for robust software development. J. Syst. Softw. 186 (2022)
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Grid Based Fast Falsification For Bounded Property Checking. FDL (2007)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Fast falsification based on symbolic bounded property checking. DAC (2006)
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Distributed Symbolic Bounded Property Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Overlap reduction in symbolic system traversal. HLDVT (2005)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Dynamic guiding of bounded property checking. HLDVT (2004)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV (2004)
Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel
Using Symbolic Simulation for Bounded Property Checking. FDL (2003)
Jürgen Ruf, Prakash Mohan Peranandam
Bounded Property Checking with Symbolic Simulation. MBMV (2003)

Prakash Mohan Peranandam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Prakash Mohan Peranandam