Joabe Jesus

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 2

Top Topics

Theorem Proving

Tree Decompositions

Top Venues

Sci. Comput. Program.

Publications

Joabe Jesus, Augusto Sampaio
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. Sci. Comput. Program. 236 (2024)
Joabe Jesus, Augusto Sampaio
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. SBMF (2022)
Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo
Architectural Verification of Control Systems Using CSP. ICFEM (2011)
Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe
Evolving a Safe System Design Iteratively. SAFECOMP (2010)