Browse by Author Orejas, Fernando

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 
Showing results 1 to 8 of 8
PreviewIssue DateTitleAuthor(s)Editor(s)
tr_2011-14.pdf.jpg2011Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Ermel, Claudia; Orejas, Fernando-
tr_2011-07.pdf.jpg2011Correctness of Model Synchronization Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei-
tr-2009-09.pdf.jpg2009Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long VersionOrejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut-
tr_2010-13.pdf.jpg2010Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
tr_2010-08.pdf.jpg2010Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike-
formal_analysis_of_model_transformations.pdf.jpg2014Formal analysis of model transformations based on triple graph grammarsHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
tr_2010-07.pdf.jpg2010Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair NotionLambers, Leen; Ehrig, Hartmut; Habel, Annegret; Orejas, Fernando; Golas, Ulrike-
mathcalmadhesive_transformation_systems_part_1.pdf.jpg2014M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationEhrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando-