VICTOR ADRIAN BRABERMAN

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	Doctor en Computación
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-15 de 15

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 Automated abstractions for contract validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (IEEE Computer Society, 2012-01)
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)
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 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 FVS: A declarative aspect oriented modeling language

Asteasuain, Fernando ; Braberman, Victor Adrian (Sociedad Argentina de Informática E Investigación Operativa, 2011-04)
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 Model-based quality assurance of protocol documentation: tools and methodology

Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Victor Adrian (Wiley, 2011-03)
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 Specification Patterns: Formal and Easy

Asteasuain, Fernando ; Braberman, Victor Adrian (World Scientific, 2015-05)
Artículo Summary-based inference of quantitative bounds of live heap objects

Braberman, Victor Adrian ; Garbervetsky, Diego David ; Hym, Samuel; Yovine, Sergio Fabian (Elsevier Science, 2013-11)
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)

Mostrando ítems 1-15 de 15