Fernando Orejas

According to our database1, Fernando Orejas
  • authored at least 139 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Amalgamation of domain specific languages with behaviour.
J. Log. Algebr. Meth. Program., 2017

Symbolic Model Generation for Graph Properties.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Hartmut Ehrig (1944-2016).
Bulletin of the EATCS, 2016

Many-Valued Institutions for Constraint Specification.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015
Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Software and System Modeling, 2015

Satisfiability of Constraint Specifications on XML Documents.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Abstract Constraint Data Types.
Proceedings of the Software, 2015

A Semantics of Business Configurations Using Symbolic Graphs.
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.
Mathematical Structures in Computer Science, 2014

Formal analysis of model transformations based on triple graph grammars.
Mathematical Structures in Computer Science, 2014

A refutation procedure for proving satisfiability of constraint specifications on XML documents.
Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Correctness of Incremental Model Synchronization with Triple Graph Grammars.
Proceedings of the Theory and Practice of Model Transformations, 2014

Tableau-Based Reasoning for Graph Properties.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
Inter-modelling with patterns.
Software and System Modeling, 2013

Invariant-Free Clausal Temporal Resolution.
J. Autom. Reasoning, 2013

On Propagation-Based Concurrent Model Synchronization.
ECEASST, 2013

Checking Bisimilarity for Attributed Graph Transformation.
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.
Theor. Comput. Sci., 2012

Semantics of structured normal logic programs.
J. Log. Algebr. Program., 2012

Lazy Graph Transformation.
Fundam. Inform., 2012

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

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

Behaviour Protection in Modular Rule-Based System Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Borrowed Contexts for Attributed Graphs.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Symbolic graphs for attributed graph constraints.
J. Symb. Comput., 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
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.
Fundam. Inform., 2010

A Generic Approach to Connector Architectures Part I: The General Framework.
Fundam. Inform., 2010

Reasoning with graph constraints.
Formal Asp. Comput., 2010

Symbolic Attributed Graphs for Attributed Graph Transformation.
ECEASST, 2010

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

Delaying Constraint Solving in Symbolic Graph Transformation.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Local Confluence for Rules with Nested Application Conditions.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Incremental Service Composition Based on Partial Matching of Visual Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Controlling Reuse in Pattern-Based Model-to-Model Transformations.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Dual Systems of Tableaux and Sequents for PLTL.
J. Log. Algebr. Program., 2009

Towards Component Verification in the Generic Component Framework.
Electr. Notes Theor. Comput. Sci., 2009

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.
Proceedings of the Theory and Practice of Model Transformations, 2009

Semi-automated service composition using visual contracts.
Proceedings of the FIT '09, 2009

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

On the Specification and Verification of Model Transformations.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Architectural Connectors for Sequence Diagrams.
Electr. Notes Theor. Comput. Sci., 2008

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.
Electr. Notes Theor. Comput. Sci., 2008

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci., 2008

A Functorial Framework for Constraint Normal Logic Programming.
Applied Categorical Structures, 2008

Attributed Graph Constraints.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Embedding and Confluence of Graph Transformations with Negative Application Conditions.
Proceedings of the Graph Transformations, 4th International Conference, 2008

A Logic of Graph Constraints.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Preface.
Electr. Notes Theor. Comput. Sci., 2007

Towards Multiple Access in Generic Component Architectures.
Electr. Notes Theor. Comput. Sci., 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006
Thirty years of algebraic specification.
J. Log. Algebr. Program., 2006

Special Issue with Selected Papers from ICGT 2004.
Fundam. Inform., 2006

Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci., 2006

Conflict Detection for Graph Transformation with Negative Application Conditions.
Proceedings of the Graph Transformations, Third International Conference, 2006

Categorical Foundations of Distributed Graph Transformation.
Proceedings of the Graph Transformations, Third International Conference, 2006

A Functorial Framework for Constraint Normal Logic Programming.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Preface: Automata, Languages and Programming .
Theor. Comput. Sci., 2005

Object-Oriented Connector-Component Architectures.
Electr. Notes Theor. Comput. Sci., 2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Towards Architectural Connectors for UML.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
A component framework for system modeling based on high-level replacement systems.
Software and System Modeling, 2004

A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci., 2004

A Distributed and Mobile Component System Based on the Ambient Calculus.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Constructive negation by bottom-up computation of literal answers.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

On the Integration of Modular Heterogeneous Specifications.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003
Components for Algebra Transformation Systems.
Electr. Notes Theor. Comput. Sci., 2003

A Component Framework Based on High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci., 2003

2002
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science, 2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.
Transactions of the SDPS, 2002

Foreword Volume 72.
Electr. Notes Theor. Comput. Sci., 2002

A Generic Component Framework for System Modeling.
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.
Electr. Notes Theor. Comput. Sci., 2001

Tight and Loose Semantics for Transformation Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Semantics of Normal Logic Programs with Embedded Implications.
Proceedings of the Logic Programming, 17th International Conference, 2001

From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science, 2001

Integration Paradigm for Data Type and Process Specification Techniques.
Current Trends in Theoretical Computer Science, 2001

Dynamic Abstract Data Types: An Informal Proposal in 1994.
Current Trends in Theoretical Computer Science, 2001

2000
Constructive negation without subsidiary trees.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999
Structuring and Modularity.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Abstract and behaviour module specifications.
Mathematical Structures in Computer Science, 1999

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.
J. Log. Program., 1999

From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS, 1999

A General Algebraic Framework for Studying Modular Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Semantic Definitions for Normal Open Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Algebraic Framework for Higher-Order Modules.
Proceedings of the FM'99 - Formal Methods, 1999

Semantic Definitions for Normal Open Programs.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Integration Paradigm for Data Type and Process Specification Techniques.
Bulletin of the EATCS, 1998

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Institutions for Logic Programming.
Theor. Comput. Sci., 1997

A Monotonic Declarative Semantics for Normal Logic Programs.
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.
Mathematical Structures in Computer Science, 1996

Algebraic Methods for the Study of Module Constructs in Logic Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
On the Correctness of Modular Systems.
Theor. Comput. Sci., 1995

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Mathematical Structures in Computer Science, 1995

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS, 1995

Class-Sort Polymorphism in GLIDER.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Dynamic Abstract Data Types: An informal Proposal.
Bulletin of the EATCS, 1994

Algebraic Methods in the Compositional Analysis of Logic Programs.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Dynamic Abstract Data Types Based on Algebraic Graph Transformations.
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.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Characterizing Confusion.
Bulletin of the EATCS, 1993

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Inf., 1993

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Program Development: Completion Subsystem.
Proceedings of the Program Development by Specification and Transformation, 1993

On the Correctness of Modular Systems.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J., 1992

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J., 1992

Semantic Constructions in the Specification Language GLIDER.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bulletin of the EATCS, 1991

Implementation and Behavioural Equivalence: A Survey.
Proceedings of the Recent Trends in Data Type Specification, 1991

New Concepts of Amalgamation and Extension for a General Theory of Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Clausal Rewriting.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

TRIP: An Implementation of Clausal Rewriting.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Constraints for Behavioural Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1990

Clausal Rewriting: Applications and Implementation.
Proceedings of the Recent Trends in Data Type Specification, 1990

The Specification Language GSBL.
Proceedings of the Recent Trends in Data Type Specification, 1990

1989
On Recent Trends in Algebraic Specification.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988
GSBL: An Algebraic Specification Language Based on Inheritance.
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

Development of Algebraic Specifications with Constraints.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Semantical Constructions for Categories of Behavioural Specifications.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Term Rewriting Methods for Partial Specifications.
ADT, 1988

A Module Concept within the Initial Behaviour Framework.
ADT, 1988

The Specification Language for the GESTALT Environment.
ADT, 1988

1987
A Characterization of Passing Compatibility for Parameterized Specifications.
Theor. Comput. Sci., 1987

Parameterized Horn Clause Specifications: Proof Theory and Correctness.
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.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
Role of Abstraction in Program Development - Response.
IFIP Congress, 1986

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

1984
A Proof System for Verifying Composability of Abstract Implementations.
Proceedings of the Semantics of Data Types, International Symposium, 1984

On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
Proceedings of the EUROSAM 84, 1984

Passing Compatibility is almost Persistency.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
Characterizing Composability of Abstract Implementations.
Proceedings of the Fundamentals of Computation Theory, 1983

Some Results on Finite Specifiability of Parameterized Data Types.
ADT, 1983

1981
On the Representation of Data Types.
Proceedings of the Formalization of Programming Concepts, 1981


  Loading...