1 × Hungary
1 × United Kingdom
B.König H.Ehrig L.Lambers P.Baldan
bisimul (2) borrow (2) dpo (2) transform (1) congruenc (1) refactor (1) behavior (1) approach (1) preserv (1) presenc (1)
Person: Guilherme Rangel
Wrote 3 papers:
- FoSSaCS-2008-RangelKE #bisimulation
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (GR, BK, HE), pp. 413–427.
- ICGT-2008-RangelLKEB #behaviour #refactoring #using
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.
- GT-VMT-2007-RangelKE #approach #bisimulation #verification
- Bisimulation Verification for the DPO Approach with Borrowed (GR, BK, HE).