| 2006 |
|---|
| 8 | 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 |
| 7 | 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) |
| 2005 |
|---|
| 6 | EE | Roland J. Weiss,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel:
Efficient and Customizable Integration of Temporal Properties.
FDL 2005: 385-397 |
| 2004 |
|---|
| 5 | EE | Jürgen Ruf,
Roland J. Weiss,
Thomas Kropf,
Wolfgang Rosenstiel:
Modeling and Formal Verification of Production Automation Systems.
SoftSpez Final Report 2004: 541-566 |
| 2003 |
|---|
| 4 | EE | Roland Weiss,
Volker Simonis:
Storing Properties in Grouped Tagged Tuples.
Ershov Memorial Conference 2003: 22-29 |
| 3 | EE | Volker Simonis,
Roland Weiss:
ProgDOC - A New Program Documentation System.
Ershov Memorial Conference 2003: 438-449 |
| 2001 |
|---|
| 2 | EE | Roland Weiss,
Volker Simonis:
Exploring Template Template Parameters.
Ershov Memorial Conference 2001: 500-510 |
| 1999 |
|---|
| 1 | EE | Volker Simonis,
Roland Weiss:
Heterogeneous, Nested STL Containers in C++.
Ershov Memorial Conference 1999: 383-388 |
