Luciana Akemi Burgareli

According to our database, Luciana Akemi Burgareli authored at least 3 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Formal Verification With Frama-C: A Case Study in the Space Software Domain.

Rovedy Aparecida Busquim e Silva, Nanci Naomi Arai, Luciana Akemi Burgareli, José Maria Parente de Oliveira, Jorge Sousa Pinto

IEEE Trans. Reliab., 2016

2009

A Variation Mechanism Based on Adaptive Object Model for Software Product Line of Brazilian Satellite Launcher.

Luciana Akemi Burgareli, Selma Shin Shimizu Melnikoff, Maurício G. Vieira Ferreira

Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

2008

A Software Model Reuse Strategy for Brazilian Satellite Launcher.

Luciana Akemi Burgareli, Selma S. S. Melnikoff, Maurício G. V. Ferreira

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008