Publications

[Science of Computer Programming] Summary-based inference of quantitative bounds of live heap objects

Science of Computer Programming: Victor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine, "Summary-based inference of quantitative bounds of live heap objects", in press.

Undefined

[Computer Science] 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: Supporting incremental behaviour model elaboration. Computer Science - R&D 28(4): 279-293 (2013)

http://link.springer.com/article/10.1007%2Fs00450-012-0233-1

Undefined

[CONCUR 2013] Merging Partial Behaviour Models with Different Vocabularies

CONCUR 2013: Shoham Ben-David, Marsha Chechik and Sebastian Uchitel: Merging Partial Behaviour Models with Different Vocabularies

Accepted to appear in the proceedings of the conference CONCUR 2013, Buenos Aires, Argentina, August 2013.

Undefined

[ICSE 2013] Automated Reliability Estimation over Partial Systematic Exprorations

ICSE 2013: Esteban Pavese, Víctor Braberman, Sebastian Uchitel , Automated Reliability Estimation over Partial Systematic Exprorations

This work will be presented by Esteban Pavese in ICSE 2013, San Francisco, May 18-26.

http://publicaciones.dc.uba.ar/Publications/2013/PBU13/

Undefined

TSE: Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , Automated Abstractions for Contract Validation

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

http://publicaciones.dc.uba.ar/Publications/2012/DBGU12a/

Undefined

SFM 2012: Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , Abstractions for Validation in Action

This work is published in the Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012

http://publicaciones.dc.uba.ar/Publications/2012/DBGU12b/

Undefined

Pages