Publications in 2015
1- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing (en prensa)" , SOFTWARE TESTING, VERIFICATION & RELIABILITY - 2015

2- Fernando Asteasuain, Víctor Braberman , "Specification Patterns: Formal and Easy" , IJSEKE, Volume 25, Number 4, page 669-700 - april 2015
 
Publications in 2014
1- Nicolas D´Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel , "Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" , ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, page 688--699 - 2014 hope for the best.pdf

2- Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine , "Summary-based inference of quantitative bounds of live heap objects" , Science of Computer Programming (SCP), Volume 92(A), page 56--84 - 2014 SCP-Garbervetsky-final.pdf
 
Publications in 2013
1- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Automated Reliability Estimation over Partial Systematic Exprorations" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 602--611 - 2013 Automated Reliability Estimation over Partial-icse2013.pdf

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" , 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013), page 222-231 - 2013 Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf

3- Víctor Braberman, Nicolas D´Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel , "Controller Synthesis: From Modelling to Enactment" , ICSE 13 Proceedings of the 2013 International Conference on Software Engineering, page 1347-1350 - 2013 Controller Synthesis From Modelling to Enactment.pdf

4- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Enabledness-based Program Abstractions for Behaviour Validation" , ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013 Enabledness-based Program Abstractions for Behaviour Validation.pdf

5- Víctor Braberman, Laurent Fribourg , "Formal Modeling and Analysis of Timed Systems" , Springer Berlin Heidelberg, Volume 8053 - aug 2013

6- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "Rewards Estimation for Partial Explorations of Nondeterministic Stochastic Systems" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2013 bpu-tr2013.pdf

7- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor 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 - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf

8- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Synthesising Modal Transition Systems from Triggered Scenarios" , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Volume 39, Number 7, page 975--1001 - jul 2013 Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf

9- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”" , CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013 Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf
 
Publications in 2012
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Abstractions for Validation in Action" , Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012 abstractions_for_validation_in_action.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation" , Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012 05639021.pdf

3- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Distribution of Modal Transition Systems" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 403--417 - 2012 paperFM2012WithRelatedWork.pdf

4- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "The Modal Transition System Control Problem" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012 paper.pdf
 
Publications in 2011
1- Diego Garbervetsky, Martín Roaux, Sergio Yovine, Víctor Braberman , "A compositional analysis of heap memory requirements " , Technical Report , Departamento de Computación. Universidad de Buenos Aires - mar 2011 reporte.pdf

2- Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel , "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-contractor.pdf

3- Fernando Asteasuain, Víctor Braberman , "FVS: A declarative aspect oriented modeling language" , Electronic Journal of SADIO, Volume 10, Number 1, page 20--37 - April 2011 Ejs-10-1-Asteasuain.pdf