BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Cyprus
1 × Estonia
1 × Finland
1 × Hungary
1 × Norway
1 × Poland
1 × Portugal
1 × The Netherlands
2 × Spain
2 × Switzerland
3 × Austria
4 × Italy
4 × USA
5 × Germany
6 × United Kingdom
Collaborated with:
G.Engels T.A.Khan A.M.Alshanqiti J.M.Küster L.Baresi D.Varró D.Bisztray H.Ehrig G.Täntzer O.Runge S.Sauer J.H.Hausmann A.Corradini P.Torrini M.Lohmann S.Thöne R.Machado G.Lajios T.Kehrer V.Danos P.Sobocinski I.Ráth A.Boronat M.Radwan M.Bapodra N.Arijo F.Hermann L.Mariani P.Guo A.Cherchago L.Groenewegen L.Ribeiro F.Orejas J.Meseguer L.Gönczy K.Ehrig S.Menge R.Depke S.Gyapay F.Gadducci M.Koch M.Löwe M.Hussein T.Arendt C.Ermel U.Golas M.Naeem G.Bergmann R.Correia C.M.P.Matos M.El-Ramly B.Hoffmann P.Knirsch S.Kuske J.d.Lara E.Guerra M.Llabrés J.Padberg G.Rozenberg U.Montanari F.Rossi M.Korff A.Wagner
Talks about:
transform (34) graph (28) model (23) base (17) system (12) contract (11) visual (11) rule (11) approach (8) test (7)

♂ Person: Reiko Heckel

DBLP DBLP: Heckel:Reiko

Facilitated 32 volumes:

ICMT 2015PrCo
MoDELS 2015PrCo
ASE 2014PrCo
ICMT 2014PrCo
MoDELS 2014PrCo
ICMT 2013PrCo
ASE 2012DemoTrackPrCo
ASE 2012PrCo
ASE 2012ToCo
ICMT 2012PrCo
ASE 2011DemoTrackCh
ASE 2011ExpertReviewPa
ASE 2011PrBoard
ASE 2011ToCh
ICMT 2011PrCo
ASE 2010PrCo
ICMT 2010PrCo
GT-VMT 2009Ed
GTTSE 2009SciCo
ICMT 2009PrCo
SLE 2009PrCo
GT-VMT 2008Ed
ICGT 2008Ed
ICMT 2008PrCo
SLE 2008PrCo
GT-VC 2007Ed
GTTSE 2007SciCo
FASE 2006Ed
FASE 2006PrCh
GTTSE 2005SciCo
MoDELS 2016PrCo

Contributed to:

GaM 20152015
ICGT 20152015
GT-VMT 20142014
ICGT 20142014
FASE 20132013
GT-VMT 20132013
AMT 20122012
GT-VMT 20122012
ICGT 20122012
FASE 20112011
GT-VMT 20112011
FASE 20102010
GT-VMT 20102010
ICGT 20102010
FASE 20092009
FASE 20082008
ICGT 20082008
ECSA 20072007
GT-VMT 20072007
TestCom/FATES 20072007
ICGT 20062006
FASE 20052005
ASE 20042004
ICGT 20042004
WICSA 20042004
AGTIVE 20032003
CBSE 20032002
ESEC/FSE 20032003
FASE 20032003
UML 20032003
ICGT 20022002
ICSE 20022002
UML 20022002
ESEC/FSE 20012001
FASE 20012001
UML 20012001
ICALP 20002000
UML 20002000
FASE 19981998
TAGT 19981998
ESEC/FSE 19971997
Handbook of Graph Grammars 19971997
ASE 20152015
ASE 20162016
ICMT 20172017
GT-VMT 20012001

Wrote 63 papers:

GaM-2015-RadwanH #detection #refactoring #smell
Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.
ICGT-2015-MachadoRH #evolution #graph transformation
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
GT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation
Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
GT-VMT-2014-HusseinHDS #adaptation #modelling #network
Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
ICGT-2014-CorradiniH #canonical
Canonical Derivations with Negative Application Conditions (AC, RH), pp. 207–221.
ICGT-2014-DanosHS #refinement
Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
FASE-2013-BapodraH #abstraction #graph transformation #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
GT-VMT-2013-AlshanqitiHK #graph transformation #learning
Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
GT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
AMT-2012-TaentzerAEH #model transformation #refactoring #rule-based #towards
Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
GT-VMT-2012-ArijoH #generative #graph transformation #modelling
View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMT-2012-KhanRH #contract #testing #visual notation
Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGT-2012-Heckel
DPO Transformation with Open Maps (RH), pp. 203–217.
ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
ICGT-2012-KhanRH #contract #modelling #testing #visual notation
Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
FASE-2011-KhanH #analysis #contract #dependence #modelling #on the #testing #using #visual notation
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
GT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
FASE-2010-NaeemHOH #composition #contract #incremental #visual notation
Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
FASE-2010-TorriniHR #graph transformation #probability #simulation
Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
GT-VMT-2010-TorriniHRB #graph transformation #probability
Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
ICGT-2010-BisztrayH #termination
Combining Termination Criteria by Isolating Deletion (DB, RH), pp. 203–217.
ICGT-2010-LaraGBHT #graph transformation #simulation
Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
FASE-2009-BoronatHM #logic #model transformation #semantics #verification
Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
FASE-2008-BisztrayHE #architecture #refactoring #verification
Verification of Architectural Refactorings by Rule Extraction (DB, RH, HE), pp. 347–361.
ICGT-2008-Heckel #graph transformation #tutorial
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
ECSA-2007-CorreiaMHE #architecture #categorisation #migration
Architecture Migration Driven by Code Categorization (RC, CMPM, RH, MER), pp. 115–122.
GT-VMT-2007-BisztrayH #csp #process #using #verification
Rule-Level Verification of Business Process Transformations using CSP (DB, RH).
TestCom-FATES-2007-GonczyHV #component #framework #modelling #testing
Model-Based Testing of Service Infrastructure Components (LG, RH, DV), pp. 155–170.
ICGT-2006-EhrigHL #analysis #graph transformation
Molecular Analysis of Metabolic Pathway with Graph Transformation (KE, RH, GL), pp. 107–121.
ICGT-2006-EngelsLSH #contract #design #graph transformation #modelling #monitoring
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
ICGT-2006-Heckel #graph transformation #tutorial
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
FASE-2005-HeckelM #automation #consistency #testing #web #web service
Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.
ASE-2004-GuoH #mobile #modelling #simulation
Modeling and Simulation of Context-Aware Mobile Systems (PG, RH), pp. 430–433.
ICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGT-2004-CherchagoH #graph transformation #specification #using #web #web service
Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
ICGT-2004-HeckelLM #graph transformation #probability
Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
WICSA-2004-BaresiHTV #architecture #refinement
Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
AGTIVE-2003-DepkeHH #design #graph transformation #modelling
Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.
CBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation
Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
FASE-2003-HeckelL #development #modelling #using #visual notation #web
Model-Based Development of Web Applications Using Graphical Reaction Rules (RH, ML), pp. 170–183.
UML-2003-EngelsHK #consistency #development #uml
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.
ICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGT-2002-GyapayHV #graph transformation #logic
Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGT-2002-HeckelKT #confluence #graph transformation
Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.
ICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
UML-2002-EngelsHKG #evolution
Consistency-Preserving Model Evolution through Transformations (GE, RH, JMK, LG), pp. 212–226.
ESEC-FSE-2001-EngelsKHG #behaviour #consistency #modelling #object-oriented #specification
A methodology for specifying and analyzing consistency of object-oriented behavioral models (GE, JMK, RH, LG), pp. 186–195.
FASE-2001-HeckelS #collaboration #diagrams #uml
Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.
UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
ICALP-2000-EngelsH #concept #evolution #framework #graph transformation #modelling
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution (GE, RH), pp. 127–150.
UML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.
FASE-1998-Heckel #composition #graph transformation #verification
Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.
TAGT-1998-EhrigHLOPR #framework #graph #rule-based
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
TAGT-1998-GadducciHK #logic
A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.
TAGT-1998-HeckelHKK
Simple Modules for GRACE (RH, BH, PK, SK), pp. 383–395.
ESEC-FSE-1997-EngelsHTE #approach #graph transformation #modelling
A View-Oriented Approach to System Modelling Based on Graph Transformation (GE, RH, GT, HE), pp. 327–343.
GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation
Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation
Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
ASE-2015-AlshanqitiH #contract #java #source code #visual notation
Extracting Visual Contracts from Java Programs (T) (AMA, RH), pp. 104–114.
ASE-2016-AlshanqitiHK #contract #dynamic analysis #reverse engineering #using #visual notation
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis (AMA, RH, TK), pp. 816–821.
ICMT-2017-KehrerAH #automation #model transformation #rule-based #specification
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
GT-VMT-2001-HeckelK #behaviour #constraints #modelling #visual notation
Behavioral Constraints for Visual Models (RH, JMK), pp. 257–265.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.