Sebastián Uchitel

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 50

Top Venues

CoRR

IEEE Trans. Software Eng.

CDC

SEAMS@ICSE

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification of Programs with Common Fragments. SIGSOFT FSE Companion (2024)
Fabio Kon, Barbara Poblete, Sebastián Uchitel
Welcome. Commun. ACM 67 (8) (2024)
Sebastián Uchitel
Distinguished Reviewers 2023. IEEE Trans. Software Eng. 50 (3) (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
On-the-fly informed search of non-blocking directed controllers. Autom. 147 (2023)
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
Adapting Specifications for Reactive Controllers. SEAMS (2023)
Ezequiel Pecker Marcosig, Sebastián Zudaire, Rodrigo D. Castro, Sebastián Uchitel
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations. Robotics Auton. Syst. 164 (2023)
Tomás Delgado, Marco Sánchez Sorondo, Víctor A. Braberman, Sebastián Uchitel
Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. ICAPS (2023)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Predicate abstractions for smart contract validation. MoDELS (2022)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) (2022)
Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. CoRR (2022)
Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. 48 (6) (2022)
Tomás Delgado, Víctor A. Braberman, Sebastián Uchitel
Scaling Directed Controller Synthesis via Reinforcement Learning. CoRR (2022)
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Dynamic Slicing by On-demand Re-execution. CoRR (2022)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104 (2022)
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA (2021)
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
: Adapting Specification Learners in Assured Adaptive Systems. ASE (2021)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Enabledness-based Testing of Object Protocols. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel
Assured Mission Adaptation of UAVs. CoRR (2021)
Sebastián A. Zudaire, Leandro Nahabedian, Sebastián Uchitel
Assured Mission Adaptation of UAVs. ACM Trans. Auton. Adapt. Syst. 16 (3-4) (2021)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC (2021)
Sebastián A. Zudaire, Martín Garrett, Sebastián Uchitel
Iterator-Based Temporal Logic Task Planning. ICRA (2020)
Sebastián Zudaire, Martín Garrett, Sebastián Uchitel
Iterator-Based Temporal Logic Task Planning. CoRR (2020)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65 (8) (2020)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR (2020)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46 (11) (2020)
Ezequiel Pecker Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo Castro
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. WSC (2020)
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Simulator-based diff-time performance testing. ICSE (NIER) (2019)
Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
Minimising Makespan of Discrete Controllers: A Qualitative Approach. CDC (2019)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Dynamic Reconfiguration of Business Processes. BPM (2019)
Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez
Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE (2018)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43 (1) (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification Coverage. CoRR (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model checker execution reports. ASE (2017)
Sebastián Uchitel
Runtime Controller Synthesis for Self-Adaptation: Discretion Required. ISEC (2017)
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
Using contexts to extract models from code. Softw. Syst. Model. 16 (2) (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model Checker Execution Reports. CoRR (2016)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC (2016)
Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE (2016)
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2½-player generalized reactivity (1) games. CDC (2016)
Sebastián Uchitel
Business process adaptation using discrete event controller synthesis. ForMABS@ASE (2016)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Logic-based learning in software engineering. ICSE (Companion Volume) (2016)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Probabilistic Interface Automata. IEEE Trans. Software Eng. 42 (9) (2016)
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
Observational Refinement and Merge for Disjunctive MTSs. ATVA (2016)
Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
Behaviour abstraction adequacy criteria for API call protocol testing. Softw. Test. Verification Reliab. 26 (3) (2016)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Less is More: Estimating Probabilistic Rewards over Partial System Explorations. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE (2016)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR (2016)
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Risk-driven revision of requirements models. ICSE (2016)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Assured and correct dynamic update of controllers. SEAMS@ICSE (2016)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE (2015)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR (2015)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Automated support for diagnosis and repair. Commun. ACM 58 (2) (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
Robust degradation and enhancement of robot mission behaviour in unpredictable environments. CTSE@SIGSOFT FSE (2015)
Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. ACM SIGSOFT Softw. Eng. Notes 40 (3) (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Controllability in Partial and Uncertain Environments. ACSD (2014)
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE (2014)
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
Automated goal operationalisation based on interpolation and SAT solving. ICSE (2014)
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel
Revisiting Compatibility of Input-Output Modal Transition Systems. FM (2014)
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
Controller synthesis: from modelling to enactment. ICSE (2013)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems (2013)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Automated reliability estimation over partial systematic explorations. ICSE (2013)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39 (3) (2013)
Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
Merging Partial Behaviour Models with Different Vocabularies. CONCUR (2013)
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer
Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. 39 (7) (2013)
Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. ICST (2013)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38 (1) (2012)
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
Generating obstacle conditions for requirements completeness. ICSE (2012)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Abstractions for Validation in Action. SFM (2012)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
The Modal Transition System Control Problem. FM (2012)
Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21 (2) (2012)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE (2012)
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
Distribution of Modal Transition Systems. FM (2012)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Integrating Model Checking and Inductive Logic Programming. ILP (2011)
Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE (2011)
Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel
CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE (2011)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Program abstractions for behaviour validation. ICSE (2011)
Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
Exploring inconsistencies between modal transition systems. Softw. Syst. Model. 10 (1) (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) (2011)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models for fallible domains. ICSE (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. 22 (3-4) (2010)
Sebastián Uchitel
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. CIbSE (2010)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3 (2) (2010)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models. SIGSOFT FSE (2010)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
My model checker died!: how well did it do? QUOVADIS@ICSE (2010)
Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça
Towards accurate probabilistic models using state refinement. ESEC/SIGSOFT FSE (2009)
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
Engage: Engineering Service Modes with WS-Engineer and Dino. ICSOC/ServiceWave (2009)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. ESEC/SIGSOFT FSE (2009)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Validation of contracts using enabledness preserving finite state abstractions. ICSE (2009)
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7 (3) (2009)
Sebastián Uchitel
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. SBMF (2009)
Sebastián Uchitel, Greg Brunet, Marsha Chechik
Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. 35 (3) (2009)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning operational requirements from goal models. ICSE (2009)
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
Guest editorial. J. Syst. Softw. 82 (1) (2009)
Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel
A Sound Observational Semantics for Modal Transition Systems. ICTAC (2009)
Dario Fischbein, Sebastián Uchitel
On correct and complete strong merging of partial behaviour models. SIGSOFT FSE (2008)

Sebastián Uchitel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastián Uchitel