| 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 | 714 | 2003 |
| Synthesis of behavioral models from scenarios S Uchitel, J Kramer, J Magee IEEE Transactions on Software Engineering 29 (2), 99-115, 2003 | 378 | 2003 |
| 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 | 265 | 2004 |
| 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 | 240 | 2006 |
| 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 | 231 | 2004 |
| Detecting implied scenarios in message sequence chart specifications S Uchitel, J Kramer, J Magee ACM SIGSOFT Software Engineering Notes 26 (5), 74-82, 2001 | 189 | 2001 |
| 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 | 184 | 2006 |
| Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004 | 183 | 2004 |
| 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 | 144 | 2008 |
| A workbench for synthesising behaviour models from scenarios S Uchitel, J Kramer Proceedings of the 23rd International Conference on Software Engineering …, 2001 | 143 | 2001 |
| 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 | 134 | 2005 |
| 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 | 128 | 2006 |
| 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 | 121 | 2008 |
| Deriving event-based transition systems from goal-oriented requirements models E Letier, J Kramer, J Magee, S Uchitel Automated Software Engineering 15 (2), 175-206, 2008 | 117 | 2008 |
| 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 | 112 | 2009 |
| Modes for software architectures D Hirsch, J Kramer, J Magee, S Uchitel European Workshop on Software Architecture, 113-126, 2006 | 111 | 2006 |
| 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 | 110 | 2015 |
| 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 | 102 | 2013 |
| 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 | 100 | 2014 |
| Behaviour model synthesis from properties and scenarios S Uchitel, G Brunet, M Chechik 29th International Conference on Software Engineering (ICSE'07), 34-43, 2007 | 95 | 2007 |
Jeff KramerProfessor of Computing, Imperial CollegeVerified email at imperial.ac.uk
