"Probabilistic Interface Automata" (2016) Pavese, E.; Braberman, V.; Uchitel, S. IEEE Transactions on Software Engineering. 42(9):843-865

"Probabilistic Interface Automata" (2016) Pavese, E.; Braberman, V.; Uchitel, S. IEEE Transactions on Software Engineering. 42(9):843-865

"Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" (2014) D'Ippolito, N.;Braberman, V.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE) 36th International Conference on Software Engineering, ICSE 2014(1):688-699

"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

"Program abstractions for behaviour validation" (2011) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 33rd International Conference on Software Engineering, ICSE 2011:381-390

"Deriving non-Zeno behaviour models from goal models using ILP" (2010) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. Formal Aspects of Computing. 22(3-4):217-241

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:505-506

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:505-506

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:335-336

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:335-336

"A Sound observational semantics for modal transition systems" (2009) Fischbein, D.; Braberman, V.; Uchitel, S. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009. 5684 LNCS:215-230

"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22

"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462

"On correct and complete strong merging of partial behaviour models" (2008) Fischbein, D.; Uchitel, S. 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2008/FSE-16:297-307

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

"MTSA: The modal transition system analyser" (2008) D'Ippolito, N.; Fischbein, D.; Chechik, M.; Uchitel, S. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering:475-476