Reiko Heckel

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 37

Top Venues

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Reiko Heckel, Issam Al-Azzoni
Can I Teach Graph Rewriting to My Chatbot? ICGT (2024)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. CoRR (2023)
Issam Al-Azzoni, Reiko Heckel
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. ASEW (2023)
Adam Machowczyk, Reiko Heckel
Graph Rewriting for Graph Neural Networks. CoRR (2023)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. Petri Nets (2023)
Adam Machowczyk, Reiko Heckel
Graph Rewriting for Graph Neural Networks. ICGT (2023)
Reiko Heckel, Andrea Corradini, Fabio Gadducci
Graph Rewriting Components. ICGT (2022)
Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul
Visual Smart Contracts for DAML. ICGT (2022)
Feixiang Zhou, Xinyu Yang, Fang Chen, Long Chen, Zheheng Jiang, Hui Zhu, Reiko Heckel, Haikuan Wang, Minrui Fei, Huiyu Zhou
Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behaviour. CoRR (2022)
Reiko Heckel, Christopher M. Poskitt
Proceedings of the Thirteenth International Workshop on Graph Computation Models. CoRR (2022)
Baraa Zieni, Reiko Heckel
TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. RE (2021)
Baraa Zieni, Dayana Spagnuelo, Reiko Heckel
Transparency by Default: GDPR Patterns for Agile Development. EGOVIS (2021)
Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel
Stochastic Graph Transformation For Social Network Modeling. GCM@STAF (2021)
Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
Unfolding Symbolic Attributed Graph Grammars. ICGT (2020)
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. CoRR (2020)
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF (2020)
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. FSTTCS (2020)
Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. GCM@STAF (2020)
Bello Shehu Bello, Isa Inuwa-Dutse, Reiko Heckel
Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections. SNAMS (2019)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Inferring Visual Contracts from Java Programs. SE/SWM (2019)
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF (2019)
Bello Shehu Bello, Reiko Heckel
Analyzing the Behaviour of Twitter Bots in Post Brexit Politics. SNAMS (2019)
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
Unfolding Graph Grammars with Negative Application Conditions. ICGT (2019)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CoRR (2018)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Inferring visual contracts from Java programs. Autom. Softw. Eng. 25 (4) (2018)
Abdullah Alqahtani, Reiko Heckel
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. STAF Workshops (2018)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CONCUR (2018)
Bello Shehu Bello, Reiko Heckel, Leandro L. Minku
Reverse Engineering the Behaviour of Twitter Bots. SNAMS (2018)
Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. ICMT (2017)
Marwan Radwan, Reiko Heckel
Prediction of the domain name system (DNS) quality attributes. SAC (2017)
Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
Features of Agent-based Models. GaM@ETAPS (2017)
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. ASE (2016)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT (2015)
Abdullah M. Alshanqiti, Reiko Heckel
Extracting Visual Contracts from Java Programs (T). ASE (2015)
Marwan Radwan, Reiko Heckel
Detecting and Refactoring Operational Smells within the Domain Name System. GaM (2015)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theor. Comput. Sci. 594 (2015)
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)
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) (2014)
Andrea Corradini, Reiko Heckel
Canonical Derivations with Negative Application Conditions. ICGT (2014)
Vincent Danos, Reiko Heckel, Pawel Sobocinski
Transformation and Refinement of Rigid Structures. ICGT (2014)
Abdullah M. Alshanqiti, Reiko Heckel
Towards Dynamic Reverse Engineering Visual Contracts from Java. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Dénes Bisztray, Reiko Heckel
Combining termination proofs in model transformation systems. Math. Struct. Comput. Sci. 24 (4) (2014)
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)
Mayur Bapodra, Reiko Heckel
Abstraction and Training of Stochastic Graph Transformation Systems. FASE (2013)
Olga Runge, Tamim Ahmed Khan, Reiko Heckel
Test Case Generation Using Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT (2012)
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
Transformation Systems with Incremental Negative Application Conditions. WADT (2012)
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)
Reiko Heckel
DPO Transformation with Open Maps. ICGT (2012)
Niaz Arijo, Reiko Heckel
View-based Modelling and State-Space Generation for Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel
Towards refactoring of rule-based, in-place model transformation systems. AMT@MoDELS (2012)
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
Testing against Visual Contracts: Model-Based Coverage. ICGT (2012)
Muhammad Naeem, Reiko Heckel
Towards matching of service feature models based on linear logic. SPLC Workshops (2011)
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado
Towards Test Coverage Criteria for Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Tamim Ahmed Khan, Reiko Heckel
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE (2011)
Ajab Khan, Reiko Heckel
Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. DCNET/OPTICS (2011)
Adwoa Donyina, Reiko Heckel
Flexible Behaviour of Human Actors in Distributed Workflows. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 37 (2011)
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Fawad Qayum, Reiko Heckel
Search-Based Refactoring using Unfolding of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011)
Adwoa Donyina, Reiko Heckel
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011)
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
Modular performance modelling for mobile applications. ICPE (2011)
Ajab Khan, Reiko Heckel
Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation. ICETE (Selected Papers) (2011)
Reiko Heckel, Paolo Torrini
Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering (2010)
Dénes Bisztray, Reiko Heckel
Combining Termination Criteria by Isolating Deletion. ICGT (2010)
Paolo Torrini, Reiko Heckel, István Ráth
Stochastic Simulation of Graph Transformation Systems. FASE (2010)
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE (2010)
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)
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT (2010)
Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. ASMTA (2010)
Mayur Bapodra, Reiko Heckel
From Graph Transformations to Differential Equations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositionality of Model Transformations. Electron. Notes Theor. Comput. Sci. 236 (2009)
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)
Artur Boronat, Reiko Heckel, José Meseguer
Rewriting Logic Semantics and Verification of Model Transformations. FASE (2009)
Cristóbal Costa Soria, Reiko Heckel
Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR (2009)
Paolo Torrini, Reiko Heckel
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic ICE (2009)
Paolo Torrini, Reiko Heckel
Resource-Bound Quantification for Graph Transformation LINEARITY (2009)
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE (2009)
Muhammad Naeem, Reiko Heckel, Fernando Orejas
Semi-automated service composition using visual contracts. FIT (2009)
Fawad Qayum, Reiko Heckel
Analysing refactoring dependencies using unfolding of graph transformation systems. FIT (2009)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Verification of Architectural Refactorings by Rule Extraction. FASE (2008)
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)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositional Verification of Architectural Refactorings. WADS (2008)
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)
Barbara König, Arend Rensink, Reiko Heckel
Preface. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Carlos M. P. Matos, Reiko Heckel
Migrating Legacy Systems to Service-Oriented Architectures. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
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)
Reiko Heckel
Tutorial Introduction to Graph Transformation. ICGT (2008)
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)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR (2008)
Arend Rensink, Reiko Heckel, Barbara König
Preface. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Dénes Bisztray, Reiko Heckel
Rule-Level Verification of Business Process Transformations using CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel
Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops (2007)
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) (2007)
Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly
Architecture Migration Driven by Code Categorization. ECSA (2007)
László Gönczy, Reiko Heckel, Dániel Varró
Model-Based Testing of Service Infrastructure Components. TestCom/FATES (2007)
Reiko Heckel, Alexey Cherchago
Structural and behavioural compatibility of graphical service specifications. J. Log. Algebraic Methods Program. 70 (1) (2007)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO (2007)
Karsten Ehrig, Reiko Heckel, Georgios Lajios
Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT (2006)
Luciano Baresi, Karsten Ehrig, Reiko Heckel
Verification of Model Transformations: A Case Study with BPEL. TGC (2006)

Reiko Heckel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reiko Heckel