Guilherme Rangel

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
b1		Guilherme Rangel: Behavioral congruences and verification of graph transformation systems with applications to model refactoring. Berlin Institute of Technology 2008
c2		Guilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
c1		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
j1		Guilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6 (2007)

Coauthor Index

Last update Sun May 19 10:21:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page