Reiko Heckel

Orcid: 0000-0003-4719-0772

Affiliations:
  • University of Leicester, UK


According to our database1, Reiko Heckel authored at least 203 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Can I Teach Graph Rewriting to My Chatbot?
Proceedings of the Graph Transformation - 17th International Conference, 2024

2023
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

Graph Rewriting for Graph Neural Networks.
Proceedings of the Graph Transformation - 16th International Conference, 2023

Stochastic Decision Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behaviour.
CoRR, 2022

Visual Smart Contracts for DAML.
Proceedings of the Graph Transformation - 15th International Conference, 2022

Graph Rewriting Components.
Proceedings of the Graph Transformation - 15th International Conference, 2022

2021
Stochastic Graph Transformation For Social Network Modeling.
Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Transparency by Default: GDPR Patterns for Agile Development.
Proceedings of the Electronic Government and the Information Systems Perspective, 2021

2020
Encoding Incremental NACs in Safe Graph Grammars using Complementation.
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3.
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Unfolding Symbolic Attributed Graph Grammars.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering
Springer, ISBN: 978-3-030-43915-6, 2020

2019
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques.
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections.
Proceedings of the Sixth International Conference on Social Networks Analysis, 2019

Analyzing the Behaviour of Twitter Bots in Post Brexit Politics.
Proceedings of the Sixth International Conference on Social Networks Analysis, 2019

Unfolding Graph Grammars with Negative Application Conditions.
Proceedings of the Graph Transformation - 12th International Conference, 2019

2018
Inferring visual contracts from Java programs.
Autom. Softw. Eng., 2018

Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Reverse Engineering the Behaviour of Twitter Bots.
Proceedings of the Fifth International Conference on Social Networks Analysis, 2018

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Features of Agent-based Models.
Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

Prediction of the domain name system (DNS) quality attributes.
Proceedings of the Symposium on Applied Computing, 2017

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations.
Proceedings of the Theory and Practice of Model Transformation, 2017

2016
Hartmut Ehrig (1944-2016).
Bull. EATCS, 2016

Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars.
Theor. Comput. Sci., 2015

Detecting and Refactoring Operational Smells within the Domain Name System.
Proceedings of the Proceedings Graphs as Models, 2015

Extracting Visual Contracts from Java Programs (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Domain-specific discrete event modelling and simulation using graph transformation.
Softw. Syst. Model., 2014

Combining termination proofs in model transformation systems.
Math. Struct. Comput. Sci., 2014

Modelling Adaptive Networks: The Case of the Petrified Voters.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Towards Dynamic Reverse Engineering Visual Contracts from Java.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Transformation and Refinement of Rigid Structures.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Canonical Derivations with Negative Application Conditions.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
Test Case Generation Using Visual Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Learning Minimal and Maximal Rules from Observations of Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Abstraction and Training of Stochastic Graph Transformation Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Visual Contracts as Test Oracle in AGG 2.0.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

View-based Modelling and State-Space Generation for Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Transformation Systems with Incremental Negative Application Conditions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Towards refactoring of rule-based, in-place model transformation systems.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Testing against Visual Contracts: Model-Based Coverage.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Parallelism and Concurrency of Stochastic Graph Transformations.
Proceedings of the Graph Transformations - 6th International Conference, 2012

DPO Transformation with Open Maps.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Modular performance modelling for mobile applications (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Search-Based Refactoring using Unfolding of Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Towards Test Coverage Criteria for Visual Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Flexible Behaviour of Human Actors in Distributed Workflows.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modular performance modelling for mobile applications.
Proceedings of the ICPE'11, 2011

Towards matching of service feature models based on linear logic.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation.
Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation.
Proceedings of the DCNET 2011 and OPTICS 2011, 2011

On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Legacy Transformations for Extracting Service Components.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Stochastic Graph Transformation with Regions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

From Graph Transformations to Differential Equations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Combining Termination Criteria by Isolating Deletion.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Stochastic Simulation of Graph Transformation Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Incremental Service Composition Based on Partial Matching of Visual Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Stochastic Modelling and Simulation of Mobile Systems.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Resource-Bound Quantification for Graph Transformation
Proceedings of the Proceedings First International Workshop on Linearity, 2009

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Modelling the Asynchronous Dynamic Evolution of Architectural Types.
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Analysing refactoring dependencies using unfolding of graph transformation systems.
Proceedings of the FIT '09, 2009

Semi-automated service composition using visual contracts.
Proceedings of the FIT '09, 2009

Rewriting Logic Semantics and Verification of Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Architectural Transformations: From Legacy to Three-Tier and Services.
Proceedings of the Software Evolution, 2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Log. Methods Comput. Sci., 2008

Compositionality of Model Transformations.
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Migrating Legacy Systems to Service-Oriented Architectures.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Verification of Architectural Refactorings: Rule Extraction and Tool Support.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Compositional Verification of Architectural Refactorings.
Proceedings of the Architecting Dependable Systems VI, 2008

Tutorial Introduction to Graph Transformation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Verification of Architectural Refactorings by Rule Extraction.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Model-driven development of reactive information systems: from graph transformation rules to JML contracts.
Int. J. Softw. Tools Technol. Transf., 2007

Structural and behavioural compatibility of graphical service specifications.
J. Log. Algebraic Methods Program., 2007

Preface.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

Rule-Level Verification of Business Process Transformations using CSP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.
Proceedings of the Test and Analysis of Web Services, 2007

Model-Based Testing of Service Infrastructure Components.
Proceedings of the Testing of Software and Communicating Systems, 2007

Architecture Migration Driven by Code Categorization.
Proceedings of the Software Architecture, First European Conference, 2007

Managing Socio-technical Interactions in Healthcare Systems.
Proceedings of the Business Process Management Workshops, 2007

2006
Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development.
Softw. Syst. Model., 2006

Style-based modeling and refinement of service-oriented architectures.
Softw. Syst. Model., 2006

Stochastic Graph Transformation Systems.
Fundam. Informaticae, 2006

Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Verification of Model Transformations: A Case Study with BPEL.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Introductory Tutorial on Foundations and Applications of Graph Transformation.
Proceedings of the Graph Transformations, Third International Conference, 2006

3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
Proceedings of the Graph Transformations, Third International Conference, 2006

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.
Proceedings of the Graph Transformations, Third International Conference, 2006

Molecular Analysis of Metabolic Pathway with Graph Transformation.
Proceedings of the Graph Transformations, Third International Conference, 2006

Rule-based Model Extraction from Source Code.
Proceedings of the Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006

2005
Compositional semantics for open Petri nets based on deterministic processe.
Math. Struct. Comput. Sci., 2005

Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept.
Int. J. Web Serv. Res., 2005

Modulare Analyse Stochastischer Graphtransformationssysteme.
Proceedings of the Software Engineering 2005, 2005

Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.
Proceedings of the Theoretical Aspects of Computing, 2005

Automatic Conformance Testing of Web Services.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Flexible Interconnection of Graph Transformation Modules.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

Architectural Style - Based Modeling and Simulation of Complex Software Systems.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Process Modeling Using UML.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.
Softw. Syst. Model., 2004

Behavioral Refinement of Graph Transformation-Based Models.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

Preface.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

Towards Contract-based Testing of Web Services.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

A Formal Approach to Service Specification and Matching based on Graph Transformation.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Graph Transformation in a Nutshell.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Preface.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Style-Based Refinement of Dynamic Software Architectures.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Behavior-Preserving Refinement Relations between Dynamic Software Architectures.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Modeling and Simulation of Context-Aware Mobile Systems.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Conceptual Modeling of Styles For Mobile Systems.
Proceedings of the Mobile Information Systems, 2004

Model-based Discovery of Web Services.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.
Proceedings of the Graph Transformations, Second International Conference, 2004

Specification Matching of Web Services Using Conditional Graph Transformation Rules.
Proceedings of the Graph Transformations, Second International Conference, 2004

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
Proceedings of the Graph Transformations, Second International Conference, 2004

Application of Graph Transformation for Automating Web Service Discovery.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

04101 Summary - Language Engineering for Model-driven Software Development.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Using XSLT Stylesheets to Transform XPath Queries.
Proceedings of the Advances in Databases and Information Systems, 2004

2003
Graph Transformation with Time.
Fundam. Informaticae, 2003

Towards Model-Driven Testing.
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Model-Based Verification and Validation of Properties.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Defining and validating transformations of UML models.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.
Proceedings of the «UML» 2003, 2003

Modeling and validation of service-oriented architectures: application vs. style.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Model-Based Development of Web Applications Using Graphical Reaction Rules.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

Open Petri Nets as Semantic Model for Workflow Integration.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Modelling and Analysis of Agents' Goal-Driven Behavior.
Proceedings of the Objects, 2003

Towards Automatic Selection of Web Services Using Graph Transformation Rules.
Proceedings of the Berliner XML Tage 2003, 13.-15. Oktober 2003 in Berlin, 2003

Design of an Agent-Oriented Modeling Language Based on Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Model-Based Development of Executable Business Processes for Web Services.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Compositional SOS and beyond: a coalgebraic view of open systems.
Theor. Comput. Sci., 2002

Relating functional requirements and software architecture: separation and consistency of concerns.
J. Softw. Maintenance Res. Pract., 2002

Formal agent-oriented modeling with UML and graph transformation.
Sci. Comput. Program., 2002

Concurrency and Loose Semantics of Open Graph Transformation Systems.
Math. Struct. Comput. Sci., 2002

Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets.
Trans. SDPS, 2002

Preface.
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Software Evolution through Transformations.
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Consistency-Preserving Model Evolution through Transformations.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Towards consistency-preserving model evolution.
Proceedings of the International Workshop on Principles of Software Evolution, 2002

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
Proceedings of the 24th International Conference on Software Engineering, 2002

Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.
Proceedings of the Graph Transformation, First International Conference, 2002

Confluence of Typed Attributed Graph Transformation Systems.
Proceedings of the Graph Transformation, First International Conference, 2002

Graph Transformation with Time: Causality and Logical Clocks.
Proceedings of the Graph Transformation, First International Conference, 2002

High-Level Net Processes.
Proceedings of the Formal and Natural Computing, 2002

2001
A Coalgebraic presentation of structured transition systems.
Theor. Comput. Sci., 2001

Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua.
Softwaretechnik-Trends, 2001

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Trans. SDPS, 2001

Roles in Agent-Oriented Modeling.
Int. J. Softw. Eng. Knowl. Eng., 2001

How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Behavioral Constraints for Visual Models.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Towards a Formal Framework for Inter-Enterprise Application Integration.
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Appl. Categorical Struct., 2001

Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.
Proceedings of the «UML» 2001, 2001

A methodology for specifying and analyzing consistency of object-oriented behavioral models.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Use Cases as Views: A formal approach to Requirements Engineering in the United Process.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

Strengthening UML Collaboration Diagrams by State Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution.
Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Compositional Modeling of Reactive Systems Using Open Nets.
Proceedings of the CONCUR 2001, 2001

Improving the agent-oriented modeling process by roles.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.
Bull. EATCS, 2000

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.
Proceedings of the «UML» 2000, 2000

From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.
Proceedings of the ICALP Workshops 2000, 2000

Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Formalizing the Development of Agent-Based Systems Using Graph Processes.
Proceedings of the ICALP Workshops 2000, 2000

Graphical Operational Semantics.
Proceedings of the ICALP Workshops 2000, 2000

Introduction: Graph Transformation and Visual Modeling Techniques.
Proceedings of the ICALP Workshops 2000, 2000

UML - A Universal Modeling Language?
Proceedings of the Application and Theory of Petri Nets 2000, 2000

Agent-Oriented Modeling with Graph Transformation.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Integrating visual modeling of agent-based and object-oriented systems.
Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
Proceedings of the Conference on Category Theory and Computer Science, 1999

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

Tile Transition Systems as Structured Coalgebras.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998
Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems.
PhD thesis, 1998

Structured Transition Systems as Lax Coalgebras.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Simple Modules for GRACE.
Proceedings of the Theory and Application of Graph Transformations, 1998

A Fully Abstract Model for Graph-Interpreted Temporal Logic.
Proceedings of the Theory and Application of Graph Transformations, 1998

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
Proceedings of the Theory and Application of Graph Transformations, 1998

Compositional Verification of Reactive Systems Specified by Graph Transformation.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
A Combined Reference Model- and View-Based Approach to System Specification.
Int. J. Softw. Eng. Knowl. Eng., 1997

An inductive view of graph transformation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

A View-Oriented Approach to System Modelling Based on Graph Transformation.
Proceedings of the Software Engineering, 1997

1996
Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
Math. Struct. Comput. Sci., 1996

Graph Grammars with Negative Application Conditions.
Fundam. Informaticae, 1996

1995
Ensuring consistency of conditional graph rewriting - a constructive approach.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

A compositional approach to structuring and refinement of typed graph grammars.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995


  Loading...