The Use of Analytical and Simulation Solutions with Statecharts for performance evaluation: A case study of a File Server model. - Carlos Renato Lisboa Francês; Nandamudi Lankalapalli Vijaykumar; Regina Helena Carlucci Santana; Marcos José Santana; Solon Venâncio de Carvalho; Vakulathil Abdurahiman (LATW, 2001)

Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts. - Carlos Renato Lisboa Francês; Marcos José Santana; Nandamudi Lankalapalli Vijaykumar; Solon Venâncio de Carvalho; Regina Helena Carlucci Santana (SBES, 2001)

Modelling and Performance Evaluation of Wireless Networks. - Glaucio H. S. Carvalho; Roberto M. Rodrigues; Carlos Renato Lisboa Francês; João Crisóstomo Weyl Albuquerque Costa; Solon V. Carvalho (ICT, 2004)

Performance evaluation based on system modeling using Statecharts extensions. - Carlos Renato Lisboa Francês; Edvar da Luz Oliveira; João Crisóstomo Weyl Albuquerque Costa; Marcos José Santana; Regina Helena Carlucci Santana; Sarita Mazzini Bruschi; Nandamudi Lankalapalli Vijaykumar; Solon Venâncio de Carvalho (Simul. Model. Pract. Theory, 2005)

A Markovian Sensibility Analysis for Parallel Processing Scheduling on GNU/Linux. - Regiane Y. S. Kawasaki; Luiz Affonso Guedes; Diego Lisboa Cardoso; Carlos Renato Lisboa Francês; Glaucio H. S. Carvalho; Solon V. Carvalho; João Crisóstomo Weyl Albuquerque Costa; Marcelino S. da Silva (ISPA Workshops, 2006)

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; Vakulathil Abdurahiman (Comput. Oper. Res., 2006)

A Conformance Testing Process for Space Applications Software Services. - Ana Maria Ambrosio; Eliane Martins; Nandamudi L. Vijaykumar; Solon V. Carvalho (J. Aerosp. Comput. Inf. Commun., 2006)

Strategies for improving the modeling and interpretability of Bayesian networks. - Ádamo L. de Santana; Carlos Renato Lisboa Francês; Cláudio A. Rocha; Solon V. Carvalho; Nandamudi Lankalapalli Vijaykumar; Liviane P. Rego; João Crisóstomo Weyl Albuquerque Costa (Data Knowl. Eng., 2007)

Performance analysis of multi-service wireless network: An approach integrating CAC, scheduling, and buffer management. - Glaucio H. S. Carvalho; Victor S. Martins; Carlos Renato Lisboa Francês; João Crisóstomo Weyl Albuquerque Costa; Solon V. Carvalho (Comput. Electr. Eng., 2008)

Obtaining a Continuous Time Markov Decision Process from Statecharts. - Marcelino S. da Silva; Ádamo L. de Santana; Carlos Renato Lisboa Francês; Nandamudi Lankalapalli Vijaykumar; Solon V. Carvalho (NaBIC, 2009)

Adjusting Holdoff Time of the IEEE 802.16 in Mesh Mode. - Cecília de A. Castro César; Nelson Luis Saldanha da Fonseca; Solon Venâncio de Carvalho (NTMS, 2009)

Markov decision process applied to the control of hospital elective admissions. - Luiz Guilherme Nadal Nunes; Solon Venâncio de Carvalho; Rita de Cássia Meneses Rodrigues (Artif. Intell. Medicine, 2009)

An Optimization Model for Allocation of Network Users in Macro-femto Networks - An Approach based on Energy Efficiency and Quality of Service. - Diego Lisboa Cardoso; Marcelino S. da Silva; Ádamo L. de Santana; Carlos Renato Lisboa Francês; Solon V. Carvalho; Nandamudi Lankalapalli Vijaykumar (SMARTGREENS, 2012)

An analytical framework for distributed coordinated scheduling in IEEE 802.16 wireless mesh networks. - Cecília de A. Castro César; Solon V. Carvalho (Ad Hoc Networks, 2014)

A queuing model for distributed scheduling in IEEE 802.16 wireless mesh networks. - Cecília A. C. César; Solon V. Carvalho (Int. J. Commun. Syst., 2015)

Novel Multilayered Cellular Automata for Flying Cells Positioning on 5G Cellular Self-Organising Networks. - Evelin Helena Silva Cardoso; Jasmine Priscyla Leite De Araújo; Solon Venâncio de Carvalho; Nandamudi Vijaykumar; Carlos Renato Lisboa Francês (IEEE Access, 2020)

Characterizing the Impact of Social Inequality on COVID-19 Propagation in Developing Countries. - Evelin Helena Silva Cardoso; Marcelino Silva da Silva; Francisco Eguinaldo De Albuquerque Félix Júnior; Solon Venâncio de Carvalho; André Carlos Ponce de Leon Ferreira de Carvalho; Nandamudi Vijaykumar; Carlos Renato Lisboa Francês (IEEE Access, 2020)