Dr. Prakash M. Peranandam
Dr. Prakash M. Peranandam
Publications
2007
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 RosenstielIn 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}
}
2006
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 RosenstielIn 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 RosenstielIn 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}
}
2005
Bounded Property Checking with SymC
by Pradeep Kumar Nalla, Prakash M. Peranandam, Jürgen Ruf, Roland Weiss, Thomas Kropf, and Wolfgang RosenstielIn 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 RosenstielIn 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 RosenstielIn 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 RosenstielIn 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 RosenstielIn 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 RosenstielIn 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}
}