Simon St. James

	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

Coauthor Index

1

Ulrich Ultes-Nitsche (Ulrich Nitsche)

[1] [2] [3] [4]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page