Sebastian Uchitel

Cited by

	All	Since 2016
Citations	5895	1272
h-index	39	20
i10-index	92	39

520

260

130

390

2002200320042005200620072008200920102011201220132014201520162017201820192020202130 64 122 255 316 341 476 426 437 380 402 510 352 350 280 263 197 194 198 139

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

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
Leandro NahabedianUniversidad de Buenos AiresVerified email at dc.uba.ar
Axel van LamsweerdeProfessor Emeritus, ICTEAM Institute, EPL, Université catholique de LouvainVerified email at uclouvain.be
Arun MukhijaSwissportVerified email at swissport.com
Nabor MendoncaTitular Professor, Universidade de FortalezaVerified email at unifor.br
Wolfgang EmmerichDept. of Computer Science, UCL, UKVerified email at acm.org

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	709	2003
Synthesis of behavioral models from scenarios S Uchitel, J Kramer, J Magee IEEE Transactions on Software Engineering 29 (2), 99-115, 2003	358	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	254	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	233	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	227	2004
Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004	193	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	182	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	175	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	139	2008
A workbench for synthesising behaviour models from scenarios S Uchitel, J Kramer Proceedings of the 23rd International Conference on Software Engineering …, 2001	139	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	128	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	128	2005
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	109	2008
Modes for software architectures D Hirsch, J Kramer, J Magee, S Uchitel European Workshop on Software Architecture, 113-126, 2006	109	2006
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	103	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	96	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	95	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	88	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	86	2005
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	84	2013

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

Follow this author

Cited by

Co-authors