SEBASTIAN UCHITEL

Datos académicos

Lugar de trabajo	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS / OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION \| UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Título	PhD en Ingeniería de Software
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Prom.Gral.del Conoc.-Cs.de la Ing.y Arq.
Especialidad	INGENIERIA DE SOFTWARE

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-20 de 20

Artículo An integrated workbench for model-based engineering of service compositions

Foster, Howard; Uchitel, Sebastian ; Magee, Jeff; Kramer, Jeff (IEEE Computer Society, 2010-05)
Artículo Assured automatic dynamic reconfiguration of business processes

Nahabedian, Leandro Ezequiel ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Kramer, Jeff; Uchitel, Sebastian (Pergamon-Elsevier Science Ltd, 2022-02)
Artículo Assured Mission Adaptation of UAVs

Zudaire, Sebastián Alfredo ; Nahabedian, Leandro Ezequiel ; Uchitel, Sebastian (Association for Computing Machinery, 2021-12)
Artículo Automated abstractions for contract validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (IEEE Computer Society, 2012-01)
Artículo Automated support for diagnosis and repair

Alrajeh, Dalal ; Russo, Alessandra ; Kramer, Jeff ; Uchitel, Sebastian (Assoc Computing Machinery, 2014-02)
Artículo Behaviour abstraction adequacy criteria for API call protocol testing

Czemerinski, Hernán ; Braberman, Victor Adrian ; Uchitel, Sebastian (John Wiley & Sons Ltd, 2016-05)
Capítulo de Libro Ciencias de la Computación

Título del libro: Estado y perspectivas de las ciencias exactas, físicas y naturales en la Argentina

Areces, Carlos Eduardo ; Aguirre, Nazareno Matias ; Becher, Veronica Andrea ; Benotti, Luciana ; Chesñevar, Carlos Iván ; Uchitel, Sebastian - Otros responsables: Valles, Enrique Marcelo - (Academia Nacional de Ciencias; Academia Nacional de Ciencias Exactas, Físicas y Naturales, 2015)
Artículo Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Ciolek, Daniel Alfredo ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Uchitel, Sebastian ; Sardiña, Sebastian (Institute of Electrical and Electronics Engineers, 2020-08)
Artículo Dynamic Update of Discrete Event Controllers

Nahabedian, Leandro Ezequiel ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Honiden, Shinichi; Kramer, Jeff; Tei, Kenji; Uchitel, Sebastian (IEEE Computer Society, 2018-10)
Artículo Elaborating requirements using model checking and inductive learning

Uchitel, Sebastian ; Alrajeh, Dalal ; Kramer, Jeff ; Russo, Alessandra (IEEE Computer Society, 2012-06-12)
Artículo Enabledness-based program abstractions for behavior validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (Assoc Computing Machinery, 2013-07)
Artículo Enabledness-based Testing of Object Protocols

Godoy, Javier Ignacio; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Uchitel, Sebastian (Association for Computing Machinery, 2021-03)
Artículo Exploring inconsistencies between modal transition systems

Sassolas, Mathieu; Chechik, Marsha; Uchitel, Sebastian (Springer Heidelberg, 2011-02)
Artículo Interaction Models and Automated Control under Partial Observable Environments

Ciolek, Daniel Alfredo ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Piterman, Nir; Uchitel, Sebastian (IEEE Computer Society, 2017-01)
Artículo Nube híbrida nacional: soberana, libre, interoperable y con desarrollo local

Monk, Leandro Nicolás; Schapachnik, Fernando; Uchitel, Sebastian ; Vannini, Pablo Alberto; Zukerfeld, Mariano ; Díaz, Andrea; Dunayevich, Julián; Lagostena, Juan Pablo; Passerini, Pablo Nicolás (Universidad Nacional de La Plata, 2021-06)
Artículo On-the-fly informed search of non-blocking directed controllers

Ciolek, Daniel Alfredo ; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julián; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Uchitel, Sebastian (Pergamon-Elsevier Science Ltd, 2023-01)
Artículo Supporting incremental behaviour model elaboration

Uchitel, Sebastian ; Alrajeh, Dalal; Ben David, Shoham; Braberman, Victor Adrian ; Chechik, Marsha; de Caso, Guido ; D'ippolito, Nicolás Roque ; Fischbein, Dario; Garbervetsky, Diego David ; Kramer, Jeff; Russo, Alessandra; Sibay, German (Springer Verlag Berlín, 2013-11)
Artículo Synthesizing Modal Transition Systems from Triggered Scenarios

Sibay, German Emir; Braberman, Victor Adrian ; Uchitel, Sebastian ; Kramer, Jeff (Institute of Electrical and Electronics Engineers, 2013-07)
Artículo Synthesizing nonanomalous event-based controllers for liveness goals

D'ippolito, Nicolás Roque ; Braberman, Victor Adrian ; Piterman, Nir; Uchitel, Sebastian (Assoc Computing Machinery, 2013-02)
Artículo Using contexts to extract models from code

Duarte, Lucio Mauro; Kramer, Jeff; Uchitel, Sebastian (Springer Heidelberg, 2017-05)

Mostrando ítems 1-20 de 20