Publications

[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