Fernando Orejas
According to our database1, Fernando Orejas
authored at least 143 papers
between 1981 and 2018.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
-
at orcid.org
On csauthors.net:
Bibliography
2018
Institutions for navigational logics for graphical structures.
Theor. Comput. Sci., 2018
Towards a Navigational Logic for Graphical Structures.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
Initial Conflicts and Dependencies: Critical Pairs Revisited.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
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
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars.
Proceedings of the First International Workshop on Model-Driven Interoperability, 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