default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 2024
[c148]Reiko Heckel, Issam Al-Azzoni:
Can I Teach Graph Rewriting to My Chatbot? ICGT 2024: 214-222- 2023
- [c147]Florian Wittbold
, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König:
Stochastic Decision Petri Nets. Petri Nets 2023: 264-285 - [c146]Adam Machowczyk, Reiko Heckel:
Graph Rewriting for Graph Neural Networks. ICGT 2023: 292-301 - [c145]Issam Al-Azzoni, Reiko Heckel:
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. ASEW 2023: 100-104 - [i11]Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König:
Stochastic Decision Petri Nets. CoRR abs/2303.13344 (2023) - [i10]Adam Machowczyk, Reiko Heckel:
Graph Rewriting for Graph Neural Networks. CoRR abs/2305.18632 (2023) - 2022
- [c144]Reiko Heckel, Andrea Corradini, Fabio Gadducci:
Graph Rewriting Components. ICGT 2022: 20-37 - [c143]Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul:
Visual Smart Contracts for DAML. ICGT 2022: 137-154 - [e16]Reiko Heckel, Christopher M. Poskitt:
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. EPTCS 374, 2022 [contents] - [i9]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 abs/2208.03819 (2022) - 2021
- [c142]Baraa Zieni, Dayana Spagnuelo, Reiko Heckel:
Transparency by Default: GDPR Patterns for Agile Development. EGOVIS 2021: 89-102 - [c141]Baraa Zieni, Reiko Heckel:
TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. RE 2021: 94-105 - [c140]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 - [c139]Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König:
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. FSTTCS 2020: 38:1-38:17 - [c138]Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas:
Unfolding Symbolic Attributed Graph Grammars. ICGT 2020: 75-90 - [c137]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF 2020: 88-107 - [c136]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
- [c135]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Unfolding Graph Grammars with Negative Application Conditions. ICGT 2019: 93-110 - [c134]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring Visual Contracts from Java Programs. SE/SWM 2019: 53-54 - [c133]Bello Shehu Bello, Reiko Heckel:
Analyzing the Behaviour of Twitter Bots in Post Brexit Politics. SNAMS 2019: 61-66 - [c132]Bello Shehu Bello, Isa Inuwa-Dutse, Reiko Heckel:
Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections. SNAMS 2019: 142-149 - [c131]Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat:
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF 2019: 1-22 - 2018
- [j49]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring visual contracts from Java programs. Autom. Softw. Eng. 25(4): 745-784 (2018) - [c130]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 - [c129]Bello Shehu Bello, Reiko Heckel, Leandro L. Minku:
Reverse Engineering the Behaviour of Twitter Bots. SNAMS 2018: 27-34 - [c128]Abdullah Alqahtani, Reiko Heckel:
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. STAF Workshops 2018: 399-414 - [e15]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
- [c127]Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel:
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. ICMT 2017: 92-107 - [c126]Marwan Radwan, Reiko Heckel:
Prediction of the domain name system (DNS) quality attributes. SAC 2017: 578-585 - [c125]Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown:
Features of Agent-based Models. GaM@ETAPS 2017: 31-37 - 2016
- [j48]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c124]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
- [j47]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) - [c123]Rodrigo Machado, Leila Ribeiro, Reiko Heckel:
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT 2015: 171-186 - [c122]Abdullah M. Alshanqiti, Reiko Heckel:
Extracting Visual Contracts from Java Programs (T). ASE 2015: 104-114 - [c121]Marwan Radwan, Reiko Heckel:
Detecting and Refactoring Operational Smells within the Domain Name System. GaM 2015: 113-128 - 2014
- [j46]Abdullah M. Alshanqiti, Reiko Heckel:
Towards Dynamic Reverse Engineering Visual Contracts from Java. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j45]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) - [j44]Dénes Bisztray, Reiko Heckel:
Combining termination proofs in model transformation systems. Math. Struct. Comput. Sci. 24(4) (2014) - [j43]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) - [c120]Vincent Danos, Reiko Heckel, Pawel Sobocinski:
Transformation and Refinement of Rigid Structures. ICGT 2014: 146-160 - [c119]Andrea Corradini, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. ICGT 2014: 207-221 - 2013
- [j42]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) - [j41]Olga Runge, Tamim Ahmed Khan, Reiko Heckel:
Test Case Generation Using Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [c118]Mayur Bapodra, Reiko Heckel:
Abstraction and Training of Stochastic Graph Transformation Systems. FASE 2013: 312-326 - [e14]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
- [j40]Niaz Arijo, Reiko Heckel:
View-based Modelling and State-Space Generation for Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j39]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) - [c117]Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c116]Reiko Heckel:
DPO Transformation with Open Maps. ICGT 2012: 203-217 - [c115]Tamim Ahmed Khan, Olga Runge, Reiko Heckel:
Testing against Visual Contracts: Model-Based Coverage. ICGT 2012: 279-293 - [c114]Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel:
Towards refactoring of rule-based, in-place model transformation systems. AMT@MoDELS 2012: 41-46 - [c113]Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall:
Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142 - 2011
- [j38]Adwoa Donyina, Reiko Heckel:
Flexible Behaviour of Human Actors in Distributed Workflows. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 37 (2011) - [j37]Adwoa Donyina, Reiko Heckel:
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j36]Fawad Qayum, Reiko Heckel:
Search-Based Refactoring using Unfolding of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j35]Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado:
Towards Test Coverage Criteria for Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j34]Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore:
Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 18 (2011) - [c112]Tamim Ahmed Khan, Reiko Heckel:
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE 2011: 341-355 - [c111]Ajab Khan, Reiko Heckel:
Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. DCNET/OPTICS 2011: 32-42 - [c110]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 - [c109]Muhammad Naeem, Reiko Heckel:
Towards matching of service feature models based on linear logic. SPLC Workshops 2011: 13 - [c108]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 - [e13]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
- [j33]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) - [j32]Mayur Bapodra, Reiko Heckel:
From Graph Transformations to Differential Equations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c107]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 - [c106]Reiko Heckel, Paolo Torrini:
Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101 - [c105]Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann:
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138 - [c104]Paolo Torrini, Reiko Heckel, István Ráth:
Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157 - [c103]Dénes Bisztray, Reiko Heckel:
Combining Termination Criteria by Isolating Deletion. ICGT 2010: 203-217 - [c102]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
- [j31]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) - [c101]Artur Boronat, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 - [c100]Fawad Qayum, Reiko Heckel:
Analysing refactoring dependencies using unfolding of graph transformation systems. FIT 2009: 15:1-15:5 - [c99]Muhammad Naeem, Reiko Heckel, Fernando Orejas:
Semi-automated service composition using visual contracts. FIT 2009: 48:1-48:6 - [c98]Cristóbal Costa Soria, Reiko Heckel:
Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR 2009: 198-229 - [c97]Paolo Torrini, Reiko Heckel:
Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25 - [c96]Rodrigo Machado, Reiko Heckel, Leila Ribeiro:
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. RULE 2009: 39-50 - [c95]Paolo Torrini, Reiko Heckel:
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ICE 2009: 99-115 - 2008
- [j30]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) - [j29]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) - [j28]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) - [j27]Carlos M. P. Matos, Reiko Heckel:
Migrating Legacy Systems to Service-Oriented Architectures. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j26]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) - [c94]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361 - [c93]Reiko Heckel:
Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459 - [c92]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositional Verification of Architectural Refactorings. WADS 2008: 308-333 - [c91]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositionality of Model Transformations. VODCA@FOSAD 2008: 5-19 - [p5]Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luís Andrade:
Architectural Transformations: From Legacy to Three-Tier and Services. Software Evolution 2008: 139-170 - [e12]Barbara König, Arend Rensink, Reiko Heckel:
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 213(1), Elsevier 2008 [contents] - [e11]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] - [e10]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
- [j25]Dénes Bisztray, Reiko Heckel:
Rule-Level Verification of Business Process Transformations using CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j24]Reiko Heckel, Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications. J. Log. Algebraic Methods Program. 70(1): 15-33 (2007) - [j23]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) - [c90]Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel:
Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358 - [c89]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - [c88]Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly:
Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122 - [c87]László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170 - [c86]Barbara König, Arend Rensink, Reiko Heckel:
Preface. GT-VC@CONCUR 2007: 1-2 - [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 - [e9]Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(4), Elsevier 2007 [contents] - 2006
- [j22]Reiko Heckel, Jean-Marie Favre, Tom Mens:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j21]Reiko Heckel, Georgios Lajios, Sebastian Menge:
Stochastic Graph Transformation Systems. Fundam. Informaticae 74(1): 63-84 (2006) - [j20]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) - [j19]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) - [c85]Karsten Ehrig, Reiko Heckel, Georgios Lajios:
Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121 - [c84]Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel:
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350 - [c83]Reiko Heckel:
Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462 - [c82]Jean-Marie Favre, Reiko Heckel, Tom Mens:
3rd International Workshop on Software Evolution Through Transformations: Embracing Change. ICGT 2006: 470-472 - [c81]Luciano Baresi, Karsten Ehrig, Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199 - [c80]