Članki z zahtevami za javni dostop - Sebastian UchitelVeč o tem
Ni na voljo nikjer: 8
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
Zahteve: Government of Argentina
Assured automatic dynamic reconfiguration of business processes
L Nahabedian, V Braberman, N D’Ippolito, J Kramer, S Uchitel
Information Systems 104, 101850, 2022
Zahteve: European Commission, Government of Argentina
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
Zahteve: Government of Argentina
Compositional supervisory control via reactive synthesis and automated planning
DA Ciolek, V Braberman, N D’Ippolito, S Sardina, S Uchitel
IEEE Transactions on Automatic Control 65 (8), 3502-3516, 2019
Zahteve: Government of Argentina
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations
E Pecker-Marcosig, S Zudaire, R Castro, S Uchitel
Robotics and Autonomous Systems 164, 104404, 2023
Zahteve: Government of Argentina
Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts
F Cirelli, D Alrajeh, S Uchitel
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE …, 2024
Zahteve: UK Engineering and Physical Sciences Research Council
Verification of Programs with Common Fragments
I Postolski, V Braberman, D Garbervetsky, S Uchitel
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
Zahteve: Government of Argentina
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
Zahteve: Government of Argentina
Na voljo nekje: 31
Morph: A reference architecture for configuration and behaviour self-adaptation
V Braberman, N D'Ippolito, J Kramer, D Sykes, S Uchitel
Proceedings of the 1st international workshop on control theory for software …, 2015
Zahteve: Government of Argentina
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
N D'Ippolito, V Braberman, J Kramer, J Magee, D Sykes, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
Zahteve: European Commission, Government of Argentina
Assured and correct dynamic update of controllers
L Nahabedian, V Braberman, N D'Ippolito, S Honiden, J Kramer, K Tei, ...
Proceedings of the 11th International Symposium on Software Engineering for …, 2016
Zahteve: Government of Argentina
Dynamic update of discrete event controllers
L Nahabedian, V Braberman, N D'Ippolito, S Honiden, J Kramer, K Tei, ...
IEEE Transactions on Software Engineering 46 (11), 1220-1240, 2018
Zahteve: Government of Argentina
Automated goal operationalisation based on interpolation and sat solving
R Degiovanni, D Alrajeh, N Aguirre, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
Zahteve: European Commission, Government of Argentina
Model checker execution reports
R Castaño, V Braberman, D Garbervetsky, S Uchitel
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Zahteve: Government of Argentina
Assumption monitoring using runtime verification for UAV temporal task plan executions
S Zudaire, F Gorostiaga, C Sánchez, G Schneider, S Uchitel
2021 IEEE International Conference on Robotics and Automation (ICRA), 6824-6830, 2021
Zahteve: Government of Spain, Government of Argentina
Directed controller synthesis of discrete event systems: Taming composition with heuristics
D Ciolek, V Braberman, N D'Ippolito, S Uchitel
2016 IEEE 55th Conference on Decision and Control (CDC), 4764-4769, 2016
Zahteve: Government of Argentina
Interaction models and automated control under partial observable environments
D Ciolek, V Braberman, N D’Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 43 (1), 19-33, 2016
Zahteve: Government of Argentina
Iterator-based temporal logic task planning
SA Zudaire, M Garrett, S Uchite
2020 IEEE International Conference on Robotics and Automation (ICRA), 11472 …, 2020
Zahteve: Government of Argentina
Dynamic reconfiguration of business processes
L Nahabedian, V Braberman, N D’ippolito, J Kramer, S Uchitel
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
Zahteve: European Commission
Assured mission adaptation of UAVs
SA Zudaire, L Nahabedian, S Uchitel
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 16 (3-4), 1-27, 2022
Zahteve: Government of Argentina
Podatke o objavi in financiranju samodejno določi računalniški program