Thayonara Alves

According to our database, Thayonara Alves authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.

Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study.

Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019