Reiko Heckel - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

From Graph Transformations to Differential EquationsMayur Bapodra, Reiko Heckel. eceasst, 30, 2010. [doi]

Combining Termination Criteria by Isolating DeletionDénes Bisztray, Reiko Heckel. gg 2010: 203-217 [doi]

Graph Transformation for Domain-Specific Discrete Event Time SimulationJuan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. gg 2010: 266-281 [doi]

Stochastic Modelling and Simulation of Mobile SystemsReiko Heckel, Paolo Torrini. BIRTHDAY 2010: 87-101 [doi]

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation SystemAjab Khan, Reiko Heckel, Paolo Torrini, István Ráth. asmta 2010: 204-217 [doi]

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

Stochastic Simulation of Graph Transformation SystemsPaolo Torrini, Reiko Heckel, IstvÃ¡n RÃ¡th. FASE 2010: 154-157 [doi]

Stochastic Graph Transformation with RegionsPaolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann. eceasst, 29, 2010. [doi]

2009

2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara KÃ¶nig. lmcs, 4(4), 2008. [doi]

Verification of Architectural Refactorings by Rule ExtractionDénes Bisztray, Reiko Heckel, Hartmut Ehrig. FASE 2008: 347-361 [doi]

Compositional Verification of Architectural RefactoringsDÃ©nes Bisztray, Reiko Heckel, Hartmut Ehrig. ICSE 2009: 308-333 [doi]

Verification of Architectural Refactorings: Rule Extraction and Tool SupportDÃ©nes Bisztray, Reiko Heckel, Hartmut Ehrig. eceasst, 16, 2008. [doi]

Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. ProceedingsMarlon Dumas, Reiko Heckel, editors, Volume 4937 of Lecture Notes in Computer Science, Springer, 2008.

Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. ProceedingsHartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Volume 5214 of Lecture Notes in Computer Science, Springer, 2008.

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)Claudia Ermel, Juan de Lara, Reiko Heckel. eceasst, 10, 2008. [doi]

Architectural Transformations: From Legacy to Three-Tier and ServicesReiko Heckel, Rui Correia, Carlos Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luis Filipe Andrade. In Tom Mens, Serge Demeyer, editors, Software Evolution. pages 139-170, Springer, 2008. [doi]

Tutorial Introduction to Graph TransformationReiko Heckel. gg 2008: 458-459 [doi]

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation SystemsAjab Khan, Paolo Torrini, Reiko Heckel. eceasst, 16, 2008. [doi]

PrefaceBarbara König, Arend Rensink, Reiko Heckel. ENTCS, 213(1):1-2, 2008. [doi]

Migrating Legacy Systems to Service-Oriented ArchitecturesCarlos M. P. Matos, Reiko Heckel. eceasst, 16, 2008. [doi]

2007

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König. calco 2007: 126-142 [doi]

Rule-Level Verification of Business Process Transformations using CSPDénes Bisztray, Reiko Heckel. eceasst, 6, 2007. [doi]

Architecture Migration Driven by Code CategorizationRui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly. ecsa 2007: 115-122 [doi]

Managing Socio-technical Interactions in Healthcare SystemsOsama El-Hassan, José Luiz Fiadeiro, Reiko Heckel. BPM 2008: 347-358 [doi]

Model-Based Testing of Service Infrastructure ComponentsLászló Gönczy, Reiko Heckel, Dániel Varró. pts 2007: 155-170 [doi]

Structural and behavioural compatibility of graphical service specificationsReiko Heckel, Alexey Cherchago. jlp, 70(1):15-33, 2007. [doi]

Model-driven development of reactive information systems: from graph transformation rules to JML contractsReiko Heckel, Marc Lohmann. STTT, 9(2):193-207, 2007. [doi]

A Model-Driven Approach to Discovery, Testing and Monitoring of Web ServicesMarc Lohmann, Leonardo Mariani, Reiko Heckel. In Luciano Baresi, Elisabetta Di Nitto, editors, Test and Analysis of Web Services. pages 173-204, Springer, 2007. [doi]

PrefaceArend Rensink, Reiko Heckel, Barbara König. ENTCS, 175(4):1-2, 2007. [doi]

2006

Verification of Model Transformations: A Case Study with BPELLuciano Baresi, Karsten Ehrig, Reiko Heckel. tgc 2007: 183-199 [doi]

Style-based modeling and refinement of service-oriented architecturesLuciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. SoSyM, 5(2):187-207, 2006. [doi]

Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, ProceedingsLuciano Baresi, Reiko Heckel, editors, Volume 3922 of Lecture Notes in Computer Science, Springer, 2006.

Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software DevelopmentJean Bézivin, Reiko Heckel. SoSyM, 5(3):231-232, 2006. [doi]

Rule-based Model Extraction from Source CodeRui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel. dagstuhl 2007: [doi]

Molecular Analysis of Metabolic Pathway with Graph TransformationKarsten Ehrig, Reiko Heckel, Georgios Lajios. gg 2006: 107-121 [doi]

Model-Driven Monitoring: An Application of Graph Transformation for Design by ContractGregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel. gg 2006: 336-350 [doi]

3rd International Workshop on Software Evolution Through Transformations: Embracing ChangeJean-Marie Favre, Reiko Heckel, Tom Mens. gg 2006: 470-472 [doi]

PrefaceReiko Heckel. ENTCS, 148(1):1-3, 2006. [doi]

Preface - Proceedings of the Third Workshop on Software Evolution through Transformations: Embracing the Change (SeTra 2006)Reiko Heckel, Jean-Marie Favre, Tom Mens. eceasst, 3, 2006. [doi]

Introductory Tutorial on Foundations and Applications of Graph TransformationReiko Heckel. gg 2006: 461-462 [doi]

Stochastic Graph Transformation SystemsReiko Heckel, Georgios Lajios, Sebastian Menge. FUIN, 74(1):63-84, 2006. [doi]

Graph Transformation in a NutshellReiko Heckel. ENTCS, 148(1):187-198, 2006. [doi]

PrefaceArend Rensink, Reiko Heckel, Barbara König. ENTCS, 154(2):1-5, 2006. [doi]

2005

Compositional semantics for open Petri nets based on deterministic processePaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel. mscs, 15(1):1-35, 2005. [doi]

Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004Jean Bézivin, Reiko Heckel, editors, Volume 04101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005.

Flexible Interconnection of Graph Transformation ModulesGregor Engels, Reiko Heckel, Alexey Cherchago. BIRTHDAY 2005: 38-63 [doi]

Architectural Style - Based Modeling and Simulation of Complex Software SystemsPing Guo, Gregor Engels, Reiko Heckel. apsec 2005: 367-374 [doi]

Model-Based Development of Web Services Descriptions Enabling a Precise Matching ConceptJan Hendrik Hausmann, Reiko Heckel, Marc Lohmann. jwsr, 2(2):67-84, 2005.

Modulare Analyse Stochastischer GraphtransformationssystemeReiko Heckel, Georgios Lajios, Sebastian Menge. se 2005: 141-152

Automatic Conformance Testing of Web ServicesReiko Heckel, Leonardo Mariani. FASE 2005: 34-48 [doi]

Preface of Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004)Reiko Heckel, Tom Mens. ENTCS, 127(3):1-3, 2005. [doi]

Towards Contract-based Testing of Web ServicesReiko Heckel, Marc Lohmann. ENTCS, 116:145-156, 2005. [doi]

Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P NetworksReiko Heckel. ictac 2005: 53-69 [doi]

Behavioral Refinement of Graph Transformation-Based ModelsReiko Heckel, Sebastian Thöne. ENTCS, 127(3):101-111, 2005. [doi]

2004

Style-Based Refinement of Dynamic Software ArchitecturesLuciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. wicsa 2004: 155-166 [doi]

Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveLuciano Baresi, Reiko Heckel. gg 2004: 431-433 [doi]

04101 Abstracts Collection - Language Engineering for Model-Driven Software DevelopmentJean Bézivin, Reiko Heckel. dagstuhl 2005: [doi]

04101 Summary - Language Engineering for Model-driven Software DevelopmentJean Bézivin, Reiko Heckel. dagstuhl 2005: [doi]

Specification Matching of Web Services Using Conditional Graph Transformation RulesAlexey Cherchago, Reiko Heckel. gg 2004: 304-318 [doi]

Using XSLT Stylesheets to Transform XPath QueriesSven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer. adbis 2004: [doi]

Modeling and Simulation of Context-Aware Mobile SystemsPing Guo, Reiko Heckel. jckbse 2004: 430-433 [doi]

Model-based Discovery of Web ServicesJan Hendrik Hausmann, Reiko Heckel, Marc Lohmann. icws 2004: 324-331 [doi]

Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagramsJan Hendrik Hausmann, Reiko Heckel, Stefan Sauer. SoSyM, 3(3):181-193, 2004. [doi]

PrefaceReiko Heckel. ENTCS, 109:1-2, 2004. [doi]

Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level SolutionsReiko Heckel, Tom Mens. gg 2004: 445-447 [doi]

Behavior-Preserving Refinement Relations between Dynamic Software ArchitecturesReiko Heckel, Sebastian Thöne. WADT 2004: 1-27 [doi]

Application of Graph Transformation for Automating Web Service DiscoveryReiko Heckel, Alexey Cherchago. dagstuhl 2005: [doi]

Graph Transformation in a NutshellReiko Heckel. dagstuhl 2005: [doi]

Stochastic Graph Transformation SystemsReiko Heckel, Georgios Lajios, Sebastian Menge. gg 2004: 210-225 [doi]

Conceptual Modeling of Styles For Mobile SystemsReiko Heckel, Ping Guo. ifip8 2005: 65-79

A Formal Approach to Service Specification and Matching based on Graph TransformationReiko Heckel, Alexey Cherchago, Marc Lohmann. ENTCS, 105:37-49, 2004. [doi]

2003

Modeling and validation of service-oriented architectures: application vs. styleLuciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. ESEC/FSE 2003: 68-77 [doi]

Modelling and Analysis of Agents Goal-Driven BehaviorRalph Depke, Reiko Heckel. dagstuhl 2004: 81-97 [doi]

Design of an Agent-Oriented Modeling Language Based on Graph TransformationRalph Depke, Jan Hendrik Hausmann, Reiko Heckel. agtive 2004: 106-119 [doi]

Model-Based Verification and Validation of PropertiesGregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann. ENTCS, 82(7), 2003. [doi]

The Consistency Workbench: A Tool for Consistency Management in UML-Based DevelopmentGregor Engels, Reiko Heckel, Jochen Malte Küster. uml 2003: 356-359 [doi]

Graph Transformation with TimeSzilvia Gyapay, Dániel Varró, Reiko Heckel. FUIN, 58(1):1-22, 2003. [doi]

Towards Automatic Selection of Web Services Using Graph Transformation RulesJan Hendrik Hausmann, Reiko Heckel, Marc Lohmann. bxml 2003: 286-291

Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence DiagramsJan Hendrik Hausmann, Reiko Heckel, Stefan Sauer. ENTCS, 72(3), 2003. [doi]

PrefaceReiko Heckel, Tom Mens, Michel Wermelinger. ENTCS, 72(4):77-78, 2003. [doi]

Software Evolution through TransformationsReiko Heckel, Tom Mens, Michel Wermelinger. ENTCS, 72(4), 2003. [doi]

Open Petri Nets as Semantic Model for Workflow IntegrationReiko Heckel. dfg 2003: 281-294 [doi]

Towards Model-Driven TestingReiko Heckel, Marc Lohmann. ENTCS, 82(6), 2003. [doi]

Model-Based Development of Executable Business Processes for Web ServicesReiko Heckel, Hendrik Voigt. ac 2004: 559-584 [doi]

Model-Based Development of Web Applications Using Graphical Reaction RulesReiko Heckel, Marc Lohmann. FASE 2003: 170-183 [doi]

Defining and validating transformations of UML modelsJochen Malte Küster, Reiko Heckel, Gregor Engels. vl 2003: 145-152

2002

PreviousNext