Reiko Heckel

240 papers A* 5A 2B 50C 4Misc 3Journal 59Unranked 95
YearRankTypeTitle / Venue / Authors
2026 C conf
Can AI Make the Rules? A Pipeline for Generating Graph Transformation Systems.
MODELSWARD
Reiko Heckel, Muhammad Saad
2026 J jnl
MoTDeReL: Model-based testing through deep reinforcement learning for software systems specified through graph transformation.
Autom. Softw. Eng.
Simin Ghasemi, Maryam Asgari Araghi, Vahid Rafe, Reiko Heckel
2025 J jnl
Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behavior.
IEEE Trans. Image Process.
Feixiang Zhou, Xinyu Yang, Fang Chen, Long Chen, Zheheng Jiang, Hui Zhu, Reiko Heckel, Haikuan Wang, Minrui Fei, Huiyu Zhou
2025 J jnl
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models.
J. Object Technol.
Issam Al-Azzoni, Reiko Heckel, Zobia Erum
2025 B conf
Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning.
ICGT
Simin Ghasemi, Vahid Rafe, Mohammad Mehrabi, Reiko Heckel, Issam Al-Azzoni
2025 J jnl
Whole test suite generation from graph transformation specifications using ant colony optimization.
Softw. Qual. J.
Simin Ghasemi, Vahid Rafe, Anvar Bahrampour, Reiko Heckel
2024 B conf
Can I Teach Graph Rewriting to My Chatbot?
ICGT
Reiko Heckel, Issam Al-Azzoni
2023 B conf
Graph Rewriting for Graph Neural Networks.
ICGT
Adam Machowczyk, Reiko Heckel
2023 J jnl
Graph Rewriting for Graph Neural Networks.
CoRR
Adam Machowczyk, Reiko Heckel
2023 — conf
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts.
ASEW
Issam Al-Azzoni, Reiko Heckel
2023 — conf
Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations.
GCM
Adwoa Donyina, Reiko Heckel
2023 B conf
Stochastic Decision Petri Nets.
Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2023 J jnl
Stochastic Decision Petri Nets.
CoRR
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2022 J jnl
Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behaviour.
CoRR
Feixiang Zhou, Xinyu Yang, Fang Chen, Long Chen, Zheheng Jiang, Hui Zhu, Reiko Heckel, Haikuan Wang, Minrui Fei, Huiyu Zhou
2022 B conf
Graph Rewriting Components.
ICGT
Reiko Heckel, Andrea Corradini, Fabio Gadducci
2022 — ed.
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022.
GCM@STAF
Reiko Heckel, Christopher M. Poskitt
2022 B conf
Visual Smart Contracts for DAML.
ICGT
Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul
2021 — conf
Stochastic Graph Transformation For Social Network Modeling.
GCM@STAF
Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel
2021 A conf
TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement.
RE
Baraa Zieni, Reiko Heckel
2021 — conf
Transparency by Default: GDPR Patterns for Agile Development.
EGOVIS
Baraa Zieni, Dayana Spagnuelo, Reiko Heckel
2020 — conf
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3.
GCM@STAF
Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
2020 — conf
Encoding Incremental NACs in Safe Graph Grammars using Complementation.
GCM@STAF
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
2020 — book
Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering
Reiko Heckel, Gabriele Taentzer
2020 — conf
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
FSTTCS
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
2020 J jnl
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
CoRR
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
2020 B conf
Unfolding Symbolic Attributed Graph Grammars.
ICGT
Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
2019 — conf
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques.
GCM@STAF
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
2019 — conf
Analyzing the Behaviour of Twitter Bots in Post Brexit Politics.
SNAMS
Bello Shehu Bello, Reiko Heckel
2019 — conf
Inferring Visual Contracts from Java Programs.
SE/SWM
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
2019 — conf
Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections.
SNAMS
Bello Shehu Bello, Isa Inuwa-Dutse, Reiko Heckel
2019 B conf
Unfolding Graph Grammars with Negative Application Conditions.
ICGT
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
2018 — ed.
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig
Graph Transformation, Specifications, and Nets
Reiko Heckel, Gabriele Taentzer
2018 J jnl
Inferring visual contracts from Java programs.
Autom. Softw. Eng.
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
2018 — conf
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars.
STAF Workshops
Abdullah Alqahtani, Reiko Heckel
2018 — conf
Reverse Engineering the Behaviour of Twitter Bots.
SNAMS
Bello Shehu Bello, Reiko Heckel, Leandro L. Minku
2018 B conf
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CONCUR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2018 J jnl
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CoRR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2017 — conf
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations.
ICMT
Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel
2017 — conf
Features of Agent-based Models.
GaM
Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
2017 Misc conf
Prediction of the domain name system (DNS) quality attributes.
SAC
Marwan Radwan, Reiko Heckel
2016 J jnl
Hartmut Ehrig (1944-2016).
Bull. EATCS
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
2016 A* conf
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis.
ASE
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
2015 B conf
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.
ICGT
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
2015 — conf
Detecting and Refactoring Operational Smells within the Domain Name System.
GaM
Marwan Radwan, Reiko Heckel
2015 A* conf
Extracting Visual Contracts from Java Programs (T).
ASE
Abdullah M. Alshanqiti, Reiko Heckel
2015 J jnl
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars.
Theor. Comput. Sci.
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
2014 B conf
Canonical Derivations with Negative Application Conditions.
ICGT
Andrea Corradini, Reiko Heckel
2014 J jnl
Combining termination proofs in model transformation systems.
Math. Struct. Comput. Sci.
Dénes Bisztray, Reiko Heckel
2014 J jnl
Domain-specific discrete event modelling and simulation using graph transformation.
Softw. Syst. Model.
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
2014 J jnl
Modelling Adaptive Networks: The Case of the Petrified Voters.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
2014 J jnl
Towards Dynamic Reverse Engineering Visual Contracts from Java.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abdullah M. Alshanqiti, Reiko Heckel
2014 B conf
Transformation and Refinement of Rigid Structures.
ICGT
Vincent Danos, Reiko Heckel, Pawel Sobocinski
2013 B conf
Abstraction and Training of Stochastic Graph Transformation Systems.
FASE
Mayur Bapodra, Reiko Heckel
2013 B ed.
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
CALCO
Reiko Heckel, Stefan Milius
2013 J jnl
Learning Minimal and Maximal Rules from Observations of Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abdullah M. Alshanqiti, Reiko Heckel, Tamim Ahmed Khan
2013 J jnl
Test Case Generation Using Visual Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Olga Runge, Tamim Ahmed Khan, Reiko Heckel
2012 B conf
DPO Transformation with Open Maps.
ICGT
Reiko Heckel
2012 B conf
Parallelism and Concurrency of Stochastic Graph Transformations.
ICGT
Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
2012 B conf
Testing against Visual Contracts: Model-Based Coverage.
ICGT
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
2012 — conf
Towards refactoring of rule-based, in-place model transformation systems.
AMT@MoDELS
Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel
2012 — conf
Transformation Systems with Incremental Negative Application Conditions.
WADT
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
2012 J jnl
View-based Modelling and State-Space Generation for Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Niaz Arijo, Reiko Heckel
2012 J jnl
Visual Contracts as Test Oracle in AGG 2.0.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
2011 — ed.
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).
SpringSim (TMS-DEVS)
Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach
2011 — ch.
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.
Results of the SENSORIA Project
Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró
2011 — conf
Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation.
ICETE (Selected Papers)
Ajab Khan, Reiko Heckel
2011 J jnl
Flexible Behaviour of Human Actors in Distributed Workflows.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Adwoa Donyina, Reiko Heckel
2011 — ch.
Legacy Transformations for Extracting Service Components.
Results of the SENSORIA Project
Carlos M. P. Matos, Reiko Heckel
2011 — conf
Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation.
DCNET/OPTICS
Ajab Khan, Reiko Heckel
2011 J jnl
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Adwoa Donyina, Reiko Heckel
2011 J jnl
Modular performance modelling for mobile applications (abstracts only).
SIGMETRICS Perform. Evaluation Rev.
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
2011 B conf
Modular performance modelling for mobile applications.
ICPE
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
2011 B conf
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts.
FASE
Tamim Ahmed Khan, Reiko Heckel
2011 J jnl
Search-Based Refactoring using Unfolding of Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fawad Qayum, Reiko Heckel
2011 J jnl
Towards Test Coverage Criteria for Visual Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado
2011 — conf
Towards matching of service feature models based on linear logic.
SPLC Workshops
Muhammad Naeem, Reiko Heckel
2010 B conf
Combining Termination Criteria by Isolating Deletion.
ICGT
Dénes Bisztray, Reiko Heckel
2010 J jnl
From Graph Transformations to Differential Equations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mayur Bapodra, Reiko Heckel
2010 B conf
Graph Transformation for Domain-Specific Discrete Event Time Simulation.
ICGT
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
2010 B conf
Incremental Service Composition Based on Partial Matching of Visual Contracts.
FASE
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
2010 — conf
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.
ASMTA
Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth
2010 J jnl
Stochastic Graph Transformation with Regions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann
2010 — conf
Stochastic Modelling and Simulation of Mobile Systems.
Graph Transformations and Model-Driven Engineering
Reiko Heckel, Paolo Torrini
2010 B conf
Stochastic Simulation of Graph Transformation Systems.
FASE
Paolo Torrini, Reiko Heckel, István Ráth
2009 Misc conf
Analysing refactoring dependencies using unfolding of graph transformation systems.
FIT
Fawad Qayum, Reiko Heckel
2009 J jnl
Migrating Legacy Systems to Service-Oriented Architectures.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Carlos M. P. Matos, Reiko Heckel
2009 J jnl
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ajab Khan, Paolo Torrini, Reiko Heckel
2009 — conf
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
RULE
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
2009 — conf
Modelling the Asynchronous Dynamic Evolution of Architectural Types.
SOAR
Cristóbal Costa Soria, Reiko Heckel
2009 J jnl
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Artur Boronat, Reiko Heckel
2009 — conf
Resource-Bound Quantification for Graph Transformation
LINEARITY
Paolo Torrini, Reiko Heckel
2009 B conf
Rewriting Logic Semantics and Verification of Model Transformations.
FASE
Artur Boronat, Reiko Heckel, José Meseguer
2009 Misc conf
Semi-automated service composition using visual contracts.
FIT
Muhammad Naeem, Reiko Heckel, Fernando Orejas
2009 — conf
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
ICE
Paolo Torrini, Reiko Heckel
2009 J jnl
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 — ch.
Architectural Transformations: From Legacy to Three-Tier and Services.
Software Evolution
Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luís Andrade
2008 J jnl
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
CoRR
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008 J jnl
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Log. Methods Comput. Sci.
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008 B conf
Compositional Verification of Architectural Refactorings.
WADS
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 — conf
Compositionality of Model Transformations.
VODCA@FOSAD
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 B ed.
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
ICGT
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
2008 J jnl
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Claudia Ermel, Juan de Lara, Reiko Heckel
2008 — ed.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007
GT-VC@CONCUR
Barbara König, Arend Rensink, Reiko Heckel
2008 B conf
Tutorial Introduction to Graph Transformation.
ICGT
Reiko Heckel
2008 B conf
Verification of Architectural Refactorings by Rule Extraction.
FASE
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 — ed.
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
WS-FM
Marlon Dumas, Reiko Heckel
2007 — ch.
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.
Test and Analysis of Web Services
Marc Lohmann, Leonardo Mariani, Reiko Heckel
2007 B conf
Architecture Migration Driven by Code Categorization.
ECSA
Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly
2007 B conf
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
CALCO
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2007 — conf
Managing Socio-technical Interactions in Healthcare Systems.
Business Process Management Workshops
Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel
2007 — conf
Model-Based Testing of Service Infrastructure Components.
TestCom/FATES
László Gönczy, Reiko Heckel, Dániel Varró
2007 J jnl
Model-driven development of reactive information systems: from graph transformation rules to JML contracts.
Int. J. Softw. Tools Technol. Transf.
Reiko Heckel, Marc Lohmann
2007 — conf
Preface.
GT-VC@CONCUR
Barbara König, Arend Rensink, Reiko Heckel
2007 — ed.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2007 J jnl
Rule-Level Verification of Business Process Transformations using CSP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dénes Bisztray, Reiko Heckel
2007 J jnl
Structural and behavioural compatibility of graphical service specifications.
J. Log. Algebraic Methods Program.
Reiko Heckel, Alexey Cherchago
2006 B conf
3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
ICGT
Jean-Marie Favre, Reiko Heckel, Tom Mens
2006 B ed.
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
FASE
Luciano Baresi, Reiko Heckel
2006 J jnl
Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development.
Softw. Syst. Model.
Jean Bézivin, Reiko Heckel
2006 B conf
Introductory Tutorial on Foundations and Applications of Graph Transformation.
ICGT
Reiko Heckel
2006 B conf
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.
ICGT
Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
2006 B conf
Molecular Analysis of Metabolic Pathway with Graph Transformation.
ICGT
Karsten Ehrig, Reiko Heckel, Georgios Lajios
2006 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Reiko Heckel, Jean-Marie Favre, Tom Mens
2006 — conf
Preface.
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2006 — ed.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl, Germany, May 3-7, 2004
FoVMT
Reiko Heckel
2006 — ed.
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
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2006 — conf
Rule-based Model Extraction from Source Code.
Aspects For Legacy Applications
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel
2006 J jnl
Stochastic Graph Transformation Systems.
Fundam. Informaticae
Reiko Heckel, Georgios Lajios, Sebastian Menge
2006 J jnl
Style-based modeling and refinement of service-oriented architectures.
Softw. Syst. Model.
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2006 — conf
Verification of Model Transformations: A Case Study with BPEL.
TGC
Luciano Baresi, Karsten Ehrig, Reiko Heckel
2005 C conf
Architectural Style - Based Modeling and Simulation of Complex Software Systems.
APSEC
Ping Guo, Gregor Engels, Reiko Heckel
2005 B conf
Automatic Conformance Testing of Web Services.
FASE
Reiko Heckel, Leonardo Mariani
2005 J jnl
Compositional semantics for open Petri nets based on deterministic processe.
Math. Struct. Comput. Sci.
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2005 — conf
Flexible Interconnection of Graph Transformation Modules.
Formal Methods in Software and Systems Modeling
Gregor Engels, Reiko Heckel, Alexey Cherchago
2005 — ed.
Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004
Language Engineering for Model-Driven Software Development
Jean Bézivin, Reiko Heckel
2005 J jnl
Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept.
Int. J. Web Serv. Res.
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
2005 C conf
Modulare Analyse Stochastischer Graphtransformationssysteme.
Software Engineering
Reiko Heckel, Georgios Lajios, Sebastian Menge
2005 — conf
Preface.
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2005 — ed.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome, Italy, October 2, 2004
SETra@ICGT
Reiko Heckel, Tom Mens
2005 — ch.
Process Modeling Using UML.
Process-Aware Information Systems
Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne
2005 C conf
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.
ICTAC
Reiko Heckel
2004 — conf
04101 Abstracts Collection - Language Engineering for Model-Driven Software Development.
Language Engineering for Model-Driven Software Development
Jean Bézivin, Reiko Heckel
2004 — conf
04101 Summary - Language Engineering for Model-driven Software Development.
Language Engineering for Model-Driven Software Development
Jean Bézivin, Reiko Heckel
2004 — conf
A Formal Approach to Service Specification and Matching based on Graph Transformation.
WSFM
Reiko Heckel, Alexey Cherchago, Marc Lohmann
2004 — conf
Application of Graph Transformation for Automating Web Service Discovery.
Language Engineering for Model-Driven Software Development
Reiko Heckel, Alexey Cherchago
2004 — conf
Behavior-Preserving Refinement Relations between Dynamic Software Architectures.
WADT
Reiko Heckel, Sebastian Thöne
2004 — conf
Behavioral Refinement of Graph Transformation-Based Models.
SETra@ICGT
Reiko Heckel, Sebastian Thöne
2004 — conf
Conceptual Modeling of Styles For Mobile Systems.
MOBIS
Reiko Heckel, Ping Guo
2004 J jnl
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.
Softw. Syst. Model.
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
2004 — conf
Graph Transformation in a Nutshell.
Language Engineering for Model-Driven Software Development
Reiko Heckel
2004 — conf
Graph Transformation in a Nutshell.
FoVMT
Reiko Heckel
2004 A conf
Model-based Discovery of Web Services.
ICWS
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
2004 A* conf
Modeling and Simulation of Context-Aware Mobile Systems.
ASE
Ping Guo, Reiko Heckel
2004 — conf
Preface.
GT-VMT@ETAPS
Reiko Heckel
2004 — conf
Preface.
FoVMT
Reiko Heckel
2004 — conf
Preface.
SETra@ICGT
Reiko Heckel, Tom Mens
2004 — ed.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004
GT-VMT@ETAPS
Reiko Heckel
2004 B conf
Specification Matching of Web Services Using Conditional Graph Transformation Rules.
ICGT
Alexey Cherchago, Reiko Heckel
2004 B conf
Stochastic Graph Transformation Systems.
ICGT
Reiko Heckel, Georgios Lajios, Sebastian Menge
2004 — conf
Style-Based Refinement of Dynamic Software Architectures.
WICSA
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2004 — conf
Towards Contract-based Testing of Web Services.
TACoS
Reiko Heckel, Marc Lohmann
2004 B conf
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT
Luciano Baresi, Reiko Heckel
2004 — conf
Using XSLT Stylesheets to Transform XPath Queries.
ADBIS (Local Proceedings)
Sven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer
2004 B conf
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.
ICGT
Reiko Heckel, Tom Mens
2003 — conf
Defining and validating transformations of UML models.
HCC
Jochen Malte Küster, Reiko Heckel, Gregor Engels
2003 — conf
Design of an Agent-Oriented Modeling Language Based on Graph Transformation.
AGTIVE
Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel
2003 J jnl
Graph Transformation with Time.
Fundam. Informaticae
Szilvia Gyapay, Dániel Varró, Reiko Heckel
2003 — conf
Model-Based Development of Executable Business Processes for Web Services.
Lectures on Concurrency and Petri Nets
Reiko Heckel, Hendrik Voigt
2003 B conf
Model-Based Development of Web Applications Using Graphical Reaction Rules.
FASE
Reiko Heckel, Marc Lohmann
2003 — conf
Model-Based Verification and Validation of Properties.
UNIGRA
Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann
2003 — conf
Modeling and validation of service-oriented architectures: application vs. style.
ESEC / SIGSOFT FSE
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2003 — conf
Modelling and Analysis of Agents' Goal-Driven Behavior.
Objects, Agents, and Features
Ralph Depke, Reiko Heckel
2003 — conf
Open Petri Nets as Semantic Model for Workflow Integration.
Petri Net Technology for Communication-Based Systems
Reiko Heckel
2003 — conf
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.
UML
Gregor Engels, Reiko Heckel, Jochen Malte Küster
2003 — conf
Towards Automatic Selection of Web Services Using Graph Transformation Rules.
Berliner XML Tage
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
2003 — conf
Towards Model-Driven Testing.
TACoS
Reiko Heckel, Marc Lohmann
2003 — ed.
Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002
Software Evolution Through Transformations @ ICGT
Reiko Heckel, Tom Mens, Michel Wermelinger
2002 J jnl
Compositional SOS and beyond: a coalgebraic view of open systems.
Theor. Comput. Sci.
Andrea Corradini, Reiko Heckel, Ugo Montanari
2002 J jnl
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Math. Struct. Comput. Sci.
Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
2002 B conf
Confluence of Typed Attributed Graph Transformation Systems.
ICGT
Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
2002 — conf
Consistency-Preserving Model Evolution through Transformations.
UML
Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen
2002 J jnl
Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets.
Trans. SDPS
Reiko Heckel, Mourad Chouikha
2002 A* conf
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
ICSE
Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer
2002 — conf
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.
GT-VMT@ICGT
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
2002 J jnl
Formal agent-oriented modeling with UML and graph transformation.
Sci. Comput. Program.
Ralph Depke, Reiko Heckel, Jochen Malte Küster
2002 B conf
Graph Transformation with Time: Causality and Logical Clocks.
ICGT
Szilvia Gyapay, Reiko Heckel, Dániel Varró
2002 — conf
High-Level Net Processes.
Formal and Natural Computing
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
2002 — conf
Preface.
Software Evolution Through Transformations @ ICGT
Reiko Heckel, Tom Mens, Michel Wermelinger
2002 J jnl
Relating functional requirements and software architecture: separation and consistency of concerns.
J. Softw. Maintenance Res. Pract.
Reiko Heckel, Gregor Engels
2002 — conf
Software Evolution through Transformations.
Software Evolution Through Transformations @ ICGT
Reiko Heckel, Tom Mens, Michel Wermelinger
2002 — conf
Towards consistency-preserving model evolution.
IWPSE
Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen
2002 B conf
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT
Luciano Baresi, Reiko Heckel
2002 B conf
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.
ICGT
Reiko Heckel, Tom Mens, Michel Wermelinger
2001 J jnl
A Coalgebraic presentation of structured transition systems.
Theor. Comput. Sci.
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
2001 — conf
A methodology for specifying and analyzing consistency of object-oriented behavioral models.
ESEC / SIGSOFT FSE
Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen
2001 — conf
Behavioral Constraints for Visual Models.
GT-VMT@ICALP
Reiko Heckel, Jochen Malte Küster
2001 J jnl
Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua.
Softwaretechnik-Trends
Stefan Sauer, Reiko Heckel
2001 B conf
Compositional Modeling of Reactive Systems Using Open Nets.
CONCUR
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2001 J jnl
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Trans. SDPS
Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
2001 J jnl
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Appl. Categorical Struct.
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
2001 — conf
Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution.
FFSE@CSMR
Reiko Heckel, Gregor Engels
2001 — conf
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.
UNIGRA
Reiko Heckel, Albert Zündorf
2001 — conf
Improving the agent-oriented modeling process by roles.
Agents
Ralph Depke, Reiko Heckel, Jochen Malte Küster
2001 J jnl
Roles in Agent-Oriented Modeling.
Int. J. Softw. Eng. Knowl. Eng.
Ralph Depke, Reiko Heckel, Jochen Malte Küster
2001 — conf
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.
UML
Gregor Engels, Reiko Heckel, Jochen Malte Küster
2001 B conf
Strengthening UML Collaboration Diagrams by State Transformations.
FASE
Reiko Heckel, Stefan Sauer
2001 — conf
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.
HCC
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
2001 — conf
Towards a Formal Framework for Inter-Enterprise Application Integration.
GETGRATS Closing Workshop
Reiko Heckel, Gregor Engels
2001 — conf
Use Cases as Views: A formal approach to Requirements Engineering in the United Process.
GI Jahrestagung (1)
Jan Hendrik Hausmann, Reiko Heckel
2000 — conf
Agent-Oriented Modeling with Graph Transformation.
AOSE
Ralph Depke, Reiko Heckel, Jochen Malte Küster
2000 — conf
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.
UML
Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
2000 — conf
Formalizing the Development of Agent-Based Systems Using Graph Processes.
ICALP Satellite Workshops
Ralph Depke, Reiko Heckel
2000 — conf
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.
ICALP Satellite Workshops
Gregor Engels, Reiko Heckel
2000 J jnl
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.
Bull. EATCS
Andrea Corradini, Reiko Heckel
2000 A* conf
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.
ICALP
Gregor Engels, Reiko Heckel
2000 — conf
Graphical Operational Semantics.
ICALP Satellite Workshops
Andrea Corradini, Reiko Heckel, Ugo Montanari
2000 — ed.
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000
José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells
2000 — conf
Integrating visual modeling of agent-based and object-oriented systems.
Agents
Ralph Depke, Reiko Heckel, Jochen Malte Küster
2000 — conf
Introduction: Graph Transformation and Visual Modeling Techniques.
ICALP Satellite Workshops
Andrea Corradini, Reiko Heckel
2000 — conf
UML - A Universal Modeling Language?
ICATPN
Gregor Engels, Reiko Heckel, Stefan Sauer
1999 — conf
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
CTCS
Fabio Gadducci, Reiko Heckel, Mercè Llabrés
1999 — conf
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
CMCS
Andrea Corradini, Reiko Heckel, Ugo Montanari
1999 B conf
Tile Transition Systems as Structured Coalgebras.
FCT
Andrea Corradini, Reiko Heckel, Ugo Montanari
1998 — conf
A Fully Abstract Model for Graph-Interpreted Temporal Logic.
TAGT
Fabio Gadducci, Reiko Heckel, Manuel Koch
1998 — conf
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
WADT
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1998 B conf
Compositional Verification of Reactive Systems Specified by Graph Transformation.
FASE
Reiko Heckel
1998 — conf
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT
Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
1998 — —
Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems.
Reiko Heckel
1998 — conf
Simple Modules for GRACE.
TAGT
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
1998 — conf
Structured Transition Systems as Lax Coalgebras.
CMCS
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1997 J jnl
A Combined Reference Model- and View-Based Approach to System Specification.
Int. J. Softw. Eng. Knowl. Eng.
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
1997 — conf
A View-Oriented Approach to System Modelling Based on Graph Transformation.
ESEC / SIGSOFT FSE
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
1997 — ch.
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars
Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
1997 — ch.
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Handbook of Graph Grammars
Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
1997 — conf
An inductive view of graph transformation.
WADT
Fabio Gadducci, Reiko Heckel
1997 B conf
Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
MFCS
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
1996 J jnl
Graph Grammars with Negative Application Conditions.
Fundam. Informaticae
Annegret Habel, Reiko Heckel, Gabriele Taentzer
1996 J jnl
Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
Math. Struct. Comput. Sci.
Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
1995 — conf
A compositional approach to structuring and refinement of typed graph grammars.
SEGRAGRA
Andrea Corradini, Reiko Heckel
1995 — conf
Ensuring consistency of conditional graph rewriting - a constructive approach.
SEGRAGRA
Reiko Heckel, Annika Wagner