Vı́ctor Braberman

A foundation for behavioural conformance in software product line architectures

Dario Fischbein, Sebastián Uchitel, Vı́ctor Braberman · 2006 · 140 citations

Computing, Computer Science, Systems Engineering +16

Model‐based quality assurance of protocol documentation: tools and methodology

Wolfgang Grieskamp, Nicolás Kicillof, Keith Stobie et al. · Software Testing Verification and Reliability · 2010 · 124 citations · Full text

Computing, Quality Management, Documentation +16

Synthesizing nonanomalous event-based controllers for liveness goals

Nicolás D’Ippolito, Vı́ctor Braberman, Nir Piterman et al. · ACM Transactions on Software Engineering and Methodology · 2013 · 78 citations · Full text

Engineering, Computer Systems, Systems Engineering +17

Hope for the best, prepare for the worst: multi-tier control for adaptive systems

Nicolás D’Ippolito, Vı́ctor Braberman, Jeff Kramer et al. · 2014 · 72 citations

Engineering, Computer Science, Systems Engineering +16

Parametric prediction of heap memory requirements

Vı́ctor Braberman, F.J. Fernandez, Diego Garbervetsky et al. · 2008 · 72 citations

Computing, Computer Engineering, Computer Science +17