Follow
Fernando Orejas
Title
Cited by
Cited by
Year
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
2112011
Algebraic system specification and development: A survey and annotated bibliography
M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella
Springer Berlin Heidelberg, 1991
1021991
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
862006
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
852011
Initial behaviour semantics for algebraic specifications
MP Nivela, F Orejas
Recent Trends in Data Type Specification: 5th Workshop on Specification of …, 2005
812005
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
722005
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
682010
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
661994
-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
652014
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
632010
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
611993
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
602015
ℳ-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
602012
Symbolic attributed graphs for attributed graph transformation
F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
602010
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
572012
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
562008
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
552002
GSBL: An algebraic specification language based on inheritance
S Clerici, F Orejas
ECOOP’88 European Conference on Object-Oriented Programming: Oslo, Norway …, 1988
481988
A logic of graph constraints
F Orejas, H Ehrig, U Prange
Fundamental Approaches to Software Engineering: 11th International …, 2008
462008
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
461991
The system can't perform the operation now. Try again later.
Articles 1–20