Nikson Bernardes Fernandes Ferreira

According to our database, Nikson Bernardes Fernandes Ferreira authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Reusable Testing Actions on Test Case Automation for Mobile Devices.

William do Vale Cavalcante Freitas, Nikson Bernardes Fernandes Ferreira, Hermino Barbosa de Freitas, Arthur Binda Alves, Gabriel Joseph Ramos Rafael, Hallyson Luiz de Morais Melo, Bonifácio Leite de Oliveira, André Carvalho

Proceedings of the XXIII Brazilian Symposium on Software Quality, 2024

2023

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.

Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón

Proceedings of the Formal Methods in Computer-Aided Design, 2023