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 compositionsH Foster, S Uchitel, J Magee, J Kramer18th IEEE International Conference on Automated Software Engineering, 2003 …, 20037112003
2-) Synthesis of behavioral models from scenariosS Uchitel, J Kramer, J MageeIEEE Transactions on Software Engineering 29 (2), 99-115, 20033632003
3-) Incremental elaboration of scenario-based specifications and behavior models using implied scenariosS Uchitel, J Kramer, J MageeACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 20042622004
4-) LTSA-WS: a tool for model-based verification of web service compositions and choreographyH Foster, S Uchitel, J Magee, J KramerProceedings of the 28th international conference on Software engineering …, 20062412006
5-) Compatibility verification for web service choreographyH Foster, S Uchitel, J Magee, J KramerProceedings. IEEE International Conference on Web Services, 2004., 738-741, 20042312004