Valéria Maria Barros de Andrade

Introducing probabilities in Statecharts to specify reactive systems for performance analysis

Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Valéria Maria Barros de Andrade, 2006, Comput. Oper. Res..

Memory embedded in Markov models specified in Statecharts: simulation versus analytical approaches Tratamento de memória em modelos Markovianos especificados em Statecharts: abordagens por simulação e analítica

Nandamudi L. Vijaykumar, Gian Ricardo Berkenbrock, Solon Venâncio de Carvalho, 2012 .