Seguir
Joabe Jesus
Joabe Jesus
Professor of Computer Engineering, University of Pernambuco (UPE)
E-mail confirmado em ecomp.poli.br - Página inicial
Título
Citado por
Citado por
Ano
Evolving a safe system design iteratively
A Mota, J Jesus, A Gomes, F Ferri, E Watanabe
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
132010
Architectural verification of control systems using CSP
J Jesus, A Mota, A Sampaio, L Grijo
Formal Methods and Software Engineering: 13th International Conference on …, 2011
92011
Compositional Verification of Simulink Block Diagrams Using tock- and CSP-Prover
J Jesus, A Sampaio
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF …, 2022
32022
A systematic strategy to perform quantitative safety assessment of Simulink diagrams using Prism-Technical Report
A Gomes, A Mota, A Sampaio, J Jesus
Universidade Federal de Pernambuco, 1-33, 2010
12010
A Joint Formalisation of UML and OCL
J Jesus, R Borges, R Duarte, A Mota
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5