From state-to delta-based bidirectional model transformations: The symmetric case Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas Model Driven Engineering Languages and Systems: 14th International …, 2011 | 211 | 2011 |

Algebraic system specification and development: A survey and annotated bibliography M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella Springer Berlin Heidelberg, 1991 | 102 | 1991 |

Conflict detection for graph transformation with negative application conditions L Lambers, H Ehrig, F Orejas Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 86 | 2006 |

Correctness of model synchronization based on triple graph grammars F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong Model Driven Engineering Languages and Systems: 14th International …, 2011 | 85 | 2011 |

Initial behaviour semantics for algebraic specifications MP Nivela, F Orejas Recent Trends in Data Type Specification: 5th Workshop on Specification of …, 2005 | 81 | 2005 |

Implementation and behavioural equivalence: A survey F Orejas, M Navarro, A Sánchez Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 2005 | 72 | 2005 |

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars F Hermann, H Ehrig, U Golas, F Orejas Proceedings of the First International Workshop on Model-Driven …, 2010 | 68 | 2010 |

H. Ehrig: The Algebraic Specification Column Dynamic Abstract Data Types: An Informal Proposal H Ehrig, F Orejas BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 53, 162-162, 1994 | 66 | 1994 |

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation H Ehrig, U Golas, A Habel, L Lambers, F Orejas Mathematical Structures in Computer Science 24 (4), 240406, 2014 | 65 | 2014 |

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. F Hermann, H Ehrig, F Orejas, U Golas ICGT 6372, 155-170, 2010 | 63 | 2010 |

New concepts of amalgamation and extension for a general theory of specifications H Ehrig, M Baldamus, F Orejas Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 1993 | 61 | 1993 |

Model synchronization based on triple graph grammars: correctness, completeness and invertibility F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ... Software & Systems Modeling 14, 241-269, 2015 | 60 | 2015 |

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence H Ehrig, U Golas, A Habel, L Lambers, F Orejas Fundamenta Informaticae 118 (1-2), 35-63, 2012 | 60 | 2012 |

Symbolic attributed graphs for attributed graph transformation F Orejas, L Lambers Electronic Communications of the EASST 30, 2010 | 60 | 2010 |

Concurrent model synchronization with conflict resolution based on triple graph grammars F Hermann, H Ehrig, C Ermel, F Orejas Fundamental Approaches to Software Engineering: 15th International …, 2012 | 57 | 2012 |

Efficient conflict detection in graph transformation systems by essential critical pairs L Lambers, H Ehrig, F Orejas Electronic Notes in Theoretical Computer Science 211, 17-26, 2008 | 56 | 2008 |

A generic component framework for system modeling H Ehrig, F Orejas, B Braatz, M Klein, M Piirainen Fundamental Approaches to Software Engineering: 5th International Conference …, 2002 | 55 | 2002 |

GSBL: An algebraic specification language based on inheritance S Clerici, F Orejas ECOOP’88 European Conference on Object-Oriented Programming: Oslo, Norway …, 1988 | 48 | 1988 |

A logic of graph constraints F Orejas, H Ehrig, U Prange Fundamental Approaches to Software Engineering: 11th International …, 2008 | 46 | 2008 |

Theory of algebraic module specification including behavioral semantics and constraints H Ehrig, M Baldamus, F Cornelius, F Orejas Proceedings of the Second International Conference on Methodology and …, 1991 | 46 | 1991 |