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: Heckel:Reiko
Facilitated 32 volumes:
PrCo
PrCo
PrCoPrCoPrCoPrCoDemoTrackPrCoPrCoToCoPrCoDemoTrackChExpertReviewPaPrBoardToChPrCoPrCoPrCo
Ed
SciCoPrCo
PrCoEd
EdPrCoPrCo
EdSciCo
EdPrChSciCoPrCoContributed to:
201520152014201420132013
20122012201220112011201020102010200920082008
20072007
20072006200520042004
2004
2003
2002
20032003
20032002
20022002200120012001
2000200019981998199719972015201620172001Wrote 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.