"Synthesizing modal transition systems from triggered scenarios" (2013) Sibay, G.E.; Braberman, V.; Uchitel, S.; Kramer, J. IEEE Transactions on Software Engineering. 39(7):975-1001

"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393

"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393

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