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]Arend Rensink, Reiko Heckel, Barbara König:
Preface. GT-VC@CONCUR 2006: 1-2 - [e8]Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 154(2), Elsevier 2006 [contents] - [e7]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] - [e6]Reiko Heckel:
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl, Germany, May 3-7, 2004. Electronic Notes in Theoretical Computer Science 148(1), Elsevier 2006 [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
- [j18]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) - [j17]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) - [c79]Ping Guo, Gregor Engels, Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374 - [c78]Gregor Engels, Reiko Heckel, Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63 - [c77]Reiko Heckel, Leonardo Mariani:
Automatic Conformance Testing of Web Services. FASE 2005: 34-48 - [c76]Reiko Heckel:
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69 - [c75]Reiko Heckel, Georgios Lajios, Sebastian Menge:
Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152 - [c74]Arend Rensink, Reiko Heckel, Barbara König:
Preface. GT-VC@CONCUR 2005: 1-5 - [p3]Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne:
Process Modeling Using UML. Process-Aware Information Systems 2005: 83-117 - [e5]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] - [e4]Reiko Heckel, Tom Mens:
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(3), Elsevier 2005 [contents] - 2004
- [j16]Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. Softw. Syst. Model. 3(3): 181-193 (2004) - [c73]Sven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer:
Using XSLT Stylesheets to Transform XPath Queries. ADBIS (Local Proceedings) 2004 - [c72]Reiko Heckel, Georgios Lajios, Sebastian Menge:
Stochastic Graph Transformation Systems. ICGT 2004: 210-225 - [c71]Alexey Cherchago, Reiko Heckel:
Specification Matching of Web Services Using Conditional Graph Transformation Rules. ICGT 2004: 304-318 - [c70]Luciano Baresi, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433 - [c69]Reiko Heckel, Tom Mens:
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. ICGT 2004: 445-447 - [c68]Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:
Model-based Discovery of Web Services. ICWS 2004: 324-331 - [c67]Reiko Heckel, Ping Guo:
Conceptual Modeling of Styles For Mobile Systems. MOBIS 2004: 65-79 - [c66]Ping Guo, Reiko Heckel:
Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433 - [c65]Reiko Heckel, Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27 - [c64]Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166 - [c63]Reiko Heckel:
Preface. GT-VMT@ETAPS 2004: 1-2 - [c62]Reiko Heckel:
Preface. FoVMT 2004: 1-3 - [c61]Reiko Heckel, Tom Mens:
Preface. SETra@ICGT 2004: 1-3 - [c60]Reiko Heckel, Alexey Cherchago, Marc Lohmann:
A Formal Approach to Service Specification and Matching based on Graph Transformation. WSFM 2004: 37-49 - [c59]Reiko Heckel, Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models. SETra@ICGT 2004: 101-111 - [c58]Reiko Heckel, Marc Lohmann:
Towards Contract-based Testing of Web Services. TACoS 2004: 145-156 - [c57]Reiko Heckel:
Graph Transformation in a Nutshell. FoVMT 2004: 187-198 - [e3]Reiko Heckel:
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 109, Elsevier 2004 [contents] - [i4]Jean Bézivin, Reiko Heckel:
04101 Summary - Language Engineering for Model-driven Software Development. Language Engineering for Model-Driven Software Development 2004 - [i3]Jean Bézivin, Reiko Heckel:
04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. Language Engineering for Model-Driven Software Development 2004 - [i2]Reiko Heckel:
Graph Transformation in a Nutshell. Language Engineering for Model-Driven Software Development 2004 - [i1]Reiko Heckel, Alexey Cherchago:
Application of Graph Transformation for Automating Web Service Discovery. Language Engineering for Model-Driven Software Development 2004 - 2003
- [j15]Szilvia Gyapay, Dániel Varró, Reiko Heckel:
Graph Transformation with Time. Fundam. Informaticae 58(1): 1-22 (2003) - [c56]Reiko Heckel, Hendrik Voigt:
Model-Based Development of Executable Business Processes for Web Services. Lectures on Concurrency and Petri Nets 2003: 559-584 - [c55]Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel:
Design of an Agent-Oriented Modeling Language Based on Graph Transformation. AGTIVE 2003: 106-119 - [c54]Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:
Towards Automatic Selection of Web Services Using Graph Transformation Rules. Berliner XML Tage 2003: 286-291 - [c53]Ralph Depke, Reiko Heckel:
Modelling and Analysis of Agents' Goal-Driven Behavior. Objects, Agents, and Features 2003: 81-97 - [c52]Reiko Heckel:
Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems 2003: 281-294 - [c51]Reiko Heckel, Marc Lohmann:
Model-Based Development of Web Applications Using Graphical Reaction Rules. FASE 2003: 170-183 - [c50]Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE 2003: 68-77 - [c49]Gregor Engels, Reiko Heckel, Jochen Malte Küster:
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. UML 2003: 356-359 - [c48]Jochen Malte Küster, Reiko Heckel, Gregor Engels:
Defining and validating transformations of UML models. HCC 2003: 145-152 - [c47]Reiko Heckel, Marc Lohmann:
Towards Model-Driven Testing. TACoS 2003: 33-43 - [c46]Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
Model-Based Verification and Validation of Properties. UNIGRA 2003: 133-150 - [e2]Reiko Heckel, Tom Mens, Michel Wermelinger:
Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002. Electronic Notes in Theoretical Computer Science 72(4), Elsevier 2003 [contents] - 2002
- [j14]Reiko Heckel, Mourad Chouikha:
Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets. Trans. SDPS 6(4): 63-77 (2002) - [j13]Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. 12(4): 349-376 (2002) - [j12]Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Formal agent-oriented modeling with UML and graph transformation. Sci. Comput. Program. 44(2): 229-252 (2002) - [j11]Reiko Heckel, Gregor Engels:
Relating functional requirements and software architecture: separation and consistency of concerns. J. Softw. Maintenance Res. Pract. 14(5): 371-388 (2002) - [j10]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002) - [c45]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c44]Szilvia Gyapay, Reiko Heckel, Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134 - [c43]Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems. ICGT 2002: 161-176 - [c42]Luciano Baresi, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429 - [c41]Reiko Heckel, Tom Mens, Michel Wermelinger:
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. ICGT 2002: 450-454 - [c40]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. ICSE 2002: 105-115 - [c39]Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen:
Towards consistency-preserving model evolution. IWPSE 2002: 129-132 - [c38]Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen:
Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226 - [c37]Reiko Heckel, Tom Mens, Michel Wermelinger:
Software Evolution through Transformations. Software Evolution Through Transformations @ ICGT 2002: 1-5 - [c36]Reiko Heckel, Tom Mens, Michel Wermelinger:
Preface. Software Evolution Through Transformations @ ICGT 2002: 77-78 - [c35]Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. GT-VMT@ICGT 2002: 133-144 - 2001
- [j9]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9(1): 83-110 (2001) - [j8]Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Roles in Agent-Oriented Modeling. Int. J. Softw. Eng. Knowl. Eng. 11(3): 281-302 (2001) - [j7]Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel:
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS 5(1): 3-21 (2001) - [j6]Stefan Sauer, Reiko Heckel:
Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. Softwaretechnik-Trends 21(2) (2001) - [j5]Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001) - [c34]Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Improving the agent-oriented modeling process by roles. Agents 2001: 640-647 - [c33]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - [c32]Reiko Heckel, Gregor Engels:
Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution. FFSE@CSMR 2001: 42-47 - [c31]Reiko Heckel, Stefan Sauer:
Strengthening UML Collaboration Diagrams by State Transformations. FASE 2001: 109-123 - [c30]Jan Hendrik Hausmann, Reiko Heckel:
Use Cases as Views: A formal approach to Requirements Engineering in the United Process. GI Jahrestagung (1) 2001: 595-599 - [c29]Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen:
A methodology for specifying and analyzing consistency of object-oriented behavioral models. ESEC / SIGSOFT FSE 2001: 186-195 - [c28]Gregor Engels, Reiko Heckel, Jochen Malte Küster:
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. UML 2001: 272-286 - [c27]Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. HCC 2001: 80-87 - [c26]Reiko Heckel, Albert Zündorf:
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. UNIGRA 2001: 41-51 - [c25]Reiko Heckel, Gregor Engels:
Towards a Formal Framework for Inter-Enterprise Application Integration. GETGRATS Closing Workshop 2001: 139-151 - [c24]Reiko Heckel, Jochen Malte Küster:
Behavioral Constraints for Visual Models. GT-VMT@ICALP 2001: 257-265 - 2000
- [j4]Andrea Corradini, Reiko Heckel:
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bull. EATCS 72: 69-76 (2000) - [c23]Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Integrating visual modeling of agent-based and object-oriented systems. Agents 2000: 82-83 - [c22]Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Agent-Oriented Modeling with Graph Transformation. AOSE 2000: 105-120 - [c21]Gregor Engels, Reiko Heckel, Stefan Sauer:
UML - A Universal Modeling Language? ICATPN 2000: 24-38 - [c20]Gregor Engels, Reiko Heckel:
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150 - [c19]Andrea Corradini, Reiko Heckel:
Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358 - [c18]Gregor Engels, Reiko Heckel:
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382 - [c17]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418 - [c16]Ralph Depke, Reiko Heckel:
Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426 - [c15]Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. UML 2000: 323-337 - [e1]José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0 [contents]
1990 – 1999
- 1999
- [c14]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38 - [c13]Andrea Corradini, Reiko Heckel, Ugo Montanari:
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. CMCS 1999: 118-141 - [c12]Fabio Gadducci, Reiko Heckel, Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. CTCS 1999: 80-100 - 1998
- [b1]Reiko Heckel:
Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems. Technical University of Berlin, Germany, 1998, pp. 1-177 - [c11]Reiko Heckel:
Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153 - [c10]Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102 - [c9]Fabio Gadducci, Reiko Heckel, Manuel Koch:
A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322 - [c8]Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske:
Simple Modules for GRACE. TAGT 1998: 383-395 - [c7]Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106 - [c6]Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
Structured Transition Systems as Lax Coalgebras. CMCS 1998: 22-41 - 1997
- [j3]Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Eng. Knowl. Eng. 7(4): 457-477 (1997) - [c5]Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343 - [c4]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228 - [c3]Fabio Gadducci, Reiko Heckel:
An inductive view of graph transformation. WADT 1997: 223-237 - [p2]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. Handbook of Graph Grammars 1997: 163-246 - [p1]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. Handbook of Graph Grammars 1997: 247-312 - 1996
- [j2]Annegret Habel, Reiko Heckel, Gabriele Taentzer:
Graph Grammars with Negative Application Conditions. Fundam. Informaticae 26(3/4): 287-313 (1996) - [j1]Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6(6): 613-648 (1996) - 1995
- [c2]Andrea Corradini, Reiko Heckel:
A compositional approach to structuring and refinement of typed graph grammars. SEGRAGRA 1995: 46-55 - [c1]Reiko Heckel, Annika Wagner:
Ensuring consistency of conditional graph rewriting - a constructive approach. SEGRAGRA 1995: 118-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
