Imperial College London

Dr. Sebastian Uchitel

Faculty of EngineeringDepartment of Computing

Reader in Software Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8269s.uchitel Website

 
 
//

Location

 

573Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

Sebastian Uchitel holds a Readership at Imperial College London and is currently also ad-honorem professor at University of Buenos Aires and CONICET. He currently also on the board of the national argentine oil company, YPF. He received his undergraduate computer science degree from University of Buenos Aires and his Phd in Computing from Imperial College London. His research interests are in behavior modeling and analysis of requirements and design for complex software-intensive systems. Dr. Uchitel was associate editor of IEEE Transactions on Software Engineering and is currently associate editor of the Requirements Engineering Journal and the Science of Computer Programming Journal, he was program co-chair of the 21st IEEE/ACM International Conference on Automated Software Engineering and of the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010). 

 

Sebastian Uchitel’s research interests are in the field of software engineering and more specifically in the use of models to aide the construction and maintenance of high quality of software-intensive systems. He is interested in behavior modeling and analysis of requirements and design for such systems, and particularly in the problem of model construction and evaluation. One of his research focuses is on providing early feedback in the modeling process, hence he has worked extensively on approached based on partial behaviour models including scenario-based specifications, behaviour model synthesis techniques, automated learning approaches and formalisms such as modal transition systems. He is also interested in, and applied his research to goal-oriented requirements engineering, reliability engineering, software architectures and service-oriented architectures. More recently, interests include topics on probabilistic behaviour, abstraction for validation and model based testing.

Selected Publications

Journal Articles

Pavese E, Braberman V, Uchitel S, 2016, Less is More: Estimating Probabilistic Rewards over Partial System Explorations, ACM Transactions on Software Engineering and Methodology, Vol:25, ISSN:1049-331X

Pavese E, Braberman V, Uchitel S, 2016, Probabilistic Interface Automata, IEEE Transactions on Software Engineering, Vol:42, ISSN:0098-5589, Pages:843-865

Alrajeh D, Kramer J, Russo A, et al., 2015, Automated Support for Diagnosis and Repair, Communications of the ACM, Vol:58, ISSN:0001-0782, Pages:65-72

de Caso G, Braberman V, Garbervetsky D, et al., 2013, Enabledness-Based Program Abstractions for Behavior Validation, Acm Transactions on Software Engineering and Methodology, Vol:22, ISSN:1557-7392

D'Ippolito N, Braberman V, Piterman N, et al., 2013, Synthesizing Nonanomalous Event-Based Controllers for Liveness Goals, ACM Transactions on Software Engineering and Methodology, Vol:22, ISSN:1049-331X

Fischbein D, D'Ippolito N, Brunet G, et al., 2012, Weak Alphabet Merging of Partial Behavior Models, ACM Transactions on Software Engineering and Methodology, Vol:21, ISSN:1049-331X

de Caso G, Braberman V, Garbervetsky D, et al., 2012, Automated Abstractions for Contract Validation, IEEE Transactions on Software Engineering, Vol:38, ISSN:0098-5589, Pages:141-162

Alrajeh D, Kramer J, Russo A, et al., 2013, Elaborating Requirements Using Model Checking and Inductive Learning, IEEE Transactions on Software Engineering, Vol:39, ISSN:0098-5589, Pages:361-383

Sassolas M, Chechik M, Uchitel S, 2011, Exploring inconsistencies between modal transition systems, Software and Systems Modeling, Vol:10, ISSN:1619-1366, Pages:117-142

Alrajeh D, Kramer J, Russo A, et al., 2010, Deriving non-Zeno behaviour models from goal models using ILP, Formal Aspects of Computing, Vol:22, ISSN:0934-5043, Pages:217-241

Uchitel S, Brunet G, Chechik M, 2009, Synthesis of Partial Behavior Models from Properties and Scenarios, IEEE Transactions on Software Engineering, Vol:35, ISSN:0098-5589, Pages:384-406

Letier E, Kramer J, Magee J, et al., 2008, Deriving event-based transition systems from goal-oriented requirements models, Automated Software Engineering, Vol:15, ISSN:0928-8910, Pages:175-206

Uchitel S, Kramer J, Magee J, 2004, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology, Vol:13, ISSN:1049-331X, Pages:37-85

Uchitel S, Magee J, Kramer J, 2003, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, Vol:29, ISSN:0098-5589, Pages:99-115

Conference

Alrajeh D, Kramer J, van Lamsweerde A, et al., 2012, Generating Obstacle Conditions for Requirements Completeness, 34th International Conference on Software Engineering (ICSE), IEEE, Pages:705-715, ISSN:0270-5257

Ben-David S, Chechik M, Gurfinkel A, et al., 2011, CSSL: A logic for specifying conditional scenarios, Pages:37-47

de Caso G, Braberman V, Garbervetsky D, et al., 2011, Program Abstractions for Behaviour Validation, 33rd International Conference on Software Engineering (ICSE), IEEE, Pages:381-390

D'Ippolito N, Braberman V, Piterman N, et al., 2011, Synthesis of Live Behaviour Models for Fallible Domains, 33rd International Conference on Software Engineering (ICSE), IEEE, Pages:211-220

D'Ippolito NR, Braberman V, Piterman N, et al., 2010, Synthesis of live behaviour models, Pages:77-86

Alrajeh D, Ray O, Russo A, et al., 2009, Using abduction and induction for operational requirements elaboration, Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics, ELSEVIER SCIENCE BV, Pages:275-288, ISSN:1570-8683

Fischbein D, Braberman V, Uchitel S, 2009, A Sound Observational Semantics for Modal Transition Systems, 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), SPRINGER-VERLAG BERLIN, Pages:215-+, ISSN:0302-9743

Alrajeh D, Kramer J, Russo A, et al., 2009, Learning Operational Requirements from Goal Models, 31st International Conference on Software Engineering (ICSE 2009), IEEE, Pages:265-275, ISSN:0270-5257

Pavese E, Braberman V, Uchitel S, 2009, Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models, 7th Joint Meeting of the European Software Engineering Conference/ ACM SIGSOFT Symposium on the Foundations of Software Engineering, ASSOC COMPUTING MACHINERY, Pages:335-344

de Caso G, Braberman V, Garbervetsky D, et al., 2009, Validation of Contracts using Enabledness Preserving Finite State Abstractions, 31st International Conference on Software Engineering (ICSE 2009), IEEE, Pages:452-462, ISSN:0270-5257

Sibay G, Uchitel S, Braberman V, 2008, Existential Live Sequence Charts Revisited, 30th International Conference on Software Engineering, ASSOC COMPUTING MACHINERY, Pages:41-50

Uchitel S, Chatley R, Kramer J, et al., 2006, Goal and scenario validation: a fluent combination, IEEE Conference on Requirement Engineering, SPRINGER, Pages:123-137, ISSN:0947-3602

More Publications