Fernando Orejas

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 23

Top Venues

J. Log. Algebraic Methods Program.

FASE

CoRR

ICGT

Publications

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR (2024)
Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
Drag Rewriting. CoRR (2024)
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR (2024)
Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141 (2024)
Jean-Pierre Jouannaud, Fernando Orejas
Unification of drags and confluence of drag rewriting. J. Log. Algebraic Methods Program. 131 (2023)
Sven Schneider, Leen Lambers, Fernando Orejas
A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118 (2021)
Leen Lambers, Fernando Orejas
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. 884 (2021)
Leen Lambers, Fernando Orejas
Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR (2020)
Esther Guerra, Fernando Orejas
Preface to the special issue on the 12th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 115 (2020)
Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
Unfolding Symbolic Attributed Graph Grammars. ICGT (2020)
Fernando Orejas, Elvira Pino, Marisa Navarro
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE (2020)
Jean-Pierre Jouannaud, Fernando Orejas
Unification of Drags. UNIF (2020)
Leen Lambers, Fernando Orejas
Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT (2020)
Sven Schneider, Leen Lambers, Fernando Orejas
A Logic-Based Incremental Approach to Graph Repair. FASE (2019)
Sven Schneider, Leen Lambers, Fernando Orejas
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets (2018)
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741 (2018)
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets (2018)
Sven Schneider, Leen Lambers, Fernando Orejas
Symbolic Model Generation for Graph Properties. FASE (2017)
Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler
Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86 (1) (2017)
Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
Many-Valued Institutions for Constraint Specification. FASE (2016)
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14 (1) (2015)
Marisa Navarro, Fernando Orejas, Elvira Pino
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency (2015)
José Luiz Fiadeiro, Fernando Orejas
Abstract Constraint Data Types. Software, Services, and Systems (2015)
Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro
A Semantics of Business Configurations Using Symbolic Graphs. SCC (2015)
Leen Lambers, Fernando Orejas
Tableau-Based Reasoning for Graph Properties. ICGT (2014)
Fernando Orejas, Elvira Pino
Correctness of Incremental Model Synchronization with Triple Graph Grammars. ICMT (2014)
Marisa Navarro, Fernando Orejas
A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS (2014)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24 (4) (2014)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24 (4) (2014)
Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS (2013)
Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50 (1) (2013)
Esther Guerra, Juan de Lara, Fernando Orejas
Inter-modelling with patterns. Softw. Syst. Model. 12 (1) (2013)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118 (1-2) (2012)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81 (5) (2012)
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE (2012)
Fernando Orejas, Artur Boronat, Nikos Mylonakis
Borrowed Contexts for Attributed Graphs. ICGT (2012)
Francisco Durán, Fernando Orejas, Steffen Zschaler
Behaviour Protection in Modular Rule-Based System Specifications. WADT (2012)
Fernando Orejas, Leen Lambers
Lazy Graph Transformation. Fundam. Informaticae 118 (1-2) (2012)
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424 (2012)
Fernando Orejas
Symbolic graphs for attributed graph constraints. J. Symb. Comput. 46 (3) (2011)
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS (2011)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS (2011)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99 (1) (2010)
Fernando Orejas, Leen Lambers
Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT (2010)
Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE (2010)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99 (1) (2010)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS (2010)
Esther Guerra, Juan de Lara, Fernando Orejas
Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering (2010)
Fernando Orejas, Leen Lambers
Delaying Constraint Solving in Symbolic Graph Transformation. ICGT (2010)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
Reasoning with graph constraints. Formal Aspects Comput. 22 (3-4) (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Local Confluence for Rules with Nested Application Conditions. ICGT (2010)
Julia Padberg, Hartmut Ehrig, Fernando Orejas
Towards Component Verification in the Generic Component Framework. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO (2009)
Fernando Orejas, Martin Wirsing
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification (2009)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78 (8) (2009)
Muhammad Naeem, Reiko Heckel, Fernando Orejas
Semi-automated service composition using visual contracts. FIT (2009)
Esther Guerra, Juan de Lara, Fernando Orejas
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT@TOOLS (2009)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT (2008)
Fernando Orejas
Attributed Graph Constraints. ICGT (2008)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
A Logic of Graph Constraints. FASE (2008)
Fernando Orejas, Sonia Pérez
Architectural Connectors for Sequence Diagrams. Electron. Notes Theor. Comput. Sci. 206 (2008)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electron. Notes Theor. Comput. Sci. 211 (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16 (3) (2008)
Markus Klein, Julia Padberg, Fernando Orejas
Towards Multiple Access in Generic Component Architectures. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Paqui Lucio, Fernando Orejas
Preface. Electron. Notes Theor. Comput. Sci. 188 (2007)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL (2007)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT (2006)
Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce
Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74 (1) (2006)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Detection of Conflicts in Graph-based Model Transformation. Electron. Notes Theor. Comput. Sci. 152 (2006)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen (2006)
Hartmut Ehrig, Fernando Orejas, Ulrike Prange
Categorical Foundations of Distributed Graph Transformation. ICGT (2006)
Fernando Orejas
Thirty years of algebraic specification. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Fernando Orejas, Sonia Pérez
Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling (2005)
Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
Object-Oriented Connector-Component Architectures. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Fernando Orejas, Jan van Leeuwen
Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331 (1) (2005)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR (2005)
Javier Álvez, Paqui Lucio, Fernando Orejas
Constructive negation by bottom-up computation of literal answers. SAC (2004)
Fernando Orejas, Elvira Pino
On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report (2004)
Nikos Mylonakis, Fernando Orejas
A Distributed and Mobile Component System Based on the Ambient Calculus. WADT (2004)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3 (2) (2004)
Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
A Generic Framework for Connector Architectures based on Components and Transformations. Electron. Notes Theor. Comput. Sci. 108 (2004)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Component Framework Based on High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Fernando Orejas, Hartmut Ehrig
Components for Algebra Transformation Systems. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Generic Component Framework for System Modeling. FASE (2002)
Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. 12 (4) (2002)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS 6 (4) (2002)
Hartmut Ehrig, Fernando Orejas
Foreword Volume 72. Electron. Notes Theor. Comput. Sci. 72 (2002)
Fernando Orejas, Hartmut Ehrig, Elvira Pino
Tight and Loose Semantics for Transformation Systems. WADT (2001)
Hartmut Ehrig, Fernando Orejas
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of Normal Logic Programs with Embedded Implications. ICLP (2001)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE (2001)
Edelmira Pasarella, Elvira Pino, Fernando Orejas
Constructive negation without subsidiary trees. WFLP (2000)

Fernando Orejas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fernando Orejas