Sebastian Uchitel

Cited by

	All	Since 2016
Citations	5556	1091
h-index	37	19
i10-index	89	36

500

250

125

375

20012002200320042005200620072008200920102011201220132014201520162017201820192020202114 28 62 124 240 316 334 469 413 427 375 394 490 351 355 277 252 191 190 170 10

Co-authors

Jeff KramerProfessor of Computing, Imperial CollegeVerified email at imperial.ac.uk
Jeff MageeProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
Nicolas D'IppolitoUniversidad de Buenos AiresVerified email at dc.uba.ar
Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Dalal AlrajehLecturer (Assistant Professor), Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Dario FischbeinVerified email at imperial.ac.uk
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
Robert ChatleyImperial College LondonVerified email at doc.ic.ac.uk
David S. RosenblumGeorge Mason UniversityVerified email at alumni.stanford.edu
Guido de CasoUniversidad de Buenos AiresVerified email at dc.uba.ar
Emmanuel LetierUniversity College LondonVerified email at cs.ucl.ac.uk
Esteban PaveseVerified email at informatik.hu-berlin.de
Genaína Nunes RodriguesAssociate Professor of Computer Science, University of BrasiliaVerified email at cic.unb.br
Axel van LamsweerdeProfessor Emeritus, ICTEAM Institute, EPL, Université catholique de LouvainVerified email at uclouvain.be
Arun MukhijaSwissportVerified email at swissport.com
Leandro NahabedianUniversidad de Buenos AiresVerified email at dc.uba.ar
Wolfgang EmmerichDept. of Computer Science, UCL, UKVerified email at acm.org
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca

Sebastian Uchitel

Universidad de Buenos Aires and Imperial College London

Verified email at dc.uba.ar - Homepage

Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	642	2003
Synthesis of behavioral models from scenarios S Uchitel, J Kramer, J Magee IEEE Transactions on Software Engineering 29 (2), 99-115, 2003	342	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	244	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	222	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	207	2004
Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004	182	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	177	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	169	2006
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	133	2008
A workbench for synthesising behaviour models from scenarios S Uchitel, J Kramer Proceedings of the 23rd International Conference on Software Engineering …, 2001	133	2001
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	120	2006
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	120	2005
Modes for software architectures D Hirsch, J Kramer, J Magee, S Uchitel European Workshop on Software Architecture, 113-126, 2006	106	2006
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	103	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	96	2009
Behaviour model synthesis from properties and scenarios S Uchitel, G Brunet, M Chechik 29th International Conference on Software Engineering (ICSE'07), 34-43, 2007	91	2007
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	87	2008
Monitoring and control in scenario-based requirements analysis E Letier, J Kramer, J Magee, S Uchitel Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005	84	2005
Tool support for model-based engineering of web service compositions H Foster, S Uchitel, J Magee, J Kramer IEEE International Conference on Web Services (ICWS'05), 95-102, 2005	83	2005
Model checking service compositions under resource constraints H Foster, W Emmerich, J Kramer, J Magee, D Rosenblum, S Uchitel Proceedings of the the 6th joint meeting of the European software …, 2007	76	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors