Talks and Poster Presentations (with Proceedings-Entry):

S. Dustdar, P. Fenkam:
"Formally Designing Web Services for Mobile Team Collaboration";
Talk: Euromicro International Conference, Rennes, France (invited); 2004-08-31 - 2004-09-03; in: "Procedings of the 30th IEEE International Euromicro Conference", IEEE, (2004), ISBN: 07695-2199-1; 469 - 476.

English abstract:
We illustrate a symbiotic relationship between existing model oriented
specification techniques and web services. Through the formal re-design of
a platform for mobile team collaboration, we investigate the suitability of existing
formal specification and verification techniques to web services. In general,
this preliminary work suggests that a lot is still to be done
on understanding the computational behavior of web services, hence on
specifying and verifying them.

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.