Simon St. James
According to our database1,
Simon St. James
authored at least 5 papers
between 2001 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
2003
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.
Softw. Test. Verification Reliab., 2003
An Optimised Partial-Order Approach to the Verification of System Components.
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.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001