Tarciana Dias da Silva

According to our database, Tarciana Dias da Silva authored at least 2 papers between 2015 and 2023.

Collaborative distances:

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

2023

BAIN: Bluetooth Adaption for IoT Device.

Luciana Pereira Oliveira, Cinaglia Adagles Silva, Djamel Fawzi Hadj Sadok, Tarciana Dias da Silva, Auristela Silva, Judith Kelner

Proceedings of the Advanced Information Networking and Applications, 2023

2015

Verifying Transformations of Java Programs Using Alloy.

Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015