CIOLEK, DANIEL; DURAN MATIAS; ZANOLLO FLORENCIA; PAZOS NICOLAS; BRAIER JULIAN; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; UCHITEL SEBASTIAN

On-the-fly informed search of non-blocking directed controllers

AUTOMATICA; Lugar: Amsterdam; Año: 2023 vol. 147

NAHABEDIAN, LEANDRO; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; JEFF KRAMER; UCHITEL SEBASTIAN

Assured Automatic Dynamic Reconfiguration of Business Processes

INFORMATION SYSTEMS; Lugar: Amsterdam; Año: 2022

KEEGAN, MAUREEN; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; PITERMAN NIR; UCHITEL SEBASTIAN

Control and Discovery of Reactive System Environments

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2020

CIOLEK, DANIEL; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; UCHITEL SEBASTIAN; SARDIÑA SEBASTIAN

Compositional Supervisory Control via Reactive Synthesis and Automated Planning

IEEE TRANSACTIONS ON AUTOMATIC CONTROL; Lugar: New York; Año: 2020 vol. 65 p. 3502 - 3516

NAHABEDIAN, LEANDRO; BRABERMAN, VICTOR; DIPPOLITO, NICOLAS; HONIDEN, SHINICHI; TEI, KENJI; JEFF KRAMER; UCHITEL SEBASTIAN

Dynamic Update of Discrete Event Controllers

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2020 vol. 46 p. 1220 - 1240

CIOLEK, DANIEL; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; PITERMAN NIR; UCHITEL SEBASTIAN

Interaction Models and Automated Control under Partial Observable Environments

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2017 vol. 43 p. 19 - 33

FERNANDO ASTEASUAIN; BRABERMAN VICTOR

Declaratively building behavior by means of scenario clauses

REQUIREMENTS ENGINEERING; Lugar: Berlin; Año: 2017

ESTEBAN PAVESE; BRABERMAN VICTOR; UCHITEL SEBASTIAN

Less is More: Estimating Probabilistic Rewards over Partial System Explorations

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2016

ESTEBAN PAVESE; BRABERMAN VICTOR; UCHITEL SEBASTIAN

Probabilistic Interface Automata

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2016

HERNAN CZEMERINSKI; BRABERMAN VICTOR; UCHITEL SEBASTIAN

Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Lugar: Oxford; Año: 2016 vol. 26 p. 211 - 244

FERNANDO ASTEASUAIN; VICTOR A. BRABERMAN

Specification patterns: formal and easy

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING; Lugar: London, UK; Año: 2015 vol. 25 p. 669 - 700

VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; SAMUEL HYM; SERGIO YOVINE

Summary-based inference of quantitative bounds of live heap objects

SCIENCE OF COMPUTER PROGRAMMING; Lugar: Amsterdam; Año: 2014

GUIDO DE CASO; VICTOR BRABERMAN; D. GARBERVETSKY; SEBASTIÁN UCHITEL

Enabledness-based Program Abstractions for Behaviour Validation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2013 vol. 22 p. 1 - 46

G. SIBAY; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL; JEFF KRAMER

Synthesising Modal Transition Systems from Triggered Scenarios

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 975 - 1001

SEBASTIAN UCHITEL; DALAL ALRAJEH; SHOHAM BEN-DAVID; VICTOR BRABERMAN; MARSHA CHECHIK; GUIDO DE CASO; NICOLAS D?IPPOLITO; DARIO FISCHBEIN; DIEGO GARBERVETSKY; JEFF KRAMER; ALESSANDRA RUSSO; GERMAN SIBAY

Supporting incremental behaviour model elaboration

Computer Science - Research and Development; Lugar: Berlin; Año: 2013 vol. 28 p. 279 - 293

DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; PITERMAN NIR; UCHITEL SEBASTIAN

Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2013 vol. 22 p. 1 - 36

GUIDO DE CASO; VICTOR A. BRABERMAN; DIEGO GARBERVESTKY; SEBASTIÁN UCHITEL

Automated Abstractions for Contract Validation

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2012 vol. 38 p. 141 - 162

WOLFGANG GRIESKAMP; NICOLAS KICILLOF; KEITH STOBIE; VICTOR BRABERMAN

Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Año: 2011 p. 1 - 21

DIEGO GARBERVETSKY; SERGIO YOVINE; VÍCTOR BRABERMAN; ALEJANDRO TABOADA; MARTIN ROAUX

Quantitative dynamic-memory analysis for Java

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; Año: 2011 p. 1 - 18

FERNANDO ASTEASUAIN; VICTOR A. BRABERMAN

FVS: A declarative aspect oriented modeling language

SADIO Electronic Journal of Informatic and Operation Research; Lugar: Argentina; Año: 2011 vol. 10 p. 20 - 37

VÍCTOR BRABERMAN; DIEGO GARBERVESTKY; NICOLÁS KICILLOF; DANIEL MONTEVERDE; ALFREDO OLIVERO

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5813 p. 58 - 72

DARIO FISCHBEIN; VICTOR BRABERMAN; SEBASTIÁN UCHITEL

A Sound Observational Semantics for Modal Transition Systems

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2009 vol. 5684 p. 215 - 230

BRABERMAN; LUCANGELI; OLIVERO; SCHAPACHNIK

"Hypervolume Approximation in Timed Automata Model Checking

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2007 vol. 4763 p. 69 - 81

VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; SERGIO YOVINE

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

Journal of Object Technology; Año: 2006 vol. 05 p. 31 - 58

VICTOR A. BRABERMAN; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK

On-the-fly Workload Prediction and Redistribution in the Distributed Time Model Cheker Zeus

Electr. Notes Theor. Comput. Sci.; Año: 2005 vol. 128 p. 3 - 18

VÍCTOR A. BRABERMAN; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK

Issues in distributed timed model checking

International Journal on Software Tools for Technology Transfer (STTT); Lugar: Berlin, Heidelberg ; Año: 2005 vol. 7 p. 4 - 18

VICTOR A. BRABERMAN; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK

Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata

FORMAL METHODS IN SYSTEM DESIGN; Lugar: Amsterdan; Año: 2005 vol. 29 p. 197 - 214

VÍCTOR A. BRABERMAN; NICOLAS KICILLOF; ALFREDO OLIVERO

A Scenario-Matching Approach to the Description and Model Checking of Real -TimeProperties

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2005 vol. 31 p. 1028 - 1041

VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; ALFREDO OLIVERO

A Time Automata Slicer Based on Observers

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2004 vol. 3114 p. 470 - 474

VICTOR A. BRABERMAN; AFREDO OLIVERO; FERNANDO SCHAPACHNIK

ZEUS: A Distributed Timed Model- Checker Based on KRONOS

Electr. Notes Theor. Comput. Sci.; Año: 2003 vol. 68 p. 503 - 522

VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; ALFREDO OLIVERO

Improving the Verification of Time Systems Using Influence Information

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2002 vol. 2280 p. 21 - 36

VICTOR A. BRABERMAN; CARLOS LÓPEZ POMBO; ALFREDO OLIVERO

On Improving Backwards Verification Time Automata

Electr.notes Theror. Comput. Sci.; Año: 2002 vol. 65 p. 60 - 67

VICTOR A. BRABERMAN; ALFREDO OLIVERO

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

Electric Notes Theory in Computer Science; Año: 2001 vol. 52 p. 1 - 19

VICTOR A. BRABERMAN; MIGUEL FELDER

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 1999 vol. 1687 p. 494 - 510