Sebastian Uchitel
Universidad de Buenos Aires
H-index: 40
Latin America-Argentina
Top articles of Sebastian Uchitel
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Abstraction-Aware Inference of Metamorphic Relations | AGUSTÍN NOLASCO FACUNDO MOLINA RENZO DEGIOVANNI ALESSANDRA GORLA DIEGO GARBERVETSKY | 2024 | |
On-the-fly informed search of non-blocking directed controllers | Automatica | Daniel Ciolek Matias Duran Florencia Zanollo Nicolas Pazos Julián Braier | 2023/1/1 |
Exploration policies for on-the-fly controller synthesis: a reinforcement learning approach | Proceedings of the International Conference on Automated Planning and Scheduling | Tomás Delgado Marco Sánchez Sorondo Víctor Braberman Sebastián Uchitel | 2023/7/1 |
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations | Robotics and Autonomous Systems | Ezequiel Pecker-Marcosig Sebastián Zudaire Rodrigo Castro Sebastián Uchitel | 2023/6/1 |
Adapting specifications for reactive controllers | Titus Buckworth Dalal Alrajeh Jeff Kramer Sebastian Uchitel | 2023/5/15 | |
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software … | Leen Lambers Sebastián Uchitel | 2023 | |
Assured mission adaptation of UAVs | ACM Transactions on Autonomous and Adaptive Systems (TAAS) | Sebastián A Zudaire Leandro Nahabedian Sebastián Uchitel | 2022/7/6 |
Assured automatic dynamic reconfiguration of business processes | Information Systems | Leandro Nahabedian V Braberman Nicolás D’Ippolito Jeff Kramer Sebastian Uchitel | 2022/2/1 |
Dynamic Slicing by On-demand Re-execution | arXiv preprint arXiv:2211.04683 | Ivan Postolski Victor Braberman Diego Garbervetsky Sebastian Uchitel | 2022/11/9 |
Enabledness-based testing of object protocols | Javier Godoy Juan Pablo Galeotti Diego Garbervetsky Sebastián Uchitel | 2022 | |
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model | arXiv preprint arXiv:2211.04560 | Alexis Soifer Diego Garbervetsky Victor Braberman Sebastian Uchitel | 2022/11/8 |
Predicate abstractions for smart contract validation | Javier Godoy Juan Pablo Galeotti Diego Garbervetsky Sebastian Uchitel | 2022/10/23 | |
Assumption monitoring of temporal task planning using stream runtime verification | Felipe Gorostiaga Sebastián Zudaire César Sánchez Gerardo Schneider Sebastián Uchitel | 2022/10/17 | |
Synthesis of run-to-completion controllers for discrete event systems | Yehia Abd Alrahman Victor Braberman Nicolás D'Ippolito Nir Piterman Sebastian Uchitel | 2021/5/25 | |
Nube híbrida nacional: soberana, libre, interoperable y con desarrollo local | Hipertextos | Leandro Monk Fernando Schapachnik Sebastián Uchitel Pablo Vannini Mariano Zukerfeld | 2021 |
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems | Dalal Alrajeh Patrick Benjamin Sebastian Uchitel | 2021/11/15 | |
Assumption monitoring using runtime verification for UAV temporal task plan executions | Sebastián Zudaire Felipe Gorostiaga César Sánchez Gerardo Schneider Sebastián Uchitel | 2021/5/30 | |
Unified DEVS-based platform for modeling and simulation of hybrid control systems | Ezequiel Pecker-Marcosig Sebastián Zudaire Martín Garrett Sebastián Uchitel Rodrigo Castro | 2020/12/14 | |
Control and discovery of environment behaviour | IEEE Transactions on Software Engineering | Maureen Keegan Victor Braberman Nicolás D'Ippolito Nir Piterman Sebastian Uchitel | 2020/12/14 |
Iterator-based temporal logic task planning | Sebastián A Zudaire Martin Garrett Sebastián Uchite | 2020/5/31 |