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
Nahabedian L, Braberman V, D’Ippolito N, et al., 2020, Dynamic update of discrete event controllers, IEEE Transactions on Software Engineering, Vol:46, ISSN:0098-5589, Pages:1220-1240
Ciolek D, Braberman V, D'Ippolito N, et al., 2016, Interaction Models and Automated Control under Partial Observable Environments, IEEE Transactions on Software Engineering, Vol:43, ISSN:0098-5589, Pages:19-33
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:1557-7392
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'ppolito 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., 2012, Elaborating Requirements using Model Checking and Inductive Learning, IEEE Transactions on Software Engineering, ISSN:0098-5589
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, IEEE, Pages:705-715, ISSN:1558-1225
Ben-David S, Chechik M, Gurfinkel A, et al., 2011, CSSL: A logic for specifying conditional scenarios, Pages:37-47
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
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 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, Elsevier, Pages:275-288
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
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
Alrajeh D, Kramer J, Russo A, et al., 2009, Learning Operational Requirements from Goal Models, 31st International Conference on Software Engineering, ICSE, 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 RB, Kramer J, et al., 2006, Goal and scenario validation: a fluent combination, Springer, Pages:123-137, ISSN:0947-3602