"Runtime controller synthesis for self-adaptation: Be discrete!" (2016) Uchitel, S.; Braberman, V.A.; D'Ippolito, N.; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:1-3

"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"21/2-player generalized reactivity (1) games" (2016) Rodriguez, N.; Braberman, V.; D'Ippolito, N.; Uchitel, S. 55th IEEE Conference on Decision and Control, CDC 2016:6996-7001