| |
| 2008 | ||
|---|---|---|
| 3 | EE | Guilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427 |
| 2 | EE | Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256 |
| 2007 | ||
| 1 | EE | Guilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007) |
| 1 | Paolo Baldan | [2] |
| 2 | Hartmut Ehrig | [1] [2] [3] |
| 3 | Barbara König | [1] [2] [3] |
| 4 | Leen Lambers | [2] |