Fernando Orejas - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. ProceedingsDimitra Giannakopoulou, Fernando Orejas, editors, Volume 6603 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Symbolic graphs for attributed graph constraintsFernando Orejas. JSC, 46(3):294-315, 2011. [doi]

2010

Local Confluence for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas. gg 2010: 330-345 [doi]

International Colloquium on Graph and Model Transformation (GraMoT) 2010: PrefaceClaudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer. eceasst, 30, 2010.

Controlling Reuse in Pattern-Based Model-to-Model TransformationsEsther Guerra, Juan de Lara, Fernando Orejas. BIRTHDAY 2010: 175-201 [doi]

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. gg 2010: 155-170 [doi]

Incremental Service Composition Based on Partial Matching of Visual ContractsMuhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann. FASE 2010: 123-138 [doi]

Symbolic Attributed Graphs for Attributed Graph TransformationFernando Orejas, Leen Lambers. eceasst, 30, 2010. [doi]

Reasoning with graph constraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. fac, 22(3-4):385-422, 2010. [doi]

Delaying Constraint Solving in Symbolic Graph TransformationFernando Orejas, Leen Lambers. gg 2010: 43-58 [doi]

A Generic Approach to Connector Architectures Part I: The General FrameworkFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):63-93, 2010. [doi]

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSPFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):95-124, 2010. [doi]

2009

Semi-automated service composition using visual contractsMuhammad Naeem 0002, Reiko Heckel, Fernando Orejas. fit 2009: 48 [doi]

Dual Systems of Tableaux and Sequents for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. jlp, 78(8):701-722, 2009. [doi]

Pattern-Based Model-to-Model Transformation: Handling Attribute ConditionsEsther Guerra, Juan de Lara, Fernando Orejas. ICMT 2009: 83-99 [doi]

Correctness, Completeness and Termination of Pattern-Based Model-to-Model TransformationFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig. calco 2009: 383-397 [doi]

On the Specification and Verification of Model TransformationsFernando Orejas, Martin Wirsing. BIRTHDAY 2009: 140-161 [doi]

Towards Component Verification in the Generic Component FrameworkJulia Padberg, Hartmut Ehrig, Fernando Orejas. ENTCS, 203(7):37-53, 2009. [doi]

2008

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. ENTCS, 203(6):43-66, 2008. [doi]

Embedding and Confluence of Graph Transformations with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. gg 2008: 162-177 [doi]

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical PairsLeen Lambers, Hartmut Ehrig, Fernando Orejas. ENTCS, 211:17-26, 2008. [doi]

A Functorial Framework for Constraint Normal Logic ProgrammingPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. acs, 16(3):421-450, 2008. [doi]

Attributed Graph ConstraintsFernando Orejas. gg 2008: 274-288 [doi]

A Logic of Graph ConstraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. FASE 2008: 179-198 [doi]

Architectural Connectors for Sequence DiagramsFernando Orejas, Sonia Pérez. ENTCS, 206:111-131, 2008. [doi]

2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. csl 2007: 481-495 [doi]

Towards Multiple Access in Generic Component ArchitecturesMarkus Klein, Julia Padberg, Fernando Orejas. ENTCS, 176(2):25-45, 2007. [doi]

PrefacePaqui Lucio, Fernando Orejas. ENTCS, 188:1-2, 2007. [doi]

2006

2005

Object-Oriented Connector-Component ArchitecturesHartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 141(3):123-151, 2005. [doi]

Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th BirthdayHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Volume 3393 of Lecture Notes in Computer Science, Springer, 2005.

Preface: Automata, Languages and Programming Fernando Orejas, Jan van Leeuwen. TCS, 331(1):1-2, 2005. [doi]

Towards Architectural Connectors for UMLFernando Orejas, Sonia Pérez. BIRTHDAY 2005: 352-369 [doi]

A Transformational Semantics of Static Embedded Implications of Normal Logic ProgramsEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. LOPSTR 2006: 133-146 [doi]

2004

A Generic Framework for Connector Architectures based on Components and TransformationsHartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 108:53-67, 2004. [doi]

A component framework for system modeling based on high-level replacement systemsHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. SoSyM, 3(2):114-135, 2004. [doi]

Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected PapersJosé Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Volume 3423 of Lecture Notes in Computer Science, Springer, 2004.

A Distributed and Mobile Component System Based on the Ambient CalculusNikos Mylonakis, Fernando Orejas. WADT 2004: 186-200 [doi]

On the Integration of Modular Heterogeneous SpecificationsFernando Orejas, Elvira Pino. dfg 2004: 582-601 [doi]

Constructive negation by bottom-up computation of literal answersJavier Álvez, Paqui Lucio, Fernando Orejas. SAC 2004: 1468-1475 [doi]

2003

A Component Framework Based on High-Level Replacement SystemsHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. ENTCS, 72(3), 2003. [doi]

Components for Algebra Transformation SystemsFernando Orejas, Hartmut Ehrig. ENTCS, 82(7), 2003. [doi]

2002

Foreword Volume 72Hartmut Ehrig, Fernando Orejas. ENTCS, 72, 2002. [doi]

A Generic Component Framework for System ModelingHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. FASE 2002: 33-48 [doi]

Concurrency and Loose Semantics of Open Graph Transformation SystemsReiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas. mscs, 12(4):349-376, 2002.

2001

From Basic Views and Aspects to Integration of Specification FormalismsHartmut Ehrig, Julia Padberg, Fernando Orejas. In Current Trends in Theoretical Computer Science. pages 202-214, 2001.

Dynamic Abstract Data Types: An Informal Proposal in 1994Hartmut Ehrig, Fernando Orejas. In Current Trends in Theoretical Computer Science. pages 180-191, 2001.

Integration Paradigm for Data Type and Process Specification TechniquesHartmut Ehrig, Fernando Orejas. In Current Trends in Theoretical Computer Science. pages 192-201, 2001.

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling TechniquesHartmut Ehrig, Fernando Orejas. ENTCS, 50(3), 2001. [doi]

Tight and Loose Semantics for Transformation SystemsFernando Orejas, Hartmut Ehrig, Elvira Pino. WADT 2001: 238-255 [doi]

Semantics of Normal Logic Programs with Embedded ImplicationsFernando Orejas, Edelmira Pasarella, Elvira Pino. ICLP 2001: 255-268 [doi]

Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, ProceedingsFernando Orejas, Paul G. Spirakis, Jan van Leeuwen, editors, Volume 2076 of Lecture Notes in Computer Science, Springer, 2001.

2000

Constructive negation without subsidiary treesEdelmira Pasarella, Elvira Pino, Fernando Orejas. wflp 2000: 195-209

1999

Abstract and behaviour module specificationsFelix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas. mscs, 9(1):21-62, 1999.

From Basic Views and Aspects to Integration of Specification FormalismsHartmut Ehrig, Julia Padberg, Fernando Orejas. eatcs, 69:98-109, 1999.

An Algebraic Framework for Higher-Order ModulesRosa M. Jiménez, Fernando Orejas. fm 1999: 1778-1797 [doi]

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic ProgramsPaqui Lucio, Fernando Orejas, Elvira Pino. jlp, 40(1):89-124, 1999.

A General Algebraic Framework for Studying Modular SystemsFernando Orejas, Elvira Pino. WADT 2000: 271-290

Semantic Definitions for Normal Open ProgramsFernando Orejas, Elvira Pino. agp 1999: 43-58

Semantic Definitions for Normal Open ProgramsFernando Orejas, Elvira Pino. ICLP 1999: 200-214

1998

Integration Paradigm for Data Type and Process Specification TechniquesHartmut Ehrig, Fernando Orejas. eatcs, 65:90-97, 1998.

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete InformationHartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg. tagt 2000: 85-102

1997

A Monotonic Declarative Semantics for Normal Logic ProgramsPaqui Lucio, Fernando Orejas, Elvira Pino. agp 1997: 271-282

Institutions for Logic ProgrammingFernando Orejas, Elvira Pino, Hartmut Ehrig. TCS, 173(2):485-511, 1997. [doi]

1996

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality ResultsFernando Orejas, Marisa Navarro, Ana Sánchez. mscs, 6(1):33-67, 1996.

Algebraic Methods for the Study of Module Constructs in Logic ProgrammingFernando Orejas. agp 1996: 13-16

1995

1994

Dynamic Abstract Data Types: An informal ProposalHartmut Ehrig, Fernando Orejas. eatcs, 53:162-169, 1994.

Dynamic Abstract Data Types Based on Algebraic Graph TransformationsHartmut Ehrig, Michael Löwe, Fernando Orejas. compass 1995: 236-254

Algebraic Methods in the Compositional Analysis of Logic ProgramsFernando Orejas, Elvira Pino, Hartmut Ehrig. mfcs 1994: 112-126

1993

1992

Semantic Constructions in the Specification Language GLIDERSilvia Clerici, Rosa M. Jiménez, Fernando Orejas. compass 1994: 144-157

Introduction to Algebraic Specification. Part 1: Formal Methods for Software DevelopmentHartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. cj, 35(5):460-467, 1992.

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System SpecificationsHartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. cj, 35(5):468-477, 1992.

1991

Algebraic System Specification and Development - A Survey and Annotated BibliographyMichel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella, editors, Volume 501 of Lecture Notes in Computer Science, Springer, 1991.

Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel, editors, Volume 534 of Lecture Notes in Computer Science, Springer, 1991.

New Concepts of Amalgamation and Extension for a General Theory of SpecificationsHartmut Ehrig, Michael Baldamus, Fernando Orejas. compass 1993: 199-221

Amalgamation and Extension in the Framework of Specification Logics and Generalized MorphismsHartmut Ehrig, Michael Baldamus, Fernando Orejas. eatcs, 44:129-143, 1991.

Theory of Algebraic Module Specification including Behavioral Semantics and ConstraintsHartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas. amast 1992: 145-172

Implementation and Behavioural Equivalence: A SurveyFernando Orejas, Marisa Navarro, Ana Sánchez. compass 1993: 93-125

1990

1989

TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current IsJosep Díaz, Fernando Orejas, editors, Volume 352 of Lecture Notes in Computer Science, Springer, 1989.

TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in AlJosep Díaz, Fernando Orejas, editors, Volume 351 of Lecture Notes in Computer Science, Springer, 1989.

On Recent Trends in Algebraic SpecificationHartmut Ehrig, Peter Pepper, Fernando Orejas. icalp 1989: 263-288

PreviousNext