Víctor Braberman
Víctor Braberman
Professor of Computer Science, University of Buenos Aires
Verified email at dc.uba.ar - Homepage
Title
Cited by
Cited by
Year
A foundation for behavioural conformance in software product line architectures
D Fischbein, S Uchitel, V Braberman
Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006
1702006
Model‐based quality assurance of protocol documentation: tools and methodology
W Grieskamp, N Kicillof, K Stobie, V Braberman
Software Testing, Verification and Reliability 21 (1), 55-71, 2011
1472011
Synthesizing nonanomalous event-based controllers for liveness goals
N D'ippolito, V Braberman, N Piterman, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-36, 2013
792013
Visual timed event scenarios
A Alfonso, V Braberman, N Kicillof, A Olivero
Proceedings. 26th International Conference on Software Engineering, 168-177, 2004
782004
Parametric prediction of heap memory requirements
V Braberman, F Fernández, D Garbervetsky, S Yovine
Proceedings of the 7th international symposium on Memory management, 141-150, 2008
772008
Synthesis of live behaviour models
NR D'Ippolito, V Braberman, N Piterman, S Uchitel
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
652010
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
N D'Ippolito, V Braberman, J Kramer, J Magee, D Sykes, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
612014
Existential live sequence charts revisited
G Sibay, S Uchitel, V Braberman
Proceedings of the 30th international conference on Software engineering, 41-50, 2008
612008
A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption
V Braberman
Journal of Object Technology 5 (5), 2006
522006
A scenario-matching approach to the description and model checking of real-time properties
V Braberman, N Kicillof, A Olivero
IEEE Transactions on software Engineering 31 (12), 1028-1041, 2005
512005
Morph: A reference architecture for configuration and behaviour self-adaptation
V Braberman, N D'Ippolito, J Kramer, D Sykes, S Uchitel
Proceedings of the 1st International Workshop on Control Theory for Software …, 2015
502015
Synthesis of live behaviour models for fallible domains
N D'Ippolito, V Braberman, N Piterman, S Uchitel
Proceedings of the 33rd International Conference on Software Engineering …, 2011
502011
Verification of real-time designs: Combining scheduling theory with automatic formal verification
VA Braberman, M Felder
Software Engineering—ESEC/FSE’99, 494-510, 1999
501999
Testing timing behavior of real-time software
V Braberman, M Felder, M Marré
In International Software Quality Week, 1997
491997
Achieving both model and code coverage with automated gray-box testing
N Kicillof, W Grieskamp, N Tillmann, V Braberman
Proceedings of the 3rd International Workshop on Advances in Model-based …, 2007
472007
Automated abstractions for contract validation
G De Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
452010
Improving the verification of timed systems using influence information
V Braberman, D Garbervetsky, A Olivero
International Conference on Tools and Algorithms for the Construction and …, 2002
312002
Modeling and Checking Real-Time System Designs
VA Braberman
Electronic Journal of SADIO (EJS) 3, 2000
302000
Controller synthesis: From modelling to enactment
V Braberman, N D'Ippolito, N Piterman, D Sykes, S Ucriitel
2013 35th International Conference on Software Engineering (ICSE), 1347-1350, 2013
292013
Synthesizing modal transition systems from triggered scenarios
GE Sibay, V Braberman, S Uchitel, J Kramer
IEEE Transactions on Software Engineering 39 (7), 975-1001, 2012
262012
The system can't perform the operation now. Try again later.
Articles 1–20