Simon St. James

According to our database, Simon St. James authored at least 5 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Improved state-space construction in automated verification.

Simon St. James

PhD thesis, 2008

2003

Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.

Ulrich Ultes-Nitsche, Simon St. James

Softw. Test. Verification Reliab., 2003

An Optimised Partial-Order Approach to the Verification of System Components.

Simon St. James, Ulrich Ultes-Nitsche

Proceedings of the New Technologies for Information Systems, 2003

2001

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.

Simon St. James, Ulrich Ultes-Nitsche

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.

Ulrich Ultes-Nitsche, Simon St. James

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001