♂ Person: Fernando Orejas

DBLP: Orejas:Fernando

Facilitated 8 volumes:

PrCo

Ed

PrCh

Ed

Ed

Ed

Ed

Ed

Contributed to:

2014

2014

2013

2013

2012

2012

2012

2011

2015

2010

2010

2009

2008

2008

2007

2008

2006

2005

2004

2002

2001

1999

1999

1998

1990

1989

1988

1987

1993

2016

2017

2019

2001

Wrote 38 papers:

ICGT-2014-LambersO #graph #reasoning

Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.

ICMT-2014-OrejasP #correctness #graph grammar #incremental

Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.

BX-2013-OrejasBE0S #concurrent #on the

On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.

FoSSaCS-2013-OrejasBGM #graph transformation #similarity

Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.

BX-2012-LambersHGO #bidirectional #graph grammar #model transformation

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

ICGT-2012-OrejasBM #graph

Borrowed Contexts for Attributed Graphs (FO, AB, NM), pp. 126–140.

MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.

MoDELS-2011-HermannEOCDX #correctness #graph grammar

Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.

MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar

Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.

FASE-2010-NaeemHOH #composition #contract #incremental #visual notation

Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.

ICGT-2010-EhrigHLOG #confluence

Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.

ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

ICGT-2010-OrejasL #constraints #graph transformation #theorem proving

Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.

ICMT-2009-GuerraLO #model transformation

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.

FASE-2008-OrejasEP #constraints #graph #logic

A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.

ICGT-2008-LambersEPO #confluence #graph transformation

Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.

ICGT-2008-Orejas #constraints #graph

Attributed Graph Constraints (FO), pp. 274–288.

CSL-2007-GaintzarainHLNO #calculus #invariant

A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.

GT-VMT-2006-LambersEO08 #detection #graph transformation #performance

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.

ICGT-2006-EhrigOP #category theory #distributed #graph transformation

Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.

ICGT-2006-LambersEO #detection #graph transformation

Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.

LOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.

SAC-2004-AlvezLO #bottom-up

Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.

FASE-2002-EhrigOBKP #component #framework #modelling

A Generic Component Framework for System Modeling (HE, FO, BB, MK, MP), pp. 33–48.

ICLP-2001-OrejasPP #embedded #logic programming #semantics #source code

Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.

FM-v2-1999-JimenezO #algebra #framework #higher-order

An Algebraic Framework for Higher-Order Modules (RMJ, FO), pp. 1778–1797.

ICLP-1999-OrejasP #semantics #source code

Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.

TAGT-1998-EhrigHLOPR #framework #graph #rule-based

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.

CADE-1990-NieuwenhuisOR #implementation #named

TRIP: An Implementation of Clausal Rewriting (RN, FO, AR), pp. 667–668.

ICALP-1989-EhrigPO #algebra #on the #roadmap #specification

On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.

ECOOP-1988-ClericiO #algebra #inheritance #named #specification

GSBL: An Algebraic Specification Language Based on Inheritance (SC, FO), pp. 78–92.

CAAP-1987-NavarroO #correctness #horn clause #proving #specification

Parameterized Horn Clause Specifications: Proof Theory and Correctness (MN, FO), pp. 202–216.

TAPSOFT-1993-EhrigJO #composition #parametricity #specification

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (HE, RMJ, FO), pp. 31–45.

FASE-2016-ChiritaFO #constraints #specification

Many-Valued Institutions for Constraint Specification (CEC, JLF, FO), pp. 359–376.

FASE-2017-SchneiderLO #generative #graph

Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.

FASE-2019-SchneiderLO #approach #graph #incremental

A Logic-Based Incremental Approach to Graph Repair (SS0, LL, FO), pp. 151–167.

GT-VMT-2001-EhrigO #concept #data type #framework #integration #modelling #process

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (HE, FO), pp. 199–226.