dblp.uni-trier.dewww.uni-trier.de

Prakash Mohan Peranandam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEPradeep 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: 299-304
2006
3EEPrakash 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: 1077-1082
2EEPradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)
2003
1EEJürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel: Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385

Coauthor Index

1Jörg Behrend [4]
2Thomas Kropf [1] [2] [3] [4]
3Pradeep Kumar Nalla [2] [3] [4]
4Wolfgang Rosenstiel [1] [2] [3] [4]
5Jürgen Ruf [1] [2] [3] [4]
6Roland J. Weiss (Roland Weiss) [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)