 | 2007 |
|---|
| 4 |       | 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: 299-304 |
| 2006 |
|---|
| 3 | | 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: 1077-1082 |
| 2 | | Pradeep 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 |
|---|
| 1 | | Jürgen Ruf,
Prakash Mohan Peranandam,
Thomas Kropf,
Wolfgang Rosenstiel:
Using Symbolic Simulation for Bounded Property Checking.
FDL 2003: 374-385 |
