2005
E-store: formal specification.
Proceedings of The 2005 International Conference on E-Business, 2005

2001
Multimedia Presentation: Generic and Implementation Model.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001