Follow
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London
Verified email at dc.uba.ar - Homepage
Title
Cited by
Cited by
Year
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)
S Uchitel, VA Braberman, N D’Ippolito
2½-player generalized reactivity (1) games
N Rodríguez, V Braberman, N D'Ippolito, S Uchitel
2016 IEEE 55th Conference on Decision and Control (CDC), 6996-7001, 2016
2016
5.1. Ingeniería de Software
V Braberman, M Campo, S Ceria, P Michelis, AP Puletti, S Uchitel, ...
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
1792006
A model-driven approach to dynamic and adaptive service brokering using modes
H Foster, A Mukhija, DS Rosenblum, S Uchitel
Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney …, 2008
202008
A sound observational semantics for modal transition systems
D Fischbein, V Braberman, S Uchitel
International Colloquium on Theoretical Aspects of Computing, 215-230, 2009
262009
A summary of the second ICSE 2003 workshop on: " scenarios and state machines: models, algorithms, and tools"
I Krüger, S Uchitel, J Whittle, A Zündorf
ACM SIGSOFT Software Engineering Notes 28 (6), 9-9, 2003
2003
A workbench for synthesising behaviour models from scenarios
S Uchitel, J Kramer
Proceedings of the 23rd International Conference on Software Engineering …, 2001
1412001
Abstraction-Aware Inference of Metamorphic Relations
A NOLASCO, F MOLINA, R DEGIOVANNI, A GORLA, D GARBERVETSKY, ...
2024
Abstractions for validation in action
G de Caso, V Braberman, D Garbervetsky, S Uchitel
Formal Methods for Model-Driven Engineering: 12th International School on …, 2012
12012
Achievements
T Tamai, S Uchitel, A van Lamsweerde
Adaptable software architectures and task synthesis for uavs
H Foster, J Magee, J Kramer, S Uchitel
Systems Engineering for Autonomous Systems (SEAS) DTC Conference, Edinburgh …, 2006
52006
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems
D Alrajeh, P Benjamin, S Uchitel
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
22021
Adapting specifications for reactive controllers
T Buckworth, D Alrajeh, J Kramer, S Uchitel
2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023
32023
An approach to improve accuracy in probabilistic models using state refinement
PH Maia, J Kramer, S Uchitel, NC Mendonça
Technical report, Department of Computing, Imperial College London, 2009
12009
An extended description of morph: A reference architecture for configuration and behaviour self-adaptation
V Braberman, N D’Ippolito, J Kramer, D Sykes, S Uchitel
Software Engineering for Self-Adaptive Systems III. Assurances …, 2018
182018
An inductive approach for modal transition system refinement
D Alrajeh, J Kramer, A Russo, S Uchitel
Technical Communications of the 27th International Conference on Logic …, 2011
122011
An integrated workbench for model-based engineering of service compositions
H Foster, S Uchitel, J Magee, J Kramer
IEEE Transactions on Services Computing 3 (2), 131-144, 2010
272010
ARE ENGINEERING
B Demsky, M Rinard, P Pelliccione, P Inverardi, H Muccini, N Tsantalis, ...
2009
Assumption monitoring of temporal task planning using stream runtime verification
F Gorostiaga, S Zudaire, C Sánchez, G Schneider, S Uchitel
International Symposium on Leveraging Applications of Formal Methods, 397-414, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20