Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDReiko Heckel
Person information
- affiliation: University of Leicester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c122]Reiko Heckel
, Andrea Corradini, Fabio Gadducci:
Graph Rewriting Components. ICGT 2022: 20-37- [c121]Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul:
Visual Smart Contracts for DAML. ICGT 2022: 137-154 - 2021
- [c120]Baraa Zieni, Dayana Spagnuelo, Reiko Heckel:
Transparency by Default: GDPR Patterns for Agile Development. EGOVIS 2021: 89-102 - [c119]Baraa Zieni, Reiko Heckel:
TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. RE 2021: 94-105 - [c118]Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel:
Stochastic Graph Transformation For Social Network Modeling. GCM@STAF 2021: 35-50 - 2020
- [b2]Reiko Heckel, Gabriele Taentzer:
Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering. Springer 2020, ISBN 978-3-030-43915-6, pp. 5-284 - [c117]Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König:
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. FSTTCS 2020: 38:1-38:17 - [c116]Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas:
Unfolding Symbolic Attributed Graph Grammars. ICGT 2020: 75-90 - [c115]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF 2020: 88-107 - [c114]Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel:
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. GCM@STAF 2020: 126-144 - [i8]Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König:
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. CoRR abs/2009.14817 (2020)
2010 – 2019
- 2019
- [c113]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Unfolding Graph Grammars with Negative Application Conditions. ICGT 2019: 93-110 - [c112]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring Visual Contracts from Java Programs. SE/SWM 2019: 53-54 - [c111]Bello Shehu Bello, Reiko Heckel:
Analyzing the Behaviour of Twitter Bots in Post Brexit Politics. SNAMS 2019: 61-66 - [c110]Bello Shehu Bello, Isa Inuwa-Dutse, Reiko Heckel:
Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections. SNAMS 2019: 142-149 - [c109]Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat:
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF 2019: 1-22 - 2018
- [j70]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring visual contracts from Java programs. Autom. Softw. Eng. 25(4): 745-784 (2018) - [c108]Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König:
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CONCUR 2018: 27:1-27:17 - [c107]Bello Shehu Bello, Reiko Heckel, Leandro L. Minku:
Reverse Engineering the Behaviour of Twitter Bots. SNAMS 2018: 27-34 - [c106]Abdullah Alqahtani, Reiko Heckel:
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. STAF Workshops 2018: 399-414 - [e8]Reiko Heckel, Gabriele Taentzer:
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Lecture Notes in Computer Science 10800, Springer 2018, ISBN 978-3-319-75395-9 [contents] - [i7]Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König:
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CoRR abs/1807.02566 (2018) - 2017
- [c105]Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel:
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. ICMT 2017: 92-107 - [c104]Marwan Radwan, Reiko Heckel:
Prediction of the domain name system (DNS) quality attributes. SAC 2017: 578-585 - [c103]Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown:
Features of Agent-based Models. GaM@ETAPS 2017: 31-37 - 2016
- [j69]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c102]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. ASE 2016: 816-821 - 2015
- [j68]Rodrigo Machado, Leila Ribeiro, Reiko Heckel:
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theor. Comput. Sci. 594: 1-23 (2015) - [c101]Rodrigo Machado, Leila Ribeiro, Reiko Heckel:
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT 2015: 171-186 - [c100]Abdullah M. Alshanqiti, Reiko Heckel:
Extracting Visual Contracts from Java Programs (T). ASE 2015: 104-114 - [c99]Marwan Radwan, Reiko Heckel:
Detecting and Refactoring Operational Smells within the Domain Name System. GaM 2015: 113-128 - 2014
- [j67]Abdullah M. Alshanqiti, Reiko Heckel:
Towards Dynamic Reverse Engineering Visual Contracts from Java. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j66]Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski:
Modelling Adaptive Networks: The Case of the Petrified Voters. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j65]Dénes Bisztray, Reiko Heckel:
Combining termination proofs in model transformation systems. Math. Struct. Comput. Sci. 24(4) (2014) - [j64]Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini:
Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. 13(1): 209-238 (2014) - [c98]Vincent Danos, Reiko Heckel, Pawel Sobocinski:
Transformation and Refinement of Rigid Structures. ICGT 2014: 146-160 - [c97]Andrea Corradini, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. ICGT 2014: 207-221 - 2013
- [j63]Abdullah M. Alshanqiti, Reiko Heckel, Tamim Ahmed Khan:
Learning Minimal and Maximal Rules from Observations of Graph Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j62]Olga Runge, Tamim Ahmed Khan, Reiko Heckel:
Test Case Generation Using Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [c96]Mayur Bapodra, Reiko Heckel:
Abstraction and Training of Stochastic Graph Transformation Systems. FASE 2013: 312-326 - [e7]Reiko Heckel, Stefan Milius:
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8089, Springer 2013, ISBN 978-3-642-40205-0 [contents] - 2012
- [j61]Niaz Arijo, Reiko Heckel:
View-based Modelling and State-Space Generation for Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j60]Tamim Ahmed Khan, Olga Runge, Reiko Heckel:
Visual Contracts as Test Oracle in AGG 2.0. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [c95]Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c94]Reiko Heckel:
DPO Transformation with Open Maps. ICGT 2012: 203-217 - [c93]Tamim Ahmed Khan, Olga Runge, Reiko Heckel:
Testing against Visual Contracts: Model-Based Coverage. ICGT 2012: 279-293 - [c92]Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel:
Towards refactoring of rule-based, in-place model transformation systems. AMT@MoDELS 2012: 41-46 - [c91]Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall:
Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142 - 2011
- [j59]Adwoa Donyina, Reiko Heckel:
Flexible Behaviour of Human Actors in Distributed Workflows. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 37 (2011) - [j58]Adwoa Donyina, Reiko Heckel:
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j57]Fawad Qayum, Reiko Heckel:
Search-Based Refactoring using Unfolding of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j56]Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado:
Towards Test Coverage Criteria for Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j55]Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore:
Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 18 (2011) - [c90]Tamim Ahmed Khan, Reiko Heckel:
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE 2011: 341-355 - [c89]Ajab Khan, Reiko Heckel:
Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. DCNET/OPTICS 2011: 32-42 - [c88]Ajab Khan, Reiko Heckel:
Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation. ICETE (Selected Papers) 2011: 60-73 - [c87]Muhammad Naeem, Reiko Heckel:
Towards matching of service feature models based on linear logic. SPLC Workshops 2011: 13 - [c86]Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore:
Modular performance modelling for mobile applications. ICPE 2011: 329-334 - [p7]Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró:
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584 - [p6]Carlos M. P. Matos, Reiko Heckel:
Legacy Transformations for Extracting Service Components. Results of the SENSORIA Project 2011: 604-621 - [e6]Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach:
2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). SCS/ACM 2011 [contents] - 2010
- [j54]Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann:
Stochastic Graph Transformation with Regions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j53]Mayur Bapodra, Reiko Heckel:
From Graph Transformations to Differential Equations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c85]Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth:
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. ASMTA 2010: 204-217 - [c84]Reiko Heckel, Paolo Torrini:
Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101 - [c83]Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann:
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138 - [c82]Paolo Torrini, Reiko Heckel, István Ráth:
Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157 - [c81]Dénes Bisztray, Reiko Heckel:
Combining Termination Criteria by Isolating Deletion. ICGT 2010: 203-217 - [c80]Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini:
Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
2000 – 2009
- 2009
- [j52]Artur Boronat, Reiko Heckel:
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j51]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositionality of Model Transformations. Electron. Notes Theor. Comput. Sci. 236: 5-19 (2009) - [c79]Artur Boronat, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 - [c78]Fawad Qayum, Reiko Heckel:
Analysing refactoring dependencies using unfolding of graph transformation systems. FIT 2009: 15:1-15:5 - [c77]Muhammad Naeem, Reiko Heckel, Fernando Orejas:
Semi-automated service composition using visual contracts. FIT 2009: 48:1-48:6 - [c76]Cristóbal Costa Soria, Reiko Heckel:
Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR 2009: 198-229 - [c75]Paolo Torrini, Reiko Heckel:
Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25 - [c74]Rodrigo Machado, Reiko Heckel, Leila Ribeiro:
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. RULE 2009: 39-50 - [c73]Paolo Torrini, Reiko Heckel:
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ICE 2009: 99-115 - 2008
- [j50]Claudia Ermel, Juan de Lara, Reiko Heckel:
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j49]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings: Rule Extraction and Tool Support. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j48]Ajab Khan, Paolo Torrini, Reiko Heckel:
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j47]Carlos M. P. Matos, Reiko Heckel:
Migrating Legacy Systems to Service-Oriented Architectures. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j46]Barbara König, Arend Rensink, Reiko Heckel:
Preface. Electron. Notes Theor. Comput. Sci. 213(1): 1-2 (2008) - [j45]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4(4) (2008) - [c72]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361 - [c71]Reiko Heckel:
Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459 - [c70]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositional Verification of Architectural Refactorings. WADS 2008: 308-333 - [p5]Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luis Filipe Andrade:
Architectural Transformations: From Legacy to Three-Tier and Services. Software Evolution 2008: 139-170 - [e5]Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214, Springer 2008, ISBN 978-3-540-87404-1 [contents] - [e4]Marlon Dumas, Reiko Heckel:
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937, Springer 2008, ISBN 978-3-540-79229-1 [contents] - [i6]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008) - 2007
- [j44]Dénes Bisztray, Reiko Heckel:
Rule-Level Verification of Business Process Transformations using CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j43]Arend Rensink, Reiko Heckel, Barbara König:
Preface. Electron. Notes Theor. Comput. Sci. 175(4): 1-2 (2007) - [j42]Reiko Heckel, Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications. J. Log. Algebraic Methods Program. 70(1): 15-33 (2007) - [j41]Reiko Heckel, Marc Lohmann:
Model-driven development of reactive information systems: from graph transformation rules to JML contracts. Int. J. Softw. Tools Technol. Transf. 9(2): 193-207 (2007) - [c69]Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel:
Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358 - [c68]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - [c67]Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly:
Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122 - [c66]László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170 - [p4]Marc Lohmann, Leonardo Mariani, Reiko Heckel:
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. Test and Analysis of Web Services 2007: 173-204 - 2006
- [j40]Reiko Heckel, Jean-Marie Favre, Tom Mens:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j39]Reiko Heckel:
Preface. Electron. Notes Theor. Comput. Sci. 148(1): 1-3 (2006) - [j38]Reiko Heckel:
Graph Transformation in a Nutshell. Electron. Notes Theor. Comput. Sci. 148(1): 187-198 (2006) - [j37]Arend Rensink, Reiko Heckel, Barbara König:
Preface. Electron. Notes Theor. Comput. Sci. 154(2): 1-5 (2006) - [j36]Reiko Heckel, Georgios Lajios, Sebastian Menge:
Stochastic Graph Transformation Systems. Fundam. Informaticae 74(1): 63-84 (2006) - [j35]Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. 5(2): 187-207 (2006) - [j34]Jean Bézivin, Reiko Heckel:
Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development. Softw. Syst. Model. 5(3): 231-232 (2006) - [c65]Karsten Ehrig, Reiko Heckel, Georgios Lajios:
Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121 - [c64]Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel:
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350 - [c63]Reiko Heckel:
Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462 - [c62]Jean-Marie Favre, Reiko Heckel, Tom Mens:
3rd International Workshop on Software Evolution Through Transformations: Embracing Change. ICGT 2006: 470-472 - [c61]Luciano Baresi, Karsten Ehrig, Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199 - [e3]Luciano Baresi, Reiko Heckel:
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, Proceedings. Lecture Notes in Computer Science 3922, Springer 2006, ISBN 3-540-33093-3 [contents] - [i5]Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel:
Rule-based Model Extraction from Source Code. Aspects For Legacy Applications 2006 - 2005
- [j33]Reiko Heckel, Marc Lohmann:
Towards Contract-based Testing of Web Services. Electron. Notes Theor. Comput. Sci. 116: 145-156 (2005) - [j32]Reiko Heckel, Tom Mens:
Preface. Electron. Notes Theor. Comput. Sci. 127(3): 1-3 (2005) - [j31]Reiko Heckel, Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models. Electron. Notes Theor. Comput. Sci. 127(3): 101-111 (2005) - [j30]Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:
Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept. Int. J. Web Serv. Res. 2(2): 67-84 (2005) - [j29]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - [c60]Ping Guo, Gregor Engels, Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374 - [c59]Gregor Engels, Reiko Heckel, Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63 - [c58]Reiko Heckel, Leonardo Mariani:
Automatic Conformance Testing of Web Services. FASE 2005: 34-48 - [c57]Reiko Heckel:
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69 - [c56]Reiko Heckel, Georgios Lajios, Sebastian Menge:
Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152 - [p3]Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne:
Process Modeling Using UML. Process-Aware Information Systems 2005: 83-117 - [e2]Jean Bézivin, Reiko Heckel:
Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings 04101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [j28]Reiko Heckel, Alexey Cherchago, Marc Lohmann:
A Formal Approach to Service Specification and Matching based on Graph Transformation. Electron. Notes Theor. Comput. Sci. 105: 37-49 (2004) - [j27]Reiko Heckel:
Preface. Electron. Notes Theor. Comput. Sci. 109: 1-2 (2004)