Víctor A. Braberman

92 papers A* 14A 4B 2C 4Journal 35Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis. CoRR Pepe Alonso, Sergio Yovine, Víctor A. Braberman
2025	J	`jnl`	Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control. CoRR Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel
2025	—	`conf`	Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. CAV (4) Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel
2025	—	`conf`	Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software. ICSTW Juan Manuel Baldonado, Flavia Bonomo-Braberman, Víctor A. Braberman
2025	J	`jnl`	Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software. CoRR Juan Manuel Baldonado, Flavia Bonomo-Braberman, Víctor A. Braberman
2024	J	`jnl`	Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
2024	—	`conf`	Verification of Programs with Common Fragments. SIGSOFT FSE Companion Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2023	A*	`conf`	Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. ICAPS Tomás Delgado, Marco Sánchez Sorondo, Víctor A. Braberman, Sebastián Uchitel
2023	J	`jnl`	On-the-fly informed search of non-blocking directed controllers. Autom. Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2022	J	`jnl`	Assured automatic dynamic reconfiguration of business processes. Inf. Syst. Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2022	J	`jnl`	Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2022	J	`jnl`	Dynamic Slicing by On-demand Re-execution. CoRR Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2022	J	`jnl`	Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. CoRR Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel
2022	J	`jnl`	Scaling Directed Controller Synthesis via Reinforcement Learning. CoRR Tomás Delgado, Víctor A. Braberman, Sebastián Uchitel
2021	C	`conf`	Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020	J	`jnl`	Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
2020	J	`jnl`	Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2020	J	`jnl`	Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2019	A	`conf`	Dynamic Reconfiguration of Business Processes. BPM Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2019	—	`conf`	Minimising Makespan of Discrete Controllers: A Qualitative Approach. CDC Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
2019	—	`conf`	Simulator-based diff-time performance testing. ICSE (NIER) Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2018	—	`conf`	Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez
2017	J	`jnl`	Declaratively building behavior by means of scenario clauses. Requir. Eng. Fernando Asteasuain, Víctor A. Braberman
2017	J	`jnl`	Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2017	A*	`conf`	Model checker execution reports. ASE Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2017	J	`jnl`	Verification Coverage. CoRR Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2016	—	`conf`	2½-player generalized reactivity (1) games. CDC Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016	—	`conf`	Assured and correct dynamic update of controllers. SEAMS@ICSE Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2016	J	`jnl`	Behaviour abstraction adequacy criteria for API call protocol testing. Softw. Test. Verification Reliab. Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
2016	—	`conf`	Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016	J	`jnl`	Less is More: Estimating Probabilistic Rewards over Partial System Explorations. ACM Trans. Softw. Eng. Methodol. Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2016	J	`jnl`	Model Checker Execution Reports. CoRR Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2016	J	`jnl`	Probabilistic Interface Automata. IEEE Trans. Software Eng. Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2016	—	`conf`	Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito
2016	J	`jnl`	Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2015	J	`jnl`	MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015	—	`conf`	MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015	—	`conf`	Robust degradation and enhancement of robot mission behaviour in unpredictable environments. CTSE@SIGSOFT FSE Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
2015	J	`jnl`	Specification Patterns: Formal and Easy. Int. J. Softw. Eng. Knowl. Eng. Fernando Asteasuain, Víctor A. Braberman
2014	—	`conf`	Controllability in Partial and Uncertain Environments. ACSD Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2014	A*	`conf`	Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
2014	J	`jnl`	Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
2013	—	`conf`	An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2013	A*	`conf`	Automated reliability estimation over partial systematic explorations. ICSE Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2013	A	`conf`	Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. ICST Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
2013	A*	`conf`	Controller synthesis: from modelling to enactment. ICSE Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
2013	J	`jnl`	Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2013	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings FORMATS Víctor A. Braberman, Laurent Fribourg
2013	J	`jnl`	Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 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
2013	J	`jnl`	Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer
2013	J	`jnl`	Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012	—	`conf`	Abstractions for Validation in Action. SFM Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012	J	`jnl`	Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012	B	`conf`	Distribution of Modal Transition Systems. FM German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
2012	B	`conf`	The Modal Transition System Control Problem. FM Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2011	—	`conf`	Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel
2011	J	`jnl`	Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman
2011	A*	`conf`	Program abstractions for behaviour validation. ICSE Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2011	J	`jnl`	Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
2011	A*	`conf`	Synthesis of live behaviour models for fallible domains. ICSE Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2010	—	`conf`	My model checker died!: how well did it do? QUOVADIS@ICSE Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2010	C	`conf`	Specification patterns can be formal and still easy. SEKE Fernando Asteasuain, Víctor A. Braberman
2010	—	`conf`	Synthesis of live behaviour models. SIGSOFT FSE Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2009	C	`conf`	A Sound Observational Semantics for Modal Transition Systems. ICTAC Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel
2009	—	`conf`	On transforming Java-like programs into memory-predictable code. JTRES Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
2009	—	`conf`	Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. ESEC/SIGSOFT FSE Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2009	—	`conf`	Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
2009	A*	`conf`	Validation of contracts using enabledness preserving finite state abstractions. ICSE Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2008	A*	`conf`	Existential live sequence charts revisited. ICSE German E. Sibay, Sebastián Uchitel, Víctor A. Braberman
2008	C	`conf`	Parametric prediction of heap memory requirements. ISMM Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine
2007	—	`conf`	Achieving both model and code coverage with automated gray-box testing. A-MOST Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
2007	—	`conf`	Hypervolume Approximation in Timed Automata Model Checking. FORMATS Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
2006	J	`jnl`	A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
2006	—	`conf`	A foundation for behavioural conformance in software product line architectures. ROSATEA Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman
2006	—	`conf`	A toolsuite for the verification of real-time systems in Eclipse. ETX Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
2006	J	`jnl`	Dealing with practical limitations of distributed timed model checking for timed automata. Formal Methods Syst. Des. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2005	J	`jnl`	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Trans. Software Eng. Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
2005	J	`jnl`	Issues in distributed timed model checking. Int. J. Softw. Tools Technol. Transf. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2005	—	`conf`	JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. eTX Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine
2004	A*	`conf`	ObsSlice: A Timed Automata Slicer Based on Observers. CAV Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
2004	—	`conf`	On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. PDMC Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2004	A*	`conf`	Visual Timed Event Scenarios. ICSE Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
2002	A*	`conf`	An architecture-centric approach to the development of a distributed model-checker for timed automata. ICSE Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
2002	A	`conf`	Improving the Verification of Timed Systems Using Influence Information. TACAS Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
2002	A*	`conf`	Observing timed systems by means of message sequence chart graphs. ICSE Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman
2002	—	`conf`	On Improving Backwards Verification of Timed Automata. Theory and Practice of Timed Systems @ ETAPS Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
2002	—	`conf`	ZEUS: A Distributed Timed Model-Checker Based on KRONOS. PDMC@CONCUR Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2001	—	`conf`	Extending Timed Automata for Compositional Modeling Healthy Timed Systems. MTCS Víctor A. Braberman, Alfredo Olivero
2000	—	`conf`	Duration Properties over Real Time System Designs. IWSSD Víctor A. Braberman, Fabio Pieniazek
1999	A*	`conf`	Automatic Verification of Real-Time Designs. ICSE Víctor A. Braberman
1999	—	`conf`	Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE Víctor A. Braberman, Miguel Felder
1998	A	`conf`	On Checking Timed Automata for Linear Duration Invariants. RTSS Víctor A. Braberman, Dang Van Hung