 | 2003 |
|---|
| 4 |       | Simon St. James,
Ulrich Ultes-Nitsche:
An Optimised Partial-Order Approach to the Verification of System Components.
NDDL/VVEIS 2003: 69-81 |
| 3 |  | Ulrich Ultes-Nitsche,
Simon St. James:
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.
Softw. Test., Verif. Reliab. 13(4): 241-255 (2003) |
| 2001 |
|---|
| 2 | | Ulrich Ultes-Nitsche,
Simon St. James:
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.
FORTE 2001: 369-376 |
| 1 | | Simon St. James,
Ulrich Ultes-Nitsche:
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.
PODC 2001: 238-245 |
