The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reiko Heckel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
    A View-Oriented Approach to System Modelling Based on Graph Transformation. [Citation Graph (1, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:327-343 [Conf]
  2. Reiko Heckel, Hendrik Voigt
    Model-Based Development of Executable Business Processes for Web Services. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:559-584 [Conf]
  3. Sven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer
    Using XSLT Stylesheets to Transform XPath Queries. [Citation Graph (0, 0)][DBLP]
    ADBIS (Local Proceedings), 2004, pp:- [Conf]
  4. Ralph Depke, Reiko Heckel, Jochen Malte Küster
    Integrating visual modeling of agent-based and object-oriented systems. [Citation Graph (0, 0)][DBLP]
    Agents, 2000, pp:82-83 [Conf]
  5. Ralph Depke, Reiko Heckel, Jochen Malte Küster
    Improving the agent-oriented modeling process by roles. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:640-647 [Conf]
  6. Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel
    Design of an Agent-Oriented Modeling Language Based on Graph Transformation. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:106-119 [Conf]
  7. Ralph Depke, Reiko Heckel, Jochen Malte Küster
    Agent-Oriented Modeling with Graph Transformation. [Citation Graph (0, 0)][DBLP]
    AOSE, 2000, pp:105-120 [Conf]
  8. Gregor Engels, Reiko Heckel, Stefan Sauer
    UML - A Universal Modeling Language? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:24-38 [Conf]
  9. Ping Guo, Gregor Engels, Reiko Heckel
    Architectural Style - Based Modeling and Simulation of Complex Software Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:367-374 [Conf]
  10. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
    High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:191-219 [Conf]
  11. Gregor Engels, Reiko Heckel, Alexey Cherchago
    Flexible Interconnection of Graph Transformation Modules. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:38-63 [Conf]
  12. Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
    Towards Automatic Selection of Web Services Using Graph Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Berliner XML Tage, 2003, pp:286-291 [Conf]
  13. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional Modeling of Reactive Systems Using Open Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:502-518 [Conf]
  14. Jean Bézivin, Reiko Heckel
    04101 Summary - Language Engineering for Model-driven Software Development. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  15. Jean Bézivin, Reiko Heckel
    04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  16. Ralph Depke, Reiko Heckel
    Modelling and Analysis of Agents' Goal-Driven Behavior. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:81-97 [Conf]
  17. Reiko Heckel
    Graph Transformation in a Nutshell. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  18. Reiko Heckel, Alexey Cherchago
    Application of Graph Transformation for Automating Web Service Discovery. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  19. Reiko Heckel
    Open Petri Nets as Semantic Model for Workflow Integration. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:281-294 [Conf]
  20. Reiko Heckel
    Compositional Verification of Reactive Systems Specified by Graph Transformation. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:138-153 [Conf]
  21. Reiko Heckel, Marc Lohmann
    Model-Based Development of Web Applications Using Graphical Reaction Rules. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:170-183 [Conf]
  22. Reiko Heckel, Leonardo Mariani
    Automatic Conformance Testing of Web Services. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:34-48 [Conf]
  23. Reiko Heckel, Stefan Sauer
    Strengthening UML Collaboration Diagrams by State Transformations. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:109-123 [Conf]
  24. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Tile Transition Systems as Structured Coalgebras. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:13-38 [Conf]
  25. Reiko Heckel
    Introductory Tutorial on Foundations and Applications of Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:461-462 [Conf]
  26. Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
    Confluence of Typed Attributed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:161-176 [Conf]
  27. Reiko Heckel, Georgios Lajios, Sebastian Menge
    Stochastic Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:210-225 [Conf]
  28. Reiko Heckel, Tom Mens
    Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:445-447 [Conf]
  29. Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
    Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
  30. Karsten Ehrig, Reiko Heckel, Georgios Lajios
    Molecular Analysis of Metabolic Pathway with Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:107-121 [Conf]
  31. Luciano Baresi, Reiko Heckel
    Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:402-429 [Conf]
  32. Luciano Baresi, Reiko Heckel
    Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:431-433 [Conf]
  33. Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
    Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:336-350 [Conf]
  34. Jean-Marie Favre, Reiko Heckel, Tom Mens
    3rd International Workshop on Software Evolution Through Transformations: Embracing Change. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:470-472 [Conf]
  35. Alexey Cherchago, Reiko Heckel
    Specification Matching of Web Services Using Conditional Graph Transformation Rules. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:304-318 [Conf]
  36. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
    Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:163-246 [Conf]
  37. Szilvia Gyapay, Reiko Heckel, Dániel Varró
    Graph Transformation with Time: Causality and Logical Clocks. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:120-134 [Conf]
  38. Reiko Heckel, Tom Mens, Michel Wermelinger
    Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:450-454 [Conf]
  39. Jan Hendrik Hausmann, Reiko Heckel
    Use Cases as Views: A formal approach to Requirements Engineering in the United Process. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:595-599 [Conf]
  40. Andrea Corradini, Reiko Heckel
    Introduction: Graph Transformation and Visual Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:357-358 [Conf]
  41. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Graphical Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:411-418 [Conf]
  42. Ralph Depke, Reiko Heckel
    Formalizing the Development of Agent-Based Systems Using Graph Processes. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:419-426 [Conf]
  43. Gregor Engels, Reiko Heckel
    Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:127-150 [Conf]
  44. Gregor Engels, Reiko Heckel
    From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:373-382 [Conf]
  45. Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer
    Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:105-115 [Conf]
  46. Reiko Heckel
    Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:53-69 [Conf]
  47. Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
    Model-based Discovery of Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:324-331 [Conf]
  48. Reiko Heckel, Ping Guo
    Conceptual Modeling of Styles For Mobile Systems. [Citation Graph (0, 0)][DBLP]
    MOBIS, 2004, pp:65-79 [Conf]
  49. Ping Guo, Reiko Heckel
    Modeling and Simulation of Context-Aware Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:430-433 [Conf]
  50. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
    Integrating the Specification Techniques of Graph Transformation and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:219-228 [Conf]
  51. Reiko Heckel, Georgios Lajios, Sebastian Menge
    Modulare Analyse Stochastischer Graphtransformationssysteme. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2005, pp:141-152 [Conf]
  52. Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen
    A methodology for specifying and analyzing consistency of object-oriented behavioral models. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:186-195 [Conf]
  53. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
    Modeling and validation of service-oriented architectures: application vs. style. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:68-77 [Conf]
  54. Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
    Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:85-102 [Conf]
  55. Fabio Gadducci, Reiko Heckel, Manuel Koch
    A Fully Abstract Model for Graph-Interpreted Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:310-322 [Conf]
  56. Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
    Simple Modules for GRACE. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:383-395 [Conf]
  57. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
    Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:323-337 [Conf]
  58. Gregor Engels, Reiko Heckel, Jochen Malte Küster
    Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:272-286 [Conf]
  59. Gregor Engels, Reiko Heckel, Jochen Malte Küster
    The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:356-359 [Conf]
  60. Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen
    Consistency-Preserving Model Evolution through Transformations. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:212-226 [Conf]
  61. Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
    Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:80-87 [Conf]
  62. Jochen Malte Küster, Reiko Heckel, Gregor Engels
    Defining and validating transformations of UML models. [Citation Graph (0, 0)][DBLP]
    HCC, 2003, pp:145-152 [Conf]
  63. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:92-106 [Conf]
  64. Fabio Gadducci, Reiko Heckel
    An inductive view of graph transformation. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:223-237 [Conf]
  65. Reiko Heckel, Sebastian Thöne
    Behavior-Preserving Refinement Relations between Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:1-27 [Conf]
  66. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
    Style-Based Refinement of Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 2004, pp:155-166 [Conf]
  67. Andrea Corradini, Reiko Heckel
    Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:72, n:, pp:69-76 [Journal]
  68. Andrea Corradini, Reiko Heckel, Ugo Montanari
    From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  69. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    Structured Transition Systems as Lax Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  70. Andrea Corradini, Reiko Heckel
    A compositional approach to structuring and refinement of typed graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  71. Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann
    Model-Based Verification and Validation of Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  72. Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
    Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  73. Reiko Heckel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:1-2 [Journal]
  74. Reiko Heckel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:1-3 [Journal]
  75. Reiko Heckel
    Graph Transformation in a Nutshell. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:187-198 [Journal]
  76. Reiko Heckel, Alexey Cherchago, Marc Lohmann
    A Formal Approach to Service Specification and Matching based on Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:37-49 [Journal]
  77. Reiko Heckel, Gregor Engels
    Towards a Formal Framework for Inter-Enterprise Application Integration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  78. Reiko Heckel, Jochen Malte Küster
    Behavioral Constraints for Visual Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  79. Reiko Heckel, Marc Lohmann
    Towards Model-Driven Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  80. Reiko Heckel, Marc Lohmann
    Towards Contract-based Testing of Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:145-156 [Journal]
  81. Reiko Heckel, Tom Mens
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:3, pp:1-3 [Journal]
  82. Reiko Heckel, Tom Mens, Michel Wermelinger
    Software Evolution through Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:4, pp:- [Journal]
  83. Reiko Heckel, Sebastian Thöne
    Behavioral Refinement of Graph Transformation-Based Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:3, pp:101-111 [Journal]
  84. Reiko Heckel, Annika Wagner
    Ensuring consistency of conditional graph rewriting - a constructive approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  85. Reiko Heckel, Albert Zündorf
    How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  86. Arend Rensink, Reiko Heckel, Barbara König
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:1-5 [Journal]
  87. Szilvia Gyapay, Dániel Varró, Reiko Heckel
    Graph Transformation with Time. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:58, n:1, pp:1-22 [Journal]
  88. Annegret Habel, Reiko Heckel, Gabriele Taentzer
    Graph Grammars with Negative Application Conditions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:26, n:3/4, pp:287-313 [Journal]
  89. Reiko Heckel, Georgios Lajios, Sebastian Menge
    Stochastic Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:1, pp:63-84 [Journal]
  90. Ralph Depke, Reiko Heckel, Jochen Malte Küster
    Roles in Agent-Oriented Modeling. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:3, pp:281-302 [Journal]
  91. Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
    A Combined Reference Model- and View-Based Approach to System Specification. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:4, pp:457-477 [Journal]
  92. Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
    Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Service Res., 2005, v:2, n:2, pp:67-84 [Journal]
  93. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional semantics for open Petri nets based on deterministic processe. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:1, pp:1-35 [Journal]
  94. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
    Horizontal and Vertical Structuring of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:613-648 [Journal]
  95. Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
    Concurrency and Loose Semantics of Open Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:349-376 [Journal]
  96. Ralph Depke, Reiko Heckel, Jochen Malte Küster
    Formal agent-oriented modeling with UML and graph transformation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:2, pp:229-252 [Journal]
  97. Reiko Heckel, Gregor Engels
    Relating functional requirements and software architecture: separation and consistency of concerns. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2002, v:14, n:5, pp:371-388 [Journal]
  98. Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
    Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:3, pp:181-193 [Journal]
  99. Stefan Sauer, Reiko Heckel
    Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik- Trends, 2001, v:21, n:2, pp:- [Journal]
  100. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    A Coalgebraic presentation of structured transition systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:27-55 [Journal]
  101. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Compositional SOS and beyond: a coalgebraic view of open systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:163-192 [Journal]
  102. Fabio Gadducci, Reiko Heckel, Mercè Llabrés
    A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  103. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:126-142 [Conf]
  104. László Gönczy, Reiko Heckel, Dániel Varró
    Model-Based Testing of Service Infrastructure Components. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:155-170 [Conf]
  105. Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly
    Architecture Migration Driven by Code Categorization. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:115-122 [Conf]
  106. Arend Rensink, Reiko Heckel, Barbara König
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:1-2 [Journal]
  107. Reiko Heckel, Alexey Cherchago
    Structural and behavioural compatibility of graphical service specifications. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:15-33 [Journal]
  108. Reiko Heckel, Marc Lohmann
    Model-driven development of reactive information systems: from graph transformation rules to JML contracts. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:2, pp:193-207 [Journal]

  109. Managing Socio-technical Interactions in Healthcare Systems. [Citation Graph (, )][DBLP]


  110. Rule-based Model Extraction from Source Code. [Citation Graph (, )][DBLP]


  111. Verification of Architectural Refactorings by Rule Extraction. [Citation Graph (, )][DBLP]


  112. Rewriting Logic Semantics and Verification of Model Transformations. [Citation Graph (, )][DBLP]


  113. Stochastic Simulation of Graph Transformation Systems. [Citation Graph (, )][DBLP]


  114. Incremental Service Composition Based on Partial Matching of Visual Contracts. [Citation Graph (, )][DBLP]


  115. Tutorial Introduction to Graph Transformation. [Citation Graph (, )][DBLP]


  116. Combining Termination Criteria by Isolating Deletion. [Citation Graph (, )][DBLP]


  117. Graph Transformation for Domain-Specific Discrete Event Time Simulation. [Citation Graph (, )][DBLP]


  118. Compositional Verification of Architectural Refactorings. [Citation Graph (, )][DBLP]


  119. Verification of Model Transformations: A Case Study with BPEL. [Citation Graph (, )][DBLP]


  120. Modelling the Asynchronous Dynamic Evolution of Architectural Types. [Citation Graph (, )][DBLP]


  121. Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. [Citation Graph (, )][DBLP]


  122. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. [Citation Graph (, )][DBLP]


  123. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [Citation Graph (, )][DBLP]


  124. Towards an embedding of Graph Transformation in Intuitionistic Linear Logic [Citation Graph (, )][DBLP]


  125. Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars [Citation Graph (, )][DBLP]


  126. Resource-Bound Quantification for Graph Transformation [Citation Graph (, )][DBLP]


  127. Preface. [Citation Graph (, )][DBLP]


  128. Compositionality of Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002