== Sebastian Uchitel == Email: <> <
><
> ||<|2 style="width: 162px;"> [[[|{{http://www.doc.ic.ac.uk/~su2/figs/seb.jpg||width=162]}}]] || ~+Sebastian Uchitel+~ || || ~-Distributed Software Engineering Section<
>Department of Computing<
>Imperial College London<
>Huxley Building Room 573<
>180 Queen's Gate, London SW7 2RH, UK<
>[[http://www.doc.ic.ac.uk/getting.html|Directions to the Department]]<
>[[http://www.streetmap.co.uk/newmap.srf?x=526466&y=179365&z=0&sv=sw7+2rh&st=2&pc=sw7+2rh&mapp=newmap.srf&searchp=newsearch.srf|Streetmap link]]<
>Phone: +44 20 7594 8286<
>Fax: +44 20 7581 8024 || === Research Interests === * My research insterest are in Software Engineering, more specifically in behaviour modelling and analysis of requirements and design for complex software-intensive systems. My research is driven by the observation that traditional behaviour modelling and analysis techniques are not well suited for iterative, incremental development approaches where, initially, only partial knowledge of system behaviour is available. Existing behaviour modelling and analysis approaches require comprehensive models, up to a certain level of abstraction, to be completed before analysis can be performed. I aim to develop modelling and analysis techniques and tools that can provide benefits even if only a partial behaviour model has been developed. Consequently, my research mainly focuses on scenario-based specifications, behaviour model synthesis, and partial behaviour models such as modal transitions systems. However, I am also interested in reliability, probabilistic models, service-oriented systems, web-services and self-organising systems. * [[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/u/Uchitel:Sebasti=aacute=n.html|Publications DBLP]] [[#top|^Top]] ----