 | 2009 |
|---|
| 6 |       | Djones Lettnin,
Pradeep Kumar Nalla,
Jörg Behrend,
Jürgen Ruf,
Joachim Gerlach,
Thomas Kropf,
Wolfgang Rosenstiel,
Volker Schönknecht,
Stephan Reitemeyer:
Semiformal verification of temporal properties in automotive hardware dependent software.
DATE 2009: 1214-1217 |
| 2008 |
|---|
| 5 | | Djones Lettnin,
Pradeep Kumar Nalla,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel,
Tobias Kirsten,
Volker Schönknecht,
Stephan Reitemeyer:
Verification of Temporal Properties in Automotive Embedded Software.
DATE 2008: 164-169 |
| 4 | | Pradeep Kumar Nalla,
Rajeev Wankar,
Arun Agarwal:
Design of Concurrent Utilities in Jackal: A Software DSM Implementation.
ICDCN 2008: 176-181 |
| 2007 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
| 1 | | 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) |
