author-photo

Sebastian Uchitel

Imperial College London
University of Buenos Aires

188

Papers

4209

Citations

Citation Trend

Filter By

Papers (142) Sort By

Journal Conference Others

Dynamic Slicing by On-demand Re-execution.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Assured Mission Adaptation of UAVs

2022 ACM Transactions on Autonomous and Adaptive Systems
Show All
- Source
- Cite
- Save
Citations (0)
Synthesis of Run-To-Completion Controllers for Discrete Event Systems

2021 ACC | Advances in Computing and Communications
Show All
- Source
- Cite
- Save
Citations (0)
Assured automatic dynamic reconfiguration of business processes

2021 Information Systems
Show All
- Source
- Cite
- Save
Citations (0)
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

2021 ICRA | International Conference on Robotics and Automation
Show All
- Source
- Cite
- Save
Citations (2)
Enabledness-based Testing of Object Protocols

2021 ACM Transactions on Software Engineering and Methodology
Show All
- Source
- Cite
- Save
Citations (0)
Nube híbrida nacional: soberana, libre, interoperable y con desarrollo local

2021
Show All
- Source
- Cite
- Save
Citations (0)
Assured Mission Adaptation of UAVs.

2021 arXiv: Robotics
Show All
- Source
- Cite
- Save
Citations (0)
Iterator-Based Temporal Logic Task Planning

2020 arXiv: Robotics
Show All
- Source
- Cite
- Save
Citations (3)
Synthesis of Run-To-Completion Controllers for Discrete Event Systems

2020 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)