PetStore-WS: Measuring the Performance Implications of Web Services.
Proceedings of the 29th International Computer Measurement Group Conference, 2003
Proving sequential consistency by model checking.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001