This directory contains postscript or pdf files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

• Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism , Concurrency and Amalgamation. Accepted in Mathematical Structures in Computer Science. © Cambridge University Press.

• Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas: Formal Analysis of Model Transformations based on Triple Graph Grammars. Accepted in Mathematical Structures in Computer Science. © Cambridge University Press.

• Esther Guerra, Juan de Lara and Fernando Orejas, Inter-modelling with patterns. Accepted in Software and System Modelling (online since Feb. 2011). ©Springer-Verlag.

• Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Invariant-Free Clausal Temporal Resolution  Journal of Automated Reasoning 50(1):1-49 (2013). ©Springer-Verlag.

• Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: Semantics of Structured Normal Logic Programs, J. Log. Algebr. Program. 81(5): 559-584 (2012) ©Elsevier Science.

• 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: 46-68 (2012). ©Elsevier Science

• Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars, in Fundamental Approaches to Software Engineering, 15th International Conference, FASE 2012, Springer Lecture Notes in Computer Science 7212  (2012), 178-193. ©Springer-Verlag.

• Fernando Orejas, Artur Boronat, Nikos Mylonakis: Borrowed Contexts for Attributed Graphs, in Graph Transformations, 6th International Conference, Springer Lecture Notes in Computer Science (2012): 126-140. ©Springer-Verlag.

• Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong: Correctness of Model Synchronization Based on Triple Graph Grammars. Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011. Springer Lecture Notes in Computer Science 6981(2011), 668-682. ©Springer-Verlag.
  

• Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Frank Hermann, Hartmut Ehrig, Fernando Orejas: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case, 14th International Conference, MODELS 2011. Springer Lecture Notes in Computer Science 6981(2011), 304-318. ©Springer-Verlag.
  

• Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Inform.118(1-2): 35-63 (2012) ©IOS Press..

• Fernando Orejas, Leen Lambers: Lazy Graph Transformation. Fundam. Inform. 118(1-2): 65-96 (2012) ©IOS Press.

• Fernando Orejas, Symbolic Graphs for Attributed Graph Constraints, Journal of Symbolic Computation. 46(3): 294-315 (2011).  ©Elsevier Science.


• Fernando Orejas, Hartmut Ehrig, Ulrike Prange: Reasoning with Graph Constraints. Formal Aspects of Computing, (3-4): 385-422 (2010). ©Springer-Verlag.


• Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts, in Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Springer Lecture Notes in Computer Science 6013  (2010), 123-138. ©Springer-Verlag.


• 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. Inform. 99(1): 63-93 (2010). ©IOS Press.


• 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. Inform. 99(1): 95-124 (2010). ©IOS Press.


• Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. Graph Transformations, 5th International Conference, Springer Lecture Notes in Computer Science (2010): 155-170. ©Springer-Verlag.


• Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. Graph Transformations, 5th International Conference, Springer Lecture Notes in Computer Science (2010): 330-345. ©Springer-Verlag.


• Fernando Orejas, Leen Lambers: Delaying Constraint Solving in Symbolic Graph Transformation. Graph Transformations, 5th International Conference, Springer Lecture Notes in Computer Science (2010): 43-58. ©Springer-Verlag.


• Fernando Orejas, Leen Lambers: Symbolic Attributed Graphs for Attributed Graph Transformation. Electr. Comm. of the EASST 30: (2010)


• Esther Guerra, Juan de Lara, Fernando Orejas: Controlling Reuse in Pattern-Based Model-to-Model Transformations. In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Springer Lecture Notes in Computer Science 5765 (2010), 175-201. ©Springer-Verlag.


• Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009). ©Elsevier Science.


• F. Orejas, M. Wirsing, On the specification and verification of model transformations. In  Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, Jens Palsberg (Ed.), Springer Lecture Notes in Computer Science 5700 (2009), 140-161.  ©Springer-Verlag.


• Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig, Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. In CALCO 2009, Springer Lecture Notes in Computer Science 5728 (2009), 383-397. ©Springer-Verlag.


• Esther Guerra, Juan de Lara, Fernando Orejas, Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. In Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Springer Lecture Notes in Computer Science 5563 (2009), 83-99. ©Springer-Verlag.


• Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming, Applied Categorical Structures 16,3 (2008): 421 - 450. ©Springer-Verlag.


• Fernando Orejas: Attributed Graph Constraints. In Graph Transformations, 4th International Conference, Springer Lecture Notes in Computer Science 5214 (2008): 274-288.


• Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions.  Graph Transformations, 4th International Conference, Springer Lecture Notes in Computer Science 5214 (2008): 162-177.


• F. Orejas, H. Ehrig, U. Prange, A Logic of Graph Constraints, in Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Springer Lecture Notes in Computer Science 4961  (2008), 179-199.


• Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. In Computer Science Logic, 16th Annual Conference of the EACSL (Jacques Duparc, Thomas A. Henzinger, Eds.) Springer Lecture Notes in Computer Science 4646 (2007), pp: 481-495.


• L. Lambers, H. Ehrig, F. Orejas: Conflict detection for graph transformation with negative application conditions, in Graph Transformation, Third International Conference, ICGT 2006, Springer Lecture Notes in Computer Science 4178  (2006), pp. 61 - 77.


• H. Ehrig, F. Orejas, U. Prange: Categorical foundations of distributed graph transformation, in Graph Transformation, Third International Conference, ICGT 2006, Springer Lecture Notes in Computer Science 4178  (2006), pp. 215 - 230. ©Springer-Verlag.


• Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. In Logic Based Program Synthesis and Transformation.  Springer Lecture Notes in Computer Science 3901 (2006), 133-146.


• Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming, in Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060 Springer (2006) pp. 555-577.


• Fernando Orejas, Sonia Pérez: Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling. In Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Springer Lecture Notes in Computer Science 3393 (2005), 352-369.


• Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Component Framework for System Modeling Based on High-Level Replacement Systems. Software & System Modelling 3, 2 (2004) 114-135.


• R. Heckel, M. Llabres, H. Ehrig, F. Orejas, Concurrency and loose semantics of open graph transformation systems, Mathematical Structures in Computer Science  12, 4 (August 2002), 349-376.


• Hartmut Ehrig, F. Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. A generic component framework for system modeling, in Fundamental Approaches to Software Engineering, (FASE 2002), held as part of  ETAPS 2002. Springer Lecture Notes in Computer Science 2306 (2002) 33-48. ©Springer-Verlag.


• Fernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. In Logic Programming, 17th International Conference, ICLP 2001. Springer Lecture Notes in Computer Science 2237 (2001) 255-268.


• P. Lucio, F. Orejas, E.  Pino. An algebraic framework for the definition of compositional semantics of normal logic programs, J. of Logic Programming 40(1), (1999) pp. 89-124.©Elsevier Science.
  


• F. Cornelius, M. Baldamus, H. Ehrig, F. Orejas. Abstract and behaviour module specifications, Mathematical Structures in Computer Science 9 (1999) pp. 21- 62. © Cambridge University Press.


• F. Orejas. Chapter 6: Structuring and Modularity,  in Algebraic Foundations of System Specification, E. Astesiano, E., H.-J. Kreowski, B. Krieg-Brückner (eds), Springer-Verlag 1999, pp. 159-200. ©Springer-Verlag.


• F. Orejas, E. Pino. Semantic definitions for normal open programs, Proc. Int. Conf. on Logic Programming, Las Cruces (USA) (1999), pp. 200-214.©M.I.T.


• F. Orejas, E. Pino, H. Ehrig. Institutions for Logic Programming, Theoretical Computer Science 173 (1997) pp. 485 - 511. ©Elsevier Science.


• F. Orejas, M. Navarro, A. Sanchez. Algebraic Implementation of Abstract Data Types: a survey of concepts and new compositionality results, Mathematical Structures in Computer Science 6 (1996) pp. 33 - 67. © Cambridge University Press.


• M. Navarro, F. Orejas, A. Sanchez. On the Correctness of Modular Systems, Theoretical Comp. Science 140,1 (March, 1995), pp. 139-178. ©Elsevier Science.



• ---

  Back to Fernando's Home Page