Algebraic Laws for Process Subtyping. - José Dihego; Pedro R. G. Antonino; Augusto Sampaio 001 (ICFEM, 2013)

Aspect-Oriented Development of Trustworthy Component-based Systems. - José Dihego; Augusto Sampaio 001 (ICTAC, 2015)

Constructive extensibility of trustworthy component-based systems. - José Dihego; Augusto Sampaio 001; Marcel Vinícius Medeiros Oliveira (SAC, 2015)

A refinement checking based strategy for component-based systems evolution. - José Dihego; Augusto Sampaio 001; Marcel Oliveira (J. Syst. Softw., 2020)

An Integrated Framework for Analysing, Simulating and Testing UML Models. - Gustavo Carvalho; José Dihego; Augusto Sampaio 001 (SBMF, 2024)