Guilherme Rangel

According to our database, Guilherme Rangel authored at least 4 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Behavioral congruences and verification of graph transformation systems with applications to model refactoring.

Guilherme Rangel

PhD thesis, 2008

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.

Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan

Proceedings of the Graph Transformations, 4th International Conference, 2008

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.

Guilherme Rangel, Barbara König, Hartmut Ehrig

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Bisimulation Verification for the DPO Approach with Borrowed.

Guilherme Rangel, Barbara König, Hartmut Ehrig

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007