Vctor A. Braberman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
11
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions. | Juan Felipe Perdomo, Vctor A. Braberman, Sebastin Uchitel, Sebastin Zudaire |
| 2025 | CAV | Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. | Hernn Gagliardi, Vctor A. Braberman, Sebastin Uchitel |
| 2025 | ICST | Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software. | Juan Manuel Baldonado, Flavia Bonomo-Braberman, Vctor A. Braberman |
| 2019 | BPM | Dynamic Reconfiguration of Business Processes. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Jeff Kramer, Sebastin Uchitel |
| 2019 | ICSE | Simulator-based diff-time performance testing. | Ivan Postolski, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2016 | ICSE | Assured and correct dynamic update of controllers. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastin Uchitel |
| 2016 | ICSE | Runtime controller synthesis for self-adaptation: be discrete! | Sebastin Uchitel, Vctor A. Braberman, Nicols D'Ippolito |
| 2014 | ICSE | Hope for the best, prepare for the worst: multi-tier control for adaptive systems. | Nicols D'Ippolito, Vctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastin Uchitel |
| 2013 | ICSE | Controller synthesis: from modelling to enactment. | Vctor A. Braberman, Nicols D'Ippolito, Nir Piterman, Daniel Sykes, Sebastin Uchitel |
| 2013 | ICSE | Automated reliability estimation over partial systematic explorations. | Esteban Pavese, Vctor A. Braberman, Sebastin Uchitel |
| 2013 | ICST | Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. | Hernan Czemerinski, Vctor A. Braberman, Sebastin Uchitel |
| 2012 | FM | The Modal Transition System Control Problem. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2012 | FM | Distribution of Modal Transition Systems. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman, Jeff Kramer |
| 2011 | ICSE | Program abstractions for behaviour validation. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2011 | ICSE | Synthesis of live behaviour models for fallible domains. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2011 | ICSE | Contractor.NET: inferring typestate properties to enrich code contracts. | Edgardo Zoppi, Vctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastin Uchitel |
| 2010 | ICSE | My model checker died!: how well did it do? | Esteban Pavese, Vctor A. Braberman, Sebastin Uchitel |
| 2010 | SEKE | Specification patterns can be formal and still easy. | Fernando Asteasuain, Vctor A. Braberman |
| 2009 | ICSE | Validation of contracts using enabledness preserving finite state abstractions. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2009 | ICTAC | A Sound Observational Semantics for Modal Transition Systems. | Dario Fischbein, Vctor A. Braberman, Sebastin Uchitel |
| 2008 | ICSE | Existential live sequence charts revisited. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman |
| 2006 | ISSTA | A foundation for behavioural conformance in software product line architectures. | Dario Fischbein, Sebastin Uchitel, Vctor A. Braberman |
| 2004 | CAV | ObsSlice: A Timed Automata Slicer Based on Observers. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 2004 | ICSE | Visual Timed Event Scenarios. | Alejandra Alfonso, Vctor A. Braberman, Nicolas Kicillof, Alfredo Olivero |
| 2002 | ICSE | Observing timed systems by means of message sequence chart graphs. | Sebastin Blaustein, Fernando Oliveto, Vctor A. Braberman |
| 2002 | ICSE | An architecture-centric approach to the development of a distributed model-checker for timed automata. | Fernando Schapachnik, Vctor A. Braberman, Alfredo Olivero |
| 2002 | TACAS | Improving the Verification of Timed Systems Using Influence Information. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 1999 | ICSE | Automatic Verification of Real-Time Designs. | Vctor A. Braberman |
| 1998 | RTSS | On Checking Timed Automata for Linear Duration Invariants. | Vctor A. Braberman, Dang Van Hung |