Browse by Author Orejas, Fernando
Showing results 1 to 8 of 8
Preview | Issue Date | Title | Author(s) | Editor(s) |
 | 2011 | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Ermel, Claudia; Orejas, Fernando | - |
 | 2011 | Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei | - |
 | 2009 | Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version | Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut | - |
 | 2010 | Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando | - |
 | 2010 | Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version | Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike | - |
 | 2014 | Formal analysis of model transformations based on triple graph grammars | Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando | - |
 | 2010 | Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion | Lambers, Leen; Ehrig, Hartmut; Habel, Annegret; Orejas, Fernando; Golas, Ulrike | - |
 | 2014 | M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando | - |