Overview
Dr Uchitel's research is in Software Engineering and particularly in behaviour modelling and analysis of requirements and design for complex software-intensive systems. His research is led 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. Sebastian Uchitel's aim is to develop modelling and analysis techniques and tools that can provide benefits even if only a partial behaviour model has been developed. Consequently, his research currently focuses on scenario-based specifications, behaviour model synthesis, and partial behaviour models such as modal transitions systems.
For more information see http://www.doc.ic.ac.uk/~su2/.Collaborators
David Rosenblum, University College London, Reliability Engineering
Dr. Dan Hirsch, University of Pisa, Software Architectures
Professor Paola Inverardi, University of L'Aquila, Software Architecture
Professor Daniel Yankelevich, Universidad de Buenos Aires, Software Architectures
Marsha Chechik, University of Toronto, Merging Partial Behaviour Models
Professor Jeff Kramer, Imperial College London, Distributed Systems
Professor Jeff Magee, Imperial College London, Distributed Systems
Monica Bobrowski, University of Buenos Aires, Software Architectures
Howard Foster, Imperial College London, Web Services
London Software Systems
Dr Alessandra Russo, Imperial College London, Machine Learning in Requirements Engineering
Past Collaborators
Guest Lectures
Runtime Controller Synthesis for Self-Adaptation: Be Discrete!, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Austin, Texas, 2016
Research Student Supervision
Alrajeh,D, Machine Learning in Requirements Engineering - In Progress
Duarte,LM, Distributed Systems - In Progress
Fischbein,D, Modal Transition Systems - In Progress