
Fernando Orejas
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j60]Marisa Navarro
, Fernando Orejas
, Elvira Pino, Leen Lambers:
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118: 100616 (2021) - 2020
- [j59]Esther Guerra, Fernando Orejas:
Preface to the special issue on the 12th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 115: 100576 (2020) - [c86]Fernando Orejas
, Elvira Pino
, Marisa Navarro
:
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE 2020: 273-293 - [c85]Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas:
Unfolding Symbolic Attributed Graph Grammars. ICGT 2020: 75-90 - [c84]Leen Lambers
, Fernando Orejas
:
Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT 2020: 109-127 - [i1]Leen Lambers, Fernando Orejas:
Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR abs/2005.05901 (2020)
2010 – 2019
- 2019
- [c83]Sven Schneider, Leen Lambers, Fernando Orejas:
A Logic-Based Incremental Approach to Graph Repair. FASE 2019: 151-167 - [e9]Esther Guerra, Fernando Orejas:
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11629, Springer 2019, ISBN 978-3-030-23610-6 [contents] - 2018
- [j58]Sven Schneider, Leen Lambers, Fernando Orejas:
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20(6): 705-737 (2018) - [j57]Fernando Orejas
, Elvira Pino, Marisa Navarro
, Leen Lambers:
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741: 19-24 (2018) - [c82]Leen Lambers
, Kristopher Born, Fernando Orejas
, Daniel Strüber
, Gabriele Taentzer:
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets 2018: 105-123 - [c81]Leen Lambers
, Marisa Navarro
, Fernando Orejas
, Elvira Pino
:
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets 2018: 124-141 - 2017
- [j56]Francisco Durán
, Antonio Moreno-Delgado
, Fernando Orejas, Steffen Zschaler
:
Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86(1): 208-235 (2017) - [c80]Sven Schneider, Leen Lambers, Fernando Orejas:
Symbolic Model Generation for Graph Properties. FASE 2017: 226-243 - 2016
- [j55]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c79]Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
:
Many-Valued Institutions for Constraint Specification. FASE 2016: 359-376 - 2015
- [j54]Frank Hermann, Hartmut Ehrig, Fernando Orejas
, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
, Susann Gottmann, Thomas Engel:
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1): 241-269 (2015) - [c78]Nikos Mylonakis, Fernando Orejas
, José Luiz Fiadeiro:
A Semantics of Business Configurations Using Symbolic Graphs. SCC 2015: 146-153 - [c77]José Luiz Fiadeiro, Fernando Orejas:
Abstract Constraint Data Types. Software, Services, and Systems 2015: 155-170 - [c76]Marisa Navarro
, Fernando Orejas
, Elvira Pino:
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency 2015: 539-561 - 2014
- [j53]Frank Hermann, Hartmut Ehrig, Ulrike Golas
, Fernando Orejas
:
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24(4) (2014) - [j52]Hartmut Ehrig, Ulrike Golas
, Annegret Habel, Leen Lambers, Fernando Orejas
:
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014) - [c75]Leen Lambers, Fernando Orejas
:
Tableau-Based Reasoning for Graph Properties. ICGT 2014: 17-32 - [c74]Fernando Orejas
, Elvira Pino:
Correctness of Incremental Model Synchronization with Triple Graph Grammars. ICMT 2014: 74-90 - [c73]Marisa Navarro, Fernando Orejas:
A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS 2014: 47-61 - 2013
- [j51]Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel:
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j50]Jose Gaintzarain
, Montserrat Hermo
, Paqui Lucio
, Marisa Navarro
, Fernando Orejas
:
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50(1): 1-49 (2013) - [j49]Esther Guerra
, Juan de Lara
, Fernando Orejas
:
Inter-modelling with patterns. Softw. Syst. Model. 12(1): 145-174 (2013) - [c72]Fernando Orejas
, Artur Boronat
, Ulrike Golas
, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128 - 2012
- [j48]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j47]Hartmut Ehrig, Ulrike Golas
, Annegret Habel, Leen Lambers, Fernando Orejas
:
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118(1-2): 35-63 (2012) - [j46]Fernando Orejas
, Leen Lambers:
Lazy Graph Transformation. Fundam. Informaticae 118(1-2): 65-96 (2012) - [j45]Edelmira Pasarella, Fernando Orejas
, Elvira Pino, Marisa Navarro
:
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81(5): 559-584 (2012) - [j44]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) - [c71]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c70]Fernando Orejas
, Artur Boronat
, Nikos Mylonakis:
Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140 - [c69]Francisco Durán
, Fernando Orejas
, Steffen Zschaler
:
Behaviour Protection in Modular Rule-Based System Specifications. WADT 2012: 24-49 - 2011
- [j43]Fernando Orejas
:
Symbolic graphs for attributed graph constraints. J. Symb. Comput. 46(3): 294-315 (2011) - [c68]Zinovy Diskin, Yingfei Xiong
, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
:
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318 - [c67]Frank Hermann, Hartmut Ehrig, Fernando Orejas
, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
:
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682 - [e8]Dimitra Giannakopoulou, Fernando Orejas
:
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. Proceedings. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6 [contents] - 2010
- [j42]Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer:
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j41]Fernando Orejas, Leen Lambers:
Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j40]Fernando Orejas
, Hartmut Ehrig, Ulrike Prange
:
Reasoning with graph constraints. Formal Aspects Comput. 22(3-4): 385-422 (2010) - [j39]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. Informaticae 99(1): 63-93 (2010) - [j38]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. Informaticae 99(1): 95-124 (2010) - [c66]Esther Guerra
, Juan de Lara
, Fernando Orejas
:
Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 175-201 - [c65]Muhammad Naeem, Reiko Heckel, Fernando Orejas
, Frank Hermann:
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138 - [c64]Fernando Orejas
, Leen Lambers:
Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58 - [c63]Frank Hermann, Hartmut Ehrig, Fernando Orejas
, Ulrike Golas
:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170 - [c62]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas
, Ulrike Golas
:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345 - [c61]Frank Hermann, Hartmut Ehrig, Ulrike Golas
, Fernando Orejas
:
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS 2010: 22-31
2000 – 2009
- 2009
- [j37]Julia Padberg, Hartmut Ehrig, Fernando Orejas
:
Towards Component Verification in the Generic Component Framework. Electron. Notes Theor. Comput. Sci. 203(7): 37-53 (2009) - [j36]Joxe Gaintzarain
, Montserrat Hermo
, Paqui Lucio
, Marisa Navarro
, Fernando Orejas
:
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78(8): 701-722 (2009) - [c60]Fernando Orejas
, Martin Wirsing:
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161 - [c59]Fernando Orejas
, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397 - [c58]Muhammad Naeem, Reiko Heckel, Fernando Orejas
:
Semi-automated service composition using visual contracts. FIT 2009: 48:1-48:6 - [c57]Esther Guerra, Juan de Lara, Fernando Orejas
:
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT@TOOLS 2009: 83-99 - 2008
- [j35]Paqui Lucio
, Fernando Orejas
, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16(3): 421-450 (2008) - [j34]Leen Lambers, Hartmut Ehrig, Ulrike Prange
, Fernando Orejas
:
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electron. Notes Theor. Comput. Sci. 203(6): 43-66 (2008) - [j33]Fernando Orejas
, Sonia Pérez:
Architectural Connectors for Sequence Diagrams. Electron. Notes Theor. Comput. Sci. 206: 111-131 (2008) - [j32]Leen Lambers, Hartmut Ehrig, Fernando Orejas
:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electron. Notes Theor. Comput. Sci. 211: 17-26 (2008) - [c56]Fernando Orejas
, Hartmut Ehrig, Ulrike Prange
:
A Logic of Graph Constraints. FASE 2008: 179-198 - [c55]Leen Lambers, Hartmut Ehrig, Ulrike Prange
, Fernando Orejas
:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c54]Fernando Orejas
:
Attributed Graph Constraints. ICGT 2008: 274-288 - 2007
- [j31]Markus Klein, Julia Padberg, Fernando Orejas
:
Towards Multiple Access in Generic Component Architectures. Electron. Notes Theor. Comput. Sci. 176(2): 25-45 (2007) - [j30]Paqui Lucio
, Fernando Orejas
:
Preface. Electron. Notes Theor. Comput. Sci. 188: 1-2 (2007) - [c53]Joxe Gaintzarain
, Montserrat Hermo
, Paqui Lucio, Marisa Navarro, Fernando Orejas:
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495 - 2006
- [j29]Leen Lambers, Hartmut Ehrig, Fernando Orejas
:
Efficient Detection of Conflicts in Graph-based Model Transformation. Electron. Notes Theor. Comput. Sci. 152: 97-109 (2006) - [j28]Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74(1) (2006) - [j27]Fernando Orejas
:
Thirty years of algebraic specification. J. Log. Algebraic Methods Program. 67(1-2): 1-2 (2006) - [c52]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577 - [c51]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76 - [c50]Hartmut Ehrig, Fernando Orejas, Ulrike Prange
:
Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229 - 2005
- [j26]Hartmut Ehrig, Benjamin Braatz
, Markus Klein, Fernando Orejas
, Sonia Pérez, Elvira Pino:
Object-Oriented Connector-Component Architectures. Electron. Notes Theor. Comput. Sci. 141(3): 123-151 (2005) - [j25]Fernando Orejas
, Jan van Leeuwen:
Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331(1): 1-2 (2005) - [c49]Fernando Orejas, Sonia Pérez:
Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling 2005: 352-369 - [c48]Edelmira Pasarella, Fernando Orejas
, Elvira Pino, Marisa Navarro
:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146 - [e7]Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2 [contents] - 2004
- [j24]Hartmut Ehrig, Julia Padberg, Benjamin Braatz
, Markus Klein, Fernando Orejas
, Sonia Pérez, Elvira Pino:
A Generic Framework for Connector Architectures based on Components and Transformations. Electron. Notes Theor. Comput. Sci. 108: 53-67 (2004) - [j23]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz
, Markus Klein, Martti Piirainen:
A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3(2): 114-135 (2004) - [c47]Fernando Orejas, Elvira Pino:
On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601 - [c46]Javier Álvez, Paqui Lucio, Fernando Orejas:
Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475 - [c45]Nikos Mylonakis, Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200 - [e6]José Luiz Fiadeiro, Peter D. Mosses
, Fernando Orejas:
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0 [contents] - 2003
- [j22]Hartmut Ehrig, Fernando Orejas
, Benjamin Braatz
, Markus Klein, Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 72(3): 118-132 (2003) - [j21]Fernando Orejas
, Hartmut Ehrig:
Components for Algebra Transformation Systems. Electron. Notes Theor. Comput. Sci. 82(7): 63-78 (2003) - 2002
- [j20]Hartmut Ehrig, Fernando Orejas:
Foreword Volume 72. Electron. Notes Theor. Comput. Sci. 72 (2002) - [j19]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS 6(4): 78-104 (2002) - [j18]Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. 12(4): 349-376 (2002) - [c44]Hartmut Ehrig, Fernando Orejas
, Benjamin Braatz
, Markus Klein, Martti Piirainen:
A Generic Component Framework for System Modeling. FASE 2002: 33-48 - 2001
- [j17]Hartmut Ehrig, Fernando Orejas
:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. Electron. Notes Theor. Comput. Sci. 50(3): 199-226 (2001) - [c43]Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE 2001: 1-15 - [c42]Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268 - [c41]Fernando Orejas, Hartmut Ehrig, Elvira Pino:
Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255 - [p5]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191 - [p4]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201 - [p3]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214 - [e5]Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen:
Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Lecture Notes in Computer Science 2076, Springer 2001, ISBN 3-540-42287-0 [contents] - 2000
- [c40]Edelmira Pasarella, Elvira Pino, Fernando Orejas:
Constructive negation without subsidiary trees. WFLP 2000: 195-209
1990 – 1999
- 1999
- [j16]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69: 98-109 (1999) - [j15]Paqui Lucio
, Fernando Orejas
, Elvira Pino:
An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40(1): 89-124 (1999) - [j14]Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas:
Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9(1): 21-62 (1999) - [c39]Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58 - [c38]Rosa M. Jiménez, Fernando Orejas:
An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods 1999: 1778-1797 - [c37]Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs. ICLP 1999: 200-214 - [c36]Fernando Orejas, Elvira Pino:
A General Algebraic Framework for Studying Modular Systems. WADT 1999: 271-290 - [p2]Fernando Orejas:
Structuring and Modularity. Algebraic Foundations of Systems Specification 1999: 159-200 - 1998
- [j13]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS 65: 90-97 (1998) - [c35]Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102 - 1997
- [j12]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997) - [c34]Paqui Lucio, Fernando Orejas, Elvira Pino:
A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282 - 1996
- [j11]Fernando Orejas
, Marisa Navarro
, Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Math. Struct. Comput. Sci. 6(1): 33-67 (1996) - [c33]Fernando Orejas:
Algebraic Methods for the Study of Module Constructs in Logic Programming. APPIA-GULP-PRODE 1996: 13-16 - 1995
- [j10]Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995) - [j9]Rosa M. Jiménez, Fernando Orejas
, Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. 5(2): 283-314 (1995) - [j8]Marisa Navarro
, Fernando Orejas
, Ana Sánchez
:
On the Correctness of Modular Systems. Theor. Comput. Sci. 140(1): 139-177 (1995) - [c32]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
:
Class-Sort Polymorphism in GLIDER. COMPASS/ADT 1995: 143-160 - 1994
- [j7]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal. Bull. EATCS 53: 162-169 (1994) - [c31]Hartmut Ehrig, Michael Löwe, Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254 - [c30]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126 - 1993
- [j6]Marisa Navarro
, Fernando Orejas
, Jean-Luc Rémy:
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica 30(2): 147-180 (1993) - [j5]Marisa Navarro, Fernando Orejas, Ana Sánchez:
Characterizing Confusion. Bull. EATCS 49: 103-110 (1993) - [c29]Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. AMAST 1993: 209-216 - [c28]Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas:
Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494 - [c27]Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas:
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45 - [p1]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts for Amalgamation and Extension in the Framework of Specification Logics. Current Trends in Theoretical Computer Science 1993: 161-182 - 1992
- [j4]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. 35(5): 460-467 (1992) - [j3]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. 35(5): 468-477 (1992) - [c26]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas:
Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT 1992: 144-157 - 1991
- [j2]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44: 129-143 (1991) - [c25]