"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37

"Parametric prediction of heap memory requirements" (2008) Braberman, V.; Fernández, F.; Garbervetsky, D.; Yovine, S. 2008 International Symposium on Memory Management, ISMM'08:141-150

"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50