"A metaobject protocol for optimizing application-speci€c run-Time variability" (2017) Chari, G.; Garbervetsky, D.; Marr, S.; ACM Special Interest Group on Programming Languages (SIGPLAN); Assoc Internationale por les Technologies Objects (AITO) 12th Workshop on Implementation, Compilation and Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2017

"Accelerating embedded image processing for real time: a case study" (2016) Pedre, S.; Krajník, T.; Todorovich, E.; Borensztejn, P. Journal of Real-Time Image Processing. 11(2):349-374

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674

"Modular and systematic interface design for rich internet applications" (2009) Rossi, G.; Urbieta, M.; Ginzburg, J. Handbook of Research on Web 2.0, 3.0, and X.0: Technologies, Business, and Social Applications. 1:59-74

"Speeding up model checking of timed-models by combining scenario specialization and live component analysis" (2009) Braberman, V.;Garbervestky, D.;Kicillof, N. (...)Olivero, A. 7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009. 5813 LNCS:58-72