Dr. Prakash M. Peranandam

Content

Publications

Publications

Grid Based Fast Falsification For Bounded Property Checking

by Pradeep Kumar Nalla, Jörg Behrend, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In Forum on Specification & Design Languages (FDL), 2007. [BIB]

@inproceedings{PKJPMJTW2007,
  author = {Nalla, Pradeep Kumar and Behrend, Jörg and Peranandam, Prakash M. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Grid Based Fast Falsification For Bounded Property Checking},
  booktitle = {Forum on Specification & Design Languages (FDL)},
  year = {2007}
}

Fast Distributed Property Checking

by Pradeep Kumar Nalla, Prakash M. Peranandam, Jürgen Ruf, S. Laemmermann, Jörg Behrend, Roland Weiss, Thomas Kropf, and Wolfgang Rosenstiel
In Design Automation and Test in Europe (DATE), 2006. [BIB]

@inproceedings{PKPMJSJRTW032006,
  author = {Nalla, Pradeep Kumar and Peranandam, Prakash M. and Ruf, Jürgen and Laemmermann, S. and Behrend, Jörg and Weiss, Roland and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Fast Distributed Property Checking},
  booktitle = {Design Automation and Test in Europe (DATE)},
  year = {2006},
  month = {mar},
  address = {University Booth},
  month_numeric = {3}
}

Fast Falsification Based on Symbolic Bounded Property Checking

by Prakash M. Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, R. J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel
In 43rd Design Automation Conference (DAC), 2006. [BIB]

@inproceedings{PMPKJRJTW2006,
  author = {Peranandam, Prakash M. and Nalla, Pradeep Kumar and Ruf, Jürgen and Weiss, R. J. and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Fast Falsification Based on Symbolic Bounded Property Checking},
  booktitle = {43rd Design Automation Conference (DAC)},
  year = {2006}
}

Bounded Property Checking with SymC

by Pradeep Kumar Nalla, Prakash M. Peranandam, Jürgen Ruf, Roland Weiss, Thomas Kropf, and Wolfgang Rosenstiel
In Design Automation and Test in Europe (DATE), 2005. [BIB]

@inproceedings{PKPMJRTW032005,
  author = {Nalla, Pradeep Kumar and Peranandam, Prakash M. and Ruf, Jürgen and Weiss, Roland and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Bounded Property Checking with SymC},
  booktitle = {Design Automation and Test in Europe (DATE)},
  year = {2005},
  month = {mar},
  address = {University Booth },
  month_numeric = {3}
}

Symbolic bounded property checking in parallel

by Pradeep Kumar Nalla, R. J. Weiss, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In In 4th International Workshop on Parallel and Distributed Methods in Verification, Electronic Notes in Theoretical Computer Science. Elsevier, 2005. [BIB]

@inproceedings{PKRJPJTW2005,
  author = {Nalla, Pradeep Kumar and Weiss, R. J. and Peranandam, Prakash M. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Symbolic bounded property checking in parallel},
  booktitle = {In 4th International Workshop on Parallel and Distributed Methods in Verification, Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  year = {2005}
}

Overlap reduction in symbolic system traversal

by Prakash M. Peranandam, Pradeep Kumar Nalla, R. J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In IEEE International High Level Design Validation and Test Workshop (HLDVT), 2005. [BIB]

@inproceedings{PMPKRJJTW2005,
  author = {Peranandam, Prakash M. and Nalla, Pradeep Kumar and Weiss, R. J. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Overlap reduction in symbolic system traversal},
  booktitle = {IEEE International High Level Design Validation and Test Workshop (HLDVT)},
  year = {2005}
}

2004

Dynamic guiding of bounded property checking

by Prakash M. Peranandam, R. J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In In IEEE International High Level Design Validation and Test Workshop (HLDVT), 2004. [BIB]

@inproceedings{PMRJJTW2004,
  author = {Peranandam, Prakash M. and Weiss, R. J. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Dynamic guiding of bounded property checking},
  booktitle = {In IEEE International High Level Design Validation and Test Workshop (HLDVT)},
  year = {2004}
}

2003

Using Symbolic Simulation for Bounded Property Checking

by Jürgen Ruf, Prakash M. Peranandam, Thomas Kropf, and Wolfgang Rosenstiel
In Proceedings of Forum on Design Languages (FDL), 2003. [BIB]

@inproceedings{JPTW2003,
  author = {Ruf, Jürgen and Peranandam, Prakash M. and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Using Symbolic Simulation for Bounded Property Checking},
  booktitle = {Proceedings of Forum on Design Languages (FDL)},
  year = {2003}
}

Bounded property checking with symbolic simulation (2)

by Jürgen Ruf, Prakash M. Peranandam, Thomas Kropf, and Wolfgang Rosenstiel
In In Forum on Specification and Design Languages, 2003. [BIB]

@inproceedings{JPMTW2003,
  author = {Ruf, Jürgen and Peranandam, Prakash M. and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Bounded property checking with symbolic simulation (2)},
  booktitle = {In Forum on Specification and Design Languages},
  year = {2003}
}