Joabe Jesus

According to our database, Joabe Jesus authored at least 4 papers between 2010 and 2024.

Collaborative distances:

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

2024

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving.

Joabe Jesus, Augusto Sampaio

Sci. Comput. Program., 2024

2022

Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.

Joabe Jesus, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

2011

Architectural Verification of Control Systems Using CSP.

Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Evolving a Safe System Design Iteratively.

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe

Proceedings of the Computer Safety, 2010