José Dihego

According to our database, José Dihego authored at least 5 papers between 2013 and 2024.

Collaborative distances:

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

2024

An Integrated Framework for Analysing, Simulating and Testing UML Models.

Gustavo Carvalho, José Dihego, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2020

A refinement checking based strategy for component-based systems evolution.

José Dihego, Augusto Sampaio, Marcel Oliveira

J. Syst. Softw., 2020

2015

Constructive extensibility of trustworthy component-based systems.

José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Aspect-Oriented Development of Trustworthy Component-based Systems.

José Dihego, Augusto Sampaio

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2013

Algebraic Laws for Process Subtyping.

José Dihego, Pedro R. G. Antonino, Augusto Sampaio

Proceedings of the Formal Methods and Software Engineering, 2013