Bisimulation Verification for the DPO Approach with Borrowed. - Guilherme Rangel; Barbara König 001; Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. - Guilherme Rangel; Barbara König 001; Hartmut Ehrig (FoSSaCS, 2008)

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. - Guilherme Rangel; Leen Lambers; Barbara König 001; Hartmut Ehrig; Paolo Baldan (ICGT, 2008)

Behavioral congruences and verification of graph transformation systems with applications to model refactoring. - Guilherme Rangel (2008)