João H. Valentini

According to our database, João H. Valentini authored at least 2 papers between 2023 and 2026.

Collaborative distances:

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

2026

DEScMaker: A tool for automated code generation for discrete event systems controllers.

Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marco A. C. Barbosa, Marcelo Teixeira

Sci. Comput. Program., 2026

2023

Automated Code Generation for DES Controllers Modeled as Finite State Machines.

Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023