Fernando Orejas

According to our database, Fernando Orejas authored at least 157 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A logical approach to graph databases.

Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella

J. Log. Algebraic Methods Program., 2024

Drag Rewriting.

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas

CoRR, 2024

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Unification of drags and confluence of drag rewriting.

Jean-Pierre Jouannaud, Fernando Orejas

J. Log. Algebraic Methods Program., February, 2023

2021

Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality.

Leen Lambers, Fernando Orejas

Theor. Comput. Sci., 2021

A logic-based incremental approach to graph repair featuring delta preservation.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2021

A navigational logic for reasoning about graph properties.

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers

J. Log. Algebraic Methods Program., 2021

2020

Preface to the special issue on the 12th International Conference on Graph Transformation.

Esther Guerra, Fernando Orejas

J. Log. Algebraic Methods Program., 2020

Unification of Drags.

Jean-Pierre Jouannaud, Fernando Orejas

Proceedings of the 34th International Workshop on Unification, 2020

Unfolding Symbolic Attributed Graph Grammars.

Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas

Proceedings of the Graph Transformation - 13th International Conference, 2020

Initial Conflicts for Transformation Rules with Nested Application Conditions.

Leen Lambers, Fernando Orejas

Proceedings of the Graph Transformation - 13th International Conference, 2020

Incremental Concurrent Model Synchronization using Triple Graph Grammars.

Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

A Logic-Based Incremental Approach to Graph Repair.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Institutions for navigational logics for graphical structures.

Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers

Theor. Comput. Sci., 2018

Automated reasoning for attributed graph properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2018

Towards a Navigational Logic for Graphical Structures.

Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

Initial Conflicts and Dependencies: Critical Pairs Revisited.

Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Amalgamation of domain specific languages with behaviour.

Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler

J. Log. Algebraic Methods Program., 2017

Symbolic Model Generation for Graph Properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Hartmut Ehrig (1944-2016).

Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg

Bull. EATCS, 2016

Many-Valued Institutions for Constraint Specification.

Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel

Softw. Syst. Model., 2015

Satisfiability of Constraint Specifications on XML Documents.

Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Abstract Constraint Data Types.

José Luiz Fiadeiro, Fernando Orejas

Proceedings of the Software, 2015

A Semantics of Business Configurations Using Symbolic Graphs.

Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.

Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas

Math. Struct. Comput. Sci., 2014

Formal analysis of model transformations based on triple graph grammars.

Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas

Math. Struct. Comput. Sci., 2014

A refutation procedure for proving satisfiability of constraint specifications on XML documents.

Marisa Navarro, Fernando Orejas

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Correctness of Incremental Model Synchronization with Triple Graph Grammars.

Fernando Orejas, Elvira Pino

Proceedings of the Theory and Practice of Model Transformations, 2014

Tableau-Based Reasoning for Graph Properties.

Leen Lambers, Fernando Orejas

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Inter-modelling with patterns.

Esther Guerra, Juan de Lara, Fernando Orejas

Softw. Syst. Model., 2013

Invariant-Free Clausal Temporal Resolution.

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Autom. Reason., 2013

On Propagation-Based Concurrent Model Synchronization.

Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.

Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas

Theor. Comput. Sci., 2012

Semantics of structured normal logic programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

J. Log. Algebraic Methods Program., 2012

Lazy Graph Transformation.

Fernando Orejas, Leen Lambers

Fundam. Informaticae, 2012

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.

Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas

Fundam. Informaticae, 2012

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case.

Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Behaviour Protection in Modular Rule-Based System Specifications.

Francisco Durán, Fernando Orejas, Steffen Zschaler

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Borrowed Contexts for Attributed Graphs.

Fernando Orejas, Artur Boronat, Nikos Mylonakis

Proceedings of the Graph Transformations - 6th International Conference, 2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Symbolic graphs for attributed graph constraints.

Fernando Orejas

J. Symb. Comput., 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong

Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

A Generic Approach to Connector Architectures Part I: The General Framework.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

Reasoning with graph constraints.

Fernando Orejas, Hartmut Ehrig, Ulrike Prange

Formal Aspects Comput., 2010

Symbolic Attributed Graphs for Attributed Graph Transformation.

Fernando Orejas, Leen Lambers

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.

Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars.

Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas

Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Delaying Constraint Solving in Symbolic Graph Transformation.

Fernando Orejas, Leen Lambers

Proceedings of the Graph Transformations - 5th International Conference, 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas

Proceedings of the Graph Transformations - 5th International Conference, 2010

Local Confluence for Rules with Nested Application Conditions.

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas

Proceedings of the Graph Transformations - 5th International Conference, 2010

Incremental Service Composition Based on Partial Matching of Visual Contracts.

Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Controlling Reuse in Pattern-Based Model-to-Model Transformations.

Esther Guerra, Juan de Lara, Fernando Orejas

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Dual Systems of Tableaux and Sequents for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Log. Algebraic Methods Program., 2009

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.

Esther Guerra, Juan de Lara, Fernando Orejas

Proceedings of the Theory and Practice of Model Transformations, 2009

Semi-automated service composition using visual contracts.

Muhammad Naeem, Reiko Heckel, Fernando Orejas

Proceedings of the FIT '09, 2009

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

On the Specification and Verification of Model Transformations.

Fernando Orejas, Martin Wirsing

Proceedings of the Semantics and Algebraic Specification, 2009

2008

A Functorial Framework for Constraint Normal Logic Programming.

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

Appl. Categorical Struct., 2008

Attributed Graph Constraints.

Fernando Orejas

Proceedings of the Graph Transformations, 4th International Conference, 2008

Embedding and Confluence of Graph Transformations with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Graph Transformations, 4th International Conference, 2008

A Logic of Graph Constraints.

Fernando Orejas, Hartmut Ehrig, Ulrike Prange

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Towards Component Verification in the Generic Component Framework.

Julia Padberg, Hartmut Ehrig, Fernando Orejas

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Architectural Connectors for Sequence Diagrams.

Fernando Orejas, Sonia Pérez

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Thirty years of algebraic specification.

Fernando Orejas

J. Log. Algebraic Methods Program., 2006

Special Issue with Selected Papers from ICGT 2004.

Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce

Fundam. Informaticae, 2006

Preface.

Paqui Lucio, Fernando Orejas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Towards Multiple Access in Generic Component Architectures.

Markus Klein, Julia Padberg, Fernando Orejas

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Conflict Detection for Graph Transformation with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the Graph Transformations, Third International Conference, 2006

Categorical Foundations of Distributed Graph Transformation.

Hartmut Ehrig, Fernando Orejas, Ulrike Prange

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Preface: Automata, Languages and Programming .

Fernando Orejas, Jan van Leeuwen

Theor. Comput. Sci., 2005

Efficient Detection of Conflicts in Graph-based Model Transformation.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the International Workshop on Graph and Model Transformation, 2005

Object-Oriented Connector-Component Architectures.

Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Towards Architectural Connectors for UML.

Fernando Orejas, Sonia Pérez

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

A component framework for system modeling based on high-level replacement systems.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Softw. Syst. Model., 2004

A Generic Framework for Connector Architectures based on Components and Transformations.

Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

A Distributed and Mobile Component System Based on the Ambient Calculus.

Nikos Mylonakis, Fernando Orejas

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Constructive negation by bottom-up computation of literal answers.

Javier Álvez, Paqui Lucio, Fernando Orejas

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

On the Integration of Modular Heterogeneous Specifications.

Fernando Orejas, Elvira Pino

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Components for Algebra Transformation Systems.

Fernando Orejas, Hartmut Ehrig

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

2002

Concurrency and Loose Semantics of Open Graph Transformation Systems.

Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas

Math. Struct. Comput. Sci., 2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Trans. SDPS, 2002

A Component Framework Based on High-Level Replacement Systems.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Foreword Volume 72.

Hartmut Ehrig, Fernando Orejas

Electron. Notes Theor. Comput. Sci., 2002

A Generic Component Framework for System Modeling.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.

Hartmut Ehrig, Fernando Orejas

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Tight and Loose Semantics for Transformation Systems.

Fernando Orejas, Hartmut Ehrig, Elvira Pino

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Semantics of Normal Logic Programs with Embedded Implications.

Fernando Orejas, Edelmira Pasarella, Elvira Pino

Proceedings of the Logic Programming, 17th International Conference, 2001

From Basic Views and Aspects to Integration of Specification Formalisms.

Hartmut Ehrig, Julia Padberg, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Integration Paradigm for Data Type and Process Specification Techniques.

Hartmut Ehrig, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Dynamic Abstract Data Types: An Informal Proposal in 1994.

Hartmut Ehrig, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Constructive negation without subsidiary trees.

Edelmira Pasarella, Elvira Pino, Fernando Orejas

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

Structuring and Modularity.

Fernando Orejas

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Abstract and behaviour module specifications.

Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas

Math. Struct. Comput. Sci., 1999

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.

Paqui Lucio, Fernando Orejas, Elvira Pino

J. Log. Program., 1999

From Basic Views and Aspects to Integration of Specification Formalisms.

Hartmut Ehrig, Julia Padberg, Fernando Orejas

Bull. EATCS, 1999

A General Algebraic Framework for Studying Modular Systems.

Fernando Orejas, Elvira Pino

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Semantic Definitions for Normal Open Programs.

Fernando Orejas, Elvira Pino

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Algebraic Framework for Higher-Order Modules.

Rosa M. Jiménez, Fernando Orejas

Proceedings of the FM'99 - Formal Methods, 1999

1998

Integration Paradigm for Data Type and Process Specification Techniques.

Hartmut Ehrig, Fernando Orejas

Bull. EATCS, 1998

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.

Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

Institutions for Logic Programming.

Fernando Orejas, Elvira Pino, Hartmut Ehrig

Theor. Comput. Sci., 1997

A Monotonic Declarative Semantics for Normal Logic Programs.

Paqui Lucio, Fernando Orejas, Elvira Pino

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.

Fernando Orejas, Marisa Navarro, Ana Sánchez

Math. Struct. Comput. Sci., 1996

Algebraic Methods for the Study of Module Constructs in Logic Programming.

Fernando Orejas

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

On the Correctness of Modular Systems.

Marisa Navarro, Fernando Orejas, Ana Sánchez

Theor. Comput. Sci., 1995

A Guided Tour through the ICARUS Project.

Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon

ACM SIGSOFT Softw. Eng. Notes, 1995

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.

Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig

Math. Struct. Comput. Sci., 1995

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.

Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas

Bull. EATCS, 1995

Class-Sort Polymorphism in GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Dynamic Abstract Data Types: An informal Proposal.

Hartmut Ehrig, Fernando Orejas

Bull. EATCS, 1994

Algebraic Methods in the Compositional Analysis of Logic Programs.

Fernando Orejas, Elvira Pino, Hartmut Ehrig

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Dynamic Abstract Data Types Based on Algebraic Graph Transformations.

Hartmut Ehrig, Michael Löwe, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Characterizing Confusion.

Marisa Navarro, Fernando Orejas, Ana Sánchez

Bull. EATCS, 1993

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.

Marisa Navarro, Fernando Orejas, Jean-Luc Rémy

Acta Informatica, 1993

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.

Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Program Development: Completion Subsystem.

Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas

Proceedings of the Program Development by Specification and Transformation, 1993

1992

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.

Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas

Comput. J., 1992

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas

Comput. J., 1992

Semantic Constructions in the Specification Language GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Bull. EATCS, 1991

Implementation and Behavioural Equivalence: A Survey.

Fernando Orejas, Marisa Navarro, Ana Sánchez

Proceedings of the Recent Trends in Data Type Specification, 1991

New Concepts of Amalgamation and Extension for a General Theory of Specifications.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1991

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.

Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Clausal Rewriting.

Robert Nieuwenhuis, Fernando Orejas

Proceedings of the Conditional and Typed Rewriting Systems, 1990

TRIP: An Implementation of Clausal Rewriting.

Robert Nieuwenhuis, Fernando Orejas, Albert Rubio

Proceedings of the 10th International Conference on Automated Deduction, 1990

Constraints for Behavioural Specifications.

Fernando Orejas, Pilar Nivela

Proceedings of the Recent Trends in Data Type Specification, 1990

Clausal Rewriting: Applications and Implementation.

Robert Nieuwenhuis, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1990

The Specification Language GSBL.

Silvia Clerici, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

On Recent Trends in Algebraic Specification.

Hartmut Ehrig, Peter Pepper, Fernando Orejas

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

GSBL: An Algebraic Specification Language Based on Inheritance.

Silvia Clerici, Fernando Orejas

Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

Development of Algebraic Specifications with Constraints.

Fernando Orejas, Vera Sacristán, Silvia Clerici

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Semantical Constructions for Categories of Behavioural Specifications.

Fernando Orejas, Pilar Nivela, Hartmut Ehrig

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Term Rewriting Methods for Partial Specifications.

Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

A Module Concept within the Initial Behaviour Framework.

Pilar Nivela, Fernando Orejas

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

The Specification Language for the GESTALT Environment.

Silvia Clerici, Fernando Orejas, Pere Botella

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

A Characterization of Passing Compatibility for Parameterized Specifications.

Fernando Orejas

Theor. Comput. Sci., 1987

Parameterized Horn Clause Specifications: Proof Theory and Correctness.

Marisa Navarro, Fernando Orejas

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Initial Behaviour Semantics for Algebraic Specifications.

Pilar Nivela, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Role of Abstraction in Program Development - Response.

Fernando Orejas

Proceedings of the Information Processing 86, 1986

A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints.

Fernando Orejas

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

A Proof System for Verifying Composability of Abstract Implementations.

Fernando Orejas

Proceedings of the Semantics of Data Types, International Symposium, 1984

On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.

Marisa Navarro, Fernando Orejas

Proceedings of the EUROSAM 84, 1984

Passing Compatibility is almost Persistency.

Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Characterizing Composability of Abstract Implementations.

Fernando Orejas

Proceedings of the Fundamentals of Computation Theory, 1983

Some Results on Finite Specifiability of Parameterized Data Types.

Fernando Orejas

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1981

Even more on advice on structuring compilers and proving them correct: changing an arrow.

Fernando Orejas

ACM SIGPLAN Notices, 1981

On the Representation of Data Types.

Fernando Orejas

Proceedings of the Formalization of Programming Concepts, 1981

1979

On the power of conditional specifications.

Fernando Orejas

ACM SIGPLAN Notices, 1979