"The modal transition system control problem" (2012) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:155-170

"Distribution of modal transition systems" (2012) Sibay, G.E.; Uchitel, S.; Braberman, V.; Kramer, J. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:403-417

"Automated abstractions for contract validation" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. IEEE Transactions on Software Engineering. 38(1):141-162

"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218