Simon St. James

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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 EE 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 EE 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

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	EE	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	EE	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]