Navegar

Colección

Datos Estadísticas

Lista de

Modal Transition Systems
13
"Revisiting compatibility of input-output modal transition systems" (2014) Krka, I.; D'Ippolito, N.; Medvidović, N.; Uchitel, S. 19th International Symposium on Formal Methods, FM 2014. 8442 LNCS:367-381
"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
"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
"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
"An Inductive approach for modal transition system refinement" (2011) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 27th International Conference on Logic Programming, ICLP 2011. 11:106-116
"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
"Synthesis of partial behavior models from properties and scenarios" (2009) Uchitel, S.; Brunet, G.; Chechik, M. IEEE Transactions on Software Engineering. 35(3):384-406
"Synthesis of partial behavior models from properties and scenarios" (2009) Uchitel, S.; Brunet, G.; Chechik, M. IEEE Transactions on Software Engineering. 35(3):384-406
"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50
"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
"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
"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