Reiko Heckel
Orcid: 0000-0003-4719-0772Affiliations:
- University of Leicester, UK
According to our database1,
Reiko Heckel
authored at least 203 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.le.ac.uk
On csauthors.net:
Bibliography
2024
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
Proceedings of the Graph Transformation - 16th International Conference, 2023
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
Proceedings of the Graph Transformation - 15th International Conference, 2022
Proceedings of the Graph Transformation - 15th International Conference, 2022
2021
Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
Proceedings of the Electronic Government and the Information Systems Perspective, 2021
2020
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
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
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019
Proceedings of the Sixth International Conference on Social Networks Analysis, 2019
Proceedings of the Sixth International Conference on Social Networks Analysis, 2019
Proceedings of the Graph Transformation - 12th International Conference, 2019
2018
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars.
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Fifth International Conference on Social Networks Analysis, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017
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
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
Proceedings of the Proceedings Graphs as Models, 2015
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
Softw. Syst. Model., 2014
Math. Struct. Comput. Sci., 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
2011
SIGMETRICS Perform. Evaluation Rev., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the ICPE'11, 2011
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
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
Proceedings of the Proceedings First International Workshop on Linearity, 2009
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009
Proceedings of the FIT '09, 2009
Proceedings of the FIT '09, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Proceedings of the Software Evolution, 2008
Log. Methods Comput. Sci., 2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Architecting Dependable Systems VI, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
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
J. Log. Algebraic Methods Program., 2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the Test and Analysis of Web Services, 2007
Proceedings of the Testing of Software and Communicating Systems, 2007
Proceedings of the Software Architecture, First European Conference, 2007
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
Softw. Syst. Model., 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
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
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006
2005
Math. Struct. Comput. Sci., 2005
Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept.
Int. J. Web Serv. Res., 2005
Proceedings of the Software Engineering 2005, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
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
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004
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
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
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
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
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
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
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004
Proceedings of the Advances in Databases and Information Systems, 2004
2003
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003
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
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
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
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Theor. Comput. Sci., 2002
Relating functional requirements and software architecture: separation and consistency of concerns.
J. Softw. Maintenance Res. Pract., 2002
Sci. Comput. Program., 2002
Math. Struct. Comput. Sci., 2002
Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets.
Trans. SDPS, 2002
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002
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
Proceedings of the Graph Transformation, First International Conference, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Theor. Comput. Sci., 2001
Softwaretechnik-Trends, 2001
Trans. SDPS, 2001
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
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
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
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
Proceedings of the CONCUR 2001, 2001
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
Proceedings of the Application and Theory of Petri Nets 2000, 2000
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000
Proceedings of the Fourth International Conference on Autonomous Agents, 2000
1999
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
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
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
Proceedings of the Theory and Application of Graph Transformations, 1998
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
Proceedings of the Fundamental Approaches to Software Engineering, 1998
1997
Int. J. Softw. Eng. Knowl. Eng., 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
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
Proceedings of the Software Engineering, 1997
1996
Math. Struct. Comput. Sci., 1996
1995
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995