Sebastian Uchitel

Sebastian Uchitel

Universidad de Buenos Aires - Buenos Aires / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 859921
University of Buenos Aires
person_outline Sebastian Uchitel's MOST POPULAR ARTICLES
1-) Model-based verification of web service compositions 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
2-) Synthesis of behavioral models from scenarios IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
3-) Incremental elaboration of scenario-based specifications and behavior models using implied scenarios ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 2004
4-) LTSA-WS: a tool for model-based verification of web service compositions and choreography Proceedings of the 28th international conference on Software engineering …, 2006
5-) Compatibility verification for web service choreography Proceedings. IEEE International Conference on Web Services, 2004., 738-741, 2004