2007 |
4 | EE | 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 | EE | 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 | EE | 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 | EE | Jürgen Ruf,
Prakash Mohan Peranandam,
Thomas Kropf,
Wolfgang Rosenstiel:
Using Symbolic Simulation for Bounded Property Checking.
FDL 2003: 374-385 |