Følg
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London
Verificeret mail på dc.uba.ar - Startside
Titel
Citeret af
Citeret af
År
Model-based verification of web service compositions
H Foster, S Uchitel, J Magee, J Kramer
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
7112003
Synthesis of behavioral models from scenarios
S Uchitel, J Kramer, J Magee
IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
3762003
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
S Uchitel, J Kramer, J Magee
ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 2004
2652004
LTSA-WS: a tool for model-based verification of web service compositions and choreography
H Foster, S Uchitel, J Magee, J Kramer
Proceedings of the 28th international conference on Software engineering …, 2006
2392006
Compatibility verification for web service choreography
H Foster, S Uchitel, J Magee, J Kramer
Proceedings. IEEE International Conference on Web Services, 2004., 738-741, 2004
2302004
Detecting implied scenarios in message sequence chart specifications
S Uchitel, J Kramer, J Magee
ACM SIGSOFT Software Engineering Notes 26 (5), 74-82, 2001
1882001
A foundation for behavioural conformance in software product line architectures
D Fischbein, S Uchitel, V Braberman
Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006
1822006
Merging partial behavioural models
S Uchitel, M Chechik
ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004
1822004
Synthesis of partial behavior models from properties and scenarios
S Uchitel, G Brunet, M Chechik
IEEE Transactions on Software Engineering 35 (3), 384-406, 2008
1462008
A workbench for synthesising behaviour models from scenarios
S Uchitel, J Kramer
Proceedings of the 23rd International Conference on Software Engineering …, 2001
1442001
Using scenarios to predict the reliability of concurrent component-based software systems
G Rodrigues, D Rosenblum, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2005
1362005
Model-based analysis of obligations in web service choreography
H Foster, S Uchitel, J Magee, J Kramer
Advanced Int'l Conference on Telecommunications and Int'l Conference on …, 2006
1262006
MTSA: The modal transition system analyser
N D'Ippolito, D Fischbein, M Chechik, S Uchitel
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1172008
Deriving event-based transition systems from goal-oriented requirements models
E Letier, J Kramer, J Magee, S Uchitel
Automated Software Engineering 15, 175-206, 2008
1142008
Learning operational requirements from goal models
D Alrajeh, J Kramer, A Russo, S Uchitel
2009 IEEE 31st International Conference on Software Engineering, 265-275, 2009
1122009
Modes for software architectures
D Hirsch, J Kramer, J Magee, S Uchitel
European Workshop on Software Architecture, 113-126, 2006
1122006
Morph: A reference architecture for configuration and behaviour self-adaptation
V Braberman, N D'Ippolito, J Kramer, D Sykes, S Uchitel
Proceedings of the 1st international workshop on control theory for software …, 2015
1042015
Synthesizing nonanomalous event-based controllers for liveness goals
N D'ippolito, V Braberman, N Piterman, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-36, 2013
1012013
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
N D'Ippolito, V Braberman, J Kramer, J Magee, D Sykes, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
982014
Behaviour model synthesis from properties and scenarios
S Uchitel, G Brunet, M Chechik
29th International Conference on Software Engineering (ICSE'07), 34-43, 2007
972007
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20