Seguir
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London
Dirección de correo verificada de dc.uba.ar - Página principal
Título
Citado por
Citado por
Año
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
7132003
Synthesis of behavioral models from scenarios
S Uchitel, J Kramer, J Magee
IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
3792003
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
2402006
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
2312004
Detecting implied scenarios in message sequence chart specifications
S Uchitel, J Kramer, J Magee
ACM SIGSOFT Software Engineering Notes 26 (5), 74-82, 2001
1872001
Merging partial behavioural models
S Uchitel, M Chechik
ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004
1822004
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
1802006
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
1482008
A workbench for synthesising behaviour models from scenarios
S Uchitel, J Kramer
Proceedings of the 23rd International Conference on Software Engineering …, 2001
1412001
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
1372005
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
1292006
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
1132008
Modes for software architectures
D Hirsch, J Kramer, J Magee, S Uchitel
European Workshop on Software Architecture, 113-126, 2006
1112006
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
1082009
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
1072008
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
962014
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
962013
Behaviour model synthesis from properties and scenarios
S Uchitel, G Brunet, M Chechik
29th International Conference on Software Engineering (ICSE'07), 34-43, 2007
962007
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
922015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20