Víctor A. Braberman

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 30

Top Topics

Controller Synthesis

Reinforcement Learning

Timed Petri Nets

Business Processes

Top Venues

IEEE Trans. Software Eng.

Publications

Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification of Programs with Common Fragments. SIGSOFT FSE Companion (2024)
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR (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)
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)
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)
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)
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)
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)
Fernando Asteasuain, Víctor A. Braberman
Declaratively building behavior by means of scenario clauses. Requir. Eng. 22 (2) (2017)
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)
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)
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2½-player generalized reactivity (1) games. CDC (2016)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Probabilistic Interface Automata. IEEE Trans. Software Eng. 42 (9) (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)
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)
Fernando Asteasuain, Víctor A. Braberman
Specification Patterns: Formal and Easy. Int. J. Softw. Eng. Knowl. Eng. 25 (4) (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)
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)
Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92 (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)
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)
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)
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
Distribution of Modal Transition Systems. FM (2012)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. 23 (14) (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)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Program abstractions for behaviour validation. ICSE (2011)
Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman
Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21 (1) (2011)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models for fallible domains. ICSE (2011)
Fernando Asteasuain, Víctor A. Braberman
Specification patterns can be formal and still easy. SEKE (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)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
On transforming Java-like programs into memory-predictable code. JTRES (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)
Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS (2009)
Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel
A Sound Observational Semantics for Modal Transition Systems. ICTAC (2009)
Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine
Parametric prediction of heap memory requirements. ISMM (2008)
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman
Existential live sequence charts revisited. ICSE (2008)
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Achieving both model and code coverage with automated gray-box testing. A-MOST (2007)
Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
Hypervolume Approximation in Timed Automata Model Checking. FORMATS (2007)
Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. 5 (5) (2006)
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
A toolsuite for the verification of real-time systems in Eclipse. ETX (2006)
Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman
A foundation for behavioural conformance in software product line architectures. ROSATEA (2006)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Dealing with practical limitations of distributed timed model checking for timed automata. Formal Methods Syst. Des. 29 (2) (2006)
Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Trans. Software Eng. 31 (12) (2005)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Issues in distributed timed model checking. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine
JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. eTX (2005)
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
ObsSlice: A Timed Automata Slicer Based on Observers. CAV (2004)
Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
Visual Timed Event Scenarios. ICSE (2004)
Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
An architecture-centric approach to the development of a distributed model-checker for timed automata. ICSE (2002)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
Improving the Verification of Timed Systems Using Influence Information. TACAS (2002)
Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman
Observing timed systems by means of message sequence chart graphs. ICSE (2002)
Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
On Improving Backwards Verification of Timed Automata. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Víctor A. Braberman, Alfredo Olivero
Extending Timed Automata for Compositional Modeling Healthy Timed Systems. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Víctor A. Braberman, Fabio Pieniazek
Duration Properties over Real Time System Designs. IWSSD (2000)
Víctor A. Braberman
Automatic Verification of Real-Time Designs. ICSE (1999)
Víctor A. Braberman, Miguel Felder
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE (1999)
Víctor A. Braberman, Dang Van Hung
On Checking Timed Automata for Linear Duration Invariants. RTSS (1998)