Reiko Heckel

According to our database1, Reiko Heckel
  • authored at least 187 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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).
Bulletin of the 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.
Software and System Modeling, 2014

Combining termination proofs in model transformation systems.
Mathematical Structures in Computer Science, 2014

Modelling Adaptive Networks: The Case of the Petrified Voters.
ECEASST, 2014

Towards Dynamic Reverse Engineering Visual Contracts from Java.
ECEASST, 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.
ECEASST, 2013

Learning Minimal and Maximal Rules from Observations of Graph Transformations.
ECEASST, 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.
ECEASST, 2012

View-based Modelling and State-Space Generation for Graph Transformation Systems.
ECEASST, 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 Performance Evaluation Review, 2011

Search-Based Refactoring using Unfolding of Graph Transformation Systems.
ECEASST, 2011

Towards Test Coverage Criteria for Visual Contracts.
ECEASST, 2011

Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation.
ECEASST, 2011

Flexible Behaviour of Human Actors in Distributed Workflows.
ECEASST, 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.
ECEASST, 2010

From Graph Transformations to Differential Equations.
ECEASST, 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
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci., 2009

Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques.
ECEASST, 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.
Logical Methods in Computer Science, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Migrating Legacy Systems to Service-Oriented Architectures.
ECEASST, 2008

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems.
ECEASST, 2008

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
ECEASST, 2008

Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ECEASST, 2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
CoRR, 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.
STTT, 2007

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

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Rule-Level Verification of Business Process Transformations using CSP.
ECEASST, 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

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Proceedings of the Algebra and Coalgebra in Computer Science, 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.
Software and System Modeling, 2006

Style-based modeling and refinement of service-oriented architectures.
Software and System Modeling, 2006

Stochastic Graph Transformation Systems.
Fundam. Inform., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Graph Transformation in a Nutshell.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
ECEASST, 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.
Mathematical Structures in Computer Science, 2005

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

Behavioral Refinement of Graph Transformation-Based Models.
Electr. Notes Theor. Comput. Sci., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Towards Contract-based Testing of Web Services.
Electr. Notes Theor. Comput. Sci., 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.
Software and System Modeling, 2004

A Formal Approach to Service Specification and Matching based on Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2004

Preface.
Electr. Notes Theor. Comput. Sci., 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

Stochastic Graph Transformation Systems.
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

Graph Transformation in a Nutshell.
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.
ADBIS (Local Proceedings), 2004

2003
Graph Transformation with Time.
Fundam. Inform., 2003

Preface.
Electr. Notes Theor. Comput. Sci., 2003

Software Evolution through Transformations.
Electr. Notes Theor. Comput. Sci., 2003

Towards Model-Driven Testing.
Electr. Notes Theor. Comput. Sci., 2003

Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.
Electr. Notes Theor. Comput. Sci., 2003

Model-Based Verification and Validation of Properties.
Electr. Notes Theor. Comput. Sci., 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.
Journal of Software Maintenance, 2002

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

Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science, 2002

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

Consistency-Preserving Model Evolution through Transformations.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 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

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
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.
Transactions of the SDPS, 2001

Roles in Agent-Oriented Modeling.
International Journal of Software Engineering and Knowledge Engineering, 2001

How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.
Electr. Notes Theor. Comput. Sci., 2001

Behavioral Constraints for Visual Models.
Electr. Notes Theor. Comput. Sci., 2001

Towards a Formal Framework for Inter-Enterprise Application Integration.
Electr. Notes Theor. Comput. Sci., 2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures, 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.
GI Jahrestagung (1), 2001

Strengthening UML Collaboration Diagrams by State Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 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.
Bulletin of the 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.
ICALP Satellite Workshops, 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.
ICALP Satellite Workshops, 2000

Graphical Operational Semantics.
ICALP Satellite Workshops, 2000

Introduction: Graph Transformation and Visual Modeling Techniques.
ICALP Satellite Workshops, 2000

UML - A Universal Modeling Language?
ICATPN, 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.
Electr. Notes Theor. Comput. Sci., 1999

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 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.
FASE, 1998

1997
A Combined Reference Model- and View-Based Approach to System Specification.
International Journal of Software Engineering and Knowledge Engineering, 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.
Mathematical Structures in Computer Science, 1996

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

1995
Ensuring consistency of conditional graph rewriting - a constructive approach.
Electr. Notes Theor. Comput. Sci., 1995

A compositional approach to structuring and refinement of typed graph grammars.
Electr. Notes Theor. Comput. Sci., 1995


  Loading...