On Checking Timed Automata for Linear Duration Invariants. - Víctor A. Braberman; Dang Van Hung (RTSS, 1998)

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. - Víctor A. Braberman; Miguel Felder (ESEC / SIGSOFT FSE, 1999)

Automatic Verification of Real-Time Designs. - Víctor A. Braberman (ICSE, 1999)

Duration Properties over Real Time System Designs. - Víctor A. Braberman; Fabio Pieniazek (IWSSD, 2000)

Extending Timed Automata for Compositional Modeling Healthy Timed Systems. - Víctor A. Braberman; Alfredo Olivero (MTCS, 2001)

Observing timed systems by means of message sequence chart graphs. - Sebastián Blaustein; Fernando Oliveto; Víctor A. Braberman (ICSE, 2002)

An architecture-centric approach to the development of a distributed model-checker for timed automata. - Fernando Schapachnik; Víctor A. Braberman; Alfredo Olivero (ICSE, 2002)

Improving the Verification of Timed Systems Using Influence Information. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (TACAS, 2002)

ZEUS: A Distributed Timed Model-Checker Based on KRONOS. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC@CONCUR, 2002)

On Improving Backwards Verification of Timed Automata. - Víctor A. Braberman; Carlos López Pombo; Alfredo Olivero (Theory and Practice of Timed Systems @ ETAPS, 2002)

ObsSlice: A Timed Automata Slicer Based on Observers. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (CAV, 2004)

Visual Timed Event Scenarios. - Alejandra Alfonso; Víctor A. Braberman; Nicolas Kicillof; Alfredo Olivero (ICSE, 2004)

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC, 2004)

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. - Andrés Ferrari; Diego Garbervetsky; Víctor A. Braberman; Pablo Listingart; Sergio Yovine (eTX, 2005)

Issues in distributed timed model checking. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (Int. J. Softw. Tools Technol. Transf., 2005)

A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. - Víctor A. Braberman; Nicolas Kicillof; Alfredo Olivero (IEEE Trans. Software Eng., 2005)

A toolsuite for the verification of real-time systems in Eclipse. - Lucía Cavatorta; Guido de Caso; Andrés Ferrari; Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Fernando Schapachnik; Alfredo Olivero (ETX, 2006)

A foundation for behavioural conformance in software product line architectures. - Dario Fischbein; Sebastián Uchitel; Víctor A. Braberman (ROSATEA, 2006)

Dealing with practical limitations of distributed timed model checking for timed automata. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (Formal Methods Syst. Des., 2006)

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. - Víctor A. Braberman; Diego Garbervetsky; Sergio Yovine (J. Object Technol., 2006)

Achieving both model and code coverage with automated gray-box testing. - Nicolas Kicillof; Wolfgang Grieskamp; Nikolai Tillmann; Víctor A. Braberman (A-MOST, 2007)

Hypervolume Approximation in Timed Automata Model Checking. - Víctor A. Braberman; Jorge Lucángeli Obes; Alfredo Olivero; Fernando Schapachnik (FORMATS, 2007)

Existential live sequence charts revisited. - German E. Sibay; Sebastián Uchitel; Víctor A. Braberman (ICSE, 2008)

Parametric prediction of heap memory requirements. - Víctor A. Braberman; Federico Javier Fernández; Diego Garbervetsky; Sergio Yovine (ISMM, 2008)

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. - Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Daniel Monteverde; Alfredo Olivero (FORMATS, 2009)

Validation of contracts using enabledness preserving finite state abstractions. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2009)

A Sound Observational Semantics for Modal Transition Systems. - Dario Fischbein; Víctor A. Braberman; Sebastián Uchitel (ICTAC, 2009)

On transforming Java-like programs into memory-predictable code. - Diego Garbervetsky; Sergio Yovine; Víctor A. Braberman; Martín Rouaux; Alejandro Taboada (JTRES, 2009)

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2009)

My model checker died!: how well did it do? - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (QUOVADIS@ICSE, 2010)

Specification patterns can be formal and still easy. - Fernando Asteasuain; Víctor A. Braberman (SEKE, 2010)

Synthesis of live behaviour models. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (SIGSOFT FSE, 2010)

Program abstractions for behaviour validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2011)

Synthesis of live behaviour models for fallible domains. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (ICSE, 2011)

Contractor.NET: inferring typestate properties to enrich code contracts. - Edgardo Zoppi; Víctor A. Braberman; Guido de Caso; Diego Garbervetsky; Sebastián Uchitel (TOPI@ICSE, 2011)

Quantitative dynamic-memory analysis for Java. - Diego Garbervetsky; Sergio Yovine; Víctor A. Braberman; Martín Rouaux; Alejandro Taboada (Concurr. Comput. Pract. Exp., 2011)

Model-based quality assurance of protocol documentation: tools and methodology. - Wolfgang Grieskamp; Nicolas Kicillof; Keith Stobie; Víctor A. Braberman (Softw. Test. Verification Reliab., 2011)

The Modal Transition System Control Problem. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (FM, 2012)

Distribution of Modal Transition Systems. - German E. Sibay; Sebastián Uchitel; Víctor A. Braberman; Jeff Kramer (FM, 2012)

Abstractions for Validation in Action. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (SFM, 2012)

Automated Abstractions for Contract Validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (IEEE Trans. Software Eng., 2012)

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. - Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Daniel Sykes; Sebastián Uchitel (Software Engineering for Self-Adaptive Systems, 2013)

Controller synthesis: from modelling to enactment. - Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Daniel Sykes; Sebastián Uchitel (ICSE, 2013)

Automated reliability estimation over partial systematic explorations. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ICSE, 2013)

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. - Hernan Czemerinski; Víctor A. Braberman; Sebastián Uchitel (ICST, 2013)

Supporting incremental behaviour model elaboration. - 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 (Comput. Sci. Res. Dev., 2013)

Enabledness-based program abstractions for behavior validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2013)

Synthesizing nonanomalous event-based controllers for liveness goals. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2013)

Synthesizing Modal Transition Systems from Triggered Scenarios. - German E. Sibay; Víctor A. Braberman; Sebastián Uchitel; Jeff Kramer (IEEE Trans. Software Eng., 2013)

Controllability in Partial and Uncertain Environments. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (ACSD, 2014)

Hope for the best, prepare for the worst: multi-tier control for adaptive systems. - Nicolás D'Ippolito; Víctor A. Braberman; Jeff Kramer; Jeff Magee; Daniel Sykes; Sebastián Uchitel (ICSE, 2014)

Summary-based inference of quantitative bounds of live heap objects. - Víctor A. Braberman; Diego Garbervetsky; Samuel Hym; Sergio Yovine (Sci. Comput. Program., 2014)

MORPH: a reference architecture for configuration and behaviour self-adaptation. - Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Daniel Sykes; Sebastián Uchitel (CTSE@SIGSOFT FSE, 2015)

Robust degradation and enhancement of robot mission behaviour in unpredictable environments. - Nicolás D'Ippolito; Víctor A. Braberman; Daniel Sykes; Sebastián Uchitel (CTSE@SIGSOFT FSE, 2015)

Specification Patterns: Formal and Easy. - Fernando Asteasuain; Víctor A. Braberman (Int. J. Softw. Eng. Knowl. Eng., 2015)

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CDC, 2016)

2½-player generalized reactivity (1) games. - Natalia Rodríguez; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CDC, 2016)

Assured and correct dynamic update of controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (SEAMS@ICSE, 2016)

Runtime controller synthesis for self-adaptation: be discrete! - Sebastián Uchitel; Víctor A. Braberman; Nicolás D'Ippolito (SEAMS@ICSE, 2016)

Technical Report: Directed Controller Synthesis of Discrete Event Systems. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CoRR, 2016)

Behaviour abstraction adequacy criteria for API call protocol testing. - Hernan Czemerinski; Víctor A. Braberman; Sebastián Uchitel (Softw. Test. Verification Reliab., 2016)

Less is More: Estimating Probabilistic Rewards over Partial System Explorations. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2016)

Probabilistic Interface Automata. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (IEEE Trans. Software Eng., 2016)

Model checker execution reports. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ASE, 2017)

Verification Coverage. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (CoRR, 2017)

Declaratively building behavior by means of scenario clauses. - Fernando Asteasuain; Víctor A. Braberman (Requir. Eng., 2017)

Interaction Models and Automated Control under Partial Observable Environments. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Sebastián Uchitel (IEEE Trans. Software Eng., 2017)

Testing and validating end user programmed calculated fields. - Víctor A. Braberman; Diego Garbervetsky; Javier Godoy; Sebastián Uchitel; Guido de Caso; Ignacio Perez; Santiago Pérez (ESEC/SIGSOFT FSE, 2018)

Dynamic Reconfiguration of Business Processes. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Sebastián Uchitel (BPM, 2019)

Minimising Makespan of Discrete Controllers: A Qualitative Approach. - Ezequiel Castellano; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel; Kenji Tei (CDC, 2019)

Simulator-based diff-time performance testing. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE (NIER), 2019)

Compositional Supervisory Control via Reactive Synthesis and Automated Planning. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastian Sardiña; Sebastián Uchitel (IEEE Trans. Autom. Control., 2020)

Dynamic Update of Discrete Event Controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (IEEE Trans. Software Eng., 2020)

Synthesis of Run-To-Completion Controllers for Discrete Event Systems. - Yehia Abd Alrahman; Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Sebastián Uchitel (ACC, 2021)

Scaling Directed Controller Synthesis via Reinforcement Learning. - Tomás Delgado; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2022)

Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. - Alexis Soifer; Diego Garbervetsky; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2022)

Dynamic Slicing by On-demand Re-execution. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (CoRR, 2022)

Assured automatic dynamic reconfiguration of business processes. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Sebastián Uchitel (Inf. Syst., 2022)

Control and Discovery of Environment Behaviour. - Maureen Keegan; Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Sebastián Uchitel (IEEE Trans. Software Eng., 2022)

Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. - Tomás Delgado; Marco Sánchez Sorondo; Víctor A. Braberman; Sebastián Uchitel (ICAPS, 2023)

On-the-fly informed search of non-blocking directed controllers. - Daniel Ciolek; Matias Duran; Florencia Zanollo; Nicolas Pazos; Julián Braier; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (Autom., 2023)

Verification of Programs with Common Fragments. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (SIGSOFT FSE Companion, 2024)

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. - Víctor A. Braberman; Flavia Bonomo-Braberman; Yiannis Charalambous; Juan Gabriel Colonna; Lucas C. Cordeiro; Rosiane de Freitas (CoRR, 2024)

Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. - Hernán Gagliardi; Víctor A. Braberman; Sebastián Uchitel (CAV (4), 2025)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software. - Juan Manuel Baldonado; Flavia Bonomo-Braberman; Víctor A. Braberman (ICSTW, 2025)

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control. - Hernán Gagliardi; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2025)